This paper concerns the characteristic-$p$ fibers of $\mathsf{GU}(q-2,2)$ Shimura varieties, which classify abelian varieties with additional structure. These Shimura varieties admit two stratifications of interest: the Ekedahl-Oort stratification, based on the isomorphism class of the $p$-torsion subgroup scheme, and the Newton stratification, based on the isogeny class of the $p$-divisible group. In this paper, we present several novel techniques that give a better understanding of the Ekedahl-Oort stratification and of the interaction between the two stratifications for a general signature $(q-2,2)$.
The Ekedahl-Oort type is a combinatorial invariant of a principally polarized abelian variety $A$ defined over an algebraically closed field of characteristic $p > 0$. It characterizes the $p$-torsion group scheme of $A$ up to isomorphism. Equivalently, it characterizes (the mod $p$ reduction of) the Dieudonné module of $A$ or the de Rham cohomology of $A$ as modules under the Frobenius and Vershiebung operators. There are very few results about which Ekedahl-Oort types occur for Jacobians of curves. In this paper, we consider the class of Hermitian curves, indexed by a prime power $q=p^n$, wh…
Intersections of the Ekedahl-Oort and Newton Strata of $\mathcal{A}_{5}$
Korteweg-de Vries Institute for Mathematics, University of Amsterdam（阿姆斯特丹大学科蒂格-德弗里斯数学研究所）；Department of Mathematics, University College London（伦敦大学学院数学系）；Department of Mathematics, The University of Texas at Austin（德克萨斯大学奥斯汀分校数学系）
We show that the zip stratification given by an arbitrary $\Ghat$-zip over a scheme is pure. We deduce purity of the level-$m$-stratification for truncated Barsotti-Tate groups and purity of the Ekedahl-Oort stratification for special fibers of good models of Shimura varieties of Hodge type. We also show that all Ekedahl-Oort strata are quasi-affine schemes and generalize several properties of the Bruhat stratification from the PEL case to the case of Shimura varieties of Hodge type.
We study the Hodge-Tate period domain associated to a quaternionic Shimura curve at a prime of bad reduction, and give an explicit description of its Ekedahl-Oort stratification.
We prove vanishing results for the $0$th cohomology of automorphic line bundles on the Ekedahl--Oort strata of the special fiber of Hilbert--Blumenthal Shimura varieties. This work vastly extends to all Ekedahl--Oort strata previous results of Diamond--Kassaei and Goldring--Koskivirta. Furthermore, our results also cover the case of unitary Shimura varieties of rank $\leq 2$ attached to an arbitrary CM extension. We also prove a conjecture of Goldring--Koskivirta on the set of possible weights of automorphic forms.
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 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.
Given a principally polarized abelian variety $A$ of dimension $g$ over an algebraically closed field $k$ of characteristic $p$, the $p$ torsion $A[p]$ is a finite flat $p$-torsion group scheme of rank $p^{2g}$. There are exactly $2^g$ possible group schemes that can occur as some such $A[p]$. In this paper, we study which group schemes can occur as $J[p]$, where $J$ is the Jacobian of a hyperelliptic curve defined over $\mathbb{F}_p$. We do this by computing explicit formulae for the action of Frobenius and its dual on the de Rham cohomology of a hyperelliptic curve with respect to a given ba…
On the classification of indecomposable Ekedahl-Oort strata in unitary Shimura varieties, and related Newton polygons
Washington College（华盛顿学院）；Carleton College（卡尔顿学院）；Oklahoma State University（俄克拉荷马州立大学）；Brooklyn College, City University of New York（纽约市立大学布鲁克林学院）；Korteweg-de Vries Institute for Mathematics, University of Amsterdam（阿姆斯特丹大学科特维格-德弗里斯数学研究所）；Colorado State University（科罗拉多州立大学）
Ekedahl-Oort strata with a superspecial factor in unitary Shimura varieties
Washington College（华盛顿学院）；Carleton College（卡尔顿学院）；Brooklyn College and The Graduate Center, City University of New York（纽约市立大学布鲁克林学院及研究生院）；Korteweg-de Vries Institute for Mathematics, University of Amsterdam（阿姆斯特丹大学科特维格-德弗里斯数学研究所）；University of Arizona（亚利桑那大学）
In the paper four stratifications in the reduction modulo $p$ of a general Shimura variety are studied: the Newton stratification, the Kottwitz-Rapoport stratification, the Ekedahl-Oort stratification and the Ekedahl-Kottwitz-Oort-Rapoport stratification. We formulate a system of axioms and show that these imply non-emptiness statements and closure relation statements concerning these various stratifications. These axioms are satisfied in the Siegel case.
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.
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.
Let $p$ be a prime number and let $k$ be an algebraically closed field of characteristic $p$. A $BT_1$ group scheme over $k$ is a finite commutative group scheme which arises as the kernel of $p$ on a $p$-divisible (Barsotti--Tate) group. We compare three classifications of $BT_1$ group schemes, due in large part to Kraft, Ekedahl, and Oort, and defined using words, canonical filtrations, and permutations. Using this comparison, we determine the Ekedahl--Oort types of Fermat quotient curves and we compute four invariants of the $p$-torsion group schemes of these curves.
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 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 EKOR stratification which interpolates between the Ekedahl-Oort and Kottwitz-Rapoport stratifications. In the Siegel case we give a geometric description by suitably generalizing the theory of $G$-zips of Moonen, Wedhorn, Pink and Ziegler to our context.
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.
Congruence relations for Shimura varieties associated to some unitary groups
本文研究了与签名为（n-1，1）的酉群相关的PEL-Shimura簇在惰性和非分歧情形下的约化.我们描述了牛顿多边形和Ekedahl-Oort分层。我们进一步研究了同构的相关模空间，并使用局部模型的一个变体给出了一个通用的描述。作为应用，我们证明了Blasius und Rogawski关于整数n为偶数时的同余关系的一个猜想.
We construct group-theoretical generalizations of the Hasse invariant on strata closures of the stacks $G$-Zip$^μ$. Restricting to zip data of Hodge type, we obtain a group-theoretical Hasse invariant on every Ekedahl-Oort stratum closure of a general Hodge-type Shimura variety. A key tool is the construction of a stack of zip flags $G$-ZipFlag$^μ$, fibered in flag varieties over $G$-Zip$^μ$. It provides a simultaneous generalization of the "classical case" homogeneous complex manifolds studied by Griffiths-Schmid and the "flag space" for Siegel varieties studied by Ekedahl-van der Geer. Four …
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.
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 introduce a method for producing congruences between Hecke eigenclasses, possibly torsion, in the coherent cohomology of automorphic vector bundles on certain good reduction Shimura varieties. The congruences are produced using some "generalized Hasse invariants" adapted to the Ekedahl-Oort stratification of the special fiber.
By a result of Moonen, there are exactly 20 positive-dimensional families of cyclic covers of the projective line for which the Torelli image is open and dense in the associated Shimura variety. For each of these, we compute the Newton polygons, and the $μ$-ordinary Ekedahl--Oort type, occurring in the characteristic $p$ reduction of the Shimura variety. We prove that all but a few of the Newton polygons appear on the open Torelli locus. As an application, we produce multiple new examples of Newton polygons and Ekedahl--Oort types of Jacobians of smooth curves in characteristic $p$. Under cert…
We develop a theory of enlarged mixed Shimura varieties, putting the universal vectorial bi-extension defined by Coleman into this framework to study some functional transcendental results of Ax type. We study their bi-algebraic systems, formulate the Ax-Schanuel conjecture and explain its relation with the Ax logarithmique theorem and the Ax-Lindemann theorem which we shall prove. We also prove the whole Ax-Schanuel conjecture for the unipotent part. All these bi-algebraic and transcendental results generalize their counterparts for mixed Shimura varieties. In the end we briefly discuss about…
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$
We state and investigate an integral analogue of the André-Oort conjecture (in integral models of Shimura varieties). We establish an instance of this conjecture: the case of a modular curve, as a scheme over Z. It is a scheme of dimension two and, already in this case, our conjecture is highly non-trivial. Our approach relies on equidistribution estimates related to subconvexity in analytic number theory and our result is unconditional.
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…
Under the axiom of He and Rapoport for the stratifications of Shimura varieties, we explain a result of Görtz, He and Nie that the EKOR strata contained in the basic loci can be described as a disjoint union of Deligne-Lusztig varieties. In the special case of Siegel modular varieties, we compare their descriptions to that of Görtz and Yu for the supersingular Kottwitz-Rapoport strata and to the descriptions of Harashita, Hoeve for the supersingular Ekedahl-Oort strata.
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 paper we prove the equidistribution of bounded sequences of special subvarieties in a general mixed Shimura varieties, a notion adapted from the pure case treated by Clozel, Ullmo, and Yafaev in the study of the Andre-Oort conjecture. We also discuss the relation of bounded sequences with bounded Galois orbits of special subvarieties.
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…
