We give a unified formulation of a mass for arbitrary abelian varieties with PEL-structures and show that it equals a weighted class number of a reductive $\Q$-group $G$ relative to an open compact subgroup $U$ of $G(\A_f)$, or simply called an {\it arithmetic mass}. We classify the special objects for which our formulation remains valid over algebraic closed fields. As a result, we show that the set of basic points in a mod $p$ moduli space of PEL-type with a local condition (and a mild condition subject to the Hasse principle) can be expressed as a double coset space and its mass equals an arithmetic mass. The moduli space does not need to have good reduction at $p$. This generalizes a well-known result for superspecial abelian varieties.
We study the rigid cohomology of the ordinary locus in some compact PEL Shimura varieties of type C with values in automorphic local systems and use it to prove a small slope criterion for classicality of overconvergent Hecke eigenforms. This generalises the work of Coleman, and is a first step in an ongoing project to extend the cohomological approach to classicality to higher-dimensional Shimura varieties.
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 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 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 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 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.
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 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.
Generalising the recent method of Andreatta, Iovita, and Pilloni for cuspidal forms, we construct an eigenvariety for symplectic and unitary groups that parametrises systems of eigenvalues of overconvergent and locally analytic $p$-adic automorphic forms. This is achieved by gluing some intermediates eigenvarieties of a fixed 'degree of cuspidality'. The dimension of these eigenvarieties is explicit and depends on the degree of cuspidality, it is maximal for cuspidal forms and it is $1$ for forms that are 'not cuspidal at all'. Under mild assumption, we are able to prove a conjecture of Urban …
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.
We show Eicher-Shimura relations for some Shimura varieties of Hodge type, proving a conjecture of Blasius and Rogawski in this case. We show this using a parabolic reduction strategy on the Hecke action on irreducible components of affine Deligne-Lusztig varieties.
The Bruhat stratification for Shimura varieties of PEL type is studied. In the Siegel case this stratification is a scheme-theoretic variant of the stratification by the a-number. We show that all Bruhat strata are smooth and determine their dimensions. We also prove that the closure of a Bruhat stratum is a union of Bruhat strata and describe which Bruhat strata are contained in the closure of a given Bruhat stratum.
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 give a classification, up to consideration of component groups, of sub-Shimura varieties of those Shimura Varieties attached to orthogonal groups of signature (2,n) over Q.
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)$.
In these notes I proved the Chai-Faltings version of Eichler-Shimura congruence relation for simple GSpin Shimura varieties. This extends the results by Bueltel, Wedhorn and Koskivirta.
In this paper we study the action of complex conjugation on Shimura varieties and the problem of descending these to the maximal totally real field of the reflex field. We prove the existence of such descent for many Shimura varieties whose associated adjoint group has certain factors of type A or D. This includes a large family of Shimura varieties of abelian type. Our considerations and constructions are carried out purely at the level of Shimura data and group theory.
In this paper we formulate some conjectures about algebraic flows on Shimura varieties. In the first part of the paper we prove the `logarithmic Ax-Lindemann theorem'. We then prove a result concerning the topological closure of the images of totally geodesic subvarieties of symmetric spaces uniformising Shimura varieties. This is a special case of our conjectures.
In this paper, we introduce the notion of incoherent definite orthogonal and Hermitian spaces, and use their neighboring spaces as a tool for the local study of orthogonal and unitary Shimura varieties. This generalizes earlier work, using incoherent definite quaternion algebras in the local study of Shimura curves.
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 prove that Shimura varieties of abelian type with infinite level at $p$ are perfectoid. As a corollary, the moduli spaces of polarized K3 surfaces with infinite level at $p$ are also perfectoid.
We determine the Galois representations inside the $l$-adic cohomology of some unitary Shimura varieties at split places where they admit uniformization by finite products of Drinfeld upper half spaces. Our main results confirm Langlands-Kottwitz's description of the cohomology of Shimura varieties in new cases.
We study "quadratic periods" on quaternionic Shimura varieties and formulate an integral refinement of Shimura's conjecture regarding Petersson inner products of automorphic forms that are related by the Jacquet-Langlands correspondence. The main result is that this integral refinement is implied by another conjecture (Conjecture D below) regarding integrality of theta lifts between certain quaternionic unitary groups.
This brief article gives an alternative interpretation, based on a theorem of Berkovich, of the Eisenstein classes in the cohomology of Shimura varieties, used in forthcoming work of the author with K. W. Lan, R. Taylor, and J. Thorne.
Using the p-adic uniformization of Shimura varieties we determine, for some of them, over which local fields they have rational points. Using this we show in some new curve cases that the jacobians are even in the sense of Poonen and Stoll.
For a new class of Shimura varieties of orthogonal type over a totally real number field, we construct special cycles and show the the modularity of Kudla's generating series in the cohomology group.
In this paper, we generalize a conjecture due to Darmon and Logan in an adelic setting. We study the relation between our construction and Kudla's works on cycles on orthogonal Shimura varieties. This relation allows us to conjecture a Gross-Kohnen-Zagier theorem for Darmon's points.
We give a formula for the class number of an arbitrary CM algebraic torus over $\mathbb{Q}$. This is proved based on results of Ono and Shyr. As applications, we give formulas for numbers of polarized CM abelian varieties, of connected components of unitary Shimura varieties and of certain polarized abelian varieties over finite fields. We also give a second proof of our main result.
We construct some $n$-dimensional eigenvarieties for finite slope overconvergent eigenforms over some unitary Shimura varieties with signature $(1,n-1)\times(0,n)\times\cdots\times(0,n)$ by adapting Andreatta-Iovita-Pilloni's method. We also show that there are some Galois pseudo-characters over our eigenvarieties by studying analytic continuation of finite slope eigenforms over these Shimura varieties.
The ultimate goal of the paper is to construct a novel norm-compatible family of cycles appearing in the context of Gross--Gan--Prasad cycles arising from Shimura varieties attached to $U(n-1,1)\hookrightarrow U(n,1) \times U(n-1,1)$ for arbitrary $n$.
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 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.
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.
We study the motivic cohomology of the special fiber of quaternionic Shimura varieties at a prime of good reduction. We exhibit classes in these motivic cohomology groups and use this to give an explicit geometric realization of level raising between Hilbert modular forms. The main ingredient for our construction is a form of Ihara's Lemma for compact quaternionic Shimura surfaces which we prove by generalizing a method of Diamond-Taylor. Along the way we also verify the Hecke orbit conjecture for these quaternionic Shimura varieties which is a key input for our proof of Ihara's Lemma.
We consider the problem of defining an action of Hecke operators on the coherent cohomology of certain integral models of Shimura varieties. We formulate a general conjecture describing which Hecke operators should act integrally and solve the conjecture in certain cases. As a consequence, we obtain $p$-adic estimates of Satake parameters of certain non-regular self dual automorphic representations of $\mathrm{GL}_n$.
A particular case of Bergeron-Venkatesh's conjecture predicts that torsion classes in the cohomology of Shimura varieties are rather rare. According to this and for Kottwitz-Harris-Taylor type of Shimura varieties, we first associate to each such torsion class an infinity of irreducible automorphic representations in characteristic zero, which are pairwise non isomorphic and weakly congruent. Then, using completed cohomology, we construct torsion classes in regular weight and then deduce explicit examples of such automorphic congruences.
Mazur's principle gives a criterion under which an irreducible mod l Galois representation arising from a classical modular form of level Np (with p prime to N) also arises from a classical modular form of level N. We consider the analogous question for Galois representations arising from certain unitary Shimura varieties. In particular, we prove an analoge of Mazur's principle for U(2,1) Shimura varities. We also give a conjectural criterion for a Galois representation arising in the cohomology of a unitary Shimura variety whose level subgroup is parahoric at p to also arise in the cohomology…
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.
We generalize the local-global compatibility result in arXiv:1506.04022 to higher dimensional cases, by examining the relation between Scholze's functor and cohomology of Kottwitz-Harris-Taylor type Shimura varieties. Along the way we prove a cuspidality criterion from type theory. We also deal with compatibility for torsion classes in the case of semisimple mod $p$ Galois representations with distinct irreducible components under certain flatness hypotheses.
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.
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 compare the conjecture of Buzzard-Gee on the association of Galois representations to C-algebraic automorphic representations with the conjectural description of the cohomology of Shimura varieties due to Kottwitz, and the reciprocity law at infinity due to Arthur. This is done by extending Langlands's representation of the L-group associated with a Shimura datum to a representation of the C-group of Buzzard-Gee. The approach offers an explanation of the explicit Tate twist appearing in Kottwitz's description.
We determine the Galois representations inside the $l$-adic cohomology of some quaternionic and related unitary Shimura varieties at ramified places. The main results generalize the previous works of Reimann and Kottwitz in this setting to arbitrary levels at $p$, and confirm the expected description of the cohomology due to Langlands and Kottwitz.
We apply the theory of Borcherds products to calculate arithmetic volumes (heights) of Shimura varieties of orthogonal type up to contributions from very bad primes. The approach is analogous to the well-known computation of their geometric volume by induction, using special cycles. A functorial theory of integral models of toroidal compactifications of those varieties and a theory of arithmetic Chern classes of integral automorphic vector bundles with singular metrics are used. We obtain some evidence in the direction of Kudla's conjectures on relations of heights of special cycles on these v…
The Kottwitz conjecture describes the cohomology of basic Rapoport-Zink spaces using local Langlands correspondences. In this paper, via geometrical studies of some Kottwitz-type Shimura varieties, we prove this conjecture for basic simple unramified unitary PEL type Rapoport-Zink spaces of signature (1, n-1).
