In this paper we study the supersingular locus of the reduction modulo p of the Shimura variety for GU(1,s) in the case of an inert prime p. Using Dieudonné theory we define a stratification of the corresponding moduli space of p-divisible groups. We describe the incidence relation of this stratification in terms of the Bruhat-Tits building of a unitary group.
In the case of GU(1,2), we show that the supersingular locus is equi-dimensional of dimension 1 and is of complete intersection. We give an explicit description of the irreducible components and their intersection behaviour.
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 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 study the structure of the supersingular locus of the Rapoport--Zink integral model of the Shimura variety for $\mathrm{GU}(2,2)$ over a ramified odd prime with the special maximal parahoric level. We prove that the supersingular locus equals the disjoint union of two basic loci, one of which is contained in the flat locus, and the other is not. We also describe explicitly the structures of basic loci. More precisely, the former one is purely $2$-dimensional, and each irreducible component is birational to the Fermat surface. On the other hand, the latter one is purely $1$-dimensional, and …
We analyze the geometry of the supersingular locus of the reduction modulo p of a Shimura variety associated to a unitary similitude group GU(1,n-1) over Q, in the case that p is ramified. We define a stratification of this locus and show that its incidence complex is closely related to a certain Bruhat-Tits simplicial complex. Each stratum is isomorphic to a Deligne-Lusztig variety associated to some symplectic group over F_p and some Coxeter element. The closure of each stratum is a normal projective variety with at most isolated singularities. The results are analogous to those of Vollaard/…
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…
We study moduli spaces of abelian varieties in positive characteristic, more specifically the moduli space of principally polarized abelian varieties on the one hand, and the analogous space with Iwahori type level structure, on the other hand. We investigate the Ekedahl-Oort stratification on the former, the Kottwitz-Rapoport stratification on the latter, and their relationship. In this way, we obtain structural results about the supersingular locus in the case of Iwahori level structure, for instance a formula for its dimension in case $g$ is even.
This article has three goals. First, we generalize the result of Deuring and Serre on the characterization of supersingular locus of modular curves to all Shimura varieties given by totally indefinite quaternion algebras over totally real number fields. Second, we generalize the result of Ribet on arithmetic level raising to such Shimura varieties in the inert case. Third, as an application to number theory, we use the previous results to study the Selmer group of certain triple product motive of an elliptic curve, in the context of the Bloch--Kato conjecture.
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.
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.
We describe the intersection of the Torelli locus $j(\mathcal{M}_4^{ct}) = \mathcal{J}_4$ with Newton and Ekedahl-Oort strata related to the supersingular locus in characteristic two. We show that the locus of supersingular Jacobians $\mathcal{S}_4\cap\mathcal{J}_4$ in characteristic two is pure of dimension three. One way to obtain that result uses an analysis of the data of smooth genus four curves and principally polarized abelian fourfolds defined over $\mathbb{F}_2$, and another involves studying the Ekedahl-Oort types and using the indecomposability of some $\mathrm{BT}_1$ group schemes.
In this paper, we study the basic locus in the fiber at $p$ of a certain unitary Shimura variety with a certain parahoric level structure. The basic locus $\widehat{\mathcal{M}^{ss}}$ is uniformized by a formal scheme $\mathcal{N}$ which is called Rapoport-Zink space. We show that the irreducible components of the induced reduced subscheme $\mathcal{N}_{red}$ of $\mathcal{N}$ are Deligne-Lusztig varieties and their intersection behavior is controlled by a certain Bruhat-Tits building. Also, we define special cycles in $\mathcal{N}$ and study their intersection multiplicities.
In this note we study the special fiber of the Rapoport-Zink space attached to a quaternionic unitary group. The special fiber is described using the so called Bruhat-Tits stratification and is intimately related to the Bruhat-Tits building of a split symplectic group. As an application we describe the supersingular locus of the related Shimura variety.
Recently Ibukiyama proves an explicit formula for the number of certain non-principal polarizations on a superspecial abelian surface, extending his earlier work with Katsura for principal polarizations [Compos. Math. 1994]. As a consequence of Ibukiyama's formula, there exists a geometrically irreducible component of the Siegel supersingular locus which is defined over the prime finite field. In this note we give a direct proof of this result.
In this paper, we study the $μ$-ordinary locus of a Shimura variety with parahoric level structure. Under the axioms in \cite{HR}, we show that $μ$-ordinary locus is a union of some maximal Ekedahl-Kottwitz-Oort-Rapoport strata introduced in \cite{HR} and we give criteria on the density of the $μ$-ordinary locus.
We show that a given rational Shimura curve Y with strictly maximal Higgs field in the moduli space of g-dimensional abelian varieties does not generically intersect the Schottky locus for large g. We achieve this by using a result of Viehweg and Zuo which says that if Y parameterizes a family of curves of genus g, then the corresponding family of Jacobians is isogenous over Y to the g-fold product of a modular family of elliptic curves. After reducing the situation from the field of complex numbers to a finite field, we will see, combining the Weil and Sato-Tate conjectures, that this is impo…
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…
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.
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.
We give a construction of a new $p$-adic Maass-Shimura operator defined on an affinoid subdomain of the preperfectoid $p$-adic universal cover $\mathcal{Y}$ of a modular curve $Y$. We define a new notion of $p$-adic modular forms as sections of a certain sheaf $\mathcal{O}_Δ$ of "nearly rigid functions" which transform under the action of subgroups of the Galois group $\mathrm{Gal}(\mathcal{Y}/Y)$ by $\mathcal{O}_Δ^{\times}$-valued weight characters. This extends Katz's notion of $p$-adic modular forms as functions on the Igusa tower $Y^{\mathrm{Ig}}$; indeed we may recover Katz's theory by re…
We review the Newton stratification and Ekedahl-Oort stratification on the special fiber of a smooth integral model for a Shimura variety of Hodge type at a prime of good reduction. We show that the μ-ordinary locus coincides with the generic Ekedahl-Oort stratum, and that for any two geometric points in the μ-ordinary locus there is an isomorphism of the attached Dieudonne modules with additional structure. As a consequence, we proof that the μ-ordinary locus is open and dense, thus generalizing the results which were already known in the PEL-case. To prove our results we provide a method whi…
We describe the supersingular locus of the Siegel 3-fold with a parahoric level structure. We also study its higher dimensional generalization. Using this correspondence and a deep result of Li and Oort, we evaluate the number of irreducible components of the supersingular locus of the Siegel moduli space $\calA_{g,1,N}$ for arbitrary $g$.
This paper is a contribution to the general problem of giving an explicit description of the basic locus in the reduction modulo $p$ of Shimura varieties. Motivated by \cite{Vollaard-Wedhorn} and \cite{Rapoport-Terstiege-Wilson}, we classify the cases where the basic locus is (in a natural way) the union of classical Deligne-Lusztig sets associated to Coxeter elements. We show that if this is satisfied, then the Newton strata and Ekedahl-Oort strata have many nice properties.
We compute the image of the $p$-adic period map for polarized K3 surfaces with supersingular reduction. This gives rise to a Rapoport-Zink type uniformization of their moduli space by an explicit open rigid analytic subvariety of a local Shimura variety of orthogonal type. In contrast to the case of Rapoport-Zink uniformization of Shimura varieties and in analogy to the complex case, the uniformizing domain does not carry an action of a $p$-adic Lie group, but only of a discrete subgroup. We briefly sketch how the same arguments can be applied to obtain a uniformization for the moduli space of…
We develop Hida theory for Shimura varieties of type A without ordinary locus. In particular we show that the dimension of the space of ordinary forms is bounded independently of the weight and that there is a module of $Λ$-adic cuspidal ordinary forms which is of finite type over $Λ$, where $Λ$ is a twisted Iwasawa algebra.
We study the geometry of unitary Shimura varieties without assuming the existence of an ordinary locus. We prove, by a simple argument, the existence of canonical subgroups on a strict neighborhood of the $μ$-ordinary locus (with an explicit bound). We then define the overconvergent modular forms (of classical weight), as well as the relevant Hecke operators. Finally, we show how an analytic continuation argument can be adapted to this case to prove a classicality theorem, namely that an overconvergent modular form which is an eigenform for the Hecke operators is classical under certain assump…
In this article we compute the mass associated to any unimodular lattice in a Hermitian space over an arbitrary CM field under a condition at 2. We study the geometry and arithmetic of the basic locus of the GU(r,s)-Shimura variety associated to an imaginary quadratic field modulo a good prime p>2. We give explicit formulas for the numbers of irreducible and connected components of the basic locus, and of points of the zero-dimensional Ekedahl-Oort (EO) stratum, as well as of the irreducible components of basic EO strata when the signature is either (1, n-1) or (2,2).
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 generalize some of the results of Andreatta, Iovita, and Pilloni and the author to Hodge type Shimura varieties having non-empty ordinary locus. For any $p$-adic weight $κ$, we give a geometric definition of the space of overconvergent modular forms of weight $κ$ in terms of sections of a sheaf. We show that our sheaves live in analytic families, interpolating the classical sheaves for integral weights. We define an action of the Hecke algebra, including a completely continuous operator at $p$. In some simple cases, we also build the eigenvariety.
We study the reduction of certain integral models of Shimura varieties of PEL type with Iwahori level structure. On these spaces we have the Kottwitz-Rapoport and the $p$-rank stratification. We show that the $p$-rank is constant on a KR stratum, generalizing a result of Ngô and Genestier. We prove an abstract, uniform formula for the $p$-rank on a KR stratum. In the symplectic and in the unitary case we derive explicit formulas for its value. We apply these formulas to the question of the density of the ordinary locus and to the question of the dimension of the $p$-rank 0 locus.
We study the intersection of the Torelli locus with the Newton polygon stratification of the modulo $p$ reduction of certain PEL-type Shimura varieties. We develop a clutching method to show that the intersection of the open Torelli locus with some Newton polygon strata is non-empty. This allows us to give a positive answer, under some compatibility conditions, to a question of Oort about smooth curves in characteristic $p$ whose Newton polygons are an amalgamate sum. As an application, we produce infinitely many new examples of Newton polygons that occur for smooth curves that are cyclic cove…
We investigate Siegel modular varieties in positive characteristic with Iwahori level structure. On these spaces, we have the Newton stratification, and the Kottwitz-Rapoport stratification; one would like to understand how these stratifications are related to each other. We give a simple description of all KR strata which are entirely contained in the supersingular locus as disjoint unions of Deligne-Lusztig varieties. We also give an explicit numerical description of the KR stratification in terms of abelian varieties.
The formal deformation space of a supersingular Barsotti-Tate group over of dimension two equipped with an action of Z_{p^2} is known to be isomorphic to the formal spectrum of a power series ring in two variables. If one chooses an extra Z_{p^2}-linear endomorphism of the p-divisible group then the locus in the formal deformation space formed by those deformations for which the extra endomorphism lifts is a closed formal subscheme of codimension two. We give a complete description of the irreducible components of this formal subscheme, compute the multiplicities of these components, and compu…
In this article we prove several level lowering results for cuspidal automorphic representations occurring in the cohomology of the Siegel modular threefold with paramodular level structure by adapting a method of Ribet in his proof of the Serre's epsilon conjecture. The proof is purely geometric and relies on the description of the supersingular locus of certain quaternionic unitary Shimura variety and an arithmetic level raising result on this Shimura variety. The heart of the proof is a comparison of the dimension of the space of vanishing cycles on the paramodular Siegel modular threefold …
In this note we show that any supersingular abelian variety is isogenous to a superspecial abelian variety without increasing field extensions. The proof uses minimal isogenies and the Galois descent. We then construct a superspecial abelian variety which not directly defined over a finite field. This answers negatively to a question of the author [J. Pure Appl. Alg., 2013] concerning of endomorphism algebras occurring in Shimura curves. Endomorphism algebras of supersingular elliptic curves over an arbitrary field are also investigated. We correct a main result of the author's paper [Math. Re…
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…
We construct a generalization of the Hasse invariant for any Shimura variety of PEL type A over a prime of good reduction, whose vanishing locus is the open and dense μ-ordinary locus.
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.
We study the supersingular curves on Picard modular surfaces modulo a prime $p$ which is inert in the underlying quadratic imaginary field. We analyze the automorphic vector bundles in characteristic $p$, and as an application derive a formula relating the number of irreducible components in the supersingular locus to the second Chern class of the surface.
