Using theta correspondence, we classify the irreducible representations of Mp2n in terms of the irreducible representations of SO2n+1 and determine many properties of this classification. This is a local Shimura correspondence which extends the well-known results of Waldspurger for n=1.

In [Gorodnik and Nevo, Counting lattice points, J. Reine Angew. Math. 663 (2012), 127–176] an effective solution of the lattice point counting problem in general domains in semisimple S-algebraic groups and affine symmetric varieties was established. The method relies on the mean ergodic theorem for the action of G on G/Γ, and implies uniformity in counting over families of lattice subgroups admitting a uniform spectral gap. In the present paper we extend some methods developed in [Nevo and Sarnak, Prime and almost prime integral points on principal homogeneous spaces, Acta Math. 205 (2010), 361–402] and use them to establish several useful consequences of this property, including:

1. (1) effective upper bounds on lifting for solutions of congruences in affine homogeneous varieties;

2. (2) effective upper bounds on the number of integral points on general subvarieties of semisimple group varieties;

3. (3) effective lower bounds on the number of almost prime points on symmetric varieties;

4. (4) effective upper bounds on almost prime solutions of congruences in homogeneous varieties.

We study the geometry underlying the difference between non-negative polynomials and sums of squares (SOS). The hypersurfaces that discriminate these two cones for ternary sextics and quaternary quartics are shown to be Noether–Lefschetz loci of K3 surfaces. The projective duals of these hypersurfaces are defined by rank constraints on Hankel matrices. We compute their degrees using numerical algebraic geometry, thereby verifying results due to Maulik and Pandharipande. The non-SOS extreme rays of the two cones of non-negative forms are parametrized, respectively, by the Severi variety of plane rational sextics and by the variety of quartic symmetroids.

We associate to a test configuration for a polarized variety a filtration of the section ring of the line bundle. Using the recent work of Boucksom and Chen we get a concave function on the Okounkov body whose law with respect to Lebesgue measure determines the asymptotic distribution of the weights of the test configuration. We show that this is a generalization of a well-known result in toric geometry. As an application, we prove that the pushforward of the Lebesgue measure on the Okounkov body is equal to a Duistermaat–Heckman measure of a certain deformation of the manifold. Via the Duisteraat–Heckman formula, we get as a corollary that in the special case of an effective ℂ×-action on the manifold lifting to the line bundle, the pushforward of the Lebesgue measure on the Okounkov body is piecewise polynomial.

This paper introduces the notion of a derived splinter. Roughly speaking, a scheme is a derived splinter if it splits off from the coherent cohomology of any proper cover. Over a field of characteristic 0, this condition characterises rational singularities, as suggested by the work of Kovács. Our main theorem asserts that over a field of characteristic p, derived splinters are the same as (underived) splinters, i.e. schemes that split off from any finite cover. Using this result, we answer some questions of Karen Smith concerning the extension of Serre/Kodaira-type vanishing results beyond the class of ample line bundles in positive characteristic; these are purely projective geometric statements independent of singularity considerations. In fact, we can prove ‘up to finite cover’ analogues in characteristic p of many vanishing theorems known in characteristic 0. All these results fit naturally in the study of F-singularities, and are motivated by a desire to understand the direct summand conjecture.

We study the restricted category 𝒪 for an affine Kac–Moody algebra at the critical level. In particular, we prove the first part of the Feigin–Frenkel conjecture: the linkage principle for restricted Verma modules. Moreover, we prove a version of the Bernstein–Gelfand–Gelfand-reciprocity principle and we determine the block decomposition of the restricted category 𝒪. For the proofs, we need a deformed version of the classical structures, so we mostly work in a relative setting.

In this article we prove that Kontsevich’s category NCnum(k)F of noncommutative numerical motives is equivalent to the one constructed by the authors in [Marcolli and Tabuada, Noncommutative motives, numerical equivalence, and semisimplicity, Amer. J. Math., to appear, available at arXiv:1105.2950]. As a consequence, we conclude that NCnum(k)F is abelian semi-simple as conjectured by Kontsevich.

We prove a conjecture of Kontsevich, which asserts that the iterations of the non-commutative rational map Fr:(x,y)→(xyx−1,(1+yr)x−1) are given by non-commutative Laurent polynomials with non-negative integer coefficients.

To each tagged triangulation of a surface with marked points and non-empty boundary we associate a quiver with potential in such a way that whenever we apply a flip to a tagged triangulation the Jacobian algebra of the quiver with potential (QP) associated to the resulting tagged triangulation is isomorphic to the Jacobian algebra of the QP obtained by mutating the QP of the original one. Furthermore, we show that any two tagged triangulations are related by a sequence of flips compatible with QP-mutation. We also prove that, for each of the QPs constructed, the ideal of the non-completed path algebra generated by the cyclic derivatives is admissible and the corresponding quotient is isomorphic to the Jacobian algebra. These results, which generalize some of the second author’s previous work for ideal triangulations, are then applied to prove properties of cluster monomials, like linear independence, in the cluster algebra associated to the given surface by Fomin, Shapiro and Thurston (with an arbitrary system of coefficients).

We consider the polynomial representation S(V*) of the rational Cherednik algebra Hc(W) associated to a finite Coxeter group W at constant parameter c. We show that for any degree d of W and m∈ℕ the space S(V*) contains a single copy of the reflection representation V of W spanned by the homogeneous singular polynomials of degree d−1+hm, where h is the Coxeter number of W; these polynomials generate an Hc (W) submodule with the parameter c=(d−1)/h+m. We express these singular polynomials through the Saito polynomials which are flat coordinates of the Saito metric on the orbit space V/W. We also show that this exhausts all the singular polynomials in the isotypic component of the reflection representation V for any constant parameter c.

Given a number field K, we consider families of critically separable rational maps of degree d over K possessing a certain fixed-point and multiplier structure. With suitable notions of isomorphism and good reduction between rational maps in these families, we prove a finiteness theorem which is analogous to Shafarevich’s theorem for elliptic curves. We also define the minimal critical discriminant, a global object which can be viewed as a measure of arithmetic complexity of a rational map. We formulate a conjectural bound on the minimal critical discriminant, which is analogous to Szpiro’s conjecture for elliptic curves, and we prove that a special case of our conjecture implies Szpiro’s conjecture in the semistable case.

We study Fredholm properties and index formulas for Dirac operators over complete Riemannian manifolds with straight ends. An important class of examples of such manifolds are complete Riemannian manifolds with pinched negative sectional curvature and finite volume.

A celebrated theorem in two-dimensional dynamics due to John Franks asserts that every area-preserving homeomorphism of the sphere has either two or infinitely many periodic points. In this work we re-prove Franks’ theorem under the additional assumption that the map is smooth. Our proof uses only tools from symplectic topology and thus differs significantly from previous proofs. A crucial role is played by the results of Ginzburg and Kerman concerning resonance relations for Hamiltonian diffeomorphisms.

This work is a continuation of the author’s previous paper [Greatest lower bounds on the Ricci curvature of toric Fano manifolds, Adv. Math. 226 (2011), 4921–4932]. On any toric Fano manifold, we discuss the behavior of the limit metric of a sequence of metrics which are solutions to a continuity family of complex Monge–Ampère equations in the Kähler–Einstein problem. We show that the limit metric satisfies a singular complex Monge–Ampère equation. This gives a conic-type singularity for the limit metric. Information on conic-type singularities can be read off from the geometry of the moment polytope.