According to the André–Oort conjecture, an algebraic curve in Y (1)n that is not equal to a special subvariety contains only finitely many points which correspond to ann-tuple of elliptic curves with complex multiplication. Pink’s conjecture generalizes the André–Oort conjecture to the extent that if the curve is not contained in a special subvariety of positive codimension, then it is expected to meet the union of all special subvarieties of codimension two in only finitely many points. We prove this for a large class of curves in Y (1)n. When restricting to special subvarieties of codimension two that are not strongly special we obtain finiteness for all curves defined over . Finally, we formulate and prove a variant of the Mordell–Lang conjecture for subvarieties of Y (1)n.

For V a two-dimensional p-adic representation of Gℚp, we denote by B(V ) the admissible unitary representation of GL2(ℚp) attached to V under the p-adic local Langlands correspondence of GL2(ℚp) initiated by Breuil. In this paper, building on the works of Berger–Breuil and Colmez, we determine the locally analytic vectors B(V )an of B (V ) when V is irreducible, crystabelian and Frobenius semisimple with distinct Hodge–Tate weights; this proves a conjecture of Breuil. Using this result, we verify Emerton’s conjecture that dim Ref η⊗ψ (V )=dim Exp η∣⋅∣⊗xψ (B (V )an ⊗(x∣⋅∣∘det )) for those V which are irreducible, crystabelian and Frobenius semisimple.

For the locally symmetric space X attached to an arithmetic subgroup of an algebraic group G of ℚ-rank r, we construct a compact manifold by gluing together 2r copies of the Borel–Serre compactification of X. We apply the classical Lefschetz fixed point formula to and get formulas for the traces of Hecke operators ℋ acting on the cohomology of X. We allow twistings of ℋ by outer automorphisms η of G. We stabilize this topological trace formula and compare it with the corresponding formula for an endoscopic group of the pair (G,η) . As an application, we deduce a weak lifting theorem for the lifting of automorphic representations from Siegel modular groups to general linear groups.

We classify the nilpotent orbits in a simple Lie algebra for which the restriction of the adjoint quotient map to a Slodowy slice is the universal Poisson deformation of its central fibre. This generalises work of Brieskorn and Slodowy on subregular orbits. In particular, we find in this way new singular symplectic hypersurfaces of dimension four and six.

Let (R,m) be a Noetherian local ring and UR=Spec(R)−{m} be the punctured spectrum of R. Gabber conjectured that if R is a complete intersection of dimension three, then the abelian group Pic(UR) is torsion-free. In this note we prove Gabber’s statement for the hypersurface case. We also point out certain connections between Gabber’s conjecture, Van den Bergh’s notion of non-commutative crepant resolutions and some well-studied questions in homological algebra over local rings.

Generalizing a classical theorem of Carlson and Toledo, we prove that any Zariski dense isometric action of a Kähler group on the real hyperbolic space of dimension at least three factors through a homomorphism onto a cocompact discrete subgroup of PSL2(ℝ). We also study actions of Kähler groups on infinite-dimensional real hyperbolic spaces, describe some exotic actions of PSL2(ℝ) on these spaces, and give an application to the study of the Cremona group.

We construct natural equivalences between derived categories of coherent sheaves on the local models for stratified Mukai and Atiyah flops (of type A).

We prove that on separated algebraic surfaces every coherent sheaf is a quotient of a locally free sheaf. This class contains many schemes that are neither normal, reduced, quasiprojective nor embeddable into toric varieties. Our methods extend to arbitrary two-dimensional schemes that are proper over an excellent ring.

Let 𝒱 be a complete discrete valuation ring of mixed characteristic. We classify arithmetic 𝒟-modules on Spf(𝒱[[t]]) up to certain kind of ‘analytic isomorphism’. This result is used to construct canonical extensions (in the sense of Katz and Gabber) for objects of this category.

We construct motivic invariants of a subvariety of an algebraic torus from its tropicalization and initial degenerations. More specifically, we introduce an invariant of a compactification of such a variety called the ‘tropical motivic nearby fiber’. This invariant specializes in the schön case to the Hodge–Deligne polynomial of the limit mixed Hodge structure of a corresponding degeneration. We give purely combinatorial expressions for this Hodge–Deligne polynomial in the cases of schön hypersurfaces and matroidal tropical varieties. We also deduce a formula for the Euler characteristic of a general fiber of the degeneration.

We prove that the Newton polygons of Frobenius on the crystalline cohomology of proper smooth varieties satisfy a symmetry that results, in the case of projective smooth varieties, from Poincaré duality and the hard Lefschetz theorem. As a corollary, we deduce that the Betti numbers in odd degrees of any proper smooth variety over a field are even (a consequence of Hodge symmetry in characteristic zero), answering an old question of Serre. Then we give a generalization and a refinement for arbitrary varieties over finite fields, in response to later questions of Serre and of Katz.

In this paper we show that any good toric contact manifold has a well-defined cylindrical contact homology, and describe how it can be combinatorially computed from the associated moment cone. As an application, we compute the cylindrical contact homology of a particularly nice family of examples that appear in the work of Gauntlett et al. on Sasaki–Einstein metrics. We show in particular that these give rise to a new infinite family of non-equivalent contact structures on S2×S3 in the unique homotopy class of almost contact structures with vanishing first Chern class.