In this paper, we study special cycles on the Krämer model of $\mathrm{U}(1,1)(F/F_0)$-Rapoport-Zink spaces where $F/F_0$ is a ramified quadratic extension of $p$-adic number fields with the assumption that the $2$-dimensional hermitian space of special quasi-homomorphisms is anisotropic. We write down the decomposition of these special cycles and prove a version of Kudla-Rapoport conjecture in this case. We then apply the local results to compute the intersection numbers of special cycles on unitary Shimura curves and relate these intersection numbers to Fourier coefficients of central derivatives of certain Eisenstein series.
We study Shimura curves of PEL type in the space of polarised abelian varieties $A^δ_p$ generically contained in the ramified Prym locus. We generalise to ramified double covers, the construction done in [10] in the unramified case and in the case of two ramification points. Namely, we construct families of double covers which are compatible with a fixed group action on the base curve. We only consider the case of one-dimensional families and where the quotient of the base curve by the group is ${\mathbb P}^1$. Using computer algebra we obtain 184 Shimura curves contained in the (ramified) Pry…
In this paper we construct Shimura subvarieties of dimension bigger than one of the moduli space of polarised abelian varieties of a given dimension, which are generically contained in the Pym loci of (ramified) double covers. The idea is to adapt the techniques already used to construct Shimura curves in the Prym loci to the higher dimensional case, namely to use families of Galois covers of the projective line. The case of abelian covers is treated in detail, since in this case it is possible to make explicit computations that allow to verify a sufficient condition for such a family to yield…
We study Shimura (special) subvarieties in the moduli space $A_{p,D}$ of complex abelian varieties of dimension $p$ and polarization type $D$. These subvarieties arise from families of covers compatible with a fixed group action on the base curve such that the quotient of the base curve by the group is isomorphic to $\mathbb{P}^1$. We give a criterion for the image of these families under the Prym map to be a special subvariety and, using computer algebra, obtain 210 Shimura subvarieties contained in the Prym locus.
This paper is a continuation of our paper math.AG/0006222. We study the reduction of certain PEL Shimura varieties with parahoric level structure at primes p at which the group that defines the Shimura variety ramifies. We describe "good" $p$-adic integral models of these Shimura varieties and study their 'etale local structure. In particular, we exhibit a stratification of their (singular) special fibers and give a partial calculation of the sheaf of nearby cycles.
We study Shimura curves of PEL type in $\mathsf{A}_g$ generically contained in the Prym locus. We study both the unramified Prym locus, obtained using étale double covers, and the ramified Prym locus, corresponding to double covers ramified at two points. In both cases we consider the family of all double covers compatible with a fixed group action on the base curve. We restrict to the case where the family is 1-dimensional and the quotient of the base curve by the group is $\mathbb{P}^1$. We give a simple criterion for the image of these families under the Prym map to be a Shimura curve. Usin…
In this article we study the Gross-Schoen diagonal cycle on a triple product of Shimura curves at a place of bad reduction. We relate the image of the diagonal cycle under the Abel-Jacobi map to certain period integral that governs the central critical value of the Garrett-Rankin type triple product $L$-function via level raising congruences. As an application we prove certain rank $0$ case of the Bloch-Kato conjecture for the symmetric cube motive of a weight $2$ modular form.
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 continue our study of the reduction of PEL Shimura varieties with parahoric level structure at primes p at which the group that defines the Shimura variety ramifies. We describe "good" $p$-adic integral models of these Shimura varieties and study their 'etale local structure. In this paper we mainly concentrate on the case of unitary groups for a ramified quadratic extension. Some of our results are applications of the theory of twisted affine flag varieties in our previous paper math.AG/0607130.
In this article, we prove results about the cohomology of compact unitary group Shimura varieties at split places. In nonendoscopic cases, we are able to give a full description of the cohomology, after restricting to integral Hecke operators at p on the automorphic side. We allow arbitrary ramification at p; even the PEL data may be ramified. This gives a description of the semisimple local Hasse-Weil zeta function in these cases. We also treat cases of nontrivial endoscopy. For this purpose, we give a general stabilization of the expression given in previous work, following the stabilization…
In this article, we study local models associated to certain Shimura varieties. In particular, we present a resoultion of their singularities. As a consequence, we are able to determine the alternating semisimple trace of the geometric Frobenius on the sheaf of nearby cycles.
For a prime $p>2$, Kisin and Pappas constructed parahoric integral models at $p$ for Shimura varieties attached to Shimura data $(G,X)$ of abelian type such that $G$ splits over a tamely ramified extension of $\mathbb{Q}_p$. A certain auxiliary data has to be chosen in their constructions. In this note, we will show that the parahoric integral models are actually independent of the choices of the auxiliary data. We also get partial results on extending morphisms of Shimura varieties to those of parahoric integral models.
We prove that a Shimura curve in the Siegel modular variety is not generically contained in the open Torelli locus as long as the rank of unitary part in its canonical Higgs bundle satisfies a numerical upper bound. As an application we show that the Coleman-Oort conjecture holds for Shimura curves associated to partial corestriction upon a suitable choice of parameters, which generalizes a construction due to Mumford.
We prove the congruence relation for the mod-p reduction of Shimura varieties associated to a unitary similitude group GU(n-1,1), when p is inert and n odd. When n is even, this result was obtained by T. Wedhorn and O. Bültel using the density of the ordinary locus in the p-isogeny space. This condition fails in our case. A key element is the understanding of the supersingular locus, for which we refer to the two articles by I. Vollaard and T. Wedhorn. The proof makes extensive use of elementary algebraic geometry, but also some deeper results.
In this paper we study the Oort conjecture on Shimura subvarieties contained generically in the Torelli locus in the Siegel modular variety $\mathcal{A}_g$. Using the poly-stability of Higgs bundles on curves and the slope inequality of Xiao on fibred surfaces, we show that a Shimura curve $C$ is not contained generically in the Torelli locus if its canonical Higgs bundles contains a unitary Higgs subbundle of rank at least $(4g+2)/5$. From this we prove that a Shimura subvariety of $\mathbf{SU}(n,1)$-type is not contained generically in the Torelli locus when a numerical inequality holds, whi…
Local models are certain schemes, defined in terms of linear-algebraic moduli problems, which give étale-local neighborhoods of integral models of certain p-adic PEL Shimura varieties defined by Rapoport and Zink. When the group defining the Shimura variety ramifies at p, the local models (and hence the Shimura models) as originally defined can fail to be flat, and it becomes desirable to modify their definition so as to obtain a flat scheme. In the case of unitary similitude groups whose localizations at Q_p are ramified, quasi-split GU_n, Pappas and Rapoport have added new conditions, the so…
When $p$ is inert in the quadratic imaginary field $E$ and $m<n$, unitary Shimura varieties of signature $(n,m)$ and a hyperspecial level subgroup at $p$, carry a natural foliation of height 1 and rank $m^2$ in the tangent bundle of their special fiber $S$. We study this foliation and show that it acquires singularities at deep Ekedahl-Oort strata, but these singularities are resolved if we pass to a natural smooth moduli problem $S^\sharp$, a successive blow-up of $S$. Over the ($μ$-)ordinary locus we relate the foliation to Moonen's generalized Serre-Tate coordinates. We study the quotient o…
We compute the arithmetic volumes of integral models of unitary Shimura curves. This establishes the base case of an inductive argument to compute the arithmetic volumes of unitary Shimura varieties of higher dimension, to appear in subsequent work of Bruinier and the author.
This paper concerns two families of divisors, which we call the `orthogonal' and `unitary' special cycles, defined on integral models of Shimura curves. The orthogonal family was studied extensively by Kudla-Rapoport-Yang, who showed that they are closely related to the Fourier coefficients of modular forms of weight 3/2, while the `unitary' divisors are analogues of cycles appearing in more recent work of Kudla-Rapoport on unitary Shimura varieties. Our main result shows that these two families are related by (a formal version of) the Shimura lift.
We prove that the moduli space of Calabi-Yau 3-folds coming from eight planes of $P^3$ in general positions is not modular. In fact we show the stronger statement that the Zariski closure of the monodromy group is actually the whole $Sp(20,R)$. We construct an interesting submoduli, which we call \emph{hyperelliptic locus}, over which the weight 3 $Q$-Hodge structure is the third wedge product of the weight 1 $Q$-Hodge structure on the corresponding hyperelliptic curve. The non-extendibility of the hyperelliptic locus inside the moduli space of a genuine Shimura subvariety is proved.
We prove the existence of integral canonical models of unitary Shimura varieties in arbitrary unramified mixed characteristic. Errata to [Va1] are also included.
In this paper we generalize Cherednik's method and prove that certain Shimura varieties corresponding to groups of unitary similitudes and automorphic vector bundles over them have p-adic uniformization. This is proved for Shimura varieties, uniformized by the complex unit ball, when the central simple algebra over a CM-field defining the group of unitary similitudes has Brauer invariant 1/d at p. In this case, Shimura varieties can be uniformized by Drinfeld's covers of p-adic upper half-spaces.
We consider two families of arithmetic divisors defined on integral models of Shimura curves. The first was studied by Kudla, Rapoport and Yang, who proved that if one assembles these divisors in a formal generating series, one obtains the q-expansion of a modular form of weight 3/2. The present work concerns the Shimura lift of this modular form: we identify the Shimura lift with a generating series comprised of unitary divisors, which arose in recent work of Kudla and Rapoport regarding cycles on Shimura varieties of unitary type. In the prequel to this paper, the author considered the geome…
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.
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.
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.
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.
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.
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$.
For an odd prime p, we construct integral models over p for Shimura varieties with parahoric level structure, attached to Shimura data (G,X) of abelian type, such that G splits over a tamely ramified extension of Q_p. The local structure of these integral models is related to certain "local models", which are defined group theoretically. Under some additional assumptions, we show that these integral models satisfy a conjecture of Kottwitz which gives an explicit description for the trace of Frobenius action on their sheaf of nearby cycles.
This is a largely expository article based on our previous work on arithmetic diagonal cycles on unitary Shimura varieties. We define a class of Shimura varieties closely related to unitary groups which represent a moduli problem of abelian varieties with additional structure, and which admit interesting algebraic cycles. We generalize to arbitrary signature type the results of our previous work valid under special signature conditions. We compare our Shimura varieties with other unitary Shimura varieties.
In this paper, we formulate conjectural formulas for the arithmetic intersection numbers of special cycles on unitary Shimura varieties with minuscule parahoric level structure. Also, we prove that these conjectures are compatible with all known results.
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}$.
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 form generating series of special divisors, valued in the Chow group and in the arithmetic Chow group, on the compactified integral model of a Shimura variety associated to a unitary group of signature (n-1,1), and prove their modularity. The main ingredient of the proof is the calculation of the vertical components appearing in the divisor of a Borcherds product on the integral model.
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 define a theta operator on p-adic vector-valued modular forms on unitary groups of arbitrary signature, over a quadratic imaginary field in which p is inert. We study its effect on Fourier-Jacobi expansions and prove that it extends holomorphically beyond the μ-ordinary locus, when applied to scalar-valued forms.
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 paper we show that certain Shimura varieties, uniformized by the product of complex unit balls, can be p-adically uniformized by the product (of equivariant coverings) of Drinfeld upper half-spaces. We also extend a p-adic uniformization to automorphic vector bundles. It is a continuation of our previous work [V], and contains all cases (up to a central modification) of a uniformization by known p-adic symmetric spaces. The idea of the proof is to show that an arithmetic quotient of the product of Drinfeld upper half-spaces cannot be anything else than a certain unitary Shimura variety…
In this paper, we study the reduced loci of special cycles on local models of the Shimura variety for GU(1; n-1). We explicitly compute the global structure of the reduced locus of a single special cycle, as well as of an arbitrary intersection of special cycles, in terms of Bruhat-Tits theory. Furthermore, as an application of our results, we prove the connectedness of arbitrary intersections of special cycles, as conjectured by Kudla and Rapoport.
Consider a PEL-Shimura variety associated to a unitary group that splits over an unramified extension of Q_p. Rapoport and Zink have defined a model of the Shimura variety over the ring of integers of the completion of the reflex field at a place lying over p, with parahoric level structures at p. We show that this model is flat, as conjectured by Rapoport and Zink, and that its special fibre is reduced.
For a very general product $A$ of seven or more elliptic curves, every rational curve on the Kummer variety of $A$ projects trivially onto the Kummer variety of at least one of its factors. As a consequence, a very general member of certain families of abelian varieties parametrized by connected Shimura varieties of unitary type has the property that its Kummer variety has no rational curves.
The goal of this paper is to show that the cohomology of compact unitary Shimura varieties is concentrated in the middle degree and torsion-free, after localizing at a maximal ideal of the Hecke algebra satisfying a suitable genericity assumption. Along the way, we establish various foundational results on the geometry of the Hodge-Tate period map. In particular, we compare the fibres of the Hodge-Tate period map with Igusa varieties.
We define variants of PEL type of the Shimura varieties that appear in the context of the Arithmetic Gan-Gross-Prasad conjecture. We formulate for them a version of the AGGP conjecture. We also construct (global and semi-global) integral models of these Shimura varieties and formulate for them conjectures on arithmetic intersection numbers. We prove some of these conjectures in low dimension.
