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.
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 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 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.
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.
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$).
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 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 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.
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.
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…
We use the method of Bruinier--Raum to show that symmetric formal Fourier--Jacobi series, in the cases of norm-Euclidean imaginary quadratic fields, are Hermitian modular forms. Consequently, combining a theorem of Yifeng Liu, we deduce Kudla's conjecture on the modularity of generating series of special cycles of arbitrary codimension for unitary Shimura varieties defined in these cases.
We study the prime-to-$p$ Hecke action on the projective limit of the sets of connected components of Shimura varieties with fixed parahoric or Bruhat--Tits level at $p$. In particular, we construct infinitely many Shimura varieties for CM unitary groups in odd variables for which the considering actions are not transitive. We prove this result by giving negative examples on the question of Bruhat--Colliot-Thélène--Sansuc--Tits or its variant, which is related to the weak approximation on tori over $\mathbb{Q}$.
We express the Frobenius-Hecke traces on the compactly supported cohomology of a Shimura variety of abelian type in terms of elliptic parts of stable Arthur-Selberg trace formulas for the endoscopic groups. This confirms predictions of Langlands and Kottwitz at primes where the level is hyperspecial.
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.
I construct a generalisation of Mantovan's almost product structure to Shimura varieties of Hodge type with hyperspecial level structure at $p$ and deduce that the perfection of the Newton strata are pro-étale locally isomorphic to the perfection of the product of a central leaf and a Rapoport-Zink space. The almost product formula can be extended to obtain an analogue of Caraiani's and Scholze's generalisation of the almost product structure for Shimura varieties of Hodge type.
This paper is a continuation of [G-dS1]. We study foliations of two types on Shimura varieties $S$ in characteristic $p$. The first, which we call "tautological foliations", are defined on Hilbert modular varieties, and lift to characteristic $0$. The second, the "$V$-foliations", are defined on unitary Shimura varieties in characteristic $p$ only, and generalize the foliations studied by us before, when the CM field in question was quadratic imaginary. We determine when these foliations are $p$-closed, and the locus where they are smooth. Where not smooth, we construct a "successive blow up" …
We consider Shimura varieties for orthogonal or spin groups acting on hermitian symmetric domains of type IV. We give regular p-adic integral models for these varieties over odd primes p at which the level subgroup is the connected stabilizer of a vertex lattice in the orthogonal space. Our construction is obtained by combining results of Kisin and the first author with an explicit presentation and resolution of a corresponding local model.
Let $S$ be the special fibre of a Shimura variety of Hodge type, with good reduction at a place above $p$. We give an alternative construction of the zip period map for $S$, which is used to define the Ekedahl-Oort strata of $S$. The method employed is local, $p$-adic, and group-theoretic in nature.
We define modular equations in the setting of PEL Shimura varieties as equations describing Hecke correspondences, and prove upper bounds on their degrees and heights. This extends known results about elliptic modular polynomials, and implies complexity bounds for number-theoretic algorithms using these modular equations. In particular, we obtain tight degree bounds for modular equations of Siegel and Hilbert type for abelian surfaces.
For several Hodge-type Shimura varieties of good reduction in characteristic $p$, we show that the cone of weights of automorphic forms is encoded by the stack of $G$-zips of Pink-Wedhorn-Ziegler. This establishes several instances of a general conjecture formulated in previous papers by the authors. Furthermore, we prove in these cases that any mod $p$ automorphic form whose weight lies in a specific region of the weight space is divisible by a partial Hasse invariant. This generalizes to other Shimura varieties previous results of Diamond--Kassaei on Hilbert modular forms.
We investigate the geometry of the special fiber of the integral model of a Shimura variety with parahoric level at a given prime place. To be more precise, we deal with the definition of central leaves in this situation, their local closedness, and the relationship between the folations for varying parahoric level. This is connected to the verification of axioms for integral models formulated by He and Rapoport.
