A conjecture by Yves Andre and Frans Oort says that closed subvarieties of Shimura varieties that contain a Zariski dense subset of special points are subvarieties of Hodge type. We prove this in the case where the subvariety is a curve that contains infinitely many special points that lie in one Hecke orbit. Via work of Juergen Wolfart, Paula Cohen and Gisbert Wuestholz, this result has an application to algebraicity of values of hypergeometric functions.
We prove the non-existence of Shimura subvarieties of positive dimension contained generically in the hyperelliptic Torelli locus for curves of genus at least 8, which is an analogue of Oort's conjecture in the hyperelliptic case.
We study the image of $\ell$-adic representations attached to subvarieties of Shimura varieties $Sh_K(G,X)$ that are not contained in a smaller Shimura subvariety and have no isotrivial components. We show that, for $\ell$ large enough (depending on the Shimura datum $(G,X)$ and the subvariety), such image contains the $\mathbb{Z}_\ell$-points coming from the simply connected cover of the derived subgroup of $G$. This can be regarded as a geometric version of the integral $\ell$-adic Mumford-Tate conjecture.
Let $S$ be a Shimura variety with reflex field $E$. We prove that the action of $\operatorname{Gal}(\overline{\mathbb{Q}}/E)$ on $S$ maps special points to special points and special subvarieties to special subvarieties. Furthermore, the Galois conjugates of a special point all have the same complexity (as defined in the theory of unlikely intersections). These results follow from Milne and Shih's construction of canonical models of Shimura varieties, based on a conjecture of Langlands which was proved by Borovoi and Milne.
This paper gives a complete parametrization of the commensurability classes of totally geodesic subspaces of irreducible arithmetic quotients of $X_{a, b} = (\mathbf{H}^2)^a \times (\mathbf{H}^3)^b$. A special case describes all Shimura subvarieties of type $\mathrm{A}_1$ Shimura varieties. We produce, for any $n\geq 1$, examples of manifolds/Shimura varieties with precisely $n$ commensurability classes of totally geodesic submanifolds/Shimura subvarieties. This is in stark contrast with the previously studied cases of arithmetic hyperbolic $3$-manifolds and quaternionic Shimura surfaces, wher…
We show the existence of two new Shimura subvarieties of $\mathcal{A}_2, \mathcal{A}_3$ generically contained in the Torelli locus. They provide the first examples of Shimura subvarieties obtained by means of Jacobians carrying non-trivial endomorphisms not directly induced by the automorphisms of the curves. We also obtain a new example of a Shimura subvariety of $\mathcal{A}_4$ generically contained in the Prym locus.
We show that families of Pryms of abelian Galois covers of $\mathbb{P}^1$ in $A_{g-1}$ (resp. $A_g$) do not give rise to high dimensional Shimura subvareties.
We study the locus of abelian Galois covers of $\mathbb{P}^{1}$ in $A_{g}$ and the problem of occurrence of Shimura (special) subvarieties generated by these covers in the Torelli locus $T_{g}$ inside $A_{g}$. We first investigate the existence of Shimura subvarieties in the mentioned locus by some computational methods based on Moonen-Oort works and then exclude many cases using both characteristic $p$ methods and monodromy computations.
We study Shimura (special) subvarieties in the moduli space $A_{p,D}$ of complex abelian varieties of dimension $p$ and polarization type $D$. These subvarieties arise from families of covers compatible with a fixed group action on the base curve such that the quotient of the base curve by the group is isomorphic to $\mathbb{P}^1$. We give a criterion for the image of these families under the Prym map to be a special subvariety and, using computer algebra, obtain 210 Shimura subvarieties contained in the Prym locus.
Let $Y$ be a subvariety contained in a smooth Mumford compactification of an orthogonal Shimura variety $M \subset A_g$, where $A_g$ is the moduli space of principally polarized abelian varieties of dimension $g$ with some level structure, such that $Y$ intersects the boundary of $A_g$ transversally. Then we give necessary and sufficient conditions of André-Oort type for $Y$ itself being the compactification of a special subvariety $Y^0 \subset M$
In this note, we discuss several forms of the Eichler-Shimura relation for the compactly supported cohomology of local Shimura varieties, using the work of Fargues-Scholze.
We prove the Mumford--Tate conjecture for those abelian varieties over number fields whose extensions to C have attached adjoint Shimura varieties that are products of simple, adjoint Shimura varieties of certain Shimura types. In particular, we prove the conjecture for the orthogonal case (i.e., for the $B_n$ and $D_n^R$ Shimura types). As a main tool, we construct embeddings of Shimura varieties (whose adjoints are) of prescribed abelian type into unitary Shimura varieties of PEL type. These constructions implicitly classify the adjoints of Shimura varieties of PEL type.
A strongly special subvariety of a Shimura variety $S$ is (essentially) a subvariety associated to a semi-simple sub-Shimura datum. We prove that the set of probability measures canonically associated to to strongly special subvarieties is compact. More precisely: If $μ_n$ is a sequence of such probability measures associated to strongly special subvarieties $Z_n$ of $S$ there exists a subsequence $μ_{n_k}$ which converge to a measure $μ_Z$ canonically associated to a strongly special subvariety $Z$ and for all $k>>0$ $Z_{n_k}$ is contained in $Z$. We give some application to the Andre-Oort co…
We state an improved version of the conjecture of Langlands and Rapoport, and we prove the conjecture for a large class of Shimura varieties. In particular, we obtain the first proof of the (original) conjecture for Shimura varieties of PEL-type.
We describe recent work on the construction of well-behaved arithmetic models for large classes of Shimura varieties and report on progress in the study of these models.
Using the work of Fargues-Scholze, we prove a vanishing theorem for the generic unramified part of the cohomology of local Shimura varieties of general linear groups. This gives an alternative approach to vanishing results of Caraiani-Scholze for the cohomology of unitary Shimura varieties.
We prove the Mumford-Tate conjecture for those abelian varieties over number fields, whose simple factors of their adjoint Mumford-Tate groups have over $\dbR$ certain (products of) non-compact factors. In particular, we prove this conjecture for the orthogonal case ($B_n$ and $D_n^{\dbR}$ Shimura types). We construct embeddings of Shimura varieties of (whose adjoints are of prescribed abelian type) into unitary Shimura varieties. We also prove two general theorems involving Frobenius tori of abelian varieties over number fields.
Let $Z$ be an algebraic subvariety of a Shimura variety. We extend results of the first author to prove an effective upper bound for the degree of a non-facteur maximal special subvariety of $Z$.
We give a simple proof that Kottwitz's PEL type integral models of Shimura varieties admit closed embeddings into Siegel integral models. We also show that Rapoport's and Kottwitz's integral models agree with Kisin's integral models for relevant Shimura data.
We prove a conjecture of Milne pertaining to the existence of integral canonical models of Shimura varieties of abelian type in arbitrary unramified mixed characteristic $(0,p)$. As an application we prove for $p=2$ a motivic conjecture of Milne pertaining to integral canonical models of Shimura varieties of Hodge type.
In this paper we recall the construction and basic properties of complex Shimura varieties and show that these properties actually characterize them. This characterization immediately implies the explicit form of Kazhdan's theorem on the conjugation of Shimura varieties. As a further corollary, we show that each Shimura variety corresponding to an adjoint group has a canonical model over its reflex field. We also indicate how this characterization implies the existence of a p-adic uniformization of certain unitary Shimura varieties. In the appendix we give a complete scheme-theoretic proof of …
In this paper, we define and construct canonical filtered $F$-crystals with $G$-structure over the integral models for Shimura varieties of abelian type at hyperspecial level defined by Kisin. We check that these are related by $p$-adic comparison theorems to the usual lisse sheaves, and as an application we also use this to show that the Galois representations generated from the $p$-adic étale cohomology of Shimura varieties with nontrivial coefficient sheaves are crystalline, at least in the case of proper abelian type Shimura varieties.
We consider several maps that occur naturally between modular Shimura varieties, Hilbert-Blumenthal varieties and the moduli spaces of polarized abelian varieties when forgetting certain endomorphism structures. We prove that, up to birational equivalences, these forgetful maps coincide with the natural projection by suitable abelian groups of Atkin-Lehner involutions.
We show how the Langlands-Kottwitz method can be used to determine the semisimple local factors of the Hasse-Weil zeta-function of certain Shimura varieties. On the way, we prove a conjecture of Haines and Kottwitz in this special case.
We prove the existence of integral canonical models of unitary Shimura varieties in arbitrary unramified mixed characteristic. Errata to [Va1] are also included.
Let $F$ be a totally real field in which $p$ is unramified. We study the Goren-Oort stratification of the special fibers of quaternionic Shimura varieties over a place above $p$. We show that each stratum is a $(\mathbb{P}^1)^N$-bundle over other quaternionic Shimura varieties (for some appropriate $N$).
In this paper we generalize Cherednik's method and prove that certain Shimura varieties corresponding to groups of unitary similitudes and automorphic vector bundles over them have p-adic uniformization. This is proved for Shimura varieties, uniformized by the complex unit ball, when the central simple algebra over a CM-field defining the group of unitary similitudes has Brauer invariant 1/d at p. In this case, Shimura varieties can be uniformized by Drinfeld's covers of p-adic upper half-spaces.
We prove the generic exclusion of certain Shimura varieties of unitary and orthogonal types from the Torelli locus. The proof relies on a slope inequality on surface fibration due to G. Xiao, and the main result implies that certain Shimura varieties only meet the Torelli locus in dimension zero.
The Hecke orbit conjecture asserts that every prime-to-$p$ Hecke orbit in a Shimura variety is dense in the central leaf containing it. In this paper, we prove the conjecture for certain irreducible components of Newton strata in Shimura varieties of PEL type A and C, when $p$ is an unramified prime of good reduction. Our approach generalizes Chai and Oort's method for Siegel modular varieties.
We study families of Galois covers of curves of positive genus. It is known that under a numerical condition these families yield Shimura subvarieties generically contained in the Jacobian locus. We prove that there are only 6 families satisfying this condition, all of them in genus 2,3 or 4. We also show that these families admit two fibrations in totally geodesic subvarieties, generalizing a result of Grushevsky and Möller. Countably many of these fibres are Shimura. Thus the Jacobian locus contains infinitely many Shimura subvarieties of positive dimension of any $g \leq 4$.
We prove in this paper the Ax-Lindemann-Weierstrass theorem for all mixed Shimura varieties and discuss the lower bounds for Galois orbits of special points of mixed Shimura varieties. In particular we reprove a result of Silverberg in a different approach. Then combining these results we prove the André-Oort conjecture for any mixed Shimura variety whose pure part is a subvariety of A_6^n.
In this note, we study the superspecial loci of orthogonal type Shimura varieties of signature (n-2, 2) with n>3. We prove a conjecture of Gross on the parametrizations of the superspecial locus in the special fiber of an orthogonal type Shimura variety and its lift in the integral model by certain homogeneous spaces. As applications, we provide a mass formula for the superspecial locus.
In this paper we study the geometry of reduction modulo $p$ of the Kisin-Pappas integral models for certain Shimura varieties of abelian type with parahoric level structure. We give some direct and geometric constructions for the EKOR strata on these Shimura varieties, using the theories of $G$-zips and mixed characteristic local $\mathcal{G}$-Shtukas. We establish several basic properties of these strata, including the smoothness, dimension formula, and closure relation. Moreover, we apply our results to the study of Newton strata and central leaves on these Shimura varieties.
We construct relative PEL type embeddings in mixed characteristic (0,2) between hermitian orthogonal Shimura varieties of PEL type. We use this to prove the existence of integral canonical models in unramified mixed characteristic (0,2) of hermitian orthogonal Shimura varieties of PEL type.
We show how to deduce the standard sign conjecture (a weakening of the Künneth standard conjecture) for Shimura varieties from some statements about discrete automorphic representations (Arthur's conjectures plus a bit more). We also indicate what is known (to us) about these statements.
For infinitely many Hurwitz spaces parametrizing cyclic covers of the projective line, we provide a method to determine the integral PEL datum of the Shimura variety that contains the image of the Hurwitz space under the Torelli morphism.
This is a survey of the three main methods developed in the last 15 years to prove the existence of integral canonical models of Shimura varieties of Hodge type. The only new part is formed by corrections to results of Kisin.
In this note, we study Shimura varieties for the groups $\mathrm{GU}(V)$, where $V$ is a Hermitian space relative to a CM extension $E/E^+$. We give a description of the supersingular locus of the fiber at a prime $ν$ over $p$ of such a Shimura variety, under the assumptions that $\mathrm{dim}_E(V) \leq 4$ and that the prime $p$ splits completely in $E^+$ and is unramified in $E$.
We prove two formulas in the style of the Gross-Zagier theorem, relating derivatives of L-functions to arithmetic intersection pairings on a unitary Shimura variety. We also prove a special case of Colmez's conjecture on the Faltings heights of abelian varieties with complex multiplication. These results are derived from the authors' earlier results on the modularity of generating series of divisors on unitary Shimura varieties.
We give a uniform bound on the degree of the maximal torsion cosets for subvarieties of an abelian variety. The proof combines algebraic interpolation and a theorem of Serre on homotheties in the Galois representation associated to the torsion subgroup of an abelian variety.
In this paper, we use a group-theoretic approach to give a concrete description of the geometric structure of the supersingular locus of unitary Shimura varieties with exotic good reduction. This approach also is a more uniform way to prove results of this form obtained previously by, for example, Vollaard-Wedhorn and Rapoport-Terstiege-Wilson.
We construct a family of special cycle classes on the regular integral model of an orthogonal Shimura variety, and show that these cycle classes appear as Fourier coefficients of a Siegel modular form. Passing to the generic fiber of the Shimura variety recovers a result of Bruinier and Raum, originally conjectured by Kudla.
We show that the integral models of Shimura varieties of Rapoport, Smithling and Zhang in relation to variants of the arithmetic Gan-Gross-Prasad conjecture, the arithmetic fundamental lemma conjecture and the arithmetic transfer conjecture are canonical in the sense prescribed by Pappas. In particular, we prove that they are isomorphic to the models constructed by Kisin and Pappas.
We determine the behavior of automorphic Green functions along the boundary components of toroidal compactifications of orthogonal Shimura varieties. We use this analysis to define boundary components of special divisors and prove that the generating series of the resulting special divisors on a toroidal compactification is modular.
The Kodaira dimension of Shimura varieties has been studied by many people. Kondo and Gritsenko-Hulek-Sankaran studied the singularities of orthogonal Shimura varieties related to the moduli spaces of polarized K3 surfaces. They proved that they have canonical singularities and are of general type if the polarization degree is sufficiently large. In this paper, we work on similar problems for unitary Shimura varieties. We show that they have canonical singularities if $n > 4$. As an application, we show that certain unitary Shimura varieties associated with Hermitian forms over the rings of in…
This paper proves a finiteness result for families of integral points on a semiabelian variety minus a divisor, generalizing the corresponding result of Faltings for abelian varieties. Combined with the main theorem of the first part of this paper, this gives a finiteness statement for integral points on a closed subvariety of a semiabelian variety, minus a divisor. In addition, the last two sections generalize some standard results on closed subvarieties of semiabelian varieties to the context of closed subvarieties minus divisors.
In this paper, we compare two cohomology groups associated to Shimura varieties of PEL type, which are not proper over the base. One is the compactly supported l-adic cohomology, and the other is the nearby cycle cohomology, namely, the compactly supported cohomology of the nearby cycle complex for the canonical integral model of the Shimura variety over Z_p. We prove that the G(Q_p)-cuspidal part of these cohomology groups are the same, where G denotes the reductive algebraic group naturally attached to the PEL datum. Some applications to unitary Shimura varieties are also given.
We prove a non-archimedean analogue of the fact that a closed subvariety of a semi-abelian variety is hyperbolic modulo its special locus, and thereby generalize a result of Cherry.
