Good Reductions of Shimura Varieties of Preabelian Type in Arbitrary Unramified Mixed Characteristic, I
Adrian Vasiu
备注：
56 pages. In the last 10 years we developed 5 methods of constructing integral canonical models of Shimura varieties of preabelian type. See [Va1], [Va3] and [Va4] for the first three. This part I presents the fourth method and part II will present the last one
We prove the existence of weak integral canonical models of Shimura varieties of Hodge type in arbitrary unramified mixed characteristic $(0,p)$. As a first application we solve a conjecture of Langlands for Shimura varieties of Hodge type. As a second application we prove the existence of integral canonical models of Shimura varieties of preabelian (resp. of abelian) type in mixed characteristic $(0,p)$ with $p\Ge 3$ (resp. with $p=2$) and with respect to hyperspecial subgroups; if $p=3$ (resp. if $p=2$) we restrict in this part I either to the $A_n$, $C_n$, $D_n^{\dbH}$ (resp. $A_n$ and $C_n$) types or to the $B_n$ and $D_n^{\dbR}$ (resp. $B_n$, $D_n^{\dbH}$ and $D_n^{\dbR}$) types which have compact factors over $\dbR$ (resp. which have compact factors over $\dbR$ in some $p$-compact sense). Though the second application is new just for $p\Le 3$, a great part of its proof is new even for $p\Ge 5$ and corrects [Va1, 6.4.11] in most of the cases. The second application forms progress towards the proof of a conjecture of Milne. It also provides in arbitrary mixed characteristic the very first examples of general nature of projective varieties over number fields which are not embeddable into abelian varieties and which have Néron models over certain local rings of rings of integers of number fields.
This work is the first part in a series of three dedicated to the foundations of integral aspects of Shimura varieties and of Fontaine's categories. It deals mostly with the unramified context of (arbitrary) mixed characteristic (0,p). Among the topics covered we mention: the generalization of the classical Serre-Tate theory of ordinary p-divisible groups and of their canonical lifts, the generalization of the classical Serre-Tate-Dwork-Katz theory of (crystalline) coordinates for ordinary abelian varieties, the strong form of the generalized Manin problem, global deformations in the generaliz…
In this paper, we give a notion of the potentially good reduction locus of a Shimura variety. It consists of the points which should be related with motives having potentially good reductions in some sense. We show the existence of such locus for a Shimura variety of preabelian type. Further, we construct a partition of the adic space associated to a Shimura variety of preabelian type, which is expected to describe degenerations of motives. Using this partition, we prove that the cohomology of the potentially good reduction locus is isomorphic to the cohomology of a Shimura variety up to non-s…
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.
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.
Let $(G,X)$ be a Shimura variety of PEL type such that $G_{{\bf Q}_2}$ is a split ${\bf GSO}_{2n}$ group with $n\ge 2$. We prove the existence of the integral canonical models of ${\rm Sh}(G,X)/H_2$ in unramified mixed characteristic $(0,2)$, where $H_2$ is a hyperspecial subgroup of $G({\bf Q}_2)$.
The supersingular locus in the fiber at p of a Shimura variety attached to a unitary similitude group GU(1,n-1) over Q is uniformized by a formal scheme \Cal N. In the case when p is inert, we define special cycles Z(x) in \Cal N, associated to a collection x of m `special homomorphisms' with fundamental matrix T in Herm_m(OK). When m=n and T is nonsingular, we show that the cycle Z(x) is a union of components of the Ekedahl-Oort stratification, and we give a necessary and sufficient conditions, in terms of T, for Z(x) to be irreducible. When Z(x) is zero dimensional -- in which case it reduce…
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 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$).
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.
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$.
In this paper we study the reduction of PEL-Shimura varieties associated to unitary groups of signature (n-1,1) in the inert and unramified case. We describe the Newton polygon and the Ekedahl-Oort stratification. We further study the associated moduli space of isogenies and use a variant of the local model to give a generic description. As an application we prove a conjecture of Blasius und Rogawski about the congruence relation if the integer n is even.
We study integral models, so-called Pappas-Rapoport or splitting models, of some PEL Shimura Varieties whose data are ramified at a prime p. We show that except in a specific case, these models are smooth when there is no level at p, and we study their special fiber modulo p. We show that interesting stratifications appear, and we show that the $μ$-ordinary locus is open and dense, following a strategy of Wedhorn in the unramified case.
Let $(\mathsf{G},\mathsf{X})$ be a Shimura datum of Hodge type. Let $p$ be an odd prime such that $\mathsf{G}_{\mathbb{Q}_p}$ splits after a tamely ramified extension and $p\nmid |π_1(\mathsf{G}^{\rm der})|$. Under some mild additional assumptions that are satisfied if the associated Shimura variety is proper and $\mathsf{G}_{\mathbb{Q}_p}$ is either unramified or residually split, we prove the generalisation of Mantovan's formula for the $l$-adic cohomology of the associated Shimura variety. On the way we derive some new results about the geometry of the Newton stratification of the reduction…
In this note we study the supersingular locus of the GU(2,2) Shimura variety modulo a prime which is unramified in the imaginary quadratic extension. The supersingular locus of this Shimura variety can be related to the basic Rapoport-Zink space whose special fibre is described by the Bruhat-Tits stratification. The description for this supersingular locus in the case where the prime is inert in imaginary quadratic field is already known to Howard and Pappas by exploiting the exceptional isomorphism. Our method is more direct without using the exceptional isomorphism.
We study $p$-adic integral models of certain PEL Shimura varieties with level subgroup at $p$ related to the $Γ_1(p)$-level subgroup in the case of modular curves. We will consider two cases: the case of Shimura varieties associated with unitary groups that split over an unramified extension of $\mathbb{Q}_p$ and the case of Siegel modular varieties. We construct local models, i.e. simpler schemes which are étale locally isomorphic to the integral models. Our integral models are defined by a moduli scheme using the notion of an Oort-Tate generator of a group scheme. We use these local models t…
In this article, we generalize the work of H.Hida and V.Pilloni to construct $p$-adic families of $μ$-ordinary modular forms on Shimura varieties of Hodge type $Sh(G,X)$ associated to a Shimura datum $(G,X)$ where $G$ is a connected reductive group over $\mathbb{Q}$ and is unramified at $p$, such that the adjoint quotient $G^\mathrm{ad}$ has no simple factors isomorphic to $\mathrm{PGL}_2$.
We construct (cohomological) correspondences between mod $p$ fibers of different Shimura varieties and describe the fibers of these correspondences by studying irreducible components of affine Deligne-Lusztig varieties. In particular, in the case of correspondences from a Shimura set to a Shimura variety, we obtain a description of the basic Newton stratum of the latter, and show that the irreducible components of the basic Newton stratum generate all the Tate classes in the middle cohomology of the Shimura variety, under a certain genericity condition. Along the way, we also determine the set…
Given a KHT Shimura variety provided with an action of its unramified Hecke algebra $\mathbb T$, we proved in a previous work, see also the work of Caraiani-Scholze for other PEL Shimura varieties, that its localized cohomology groups at a generic maximal ideal $\mathfrak m$ of $\mathbb T$, appear to be free. In this work, we obtain the same result for $\mathfrak m$ such that its associated Galois $\overline{\mathbb F}_l$-representation $\overline{ρ_{\mathfrak m}}$ is irreducible, under the hypothesis that $[F(\exp(2iπ/l):F]>d$ where $F$ is the reflex field, $d$ the dimension of the KHT Shimur…
We construct Eigenvarieties for PEL Shimura varieties which interpolate cuspidal, finite slope automorphic forms for PEL Shimura varieties appearing as global sections of (coherent) automorphic sheaves, under the hypothesis that the primes are unramified in the Shimura datum, but allowing the ordinary locus to be empty. We then use this construction to extend previous results on the Bloch-Kato conjecture for Hecke characters of a quadratic imaginary field.
Let $F$ be a totally real field in which a prime number $p>2$ is inert. We continue the study of the (generalized) Goren--Oort strata on quaternionic Shimura varieties over finite extensions of $\mathbb F_p$. We prove that, when the dimension of the quaternionic Shimura variety is even, the Tate conjecture for the special fiber of the quaternionic Shimura variety holds for the cuspidal $π$-isotypical component, as long as the two unramified Satake parameters at $p$ are not differed by a root of unity.
We describe the structure of the supersingular locus of a Shimura variety for a quaternionic unitary similitude group of degree $2$ over a ramified odd prime $p$ if the level at $p$ is given by a special maximal compact open subgroup. More precisely, we show that such a locus has purely $2$-dimensional, and every irreducible component is birational to the Fermat surface. Furthermore, we have an estimation of the numbers of connected and irreducible components. To prove these assertions, we completely determine the structure of the underlying reduced scheme of the Rapoport--Zink space for the q…
Let $p$ be a prime number. Mazur proved that a geometrically maximal unramified abelian covering of $X_0(p)$ over $\mathbb Q$ is given by the Shimura covering $X_2(p) \to X_0(p)$, that is, a unique subcovering of $X_1(p) \to X_0(p)$ of degree $N_p := (p-1)/\gcd(p-1, 12)$. In this short paper, we show that a geometrically maximal abelian covering $X_2'(p) \to X_0(p)$ of $X_0(p)$ over $\mathbb Q$ unramified outside cusps is cyclic of degree $2N_p$. The main ingredient for the construction of $X_2'(p)$ is the generalized Dedelind eta functions.
Let p>2 be a prime and let X be a compactified PEL Shimura variety of type (A) or (C) such that p is an unramified prime for the PEL datum. Using the geometric approach of Andreatta, Iovita, Pilloni, and Stevens we define the notion of families of overconvergent locally analytic p-adic modular forms of Iwahoric level for X. We show that the system of eigenvalues of any finite slope cuspidal eigenform of Iwahoric level can be deformed to a family of systems of eigenvalues living over an open subset of the weight space. To prove these results, we actually construct eigenvarieties of the expected…
This paper proves that the nearby cycles complexes on a certain family of PEL local models are central with respect to the convolution product of sheaves on the corresponding affine flag varieties. As a corollary, the semisimple trace functions defined using the action of Frobenius on those nearby cycles complexes are, via the sheaf-function dictionary, in the centers of the corresponding Iwahori-Hecke algebras. This is commonly referred to as Kottwitz's Conjecture. The reductive groups associated to the PEL local models under consideration are unramified unitary similitude groups with even di…
Two approaches to the construction of integral models of local Shimura-varieties are compared: that of Bültel-Pappas using $\mathcal{G}$-$μ$-displays and that of Scholze using local mixed-characteristic shtuka. As an application, the representability of the diamond of the generic fiber of the Bültel-Pappas moduli problem is verified and a local representability conjecture of Rapoport-Pappas is proven. The methods apply to all unramified local Shimura-data under a certain condition on slopes and if $p\neq 2;$ thus in particular also to exceptional groups.
A p-divisible group, or more generally an F-crystal, is said to be Hodge-Newton reducible if its Hodge polygon passes through a break point of its Newton polygon. Katz proved that Hodge-Newton reducible F-crystals admit a canonical filtration called the Hodge-Newton filtration. The notion of Hodge-Newton reducibility plays an important role in the deformation theory of p-divisible groups; the key property is that the Hodge-Newton filtration of a p-divisible group over a field of characteristic p can be uniquely lifted to a filtration of its deformation. We generalize Katz's result to F-crystal…
We prove in this paper a classicality result for overconvergent modular forms on PEL Shimura varieties of type (A) or (C) associated to an unramified reductive group on $\mathbb{Q}_p$. To get this result, we use the analytic continuation method, first used by Buzzard and Kassaei.
Let $k$ be an algebraically closed field of characteristic $p>0$. Let $c,d,m$ be positive integers. Let $D$ be a $p$-divisible group of codimension $c$ and dimension $d$ over $k$. Let $\scrD$ be a versal deformation of $D$ over a smooth $k$-scheme $\scrA$ which is equidimensional of dimension $cd$. We show that there exists a reduced, locally closed subscheme $\grs_D(m)$ of $\scrA$ that has the following property: a point $y\in\scrA(k)$ belongs to $\grs_D(m)(k)$ if and only if $y^*(\scrD)[p^m]$ is isomorphic to $D[p^m]$. We prove that $\grs_D(m)$ is {\it regular and equidimensional} of {\it di…
Let $F$ be the maximal totally real subfield of $\mathbf{Q}(ζ_{32})$, the cyclotomic field of $32$nd roots of unity. Let $D$ be the quaternion algebra over $F$ ramified exactly at the unique prime above $2$ and 7 of the real places of $F$. Let $\mathcal{O}$ be a maximal order in $D$, and $X_0^D(1)$ the Shimura curve attached to $\mathcal{O}$. Let $C = X_0^D(1)/\langle w_D \rangle$, where $w_D$ is the unique Atkin-Lehner involution on $X_0^D(1)$. We show that the curve $C$ has several striking features. First, it is a hyperelliptic curve of genus $16$, whose hyperelliptic involution is exceptio…
Let $G$ be an unramified group over a $p$-adic field. This article introduces a base change homomorphism for Bernstein centers of depth-zero principal series blocks for $G$ and proves the corresponding base change fundamental lemma. This result is used in the approach to Shimura varieties with $Γ_1(p)$-level structure initiated by M. Rapoport and the author in [HR2].
