1 Introduction
In this paper we prove a generalization, conjectured by Bruinier and Yang [Reference Bruinier and YangBY09], of the Gross–Zagier theorem on heights of Heegner points on modular curves.
Instead of a modular curve we work on the Shimura variety defined by a reductive group over $\mathbb{Q}$ of type $\text{GSpin}(n,2)$ . The Heegner points are replaced by $0$ -cycles arising from embeddings of rank-two tori into $\text{GSpin}(n,2)$ , and by divisors arising from embeddings of $\text{GSpin}(n-1,2)$ into $\text{GSpin}(n,2)$ . We prove that the arithmetic intersections of these special cycles are related to the central derivatives of certain Rankin–Selberg convolution $L$ -functions.
1.1 The Shimura variety
Fix an integer $n\geqslant 1$ and a quadratic space $(V,Q)$ over $\mathbb{Q}$ of signature $(n,2)$ . From $V$ one can construct a Shimura datum $(G,{\mathcal{D}})$ , in which $G=\text{GSpin}(V)$ is a reductive group over $\mathbb{Q}$ sitting in an exact sequence
and the hermitian domain ${\mathcal{D}}$ is an open subset of the space of isotropic lines in $\mathbb{P}^{1}(V_{\mathbb{C}})$ .
Any choice of lattice $L\subset V$ on which $Q$ is $\mathbb{Z}$ -valued determines a compact open subgroup $K\subset G(\mathbb{A}_{f})$ . We fix such a lattice, and assume that $L$ is maximal, in the sense that it admits no superlattice on which $Q$ is $\mathbb{Z}$ -valued. The data $L\subset V$ now determines a complex orbifold
which, by the theory of canonical models of Shimura varieties, is the space of complex points of an algebraic stack $M\rightarrow \text{Spec}(\mathbb{Q})$ . (Throughout this article stack means Deligne–Mumford stack.)
Except for small values of $n$ , the Shimura variety $M$ is not of PEL (polarization, endomorphism, and level) type; that is, it is not naturally a moduli space of abelian varieties with PEL structures. It is, however, of Hodge type, and so the recent work of Kisin [Reference KisinKis10] (and its extension in [Reference Madapusi PeraMad16, Reference Kim and Madapusi PeraKM16]) provides us with a regular and flat integral model
1.2 Special divisors
The integral model carries over it a canonical family of abelian varieties: the Kuga–Satake abelian scheme
The Kuga–Satake abelian scheme is endowed with an action of the Clifford algebra $C(L)$ , and with a $\mathbb{Z}/2\mathbb{Z}$ -grading ${\mathcal{A}}={\mathcal{A}}^{+}\times {\mathcal{A}}^{-}$ .
For any scheme $S\rightarrow {\mathcal{M}}$ , the pullback ${\mathcal{A}}_{S}$ comes with a distinguished $\mathbb{Z}$ -module
of special endomorphisms, and there is a positive definite quadratic form
characterized by $x\circ x=Q(x)\cdot \text{Id}$ . Slightly more generally, there is a distinguished subset
for each coset $\unicode[STIX]{x1D707}\in L^{\vee }/L$ , where $L^{\vee }$ is the dual lattice of $L$ . Taking $\unicode[STIX]{x1D707}=0$ recovers $V({\mathcal{A}}_{S})$ .
The special endomorphisms allow us to define a family of special divisors on ${\mathcal{M}}$ . For $m\in \mathbb{Q}_{{>}0}$ and $\unicode[STIX]{x1D707}\in L^{\vee }/L$ , let ${\mathcal{Z}}(m,\unicode[STIX]{x1D707})\rightarrow {\mathcal{M}}$ be the moduli stack that assigns to any ${\mathcal{M}}$ -scheme $S\rightarrow {\mathcal{M}}$ the set
The morphism ${\mathcal{Z}}(m,\unicode[STIX]{x1D707})\rightarrow {\mathcal{M}}$ is relatively representable, finite, and unramified, and allows us to view ${\mathcal{Z}}(m,\unicode[STIX]{x1D707})$ as a Cartier divisor on ${\mathcal{M}}$ .
In the generic fiber of ${\mathcal{M}}$ the special divisors agree with the divisors appearing in [Reference BorcherdsBor98, Reference BruinierBru02, Reference Bruinier and YangBY09, Reference KudlaKud04]. In special cases where $V$ has signature $(1,2)$ , $(2,2)$ , or $(3,2)$ , the Shimura variety ${\mathcal{M}}$ is (a quaternionic version of) a modular curve, Hilbert modular surface, or Siegel threefold, respectively. In these cases the special divisors are traditionally known as complex multiplication points, Hirzebruch–Zagier divisors, and Humbert surfaces. See, for example, [Reference van der GeervdG88, Reference Kudla and RapoportKR99, Reference Kudla and RapoportKR00, Reference Kudla, Rapoport and YangKRY06].
1.3 Complex multiplication points
Let $V_{0}\subset V$ be a negative definite plane in $V$ , and set $L_{0}=V_{0}\cap L$ . The Clifford algebra $C(L_{0})$ is an order in a quaternion algebra over $\mathbb{Q}$ , and its even part $C^{+}(L_{0})\subset C(L_{0})$ is an order in a quadratic imaginary field $\boldsymbol{k}$ . Fix an embedding $\boldsymbol{k}\rightarrow \mathbb{C}$ , and assume from now on that $C^{+}(L_{0})={\mathcal{O}}_{\boldsymbol{k}}$ is the maximal order in $\boldsymbol{k}$ .
The group $\text{GSpin}(V_{0})\cong \text{Res}_{\boldsymbol{k}/\mathbb{Q}}\mathbb{G}_{m}$ is a rank-two torus, and has associated to it a zero-dimensional Shimura variety $Y\rightarrow \text{Spec}(\boldsymbol{k})$ , which can be reinterpreted as the moduli stack of elliptic curves with complex multiplication (CM) by ${\mathcal{O}}_{\boldsymbol{k}}$ . This allows us to construct a smooth integral model ${\mathcal{Y}}\rightarrow \text{Spec}({\mathcal{O}}_{\boldsymbol{k}})$ . If $\boldsymbol{k}$ has odd discriminant the inclusion $V_{0}\rightarrow V$ induces an embedding $\text{GSpin}(V_{0})\rightarrow G$ and a relatively representable, finite, and unramified morphism
The stack ${\mathcal{Y}}$ has its own Kuga–Satake abelian scheme ${\mathcal{A}}_{0}\rightarrow {\mathcal{Y}}$ , endowed with a $\mathbb{Z}/2\mathbb{Z}$ -grading ${\mathcal{A}}_{0}\cong {\mathcal{A}}_{0}^{+}\times {\mathcal{A}}_{0}^{-}$ , and an action of $C(L_{0})$ . Here ${\mathcal{A}}_{0}^{+}$ is the universal elliptic curve with CM by ${\mathcal{O}}_{\boldsymbol{k}}$ and ${\mathcal{A}}_{0}\cong {\mathcal{A}}_{0}^{+}\otimes _{{\mathcal{O}}_{\boldsymbol{k}}}C(L_{0})$ . It is related to the Kuga–Satake abelian scheme ${\mathcal{A}}\rightarrow {\mathcal{M}}$ by a $C(L)$ -linear isomorphism
Let $\widehat{\text{Pic}}({\mathcal{M}})$ denote the group of metrized line bundles on ${\mathcal{M}}$ , and similarly with ${\mathcal{M}}$ replaced by ${\mathcal{M}}_{{\mathcal{O}}_{\boldsymbol{k}}}$ or ${\mathcal{Y}}$ . The composition
is denoted $\widehat{{\mathcal{Z}}}\mapsto [\widehat{{\mathcal{Z}}}:{\mathcal{Y}}]$ . We call it arithmetic degree along ${\mathcal{Y}}$ .
1.4 Harmonic modular forms
Denote by $\widetilde{\text{SL}}_{2}(\mathbb{Z})$ the metaplectic double cover of $\text{SL}_{2}(\mathbb{Z})$ , and by
the Weil representation on the space $\mathfrak{S}_{L}$ of $\mathbb{C}$ -valued functions on $L^{\vee }/L$ . There is a complex conjugate representation $\overline{\unicode[STIX]{x1D714}}_{L}$ on the same space, and a contragredient action $\unicode[STIX]{x1D714}_{L}^{\vee }$ on the dual space $\mathfrak{S}_{L}^{\vee }$ .
Bruinier and Funke [Reference Bruinier and FunkeBF04] have defined a surjective conjugate-linear differential operator
Here $S_{1+n/2}(\overline{\unicode[STIX]{x1D714}}_{L})$ is the space of weight $1+n/2$ cusp forms valued in $\mathfrak{S}_{L}$ , and transforming according to the representation $\overline{\unicode[STIX]{x1D714}}_{L}$ . The space $H_{1-n/2}(\unicode[STIX]{x1D714}_{L})$ is defined similarly, but the forms are harmonic weak Mass forms in the sense of [Reference Bruinier and YangBY09, § 3.1].
To any $f\in H_{1-n/2}(\unicode[STIX]{x1D714}_{L})$ there is associated a formal $q$ -expansion
and each coefficient is uniquely a linear combination $\sum _{\unicode[STIX]{x1D707}}c_{f}^{+}(m,\unicode[STIX]{x1D707})\unicode[STIX]{x1D711}_{\unicode[STIX]{x1D707}}$ of the characteristic functions $\unicode[STIX]{x1D711}_{\unicode[STIX]{x1D707}}$ of cosets $\unicode[STIX]{x1D707}\in L^{\vee }/L$ . Assuming that $f^{+}$ has integral principal part, in the sense that $c_{f}^{+}(m,\unicode[STIX]{x1D707})\in \mathbb{Z}$ whenever $m<0$ , we may form the Cartier divisor
(the sum is finite) on the integral model ${\mathcal{M}}$ , following the work of Borcherds [Reference BorcherdsBor98], Bruinier [Reference BruinierBru02], and Bruinier and Yang [Reference Bruinier and YangBY09].
Using the formalism of regularized theta lifts developed in [Reference BorcherdsBor98], Bruinier [Reference BruinierBru02] defined a Green function $\unicode[STIX]{x1D6F7}(f)$ for ${\mathcal{Z}}(f)$ . This Green function determines a metric on the corresponding line bundle, yielding a metrized line bundle
1.5 The main result
The central problem is to compute the arithmetic degree $[\widehat{{\mathcal{Z}}}(f):{\mathcal{Y}}]$ . Assuming that the divisor ${\mathcal{Z}}(f)_{{\mathcal{O}}_{\boldsymbol{k}}}$ intersects the cycle ${\mathcal{Y}}$ properly, the arithmetic degree decomposes as a sum of local contributions. The calculation of the archimedean contribution, which is essentially the sum of the values of $\unicode[STIX]{x1D6F7}(f)$ at all $y\in {\mathcal{Y}}(\mathbb{C})$ , is the main result of [Reference Bruinier and YangBY09].
Based on their calculation of the archimedean contribution, Bruinier and Yang formulated a conjecture [Reference Bruinier and YangBY09, Conjecture 1.1] relating $[\widehat{{\mathcal{Z}}}(f):{\mathcal{Y}}]$ to the derivative of an $L$ -function. Our main result is a proof of this conjecture.
The statement of the result requires two more ingredients. The first is the metrized cotautological bundle
By definition, the hermitian domain ${\mathcal{D}}$ is an open subset of the space of isotropic lines in $\mathbb{P}^{1}(V_{\mathbb{C}})$ . Restricting the tautological bundle on $\mathbb{P}^{1}(V_{\mathbb{C}})$ yields a line bundle $\unicode[STIX]{x1D714}_{{\mathcal{D}}}$ on ${\mathcal{D}}$ , which descends first to the orbifold $M(\mathbb{C})$ , and then to the canonical model $M$ . The resulting line bundle, $\unicode[STIX]{x1D714}$ , is the tautological bundle on $M$ , also called the line bundle of weight 1 modular forms. There is a natural metric (5.8) on $\unicode[STIX]{x1D714}$ , and our $\widehat{\boldsymbol{T}}$ is an integral model of $\widehat{\unicode[STIX]{x1D714}}^{-1}$ .
The second ingredient is a classical vector valued theta series. From the $\mathbb{Z}$ -quadratic space
of signature $(n,0)$ , one can construct a half-integral weight theta series
Here $\unicode[STIX]{x1D714}_{\unicode[STIX]{x1D6EC}}$ is the Weil representation of $\widetilde{\text{SL}}_{2}(\mathbb{Z})$ on the space $\mathfrak{S}_{\unicode[STIX]{x1D6EC}}$ of functions on $\unicode[STIX]{x1D6EC}^{\vee }/\unicode[STIX]{x1D6EC}$ , and $\unicode[STIX]{x1D714}_{\unicode[STIX]{x1D6EC}}^{\vee }$ is its contragredient. See § 3.3 for the precise definition.
The following appears in the text as Theorem 5.7.3.
Theorem A. Assume that the discriminant of $\boldsymbol{k}$ is odd, and let $h_{\boldsymbol{k}}$ and $w_{\boldsymbol{k}}$ be the class number and number of roots of unity in $\boldsymbol{k}$ , respectively. Every weak harmonic Maass form $f\in H_{1-n/2}(\unicode[STIX]{x1D714}_{L})$ with integral principal part satisfies
where $c_{f}^{+}(0,0)$ is the value of $c_{f}^{+}(0)\in \mathfrak{S}_{L}$ at the trivial coset in $L^{\vee }/L$ , and $L(\unicode[STIX]{x1D709}(f),\unicode[STIX]{x1D6E9}_{\unicode[STIX]{x1D6EC}},s)$ is the Rankin–Selberg convolution $L$ -function of § 3.3.
Remark 1.5.1. The analogous theorem for Shimura varieties associated with unitary similitude groups was proved in [Reference Bruinier, Howard and YangBHY15].
Remark 1.5.2. The convolution $L$ -function appearing in the theorem can be realized by integrating $\unicode[STIX]{x1D709}(f)$ and $\unicode[STIX]{x1D6E9}_{\unicode[STIX]{x1D6EC}}$ against a certain Eisenstein series $E_{L_{0}}(\unicode[STIX]{x1D70F},s)$ . This Eisenstein series vanishes at $s=0$ , and hence the same is true of $L(\unicode[STIX]{x1D709}(f),\unicode[STIX]{x1D6E9}_{\unicode[STIX]{x1D6EC}},s)$ .
Remark 1.5.3. As noted earlier, our cycles ${\mathcal{Y}}\rightarrow {\mathcal{M}}_{{\mathcal{O}}_{\boldsymbol{k}}}$ arise from embeddings of rank-two tori into $\text{GSpin}(n,2)$ . One could instead look at the cycles defined by embeddings of maximal tori; these are the big CM cycles of [Reference Bruinier, Kudla and YangBKY12]. In [Reference Andreatta, Goren, Howard and Madapusi PeraAGHM15] we prove a result analogous to Theorem A in this setting. We show that it implies an averaged form of Colmez’s conjecture on the Faltings heights of CM abelian varieties (via the method of Yang [Reference YangYan10]). This has provided a key ingredient in Tsimerman’s recent proof of the André–Oort conjecture [Reference TsimermanTsi15], which characterizes Shimura subvarieties of Shimura varieties of Hodge type by means of special points.
Remark 1.5.4. If one is willing to have the equality of Theorem A only up to rational multiples of $\log (2)$ , in principle it should be possible to drop the assumption that $d_{\boldsymbol{k}}$ is odd or that $C^{+}(L_{0})$ is maximal and replace it by the weaker assumption that $C^{+}(L_{0})$ is maximal away from $2$ . Such improvements come at a cost: under these weaker hypotheses one does not know anything like the explicit formulas appearing in Proposition 3.3.1 and Theorem 4.5.1.
Instead, one should be able (we have not checked the details) to prove the main result by using the Siegel–Weil arguments of [Reference Bruinier, Kudla and YangBKY12, Reference Kudla and YangKY13]. In essence, the Siegel–Weil formula allows one to compare the point counting part of Theorem 4.5.1 with the values of certain Whittaker functions appearing in the Eisenstein series coefficients of Proposition 3.3.1, without deriving explicit formulas for either one.
A rough outline of the contents is as follows.
In § 2 we establish the basic properties of the Shimura variety ${\mathcal{M}}$ on which we will be performing intersection theory, and of the special cycles ${\mathcal{Z}}(m,\unicode[STIX]{x1D707})$ . We prove that the ${\mathcal{Z}}(m,\unicode[STIX]{x1D707})$ define Cartier divisors on ${\mathcal{M}}$ , and explore the functoriality of the formation of ${\mathcal{M}}$ and its divisors with respect to the quadratic space $L$ . More precisely, given an isometric embedding $L_{0}{\hookrightarrow}L$ of maximal $\mathbb{Z}$ -quadratic spaces of signatures $(n_{0},2)$ and $(n,2)$ , with $1\leqslant n_{0}\leqslant n$ , we prove the existence of a canonical morphism ${\mathcal{M}}_{0}\rightarrow {\mathcal{M}}$ between the associated integral models, and show that the pullback of a special divisor on ${\mathcal{M}}$ is a prescribed linear combination of special divisors on ${\mathcal{M}}_{0}$ .
In § 3 we remind the reader of some of the analytic theory used in [Reference Bruinier and YangBY09]. In particular, we recall the essential properties of harmonic weak Maass forms, the divisors $Z(f)$ on $M$ associated to such forms, and the Green functions $\unicode[STIX]{x1D6F7}(f)$ for these divisors, which are defined as regularized theta lifts. We also recall the theta series and convolution $L$ -functions that appear in the main theorem, and Schofer’s [Reference SchoferSch09] calculation of the Fourier coefficients of the Eisenstein series of Remark 1.5.2. The only thing new here is that, thanks to the constructions of § 2, we are able to define an extension of the divisor $Z(f)$ on $M$ to a divisor ${\mathcal{Z}}(f)$ on the integral model ${\mathcal{M}}$ .
In § 4 we fix a quadratic space $L_{0}$ over $\mathbb{Z}$ of signature $(0,2)$ , whose even Clifford algebra is isomorphic to the maximal order in a quadratic imaginary field $\boldsymbol{k}$ . The Clifford algebra of $L_{0}$ then has the form $C(L_{0})\xrightarrow[{}]{\simeq }{\mathcal{O}}_{\boldsymbol{k}}\oplus L_{0}$ . The Shimura variety associated to the rank-two torus $\text{GSpin}(L_{0\mathbb{Q}})$ has dimension $0$ , and can be realized as the moduli stack of elliptic curves with complex multiplication by ${\mathcal{O}}_{\boldsymbol{k}}$ . Using this interpretation we define an integral model ${\mathcal{Y}}\rightarrow \text{Spec}({\mathcal{O}}_{\boldsymbol{k}})$ , and define the Kuga–Satake abelian scheme as ${\mathcal{A}}_{0}={\mathcal{E}}\otimes _{{\mathcal{O}}_{\boldsymbol{k}}}C(L_{0})$ , where ${\mathcal{E}}\rightarrow {\mathcal{Y}}$ is the universal CM elliptic curve. All of the results of § 2 are then extended to this new setting.
In particular, we define a family of divisors ${\mathcal{Z}}_{0}(m,\unicode[STIX]{x1D707})$ on the arithmetic curve ${\mathcal{Y}}$ , each of which can be characterized as the locus of points where ${\mathcal{A}}_{0}$ has an extra quasi-endomorphism with prescribed properties. This can also be expressed in terms of endomorphisms of the universal CM elliptic curve: along each special divisor the action of ${\mathcal{O}}_{\boldsymbol{k}}$ on ${\mathcal{E}}$ extends to an action of an order in a definite quaternion algebra. Theorem 4.5.1 gives explicit formulas for the degrees of the divisors ${\mathcal{Z}}_{0}(m,\unicode[STIX]{x1D707})$ , and these degrees match up with Schofer’s formulas for the coefficients of Eisenstein series. Many cases of Theorem 4.5.1 already appear in work of Kudla et al. [Reference Kudla, Rapoport and YangKRY99] and Kudla and Yang [Reference Kudla and YangKY13], and our proof, like theirs, makes essential use of Gross’s calculation [Reference GrossGro86] of the endomorphism rings of canonical lifts of CM elliptic curves.
In § 5 we prove Theorem A. The greatest difficulty comes from the fact that the $1$ -cycle ${\mathcal{Y}}$ on ${\mathcal{M}}_{{\mathcal{O}}_{\boldsymbol{k}}}$ may have irreducible components contained entirely within ${\mathcal{Z}}(m,\unicode[STIX]{x1D707})_{{\mathcal{O}}_{\boldsymbol{k}}}$ . Thus we must compute improper intersections. Our techniques for doing this are a blend of the methods used in [Reference Bruinier, Howard and YangBHY15] on unitary Shimura varieties, and the methods of Hu’s thesis [Reference HuHu99], which reconstructs the arithmetic intersection theory of Gillet and Soulé [Reference Gillet and SouléGS90] using Fulton’s method of deformation to the normal cone.
The cycle ${\mathcal{Y}}$ has a normal bundle $N_{{\mathcal{Y}}}{\mathcal{M}}\rightarrow {\mathcal{Y}}$ , and the arithmetic divisor $\widehat{{\mathcal{Z}}}(f)$ on ${\mathcal{M}}$ has a specialization to the normal bundle $\unicode[STIX]{x1D70E}(\widehat{{\mathcal{Z}}}(f))$ , which is an arithmetic divisor on $N_{{\mathcal{Y}}}{\mathcal{M}}$ . The specialization is defined in such a way that the arithmetic degree of $\widehat{{\mathcal{Z}}}(f)$ along ${\mathcal{Y}}\rightarrow {\mathcal{M}}$ is equal to the arithmetic degree of $\unicode[STIX]{x1D70E}(\widehat{{\mathcal{Z}}}(f))$ along the zero section ${\mathcal{Y}}\rightarrow N_{{\mathcal{Y}}}{\mathcal{M}}$ . What we are able to show, essentially, is that every component of the arithmetic divisor $\unicode[STIX]{x1D70E}(\widehat{{\mathcal{Z}}}(f))$ that meets the zero section improperly has $\unicode[STIX]{x1D70E}(\widehat{\boldsymbol{T}})$ , the specialization of the cotautological bundle, as its associated line bundle. This implies that every component of $\widehat{{\mathcal{Z}}}(f)$ that meets ${\mathcal{Y}}$ improperly contributes the same quantity, $[\widehat{\boldsymbol{T}}:{\mathcal{Y}}]$ , to the degree $[\widehat{{\mathcal{Z}}}(f):{\mathcal{Y}}]$ . The contribution to the intersection of the remaining components can be read off from the degrees of the divisors $\widehat{{\mathcal{Z}}}_{0}(m,\unicode[STIX]{x1D707})$ computed in § 4, and the calculation of $[\widehat{\boldsymbol{T}}:{\mathcal{Y}}]$ quickly reduces to the Chowla–Selberg formula.
Finally, we remark that the proof of Theorem A makes essential use of the Bruinier–Yang calculation (following Schofer [Reference SchoferSch09]) of the values of $\unicode[STIX]{x1D6F7}(f)$ at the points of ${\mathcal{Y}}(\mathbb{C})$ . Because of the particular way in which the divergent integral defining $\unicode[STIX]{x1D6F7}(f)$ is regularized, the Green function $\unicode[STIX]{x1D6F7}(f)$ has a well-defined value even at points of divisor ${\mathcal{Z}}(f)$ along which $\unicode[STIX]{x1D6F7}(f)$ has a logarithmic singularity. In other words, the Green function comes, by construction, with a discontinuous extension to all points of ${\mathcal{M}}(\mathbb{C})$ . Hu’s thesis sheds some light on this phenomenon, and the over-regularized values of $\unicode[STIX]{x1D6F7}(f)$ at the points of ${\mathcal{Z}}(f)$ will play an essential role in our calculation of improper intersections.
2 The GSpin Shimura variety and its special divisors
2.1 Preliminaries
Let $R$ be a commutative ring. A quadratic space over $R$ is a projective $R$ -module $V$ of finite rank, equipped with a homogenous function $Q:V\rightarrow R$ of degree $2$ for which the symmetric pairing
is $R$ -bilinear. We say that $V$ is self-dual if this pairing induces an isomorphism $V\xrightarrow[{}]{\simeq }\text{Hom}_{R}(V,R)$ .
The Clifford algebra $C(V)$ is the quotient of the tensor algebra $\bigotimes V$ by the ideal generated by elements of the form $x\otimes x-Q(x)$ . The $R$ -algebra $C(V)$ is generated by the image of the natural injection $V\rightarrow C(V)$ , and the grading on $\bigotimes V$ induces a $\mathbb{Z}/2\mathbb{Z}$ grading
The Clifford algebra $C(V)$ has the following universal property: given an associative algebra $B$ over $R$ and a map of $R$ -modules $f:V\rightarrow B$ satisfying $f(x)^{2}=Q(x)$ for all $x\in V$ , there is a unique map of $R$ -algebras $\tilde{f}:C(V)\rightarrow B$ satisfying $\tilde{f}|_{V}=f$ . In particular, applying this property with $B=C(V)^{\text{op}}$ and $f$ the natural inclusion of $V$ in $C(V)^{\text{op}}$ , we obtain a canonical anti-involution $\ast$ on $C(V)$ satisfying
for any $x_{1},x_{2},\ldots ,x_{r-1},x_{r}\in V$ .
To a self-dual quadratic space $V$ , we can attach the reductive group scheme $\text{GSpin}(V)$ over $R$ with functor of points
for any $R$ -algebra $S$ . Denote by $g\bullet v=gvg^{-1}$ the natural action of $\text{GSpin}(V)$ on $V$ . For any $R$ -algebra $S$ , the map $g\mapsto g^{\ast }g$ on $\text{GSpin}(V)(S)$ takes values in $S^{\times }$ [Reference BassBas74, 3.2.1], and so defines a canonical homomorphism of $R$ -group schemes
which we call the spinor norm.
Choose an element $\unicode[STIX]{x1D6FF}\in C^{+}(V)^{\times }$ satisfying $\unicode[STIX]{x1D6FF}^{\ast }=-\unicode[STIX]{x1D6FF}$ . We can use this element to define a symplectic pairing on $C(V)$ as follows (see [Reference Madapusi PeraMad16, (1.6)]). The self-duality hypothesis on $V$ implies that $C(V)$ is a graded Azumaya algebra over $R$ in the sense of [Reference BassBas74, § 2.3, Theorem]. In particular, there is a canonical reduced trace form $\text{Trd}:C(V)\rightarrow R$ , and the pairing $(z_{1},z_{2})\mapsto \text{Trd}(z_{1}z_{2})$ is a perfect symmetric bilinear form on $C(V)$ . The desired symplectic pairing on $C(V)$ is $\unicode[STIX]{x1D713}_{\unicode[STIX]{x1D6FF}}(z_{1},z_{2})=\text{Trd}(z_{1}\unicode[STIX]{x1D6FF}z_{2}^{\ast })$ .
It is easily checked that
for any $R$ -algebra $S$ , $z_{1},z_{2}\in C(V)_{S}$ , and $g\in \text{GSpin}(V)(S)$ . In other words, the action of $\text{GSpin}(V)$ on $C(V)$ by left multiplication realizes $\text{GSpin}(V)$ as a subgroup of the $R$ -group scheme $\text{GSp}_{\unicode[STIX]{x1D6FF}}$ of symplectic similitudes of $(C(V),\unicode[STIX]{x1D713}_{\unicode[STIX]{x1D6FF}})$ , and the symplectic similitude character restricts to the spinor norm on $\text{GSpin}(V)$ .
2.2 The complex Shimura variety
Let $n\geqslant 1$ be an integer. Fix a quadratic space $(L,Q)$ over $\mathbb{Z}$ of signature $(n,2)$ , and set $V=L_{\mathbb{Q}}$ . We assume throughout that $L$ is maximal in the sense that there is no lattice $L\subsetneq L^{\prime }\subset V$ satisfying $Q(L^{\prime })\subset \mathbb{Z}$ . Set $G=\text{GSpin}(V)$ ; this is a reductive group over $\mathbb{Q}$ .
Let ${\mathcal{D}}$ be the space of oriented negative $2$ -planes $\boldsymbol{h}\subset V_{\mathbb{R}}$ . If we extend the $\mathbb{Q}$ -bilinear form on $V$ to a $\mathbb{C}$ -bilinear form on $V_{\mathbb{C}}$ , the real manifold ${\mathcal{D}}$ is isomorphic to the Grassmannian
and in particular is naturally a complex manifold. The isomorphism is as follows: for each $\boldsymbol{h}$ pick an oriented basis $\{x,y\}$ so that $Q(x)=Q(y)$ and $[x,y]=0$ , and let $z=x+iy$ . The inverse construction is obvious.
There are canonical inclusions of $\mathbb{R}$ -algebras $\mathbb{C}{\hookrightarrow}C(\boldsymbol{h}){\hookrightarrow}C(V_{\mathbb{R}})$ , where the first is determined by
The induced map $\mathbb{C}^{\times }\rightarrow C(V_{\mathbb{R}})^{\times }$ takes values in $G(\mathbb{R})$ , and arises from a morphism of real algebraic groups
In this way we identify ${\mathcal{D}}$ with a $G(\mathbb{R})$ -conjugacy class in $\text{Hom}(\text{Res}_{\mathbb{C}/\mathbb{R}}\mathbb{G}_{m},G_{\mathbb{R}})$ .
Set $\widehat{L}=L_{\widehat{\mathbb{Z}}}$ , and define a compact open subgroup
of $G(\mathbb{A}_{f})$ . Note that $g\bullet \widehat{L}=\widehat{L}$ for all $g\in K$ . Denote by
the dual lattice of $L$ . As in the proof of [Reference Madapusi PeraMad16, (2.6)], the action of $K$ on $\widehat{L}$ defines a homomorphism $K\rightarrow \text{SO}(\widehat{L})$ whose image is precisely the subgroup of elements acting trivially on the discriminant group $L^{\vee }/L\xrightarrow[{}]{\simeq }\widehat{L}^{\vee }/\widehat{L}$ .
The pair $(G,{\mathcal{D}})$ is a Shimura datum, and
is the complex orbifold of $\mathbb{C}$ -points of the Shimura variety attached to this datum and level subgroup $K$ . Here we have set $\unicode[STIX]{x1D6E4}_{g}=G(\mathbb{Q})\cap gKg^{-1}.$ We will refer to $M(\mathbb{C})$ as the GSpin Shimura variety associated with $L$ .
Given an algebraic representation $G\rightarrow \text{}\underline{\text{Aut}}(N)$ on a finite-dimensional $\mathbb{Q}$ -vector space, and a $K$ -stable lattice $N_{\widehat{\mathbb{Z}}}\subset N_{\mathbb{A}_{f}}$ , we obtain a $\mathbb{Z}$ -local system $\boldsymbol{N}_{\text{Be}}$ on $M(\mathbb{C})$ whose fiber at a point $[(\boldsymbol{h},g)]\in M(\mathbb{C})$ is identified with $N\cap gN_{\widehat{\mathbb{Z}}}$ . The corresponding vector bundle
is equipped with a filtration $\text{Fil}^{\bullet }\boldsymbol{N}_{\text{dR},M(\mathbb{C})}$ , which at any point $[(\boldsymbol{h},g)]$ equips the fiber of $\boldsymbol{N}_{\text{Be}}$ with the Hodge structure determined by (2.2). This gives us a functorial assignment from pairs $(N,N_{\widehat{\mathbb{Z}}})$ as above to variations of $\mathbb{Z}$ -Hodge structures over $M(\mathbb{C})$ .
Applying this to $V$ and the lattice $\widehat{L}\subset V_{\mathbb{A}_{f}}$ , we obtain a canonical variation of polarized $\mathbb{Z}$ -Hodge structures $(\boldsymbol{V}_{\text{Be}},\text{Fil}^{\bullet }\boldsymbol{V}_{\text{dR},M(\mathbb{C})})$ . For each point $z$ of (2.1) the induced Hodge decomposition of $V_{\mathbb{C}}$ has
It follows that $\text{Fil}^{1}\boldsymbol{V}_{\text{dR},M(\mathbb{C})}$ is an isotropic line and $\text{Fil}^{0}\boldsymbol{V}_{\text{dR},M(\mathbb{C})}$ is its annihilator with respect to the pairing on $\boldsymbol{V}_{\text{dR},M(\mathbb{C})}$ induced from that on $L$ .
Similarly, viewing $H=C(V)$ as a representation of $G$ by left multiplication, with its lattice $H_{\widehat{\mathbb{Z}}}=C(L)_{\widehat{\mathbb{Z}}}$ , we obtain a variation of $\mathbb{Z}$ -Hodge structures $(\boldsymbol{H}_{\text{Be}},\text{Fil}^{\bullet }\boldsymbol{H}_{\text{dR},M(\mathbb{C})})$ . This variation has type $(-1,0),(0,-1)$ and is therefore the homology of a family of complex tori over $M(\mathbb{C})$ .
This variation of $\mathbb{Z}$ -Hodge structures is polarizable, and so the family of complex tori in fact arises from an abelian scheme over $M(\mathbb{C})$ . To see this, first consider the representation of $G$ on $\mathbb{Q}$ afforded by the spinor norm $\unicode[STIX]{x1D708}$ , along with the obvious $K$ -stable lattice $\widehat{\mathbb{Z}}\subset \mathbb{A}_{f}$ . For any $\boldsymbol{h}\in {\mathcal{D}}$ , the composition $\unicode[STIX]{x1D708}\circ \unicode[STIX]{x1D6FC}_{\boldsymbol{h}}$ is the homomorphism
From this, we see that the associated variation of $\mathbb{Z}$ -Hodge structures is the Tate twist $\text{}\underline{\mathbb{Z}}(1)$ , whose underlying $\mathbb{Z}$ -local system is just the constant sheaf $\text{}\underline{\mathbb{Z}}$ , but whose (constant) Hodge filtration is concentrated in degree $-1$ .
Now, choose $\unicode[STIX]{x1D6FF}\in C^{+}(L)\cap C^{+}(V)^{\times }$ satisfying $\unicode[STIX]{x1D6FF}^{\ast }=-\unicode[STIX]{x1D6FF}$ . As explained in § 2.1, this defines a $G$ -equivariant symplectic pairing
by $\unicode[STIX]{x1D713}_{\unicode[STIX]{x1D6FF}}(x,y)=\text{Trd}(x\unicode[STIX]{x1D6FF}y^{\ast })$ . Since $\unicode[STIX]{x1D6FF}$ lies in $C^{+}(L)$ , the restriction of this form to $C(L)$ is $\mathbb{Z}$ -valued, and in particular induces a $K$ -invariant alternating form on $C(L)_{\widehat{\mathbb{Z}}}$ with values in $\widehat{\mathbb{Z}}(\unicode[STIX]{x1D708})$ .
We can arrange our choice of $\unicode[STIX]{x1D6FF}$ to have the following positivity property: for every $\boldsymbol{h}\in {\mathcal{D}}$ , the Hermitian form $\unicode[STIX]{x1D713}_{\unicode[STIX]{x1D6FF}}(\unicode[STIX]{x1D6FC}_{\boldsymbol{h}}(i)x,\overline{y})$ on $C(V)_{\mathbb{C}}$ is (positive or negative) definite. To produce a concrete such choice, choose a negative definite plane $\boldsymbol{h}_{0}\subset V$ defined over $\mathbb{Q}$ , and an oriented basis $x,y\in \boldsymbol{h}_{0}\cap L$ for $\boldsymbol{h}_{0}$ satisfying $[x,y]=0$ . Then it can be checked that $\unicode[STIX]{x1D6FF}=xy\in C(L)$ has the desired positivity property. Any such choice of $\unicode[STIX]{x1D6FF}$ produces an alternating morphism
of variations of Hodge structures, and the positivity property implies that this is a polarization.
Remark 2.2.1. By our construction, any choice of $\unicode[STIX]{x1D6FF}\in C^{+}(L)\cap C(V)^{\times }$ with the required positivity property produces a polarization on ${\mathcal{A}}_{M(\mathbb{C})}$ . While the polarization on ${\mathcal{A}}_{M(\mathbb{C})}$ depends on the choice of $\unicode[STIX]{x1D6FF}$ , the abelian scheme itself does not.
In sum, we have produced an abelian scheme ${\mathcal{A}}_{M(\mathbb{C})}\rightarrow M(\mathbb{C})$ , whose homology is canonically identified with the polarizable variation of Hodge structures $(\boldsymbol{H}_{\text{Be}},\boldsymbol{H}_{\text{dR},M(\mathbb{C})})$ . We call this the Kuga–Satake abelian scheme. It has relative dimension $2^{n+1}$ .
The action of $G$ on $H$ commutes with the right multiplication action of $C(V)$ , and also respects the $\mathbb{Z}/2\mathbb{Z}$ -grading $H=H^{+}\times H^{-}$ defined by $H^{\pm }=C^{\pm }(V)$ . Thus the Kuga–Satake abelian scheme inherits a right action of $C(L)$ , and a $\mathbb{Z}/2\mathbb{Z}$ -grading
Elements of $C^{+}(L)$ and $C^{-}(L)$ act as homogeneous endomorphisms of graded degrees zero and one, respectively. The left multiplication action of $V\subset C(V)$ on $H$ induces an embedding
of variations of Hodge structures.
For $x\in V$ of positive length, define a divisor on ${\mathcal{D}}$ by
As in the work of Borcherds [Reference BorcherdsBor98], Bruinier [Reference BruinierBru02], and Kudla [Reference KudlaKud04], for every $m\in \mathbb{Q}_{{>}0}$ and $\unicode[STIX]{x1D707}\in L^{\vee }/L$ we define a complex orbifold
Here $L_{g}\subset V$ is the $\mathbb{Z}$ -lattice determined by $\widehat{L}_{g}=g\bullet \widehat{L}$ , and $\unicode[STIX]{x1D707}_{g}=g\bullet \unicode[STIX]{x1D707}\in L_{g}^{\vee }/L_{g}.$ Comparing with (2.3), the natural finite and unramified morphism
allows us to view (2.4) as an effective Cartier divisor on $M(\mathbb{C})$ . We will see below that (2.4) admits a moduli interpretation in terms of the Kuga–Satake abelian scheme.
2.3 Canonical models over $\mathbb{Q}$
The reflex field of the Shimura datum $(G,{\mathcal{D}})$ is $\mathbb{Q}$ , and hence $M(\mathbb{C})$ is the complex fiber of an algebraic stack $M$ over $\mathbb{Q}$ . By [Reference Madapusi PeraMad16, § 3] the Kuga–Satake abelian scheme, along with all its additional structures, has a canonical descent $\unicode[STIX]{x1D70B}:{\mathcal{A}}_{M}\rightarrow M$ .
We denote byFootnote 1
the first de Rham homology of ${\mathcal{A}}_{M}$ relative to $M$ : that is, the dual of the first relative hypercohomology of the de Rham complex. It is a locally free ${\mathcal{O}}_{M}$ -module of rank $2^{n+2}$ , equipped with its Hodge filtration $\text{Fil}^{0}\boldsymbol{H}_{\text{dR},M}\subset \boldsymbol{H}_{\text{dR},M}$ and Gauss–Manin connection. It also has a $\mathbb{Z}/2\mathbb{Z}$ -grading $\boldsymbol{H}_{\text{dR},M}=\boldsymbol{H}_{\text{dR},M}^{+}\times \boldsymbol{H}_{\text{dR},M}^{-}$ arising from the grading ${\mathcal{A}}_{M}={\mathcal{A}}_{M}^{+}\times {\mathcal{A}}_{M}^{-}$ on the Kuga–Satake abelian scheme, and similarly a right action of $C(L)$ induced from that on ${\mathcal{A}}_{M}$ . Over $M(\mathbb{C})$ , it is canonically identified with $\boldsymbol{H}_{\text{dR},M(\mathbb{C})}$ with its filtration and integrable connection.
From [Reference Madapusi PeraMad16, (3.12)], we find that there is a canonical descent $\boldsymbol{V}_{\text{dR},M}$ of $\boldsymbol{V}_{\text{dR},M(\mathbb{C})}$ , along with its filtration and integrable connection, so that we have an embedding
of filtered vector bundles over $M$ with integrable connection. This embedding is a descent of the one already available over $M(\mathbb{C})$ . There is a canonical quadratic form $\boldsymbol{Q}:\boldsymbol{V}_{\text{dR},M}\rightarrow {\mathcal{O}}_{M}$ given on sections by $x\circ x=\boldsymbol{Q}(x)\cdot \text{Id}$ , where the composition takes place in $\text{}\underline{\text{End}}_{C(L)}(\boldsymbol{H}_{\text{dR},M})$ .
In the same way we define
to be the first $\ell$ -adic étale homology of ${\mathcal{A}}_{M}$ relative to $M$ . Over $M(\mathbb{C})$ , it is canonically identified with $\mathbb{Z}_{\ell }\otimes \boldsymbol{H}_{\text{Be}}$ . The local system $\mathbb{Z}_{\ell }\otimes \boldsymbol{V}_{\text{Be}}$ descends to an $\ell$ -adic sheaf $\boldsymbol{V}_{\ell ,\acute{\text{e}}\text{t}}$ over $M$ , and there is a canonical embedding as a local direct summand
Again, composition on the right-hand side induces a quadratic form on $\boldsymbol{V}_{\ell ,\acute{\text{e}}\text{t}}$ with values in the constant sheaf $\text{}\underline{\mathbb{Z}}_{\ell }$ .
2.4 Integral models
The stack $M$ admits a regular integral model ${\mathcal{M}}$ over $\mathbb{Z}$ , which we construct in this section following [Reference Madapusi PeraMad16, § 7]. In [Reference Madapusi PeraMad16] such a model is constructed over $\mathbb{Z}[1/2]$ as one uses the main result of [Reference KisinKis10], where $2$ is assumed to be invertible. As we shall see, most of the results extend also to the case of the prime $p=2$ replacing [Reference KisinKis10] with [Reference Kim and Madapusi PeraKM16]. The construction is involved, and the final definition of ${\mathcal{M}}$ is given in Proposition 2.4.6.
It follows from [Reference Madapusi PeraMad16, (6.8)] that we may fix an isometric embedding $L\subset L^{\diamond }$ , where $(L^{\diamond },Q^{\diamond })$ is a maximal quadratic space over $\mathbb{Z}$ , self-dual at $p$ and of signature $(n^{\diamond },2)$ . Set
The construction of the integral model over $\mathbb{Z}_{(p)}$ of $M$ will proceed by first constructing a smooth integral model for the larger Shimura variety $M^{\diamond }$ associated with $L^{\diamond }$ . There is a finite and unramified morphism $M\rightarrow M^{\diamond }$ over $\mathbb{Q}$ which we will extend to integral models, and the integral model for $M$ will inherit extra structure (for example, the vector bundles of Proposition 2.4.5 below) realized by pulling back structures from the larger integral model.
Over $M^{\diamond }$ we have the vector bundle $\boldsymbol{V}_{\text{dR},M^{\diamond }}^{\diamond }$ associated with $L^{\diamond }$ . Let $\boldsymbol{V}_{\text{dR},M}^{\diamond }$ be its restriction to $M$ . By construction, we have an isometric embedding
of filtered vector bundles with integrable connections over $M$ . Setting $\boldsymbol{\unicode[STIX]{x1D6EC}}_{\text{dR},M}=\unicode[STIX]{x1D6EC}\otimes _{\mathbb{Z}}{\mathcal{O}}_{M}$ , we obtain an injection of vector bundles
identifying $\boldsymbol{\unicode[STIX]{x1D6EC}}_{\text{dR},M}$ with a local direct summand of $\boldsymbol{V}_{\text{dR},M}^{\diamond }$ .
The Shimura variety $M^{\diamond }$ admits a smooth canonical model ${\mathcal{M}}_{\mathbb{Z}_{(p)}}^{\diamond }$ over $\mathbb{Z}_{(p)}$ . This is the main theorem of [Reference KisinKis10] for $p\neq 2$ and it is proven in general in [Reference Kim and Madapusi PeraKM16]. We now recall the construction. Choose $\unicode[STIX]{x1D6FF}\in C^{+}(L^{\diamond })\cap C(V^{\diamond })^{\times }$ as in § 2.2, so that the associated symplectic pairing $\unicode[STIX]{x1D713}_{\unicode[STIX]{x1D6FF}}$ on $C(L^{\diamond })$ produces a polarization on the Kuga–Satake abelian scheme
This polarization has degree $d^{\diamond }$ , where $d^{\diamond }$ is the discriminant of the restriction of $\unicode[STIX]{x1D713}_{\unicode[STIX]{x1D6FF}}$ to $C(L^{\diamond })$ . The polarized Kuga–Satake abelian scheme defines a morphism of complex algebraic stacks
where ${\mathcal{X}}_{2^{n^{\diamond }+1},d^{\diamond }}^{\text{Siegel}}$ is the Siegel moduli stack over $\mathbb{Z}$ parameterizing polarized abelian schemes of dimension $2^{n^{\diamond }+1}$ of degree $d^{\diamond }$ . It can be checked using complex uniformization that this map is finite and unramified. The theory of canonical models of Shimura varieties implies that $i_{\unicode[STIX]{x1D6FF}}$ descends to a finite and unramified map of $\mathbb{Q}$ -stacks
The integral model ${\mathcal{M}}_{\mathbb{Z}_{(p)}}^{\diamond }$ is defined as the normalization of ${\mathcal{X}}_{2^{n^{\diamond }+1},d^{\diamond },\mathbb{Z}_{(p)}}^{\text{Siegel}}$ in $M^{\diamond }$ , in the following sense.
Definition 2.4.1. Given an algebraic stack ${\mathcal{X}}$ over $\mathbb{Z}_{(p)}$ , and a normal algebraic stack $Y$ over $\mathbb{Q}$ equipped with a finite map $j_{\mathbb{Q}}:Y\rightarrow {\mathcal{X}}_{\mathbb{Q}}$ , the normalization of ${\mathcal{X}}$ in $Y$ is the finite ${\mathcal{X}}$ -stack $j:{\mathcal{Y}}\rightarrow {\mathcal{X}}$ , characterized by the property that $j_{\ast }{\mathcal{O}}_{{\mathcal{Y}}}$ is the integral closure of ${\mathcal{O}}_{{\mathcal{X}}}$ in $(j_{\mathbb{Q}})_{\ast }{\mathcal{O}}_{Y}$ .
The normalization is uniquely determined by the following universal property: given a finite morphism ${\mathcal{Z}}\rightarrow {\mathcal{X}}$ with ${\mathcal{Z}}$ a normal algebraic stack, flat over $\mathbb{Z}_{(p)}$ , any map of ${\mathcal{X}}_{\mathbb{Q}}$ -stacks ${\mathcal{Z}}_{\mathbb{Q}}\rightarrow Y$ extends uniquely to a map of ${\mathcal{X}}$ -stacks ${\mathcal{Z}}\rightarrow {\mathcal{Y}}$ .
Proposition 2.4.2. The stack ${\mathcal{M}}_{\mathbb{Z}_{(p)}}^{\diamond }$ is smooth over $\mathbb{Z}_{(p)}$ . It does not depend on the choice of $\unicode[STIX]{x1D6FF}\in C^{+}(L^{\diamond })\cap C(V^{\diamond })^{\times }$ .
Proof. This essentially follows from [Reference KisinKis10, (2.3.8)] if $p\neq 2$ and from [Reference Kim and Madapusi PeraKM16, Theorem 3.10] in general. We provide some of the details.
Abbreviate
and let $({\mathcal{A}}^{\text{Siegel}},\unicode[STIX]{x1D706}^{\text{Siegel}})$ be the universal polarized abelian scheme over ${\mathcal{X}}^{\text{Siegel}}$ . For any $m\in \mathbb{Z}_{{>}0}$ coprime to $pd^{\diamond }$ , let ${\mathcal{X}}_{m}^{\text{Siegel}}\rightarrow {\mathcal{X}}^{\text{Siegel}}$ be the finite étale cover parameterizing full level- $m$ structures on ${\mathcal{A}}^{\text{Siegel}}$ : that is, parametrizing isomorphisms of group schemes
that carry the symplectic form $\unicode[STIX]{x1D713}_{\unicode[STIX]{x1D6FF}}\otimes 1$ on the left-hand side to a $(\mathbb{Z}/m\mathbb{Z})^{\times }$ -multiple of the Weil pairing on ${\mathcal{A}}^{\text{Siegel}}[m]$ induced by $\unicode[STIX]{x1D706}^{\text{Siegel}}$ . For $m\geqslant 3$ the stack ${\mathcal{X}}_{m}^{\text{Siegel}}$ is a scheme over $\mathbb{Z}_{(p)}$ .
Write $G^{\diamond }=\text{GSpin}(V^{\diamond })$ , and set
Let $K^{\diamond }(m)\subset K^{\diamond }$ be the largest subgroup acting trivially on $C(L^{\diamond })\otimes (\mathbb{Z}/m\mathbb{Z})$ . We obtain a finite étale cover $M_{m}^{\diamond }\rightarrow M^{\diamond }$ of Shimura varieties with Galois group $K^{\diamond }/K^{\diamond }(m)$ , where
and ${\mathcal{D}}^{\diamond }$ is the space of oriented negative definite planes in $V_{\mathbb{R}}^{\diamond }$ .
The map $i_{\unicode[STIX]{x1D6FF}}:M^{\diamond }\rightarrow {\mathcal{X}}_{\mathbb{Q}}^{\text{Siegel}}$ lifts to a map
From [Reference KisinKis10, (2.1.2)] we find that $i_{\unicode[STIX]{x1D6FF},m}$ is a closed immersion of $\mathbb{Q}$ -schemes for sufficiently large $m$ . Fix such an $m$ , and let ${\mathcal{M}}_{m,\mathbb{Z}_{(p)}}^{\diamond }$ be the normalization of ${\mathcal{X}}_{m}^{\text{Siegel}}$ in $M_{m}^{\diamond }$ . Since $i_{\unicode[STIX]{x1D6FF},m}$ is a closed immersion, this is simply the normalization of the Zariski closure of $M_{m}^{\diamond }$ in ${\mathcal{X}}_{m}^{\text{Siegel}}$ . It now follows from [Reference KisinKis10, (2.3.8)] and [Reference Kim and Madapusi PeraKM16, Theorem 3.10] that ${\mathcal{M}}_{m,\mathbb{Z}_{(p)}}^{\diamond }$ is smooth over $\mathbb{Z}_{(p)}$ , and, moreover, that it is, up to unique isomorphism, independent of the choice of $\unicode[STIX]{x1D6FF}$ .
The stack ${\mathcal{M}}_{\mathbb{Z}_{(p)}}^{\diamond }$ is the étale quotient of ${\mathcal{M}}_{m,\mathbb{Z}_{(p)}}^{\diamond }$ by the action of $K^{\diamond }/K^{\diamond }(m)$ , and so the proposition follows.◻
By the construction of the integral model ${\mathcal{M}}_{\mathbb{Z}_{(p)}}^{\diamond }$ , the Kuga–Satake abelian scheme $A^{\diamond }\rightarrow M^{\diamond }$ extends to ${\mathcal{A}}^{\diamond }\rightarrow {\mathcal{M}}_{\mathbb{Z}_{(p)}}^{\diamond }$ . A non-trivial consequence of the construction is that the vector bundle $\boldsymbol{V}_{\text{dR},M^{\diamond }}^{\diamond }$ , with its integrable connection and filtration, extends to a filtered vector bundle with integrable connection $(\boldsymbol{V}_{\text{dR},{\mathcal{M}}_{\mathbb{ Z}_{(p)}}^{\diamond }}^{\diamond },\text{Fil}^{\bullet }\boldsymbol{V}_{\text{dR},{\mathcal{M}}_{\mathbb{Z}_{(p)}}^{\diamond }}^{\diamond }\!)$ over ${\mathcal{M}}_{\mathbb{Z}_{(p)}}^{\diamond }$ (see [Reference Madapusi PeraMad16, § 4] for details).
Let $\boldsymbol{H}_{\text{dR},{\mathcal{M}}_{\mathbb{ Z}_{(p)}}^{\diamond }}^{\diamond }$ be the first de Rham homology of ${\mathcal{A}}^{\diamond }$ , so that we have an embedding of filtered vector bundles
extending that in the generic fiber and exhibiting its source as a local direct summand of the target. Composition in the endomorphism ring gives a non-degenerate quadratic form on
again extending that on its generic fiber.
Similarly, let
be the first crystalline homology of ${\mathcal{A}}_{\mathbb{F}_{p}}^{\diamond }$ relative to ${\mathcal{M}}_{\mathbb{F}_{p}}^{\diamond }$ . As ${\mathcal{M}}_{\mathbb{Z}_{(p)}}^{\diamond }$ is smooth over $\mathbb{Z}_{(p)}$ , the vector bundle with integrable connection (2.6) determines a crystal $\boldsymbol{V}_{\text{crys}}^{\diamond }$ over ${\mathcal{M}}_{\mathbb{F}_{p}}^{\diamond }$ equipped with an embedding
as a local direct summand; see [Reference Madapusi PeraMad16, (4.14)] for details.
We are now ready to give the construction of the desired integral model ${\mathcal{M}}_{\mathbb{Z}_{(p)}}$ for $M$ . The isometric embedding $V\rightarrow V^{\diamond }$ induces a homomorphism of Clifford algebras, which restricts to a closed immersion $G\rightarrow G^{\diamond }$ . This induces a morphism of Shimura varieties $M\rightarrow M^{\diamond }$ . The direct summands $\unicode[STIX]{x1D6EC}_{\mathbb{Q}}\subset V^{\diamond }$ and $\unicode[STIX]{x1D6EC}_{\widehat{\mathbb{Z}}}\subset L_{\widehat{\mathbb{Z}}}^{\diamond }$ are pointwise stabilized by $G(\mathbb{Q})$ and $K$ , respectively. From this, arguing as in [Reference Madapusi PeraMad16, (6.5)], we find that there is a canonical embedding
whose de Rham realization is (2.5). Let $\check{{\mathcal{M}}}_{\mathbb{Z}_{(p)}}$ be the normalization of ${\mathcal{M}}_{\mathbb{Z}_{(p)}}^{\diamond }$ in $M$ . Then, by [Reference Faltings and ChaiFC90, Proposition 2.7], the embedding (2.7) extends to
Since $\boldsymbol{V}_{\text{dR},{\mathcal{M}}_{\mathbb{ Z}_{(p)}}^{\diamond }}^{\diamond }$ is a direct summand of $\text{}\underline{\text{End}}_{C(L)}(\boldsymbol{H}_{\text{dR},{\mathcal{M}}_{\mathbb{ Z}_{(p)}}^{\diamond }}^{\diamond }\!)$ , the de Rham realization of (2.8) provides us with an extension
of (2.5), where
Let $\check{{\mathcal{M}}}_{\mathbb{Z}_{(p)}}^{\text{pr}}\subset \check{{\mathcal{M}}}_{\mathbb{ Z}_{(p)}}$ be the open locus where the cokernel of (2.9) is a vector bundle of rank $n$ (see [Reference Madapusi PeraMad16, 6.16(i)]). This is also the locus over which the image of (2.9) is a local direct summand. In particular, it contains the generic fiber $M$ of $\check{{\mathcal{M}}}_{\mathbb{Z}_{(p)}}$ .
Let $\text{M}^{\text{loc}}(L)$ be the projective scheme over $\mathbb{Z}$ parameterizing isotropic lines $L^{1}\subset L$ . The following can be deduced from [Reference Madapusi PeraMad16, (6.16), (6.20), (2.16)].
Proposition 2.4.3. (i) Around any point of $\check{{\mathcal{M}}}_{\mathbb{Z}_{(p)}}^{\text{pr}}$ , we can find an étale neighborhood $T$ such that there exists an isometry
satisfying $\unicode[STIX]{x1D709}({\mathcal{O}}_{T}\otimes \unicode[STIX]{x1D6EC})=\boldsymbol{\unicode[STIX]{x1D6EC}}_{\text{dR},T}$ , and such that the morphism $T\rightarrow \text{M}^{\text{loc}}(L)$ determined by the isotropic line
is étale.
(ii) If $L_{(p)}$ is self-dual, or if $p>2$ and $p^{2}\nmid \text{disc}(L)$ , then $\check{{\mathcal{M}}}_{\mathbb{Z}_{(p)}}^{\text{pr}}=\check{{\mathcal{M}}}_{\mathbb{ Z}_{(p)}}\!$ .
(iii) If $p>2$ and $p^{2}\mid \text{disc}(L)$ , then $\check{{\mathcal{M}}}_{\mathbb{Z}_{(p)}}^{\text{pr}}$ is regular outside of a zero-dimensional closed substack.
We now define:
-
– ${\mathcal{M}}_{\mathbb{Z}_{(p)}}=\check{{\mathcal{M}}}_{\mathbb{Z}_{(p)}}$ if $L_{(p)}$ is self-dual, or if $p>2$ and $p^{2}\nmid \text{disc}(L)$ ;
-
– ${\mathcal{M}}_{\mathbb{Z}_{(p)}}=\text{the regular locus of }\check{{\mathcal{M}}}_{\mathbb{Z}_{(p)}}^{\text{pr}}$ if $p>2$ and $p^{2}\mid \text{disc}(L)$ ;
-
– ${\mathcal{M}}_{\mathbb{Z}_{(p)}}=\text{the smooth locus of }\check{{\mathcal{M}}}_{\mathbb{Z}_{(p)}}^{\text{pr}}$ if $p=2$ .
Then ${\mathcal{M}}_{\mathbb{Z}_{(p)}}$ is the desired regular integral model for $M$ over $\mathbb{Z}_{(p)}$ .
Remark 2.4.4. If $p=2$ and $L_{(2)}$ is not self-dual, or if $p>2$ and $p^{2}\mid \text{disc}(L)$ , this is certainly not the optimal definition of the regular model ${\mathcal{M}}_{\mathbb{Z}_{(p)}}$ . For a discussion and examples of this when $p$ is odd, see [Reference Madapusi PeraMad16, (6.27), (6.28)].
Equip $\boldsymbol{\unicode[STIX]{x1D6EC}}_{\text{dR}}=\unicode[STIX]{x1D6EC}\otimes _{\mathbb{Z}}{\mathcal{O}}_{{\mathcal{M}}_{\mathbb{Z}_{(p)}}}$ with the integrable connection $1\otimes \text{d}$ , and the trivial filtration concentrated in degree $0$ . By construction, over ${\mathcal{M}}_{\mathbb{Z}_{(p)}}$ we have a canonical isometric embedding
of filtered vector bundles with integrable connections. Therefore, since the quadratic form on $\boldsymbol{V}_{\text{dR},{\mathcal{M}}_{\mathbb{ Z}_{(p)}}}^{\diamond }$ is self-dual, the orthogonal complement
is again a vector sub-bundle with integrable connection. Indeed, it is precisely the kernel of the surjection of vector bundles
Moreover, the isotropic line $\text{Fil}^{1}\boldsymbol{V}_{\text{dR},{\mathcal{M}}_{\mathbb{ Z}_{(p)}}}^{\diamond }$ is actually contained in $\boldsymbol{V}_{\text{dR},{\mathcal{M}}_{\mathbb{ Z}_{(p)}}}$ . For convenience, we abbreviate
Proposition 2.4.5. The integral models ${\mathcal{M}}_{\mathbb{Z}_{(p)}}$ and $\check{{\mathcal{M}}}_{\mathbb{Z}_{(p)}}$ are, up to unique isomorphism, independent of the auxiliary choice of $L^{\diamond }$ . Furthermore, the vector bundle $\boldsymbol{V}_{\text{dR},{\mathcal{M}}_{\mathbb{ Z}_{(p)}}}$ and the isotropic line $\boldsymbol{V}_{\text{dR},{\mathcal{M}}_{\mathbb{ Z}_{(p)}}}^{1}\subset \boldsymbol{V}_{\text{dR},{\mathcal{M}}_{\mathbb{ Z}_{(p)}}}$ are also independent of this auxiliary choice.
Proof. Suppose that we have a different embedding $L{\hookrightarrow}L_{1}^{\diamond }$ with $L_{1}^{\diamond }$ maximal, self-dual at $p$ , and of signature $(n_{1}^{\diamond },2)$ .
First, assume that the embedding $L{\hookrightarrow}L_{1}^{\diamond }$ factors as $L{\hookrightarrow}L^{\diamond }{\hookrightarrow}L_{1}^{\diamond }$ . The construction of Kisin in [Reference KisinKis10] and its generalization in [Reference Kim and Madapusi PeraKM16] show that the map of integral models ${\mathcal{M}}_{\mathbb{Z}_{(p)}}^{\diamond }\rightarrow {\mathcal{M}}_{1,\mathbb{Z}_{(p)}}^{\diamond }$ associated with $L^{\diamond }{\hookrightarrow}L_{1}^{\diamond }$ is finite and unramified. Moreover, Proposition 2.4.3 shows that, if $\unicode[STIX]{x1D6EC}_{1}=(L^{\diamond })^{\bot }\subset L_{1}^{\diamond }$ , then the corresponding map
is an embedding of vector bundles, and that its orthogonal complement is exactly $\boldsymbol{V}_{\text{dR},{\mathcal{M}}_{\mathbb{ Z}_{(p)}}}^{\diamond }\!$ . From this, we easily deduce that the constructions of both $\check{{\mathcal{M}}}_{\mathbb{Z}_{(p)}}$ and $\check{{\mathcal{M}}}_{\mathbb{Z}_{(p)}}^{\text{pr}}$ do not depend on the choice of isometric embedding. The proof also shows that the vector bundle $\boldsymbol{V}_{\text{dR},{\mathcal{M}}_{\mathbb{ Z}_{(p)}}}\!$ , along with its isotropic line, is also independent of this choice.
For the general case, consider the embedding $\unicode[STIX]{x1D6E5}:L{\hookrightarrow}L^{\diamond }\oplus L_{1}^{\diamond }$ defined by $v\mapsto (v,-v)$ . The quadratic form on $L^{\diamond }\oplus L_{1}^{\diamond }$ given by the orthogonal sum of those on its individual summands induces a quadratic form on the quotient
of signature $(n^{\diamond }+n_{1}^{\diamond }-n,2)$ . Moreover, the natural maps $L^{\diamond }\rightarrow L_{2}^{\diamond }$ and $L_{1}^{\diamond }\rightarrow L_{2}^{\diamond }$ are isometric inclusions of direct summands, whose restrictions to $L$ coincide.
Now, $L_{2}^{\diamond }$ need not be self-dual at $p$ , but, via the argument in [Reference Madapusi PeraMad16, (6.8)], we can embed it isometrically as a direct summand in a maximal quadratic space $L_{3}^{\diamond }$ of signature $(n_{3}^{\diamond },2)$ , which is self-dual at $p$ . In particular, replacing $L_{1}^{\diamond }$ with $L_{3}^{\diamond }$ , we are reduced to the already considered case where $L^{\diamond }$ is an isometric direct summand of $L_{1}^{\diamond }$ .◻
We can now give the construction of the stack ${\mathcal{M}}$ over $\mathbb{Z}$ . It is simply obtained by patching together the spaces ${\mathcal{M}}_{\mathbb{Z}_{(p)}}$ . To do this rigorously, we choose a finite collection of maximal quadratic spaces $L_{1}^{\diamond },L_{2}^{\diamond },\ldots ,L_{r}^{\diamond }$ with the following properties.
-
– For each $i=1,2,\ldots ,r$ , $L_{i}^{\diamond }$ has signature $(n_{i}^{\diamond },2)$ , for $n_{i}^{\diamond }\in \mathbb{Z}_{{>}0}$ .
-
– For each $i$ , there is an isometric embedding $L{\hookrightarrow}L_{i}^{\diamond }$ .
-
– If, for each $i$ , we denote by $S_{i}$ the set of primes dividing $\text{disc}(L_{i}^{\diamond })$ , then $\bigcap _{i=1}^{r}S_{i}=\emptyset$ .
It is always possible to find such a collection. For instance, first choose any maximal quadratic lattice of signature $(n_{1}^{\diamond },2)$ , admitting $L$ as an isometric direct summand. Let $\{p_{2},\ldots ,p_{r}\}$ be the set of primes dividing the discriminant of $L_{1}^{\diamond }$ . Now, for each $i=2,3,\ldots ,r$ , let $L_{i}^{\diamond }$ be a maximal quadratic lattice, self-dual at $p_{i}$ , of signature $(n_{i}^{\diamond },2)$ , admitting $L$ as an isometric direct summand. Then the collection $\{L_{1}^{\diamond },\ldots ,L_{r}^{\diamond }\}$ does the job.
For $i=1,2,\ldots ,r$ , let $M_{i}^{\diamond }$ be the GSpin Shimura variety over $\mathbb{Q}$ attached to $L_{i}^{\diamond }$ . Given an appropriate choice of $\unicode[STIX]{x1D6FF}_{i}\in C^{+}(L_{i}^{\diamond })\cap C(L_{i}^{\diamond })_{\mathbb{Q}}^{\times }$ , with associated alternating form $\unicode[STIX]{x1D713}_{\unicode[STIX]{x1D6FF}_{i}}$ on $C(L_{i}^{\diamond })$ , we obtain a sequence of finite and unramified map of $\mathbb{Q}$ -stacks
Here, $d_{i}^{\diamond }$ is the discriminant of $\unicode[STIX]{x1D713}_{\unicode[STIX]{x1D6FF}_{i}}$ .
Let $\mathbb{Z}[(S_{i})^{-1}]\subset \mathbb{Q}$ be the localization of $\mathbb{Z}$ obtained by inverting the primes in $S_{i}$ . Let ${\mathcal{M}}_{\mathbb{Z}[(S_{i})^{-1}]}$ be the stack over $\mathbb{Z}[(S_{i})^{-1}]$ obtained by normalizing ${\mathcal{X}}_{2^{n_{i}^{\diamond }+1},d_{i}^{\diamond },\mathbb{Z}[(S_{i})^{-1}]}^{\text{Siegel}}$ in $M$ .
Proposition 2.4.6. There is a regular, flat, algebraic $\mathbb{Z}$ -stack ${\mathcal{M}}$ such that for each $i$ the restriction of ${\mathcal{M}}$ over $\mathbb{Z}[(S_{i})^{-1}]$ is isomorphic to ${\mathcal{M}}_{\mathbb{Z}[(S_{i})^{-1}]}$ . Moreover, the vector bundle $\boldsymbol{V}_{\text{dR},M}$ on $M$ , along with its integrable connection and the isotropic line $\boldsymbol{V}_{\text{dR},M}^{1}$ , has a canonical extension $(\boldsymbol{V}_{\text{dR}},\boldsymbol{V}_{\text{dR}}^{1})$ over ${\mathcal{M}}$ .
Proof. This is immediate from Proposition 2.4.5. ◻
Definition 2.4.7. The line bundle $\boldsymbol{V}_{\text{dR}}^{1}\subset \boldsymbol{V}_{\text{dR}}$ is the tautological bundle on ${\mathcal{M}}$ . Its dual is the cotautological bundle.
Remark 2.4.8. Under the uniformization ${\mathcal{D}}\rightarrow \unicode[STIX]{x1D6E4}_{g}\backslash {\mathcal{D}}\subset {\mathcal{M}}(\mathbb{C}),$ of (2.3), and using the notation of (2.1), the tautological bundle and cotautological bundle pull back to the line bundles $z\mapsto \mathbb{C}z$ and $z\mapsto V_{\mathbb{C}}/(\mathbb{C}z)^{\bot }$ , respectively.
By [Reference Madapusi PeraMad16, (7.12)], the Kuga–Satake abelian scheme over $M$ extends (necessarily uniquely) to an abelian scheme
endowed with a right $C(L)$ -action and $\mathbb{Z}/2\mathbb{Z}$ -grading. The de Rham realization of ${\mathcal{A}}$ provides us with an extension $\boldsymbol{H}_{\text{dR}}$ over ${\mathcal{M}}$ of the filtered vector bundle with connection $\boldsymbol{H}_{\text{dR},M}$ , equipped with its $\mathbb{Z}/2\mathbb{Z}$ -grading and right $C(L)$ -action. Let
be the first crystalline homology of ${\mathcal{A}}_{\mathbb{F}_{p}}$ relative to ${\mathcal{M}}_{\mathbb{F}_{p}}$ .
Denote by $\mathbf{1}$ the structure sheaf ${\mathcal{O}}_{{\mathcal{M}}}$ with its standard connection and trivial filtration in the de Rham case; the constant sheaf $\text{}\underline{\mathbb{Z}}_{p}$ on ${\mathcal{M}}[1/p]$ in the étale case; the crystal ${\mathcal{O}}_{{\mathcal{M}}_{\mathbb{F}_{p}},\text{crys}}$ in the crystalline case; and the trivial variation of $\mathbb{Z}$ -Hodge structures over $M_{\mathbb{C}}^{\text{an}}$ in the Betti case. If $\boldsymbol{H}$ is any one of $\boldsymbol{H}_{\text{dR}}$ , $\boldsymbol{H}_{\ell ,\acute{\text{e}}\text{t}}$ , $\boldsymbol{H}_{\text{crys}}$ , or $\boldsymbol{H}_{\text{Be}}$ , then $\boldsymbol{H}$ is a $\mathbf{1}$ -module in the appropriate category.
It follows from [Reference Madapusi PeraMad16, (3.12), (7.13)] that there is a canonical local direct summand
of grade-shifting endomorphisms. In fact, as we will see below in Proposition 2.5.1, the homological realizations of the canonical isometric embedding $\unicode[STIX]{x1D6EC}{\hookrightarrow}\text{End}({\mathcal{A}}^{\diamond }|_{{\mathcal{M}}})$ exhibit $\unicode[STIX]{x1D6EC}\otimes \mathbf{1}$ as an isometric local direct summand of $\boldsymbol{V}^{\diamond }|_{{\mathcal{M}}}$ , and
In the de Rham or Betti case, $\boldsymbol{V}$ is identified with the realizations already constructed above. Moreover, for any prime $p$ , the étale realization $\boldsymbol{V}_{p,\acute{\text{e}}\text{t}}\subset \text{}\underline{\text{End}}_{C(L)}(\boldsymbol{H}_{p,\acute{\text{e}}\text{t}})$ is the unique extension of that over ${\mathcal{M}}[1/p]$ . Here, we are using the following fact: given a normal flat Noetherian algebraic $\mathbb{Z}[1/p]$ -stack $S$ , and a lisse $p$ -adic sheaf $F$ over $S$ , any lisse subsheaf of $F|_{S_{\mathbb{Q}}}$ extends uniquely to a lisse subsheaf of $F$ . To see this, we can reduce to the case where $S$ is a normal, connected, flat Noetherian $\mathbb{Z}[1/p]$ -scheme, where the assertion amounts to saying that the map of étale fundamental groups $\unicode[STIX]{x1D70B}_{1}(S_{\mathbb{Q}})\rightarrow \unicode[STIX]{x1D70B}_{1}(S)$ is surjective. This is shown in [Reference GrothendieckSGA1, Example V, Proposition 8.2].
For any section $x$ of $\boldsymbol{V}$ , the element $x\circ x$ is a scalar endomorphism of $\boldsymbol{H}$ . Define a quadratic form
by $x\circ x=\boldsymbol{Q}(x)\cdot \text{Id}$ .
Remark 2.4.9. Although we will not require this in what follows, we note that there is a certain compatibility between the crystalline realization $\boldsymbol{V}_{\text{crys}}$ over ${\mathcal{M}}_{\mathbb{F}_{p}}$ and the $p$ -adic realization $\boldsymbol{V}_{p,\acute{\text{e}}\text{t}}$ over ${\mathcal{M}}[1/p]$ . Suppose that we are given a finite extension $F/\mathbb{Q}_{p}$ , contained in an algebraic closure $\overline{\mathbb{Q}}_{p}$ of $\mathbb{Q}_{p}$ , with residue field $k$ . Write $F_{0}\subset F$ for the maximal unramified subextension of $F$ . Suppose that we are given a point $s\in {\mathcal{M}}(F)$ specializing to a point $s_{0}\in {\mathcal{M}}(k)$ . Write $\overline{s}$ for the corresponding $\overline{\mathbb{Q}}_{p}$ -point of ${\mathcal{M}}$ . Then the comparison isomorphism between the crystalline cohomology of ${\mathcal{A}}_{s_{0}}$ with respect to $W(k)={\mathcal{O}}_{F_{0}}$ and the $p$ -adic étale cohomology of ${\mathcal{A}}_{\overline{s}}$ induces, by [Reference Madapusi PeraMad16, (7.11)], an isometry
2.5 Functoriality of integral models
We consider the question of functoriality of the previous constructions with respect to the maximal quadratic space $L$ . Let $L_{0}\subset L$ be an isometric embedding of maximal quadratic spaces over $\mathbb{Z}$ , of signatures $(n_{0},2)$ and $(n,2)$ , respectively. This implies that $L_{0}$ is a $\mathbb{Z}$ -module direct summand of $L$ . We will maintain our assumption that $n_{0}\geqslant 1$ .
The quadratic spaces $L_{0}$ and $L$ have associated Shimura varieties $M_{0}$ and $M$ , with level structure defined by the compact open subgroups
The inclusion $L_{0}{\hookrightarrow}L$ induces a homomorphism of Clifford algebras, which then restricts to an inclusion of algebraic groups $\text{GSpin}(V_{0})\rightarrow \text{GSpin}(V)$ satisfying $K_{0}=K\cap \text{GSpin}(V_{0})(\mathbb{A}_{f})$ . By the theory of canonical models of Shimura varieties, there is an induced finite and unramified morphism of $\mathbb{Q}$ -stacks $M_{0}\rightarrow M.$
Let ${\mathcal{M}}_{0}$ and ${\mathcal{M}}$ be the integral models over $\mathbb{Z}$ , and let ${\mathcal{A}}_{0}\rightarrow {\mathcal{M}}_{0}$ and ${\mathcal{A}}\rightarrow {\mathcal{M}}$ be their Kuga–Satake abelian schemes. They are equipped with actions of $C(L_{0})$ and $C(L)$ , respectively. Let $\boldsymbol{H}_{0}$ and $\boldsymbol{H}$ stand for the various homological realizations of ${\mathcal{A}}_{0}$ and ${\mathcal{A}}$ , respectively. We have the canonical sub-objects $\boldsymbol{V}_{0}\subset \text{}\underline{\text{End}}_{C(L_{0})}(\boldsymbol{H}_{0})$ and $\boldsymbol{V}\subset \text{}\underline{\text{End}}_{C(L)}(\boldsymbol{H})$ introduced in § 2.4.
The Kuga–Satake abelian schemes over $M_{0}$ and $M$ are determined by the lattices $C(L_{0})\subset C(V_{0})$ and $C(L)\subset C(V)$ (in the sense of [Reference DeligneDel72, § 4.12]), and the argument in [Reference Madapusi PeraMad16, (6.4)] shows that there is a $C(L)$ -linear isomorphism of abelian schemes
over the generic fiber $M_{0}$ of ${\mathcal{M}}_{0}$ . As $L_{0}$ is a direct summand of $L$ , one easily checks that $C(L)$ is a free $C(L_{0})$ -module, and so the tensor construction ${\mathcal{A}}_{0}\otimes _{C(L_{0})}C(L)$ in (2.11) is defined.
Proposition 2.5.1. The morphism $M_{0}\rightarrow M$ extends uniquely to an unramified morphism ${\mathcal{M}}_{0}\rightarrow {\mathcal{M}}$ , and (2.11) extends to a $C(L)$ -linear isomorphism of abelian schemes
over ${\mathcal{M}}_{0}$ . In particular,
Furthermore, if we set $\unicode[STIX]{x1D6EC}=\{\unicode[STIX]{x1D706}\in L:\unicode[STIX]{x1D706}\bot L_{0}\}$ and define a sheaf $\boldsymbol{\unicode[STIX]{x1D6EC}}=\unicode[STIX]{x1D6EC}\otimes \mathbf{1}$ on ${\mathcal{M}}_{0}$ , then there is a canonical embedding $\unicode[STIX]{x1D6EC}\subset \text{End}({\mathcal{A}}|_{{\mathcal{M}}_{0}})$ with the following properties.
-
(i) Its homological realization $\boldsymbol{\unicode[STIX]{x1D6EC}}{\hookrightarrow}\text{}\underline{\text{End}}(\boldsymbol{H}|_{{\mathcal{M}}_{0}})$ arises from an isometric map $\boldsymbol{\unicode[STIX]{x1D6EC}}{\hookrightarrow}\boldsymbol{V}|_{{\mathcal{M}}_{0}}$ , and exhibits $\boldsymbol{\unicode[STIX]{x1D6EC}}$ as a local direct summand of $\boldsymbol{V}|_{{\mathcal{M}}_{0}}$ .
-
(ii) The injection
$$\begin{eqnarray}\text{}\underline{\text{End}}_{C(L_{0})}(\boldsymbol{H}_{0})\rightarrow \text{}\underline{\text{End}}_{C(L)}(\boldsymbol{H}|_{{\mathcal{M}}_{0}})\end{eqnarray}$$induced by (2.13) identifies $\boldsymbol{V}_{0}$ with the submodule of all elements of $\boldsymbol{V}|_{{\mathcal{M}}_{0}}$ anticommuting with all elements of $\boldsymbol{\unicode[STIX]{x1D6EC}}$ . Furthermore, $\boldsymbol{V}_{0}\subset \boldsymbol{V}|_{{\mathcal{M}}_{0}}$ is locally a direct summand. -
(iii) In the de Rham case, the inclusion $\boldsymbol{V}_{\text{dR}}\subset \boldsymbol{V}_{\text{dR}}|_{{\mathcal{M}}_{0}}$ identifies
$$\begin{eqnarray}\boldsymbol{V}_{0,\text{dR}}^{1}\xrightarrow[{}]{\simeq }\boldsymbol{V}_{\text{dR}}^{1}|_{{\mathcal{M}}_{0}}.\end{eqnarray}$$
Proof. It suffices to construct the morphism ${\mathcal{M}}_{0}\rightarrow {\mathcal{M}}$ after localizing at a prime $p$ . Hence we can assume that we have a sequence of isometric embeddings $L_{0}{\hookrightarrow}L{\hookrightarrow}L^{\diamond }$ , where $L^{\diamond }$ is maximal and self-dual at $p$ .
By taking the normalizations of ${\mathcal{M}}_{\mathbb{Z}_{(p)}}^{\diamond }$ in $M_{0}$ and $M$ , respectively, we see that the finite morphism $M_{0}\rightarrow M$ extends to a map
Set $\unicode[STIX]{x1D6EC}_{1}=L^{\bot }\subset L^{\diamond }$ and $\widetilde{\unicode[STIX]{x1D6EC}}=L_{0}^{\bot }\subset L^{\diamond }$ , so that $\unicode[STIX]{x1D6EC}_{1}$ is a direct summand in $\widetilde{\unicode[STIX]{x1D6EC}}$ with orthogonal complement $\unicode[STIX]{x1D6EC}$ . From this, it is clear that (2.14) restricts to a map $\check{{\mathcal{M}}}_{0,\mathbb{Z}_{(p)}}^{\text{pr}}\rightarrow \check{{\mathcal{M}}}_{\mathbb{ Z}_{(p)}}^{\text{pr}}$ . We can deduce from Proposition 2.4.3 that, étale locally on the source, this map is isomorphic to an étale neighborhood of the map of quadrics $\text{M}^{\text{loc}}(L_{0})\rightarrow \text{M}^{\text{loc}}(L)$ . In particular, it is unramified.
To check that this carries ${\mathcal{M}}_{0,\mathbb{Z}_{(p)}}$ to ${\mathcal{M}}_{\mathbb{Z}_{(p)}}$ it suffices now to show that the map
of quadrics over $\mathbb{Z}_{(p)}$ carries the smooth locus to the smooth locus and, if $p\neq 2$ , the regular locus of the source into that of the target.
For the first assertion, observe that an $\overline{\mathbb{F}}_{p}$ -valued point of the space is in the smooth locus if and only if it corresponds to an isotropic line that is not contained in the radical of $L_{0,\overline{\mathbb{F}}_{p}}$ . But then it is a fortiori not in the radical of $L_{\overline{\mathbb{F}}_{p}}$ , and hence corresponds to a smooth point of $\text{M}^{\text{loc}}(L)$ as well.
We are left to prove the second claim, so that we can assume that $p$ is odd.
If the discriminant of $L_{\mathbb{Z}_{(p)}}$ is not divisible by $p^{2}$ , the entire target is regular (see [Reference Madapusi PeraMad16, (2.16)]), and there is nothing to check. Otherwise, the locus where $\text{M}^{\text{loc}}(L)_{\mathbb{Z}_{(p)}}$ is not regular consists exactly of the two $\mathbb{F}_{p^{2}}$ -valued points where the corresponding isotropic line $L^{1}\subset L_{\mathbb{F}_{p^{2}}}$ lies in the radical $\text{rad}(L_{\mathbb{F}_{p^{2}}})$ and is also isotropic for the non-degenerate quadratic form on this radical (see [Reference Madapusi PeraMad16]).
Suppose therefore that we have an isotropic line $L_{0,\overline{\mathbb{F}}_{p}}^{1}\subset L_{0,\overline{\mathbb{F}}_{p}}$ . We need to show: if, as an isotropic line in $L_{\overline{\mathbb{F}}_{p}}$ , it corresponds to one of the two singular points above, then the discriminant of $L_{0}$ is also divisible by $p^{2}$ , and $L_{0,\overline{\mathbb{F}}_{p}}^{1}$ corresponds to a singular point of $\text{M}^{\text{loc}}(L_{0})$ .
As any smooth point of $\text{M}^{\text{loc}}(L_{0})$ (that is, a point at which the space is smooth over $\mathbb{Z}$ ) maps to a smooth point of $\text{M}^{\text{loc}}(L)$ , the only remaining possibility is that the discriminant of $L_{0}$ is divisible exactly by $p$ , and that $L_{0,\overline{\mathbb{F}}_{p}}^{1}$ is just the radical of $L_{0,\overline{\mathbb{F}}_{p}}$ , corresponding to the unique non-smooth point of $\text{M}^{\text{loc}}(L_{0})_{\mathbb{Z}_{(p)}}$ . However, this point is defined over $\mathbb{F}_{p}$ , whereas both the singular points of $\text{M}^{\text{loc}}(L)_{\mathbb{Z}_{(p)}}$ are only defined over $\mathbb{F}_{p^{2}}$ . Hence this possibility can also be excluded.
Now, the fact that the isomorphism of abelian schemes also extends over ${\mathcal{M}}_{0}$ is a consequence of [Reference Faltings and ChaiFC90, Proposition I.2.7].
The canonical embedding $\unicode[STIX]{x1D6EC}\subset \text{End}({\mathcal{A}}|_{{\mathcal{M}}_{0,\mathbb{Z}_{(p)}}}\!)$ is constructed as follows. First, we will define an action of $\unicode[STIX]{x1D6EC}$ on
Given a section of the form $(a^{+}\otimes c,a^{-}\otimes c^{\prime })$ of this product and an element $\unicode[STIX]{x1D706}\in \unicode[STIX]{x1D6EC}$ , we set
As $L_{0}$ anti-commutes with $\unicode[STIX]{x1D6EC}$ within $C(L)$ , it is easy to check that this action of $\unicode[STIX]{x1D6EC}$ descends to one on
Claims (i)–(iii) are now shown in [Reference Madapusi PeraMad16, (7.13)] for the crystalline realizations over ${\mathcal{M}}_{0,\mathbb{F}_{p}}$ , but in the case where $L$ is self-dual at $p$ . From this, we can easily deduce the general case, just as above, by embedding everything in a quadratic space that is self-dual at $p$ .◻
2.6 Special endomorphisms
For any scheme $S\rightarrow {\mathcal{M}}$ the pullback ${\mathcal{A}}_{S}$ of the Kuga–Satake abelian scheme has a distinguished submodule
of special endomorphisms, defined in [Reference Madapusi PeraMad16, (5.4)]. If $S$ is connected and $s\rightarrow S$ is any geometric point, there is a cartesian diagram
In other words, if $S$ is connected, an endomorphism is special if and only if it is special at one (equivalently, all) geometric points of $S$ .
At a geometric point $s$ , the property of being special can be characterized homologically, using the subspace
If $s=\text{Spec}(\mathbb{C})$ then $x\in \text{End}_{C(L)}({\mathcal{A}}_{s})$ is special if and only if its Betti realization lies in the subspace (2.15). This is equivalent to the $\ell$ -adic étale realization of $x$ lying in (2.15) for one (equivalently, all) primes $\ell$ . It is also equivalent to requiring that the de Rham realization $t_{\text{dR}}(x)\in \text{End}_{C(L)}(\boldsymbol{H}_{\text{dR},s})$ lie in the subspace $\boldsymbol{V}_{\text{dR},s}$ .
If $s$ is a geometric point of characteristic $p$ , then $x\in \text{End}_{C(L)}({\mathcal{A}}_{s})$ is special if and only if its crystalline realization lies in (2.15). This implies that the $\ell$ -adic étale realization lies in (2.15) for all $\ell$ different from the characteristic of $s$ ; cf. [Reference Madapusi PeraMad16, (5.22)].
Fix an element $\unicode[STIX]{x1D707}\in L^{\vee }/L$ and a prime $p>0$ , and suppose that we are given an embedding $L{\hookrightarrow}L^{\diamond }$ of maximal quadratic lattices with $L^{\diamond }$ self-dual at $p$ . Let $\unicode[STIX]{x1D6EC}=L^{\bot }\subset L^{\diamond }$ be the subspace of elements orthogonal to $L$ .
There are canonical isomorphisms
which allow us to view $\unicode[STIX]{x1D707}_{p}$ as an element of $\mathbb{Z}_{p}\otimes (\unicode[STIX]{x1D6EC}^{\vee }/\unicode[STIX]{x1D6EC})$ . Fix a lift $\tilde{\unicode[STIX]{x1D707}}_{p}\in \unicode[STIX]{x1D6EC}^{\vee }$ of $\unicode[STIX]{x1D707}_{p}$ .
By construction, the map $\unicode[STIX]{x1D6EC}{\hookrightarrow}\text{End}({\mathcal{A}}_{S}^{\diamond })$ from Proposition 2.5.1 factors through an isometric embedding $\unicode[STIX]{x1D6EC}{\hookrightarrow}V({\mathcal{A}}_{S}^{\diamond })$ . Via this embedding, we can view $\tilde{\unicode[STIX]{x1D707}}_{p}$ as an element of $V({\mathcal{A}}_{S}^{\diamond })_{\mathbb{Q}}$ .
Lemma 2.6.1. The subset
is functorial in $S$ , and is independent of the choice of embedding $L{\hookrightarrow}L^{\diamond }$ of maximal lattices with $L^{\diamond }$ self-dual at $p$ .
Proof. Note that the definition is clearly independent of the choice of lift $\tilde{\unicode[STIX]{x1D707}}_{p}$ .
The functoriality of the subset is clear, so it only remains to prove the independence from the choice of embedding into a self-dual at $p$ maximal lattice. For this, as in the proof of Proposition 2.4.5 we can reduce to the case where both $L$ and $L^{\diamond }$ are self-dual at $p$ , where we have to show that the definition using the identity $L\rightarrow L$ is equivalent to the one given using the embedding $L{\hookrightarrow}L^{\diamond }$ .
In this case, $\tilde{\unicode[STIX]{x1D707}}_{p}$ can be chosen to be $0$ , and we are reduced to checking that an element $x\in V({\mathcal{A}}_{S})_{\mathbb{Q}}$ maps into $V({\mathcal{A}}_{S})\otimes \mathbb{Z}_{(p)}$ if and only if it maps into $V({\mathcal{A}}_{S}^{\diamond })\otimes \mathbb{Z}_{(p)}$ . For this, it is enough to verify that the inclusion of abelian groups
maps onto a $\mathbb{Z}$ -direct summand. However, this follows from the fact that $\boldsymbol{V}\subset \boldsymbol{V}^{\diamond }|_{{\mathcal{M}}}$ is a local direct summand; see Proposition 2.5.1(ii).◻
Remark 2.6.2. When $S$ is a scheme over ${\mathcal{M}}[p^{-1}]$ , there is a more intrinsic description of the subset above. Note that the natural action of the compact open subgroup $K\subset G(\mathbb{A}_{f})$ on $\widehat{L}^{\diamond }$ preserves $\widehat{L}$ , and induces the trivial action on all the quotients involved in (2.16). Therefore, over ${\mathcal{M}}[p^{-1}]$ , we have a canonical isometry
of $p$ -torsion étale sheaves. In particular, by taking the pre-image of $\unicode[STIX]{x1D6FC}_{p}(1\otimes \unicode[STIX]{x1D707}_{p})$ in $\boldsymbol{V}_{p}^{\vee }$ , we obtain a subsheaf of sets $\boldsymbol{V}_{\unicode[STIX]{x1D707},p}\subset \boldsymbol{V}_{p}^{\vee }.$ The subset $V_{\unicode[STIX]{x1D707}}({\mathcal{A}}_{S})_{(p)}$ consists precisely of those elements of $V({\mathcal{A}}_{S})_{\mathbb{Q}}$ , whose $p$ -adic realizations land in $\boldsymbol{V}_{\unicode[STIX]{x1D707},p}$ .
For a scheme $S\rightarrow {\mathcal{M}}$ , we now define a natural subset $V_{\unicode[STIX]{x1D707}}({\mathcal{A}}_{S})\subset V({\mathcal{A}}_{S})_{\mathbb{Q}}$ by setting
We record some properties of these spaces.
Proposition 2.6.3. (i) If $\unicode[STIX]{x1D707}=0$ , then $V_{0}({\mathcal{A}}_{S})=V({\mathcal{A}}_{S})$ .
(ii) Each $x\in V_{\unicode[STIX]{x1D707}}({\mathcal{A}}_{S})$ , viewed as an element of $\text{End}({\mathcal{A}}_{S})_{\mathbb{Q}}$ , shifts the grading on ${\mathcal{A}}_{S}$ and commutes with the right action of $C(L)$ .
(iii) Moreover, $x\circ x=Q(x)\cdot \text{Id}$ for some non-negative $Q(x)\in \mathbb{Q}$ satisfying
and $Q(x)=0$ if and only if $x=0$ .
Proof. The first statement was shown in the course of the proof of Lemma 2.6.1, where we found that $V_{\unicode[STIX]{x1D707}}({\mathcal{A}}_{S})$ is a subset of $V({\mathcal{A}}_{S})\otimes \mathbb{Z}_{(p)}$ whenever $\unicode[STIX]{x1D707}_{p}=0$ .
The second follows from the construction of the space $V({\mathcal{A}}_{S})$ , and the fact that the endomorphisms $\boldsymbol{V}\subset \text{}\underline{\text{End}}(\boldsymbol{H})$ of (2.15) are grade shifting and commute with $C(L)$ .
For the third, we first check that the quadratic form $Q(x)$ is positive definite. But this follows from the existence of a polarization on ${\mathcal{A}}_{S}$ such that every element of $V({\mathcal{A}}_{S})\otimes \mathbb{Q}$ is fixed under the corresponding Rosati involution; see the proof of [Reference Madapusi PeraMad16, (5.12)]. We also have to show that, for each prime $p$ , we have
We can assume that we have chosen an embedding $L{\hookrightarrow}L^{\diamond }$ with $L^{\diamond }$ self-dual at $p$ . In this case, with $\unicode[STIX]{x1D6EC}$ and $\tilde{\unicode[STIX]{x1D707}}_{p}$ as in Lemma 2.6.1, we find that, in terms of the quadratic form $Q^{\diamond }$ on $V({\mathcal{A}}_{S}^{\diamond })$ , we have
It can be checked using Proposition 2.5.1(ii) that $V({\mathcal{A}}_{S})$ is orthogonal to $\tilde{\unicode[STIX]{x1D707}}_{p}$ as a subspace of $V({\mathcal{A}}_{S}^{\diamond })_{\mathbb{Q}}$ . Therefore, we have
On the other hand, recall that $\tilde{\unicode[STIX]{x1D707}}_{p}\subset \unicode[STIX]{x1D6EC}^{\vee }$ was defined to be a lift of the image of $\unicode[STIX]{x1D707}_{p}$ under the canonical isomorphism
associated with the embedding $L{\hookrightarrow}L^{\diamond }$ . In other words, if $\unicode[STIX]{x1D707}_{p}^{\prime }\in L^{\vee }$ is any lift of $\unicode[STIX]{x1D707}_{p}$ , we have $\unicode[STIX]{x1D707}_{p}^{\prime }+\tilde{\unicode[STIX]{x1D707}}_{p}\in L^{\diamond }$ . Hence, arguing just as in the previous paragraph, we find
As before, suppose that we are given an embedding of maximal quadratic spaces $L_{0}{\hookrightarrow}L$ with $\unicode[STIX]{x1D6EC}=L_{0}^{\bot }\subset L$ . In particular the inclusion $L^{\vee }{\hookrightarrow}L_{0}^{\vee }\oplus \unicode[STIX]{x1D6EC}^{\vee }$ induces an injection
Fix an ${\mathcal{M}}_{0}$ -scheme $S\rightarrow {\mathcal{M}}_{0}$ . Then, by construction, the map $\unicode[STIX]{x1D6EC}{\hookrightarrow}\text{End}({\mathcal{A}}_{S})$ from Proposition 2.5.1 factors through an isometric embedding $\unicode[STIX]{x1D6EC}{\hookrightarrow}V({\mathcal{A}}_{S})$ .
Proposition 2.6.4. Fix an ${\mathcal{M}}_{0}$ -scheme $S\rightarrow {\mathcal{M}}_{0}$ .
-
(i) There is a canonical isometry
(2.20) $$\begin{eqnarray}\displaystyle V({\mathcal{A}}_{0,S})\xrightarrow[{}]{\simeq }\unicode[STIX]{x1D6EC}^{\bot }\subset V({\mathcal{A}}_{S}), & & \displaystyle\end{eqnarray}$$where here $\unicode[STIX]{x1D6EC}^{\bot }$ is calculated inside $V({\mathcal{A}}_{S})$ . -
(ii) For every $\unicode[STIX]{x1D707}\in L^{\vee }/L$ and every $(\unicode[STIX]{x1D707}_{1},\unicode[STIX]{x1D707}_{2})\in (\unicode[STIX]{x1D707}+L)/(L_{0}\oplus \unicode[STIX]{x1D6EC})$ the map (2.20), tensored with $\mathbb{Q}$ , restricts to an injection
$$\begin{eqnarray}V_{\unicode[STIX]{x1D707}_{1}}({\mathcal{A}}_{0,S})\times (\unicode[STIX]{x1D707}_{2}+\unicode[STIX]{x1D6EC}){\hookrightarrow}V_{\unicode[STIX]{x1D707}}({\mathcal{A}}_{S}).\end{eqnarray}$$ -
(iii) The above injections determine a decomposition
$$\begin{eqnarray}V_{\unicode[STIX]{x1D707}}({\mathcal{A}}_{S})=\bigsqcup _{(\unicode[STIX]{x1D707}_{1},\unicode[STIX]{x1D707}_{2})\in (\unicode[STIX]{x1D707}+L)/(L_{0}\oplus \unicode[STIX]{x1D6EC})}V_{\unicode[STIX]{x1D707}_{1}}({\mathcal{A}}_{0,S})\times (\unicode[STIX]{x1D707}_{2}+\unicode[STIX]{x1D6EC}).\end{eqnarray}$$
Proof. Claim (i) follows from the definitions and Proposition 2.5.1; see also [Reference Madapusi PeraMad16, (7.15)]. In particular, any element $x\in V({\mathcal{A}}_{S})\otimes \mathbb{Q}$ admits a decomposition
Using this decomposition, it is an easy exercise to deduce claims (ii) and (iii) from the definitions. The main input is Lemma 2.6.1, which permits us to study all spaces in question by embedding $L$ into a maximal quadratic lattice that is self-dual at any given prime $p$ .◻
2.7 Special divisors
For $m\in \mathbb{Q}_{{>}0}$ and $\unicode[STIX]{x1D707}\in L^{\vee }/L$ , define the special cycle ${\mathcal{Z}}(m,\unicode[STIX]{x1D707})\rightarrow {\mathcal{M}}$ as the stack over ${\mathcal{M}}$ with functor of points
for any scheme $S\rightarrow {\mathcal{M}}$ . Note that, by (2.17), the stack (2.21) is empty unless the image of $m$ in $\mathbb{Q}/\mathbb{Z}$ agrees with $Q(\unicode[STIX]{x1D707})$ .
For later purposes we also define the stacks ${\mathcal{Z}}(0,\unicode[STIX]{x1D707})$ in exactly the same way. As the only special endomorphism $x$ with $Q(x)=0$ is the zero map, we have
The special cycles behave nicely under pullback by the morphism of Proposition 2.5.1. Indeed, the following is an immediate consequence of Proposition 2.6.4.
Proposition 2.7.1. Suppose that we are given an embedding of maximal quadratic spaces $L_{0}{\hookrightarrow}L$ , and let $\unicode[STIX]{x1D6EC}\subset L$ be the submodule of vectors orthogonal to $L_{0}$ . Let ${\mathcal{M}}_{0}\rightarrow {\mathcal{M}}$ be the corresponding morphism of Shimura varieties, as in Proposition 2.5.1. Thus, for any $m\in \mathbb{Q}_{{\geqslant}0}$ and $\unicode[STIX]{x1D707}\in L^{\vee }/L$ there is a special cycle ${\mathcal{Z}}(m,\unicode[STIX]{x1D707})\rightarrow {\mathcal{M}}$ , and for any $m_{1}\in \mathbb{Q}_{{\geqslant}0}$ and $\unicode[STIX]{x1D707}_{1}\in L_{0}^{\vee }/L_{0}$ there is a special cycle ${\mathcal{Z}}_{0}(m_{1},\unicode[STIX]{x1D707}_{1})\rightarrow {\mathcal{M}}_{0}$ .
Then, there is an isomorphism of ${\mathcal{M}}_{0}$ -stacks
where
and ${\mathcal{Z}}_{0}(m_{1},\unicode[STIX]{x1D707}_{1})\times \unicode[STIX]{x1D6EC}_{m_{2},\unicode[STIX]{x1D707}_{2}}$ denotes the disjoint union of $\#\unicode[STIX]{x1D6EC}_{m_{2},\unicode[STIX]{x1D707}_{2}}$ copies of ${\mathcal{Z}}_{0}(m_{1},\unicode[STIX]{x1D707}_{1})$ .
Proposition 2.7.2. For every $m\in \mathbb{Q}_{{\geqslant}0}$ and $\unicode[STIX]{x1D707}\in L^{\vee }/L$ , the morphism ${\mathcal{Z}}(m,\unicode[STIX]{x1D707})\rightarrow {\mathcal{M}}$ is relatively representable, finite, and unramified.
Proof. Suppose that we have an embedding $L{\hookrightarrow}L^{\diamond }$ of maximal quadratic spaces with $\unicode[STIX]{x1D6EC}\subset L^{\diamond }$ the submodule of vectors orthogonal to $L$ . Suppose also that $m^{\diamond }\in \mathbb{Q}_{{\geqslant}0}$ , $\unicode[STIX]{x1D707}^{\diamond }\in L^{\diamond ,\vee }/L^{\diamond }$ , and $\unicode[STIX]{x1D707}^{\prime }\in \unicode[STIX]{x1D6EC}^{\vee }/\unicode[STIX]{x1D6EC}$ are such that
and
Let ${\mathcal{Z}}(m^{\diamond },\unicode[STIX]{x1D707}^{\diamond })\rightarrow {\mathcal{M}}^{\diamond }$ be the morphism of stacks associated with the triple $(L^{\diamond },m^{\diamond },\unicode[STIX]{x1D707}^{\diamond })$ . Suppose that we know that ${\mathcal{Z}}(m^{\diamond },\unicode[STIX]{x1D707}^{\diamond })\rightarrow {\mathcal{M}}^{\diamond }$ is relatively representable, finite, and unramified. Then Proposition 2.7.1 implies that ${\mathcal{Z}}(m,\unicode[STIX]{x1D707})$ can be viewed as a closed and open substack of ${\mathcal{Z}}(m^{\diamond },\unicode[STIX]{x1D707}^{\diamond })\times _{{\mathcal{M}}^{\diamond }}{\mathcal{M}}$ , and is thus finite and unramified over ${\mathcal{M}}$ .
Therefore, by replacing $L$ with an appropriate choice of $L^{\diamond }$ , one reduces the problem to studying the morphism ${\mathcal{Z}}(m,\unicode[STIX]{x1D707})\rightarrow {\mathcal{M}}$ under the additional assumption that $L$ is self-dual. Of course this implies that $\unicode[STIX]{x1D707}=0$ .
Suppose we have a Noetherian scheme $S$ and a morphism $S\rightarrow {\mathcal{M}}$ . Recall that the étale sheaf $\text{}\underline{\text{End}}({\mathcal{A}}_{S})$ on $S$ is represented by a formally unramified scheme over $S$ , whose connected components are projective. Formal unramifiedness follows from the rigidity of morphisms of abelian schemes [Reference Mumford, Fogarty and KirwanMFK94, Corollary 6.2]. Representability and projectiveness of the components follows from the theory of Hilbert schemes and the valuative criterion of properness, as in [Reference HidaHida04, §§ 6.1.5 and 6.1.6].
As in [Reference Madapusi PeraMad16, Proposition 6.13], ${\mathcal{Z}}(m,\unicode[STIX]{x1D707})_{S}$ is represented by a formally unramified $S$ -scheme whose connected components are projective. More precisely, it is isomorphic to a union of connected components of $\text{}\underline{\text{End}}({\mathcal{A}}_{S})$ . This is a consequence of the fact that, for any $f\in \text{End}({\mathcal{A}}_{S})$ , the property of being special can be checked at any geometric point of a connected component of $S$ , and similarly for the property $f\circ f=m$ .
The only thing left to prove is that ${\mathcal{Z}}(m,\unicode[STIX]{x1D707})_{S}$ is of finite type over $S$ . For this, one first notes that, for any projective scheme $X$ over $S$ , the Hilbert scheme parameterizing closed subschemes of $X$ with fixed Hilbert polynomial is projective, and hence of finite type, over $S$ . See [Reference Fantechi, Göttsche, Illusie, Kleiman, Nitsure and VistoliFGIKNV05, § 5.6]. We will realize ${\mathcal{Z}}(m,\unicode[STIX]{x1D707})_{S}$ as a closed subscheme of such a Hilbert scheme with $X={\mathcal{A}}_{S}\times _{S}{\mathcal{A}}_{S}$ .
Of course, the Hilbert polynomial depends on the choice of an ample line bundle on $X$ . We will choose our line bundle as follows: Let ${\mathcal{A}}_{S}^{\vee }$ be the dual abelian scheme, and let ${\mathcal{P}}$ be the Poincaré line bundle on ${\mathcal{A}}_{S}\times _{S}{\mathcal{A}}_{S}^{\vee }$ . As in Proposition 2.6.3, one can choose a polarization $\unicode[STIX]{x1D713}:{\mathcal{A}}_{S}\rightarrow {\mathcal{A}}_{S}^{\vee }$ such that the associated Rosati involution fixes all special endomorphisms of ${\mathcal{A}}_{S}$ . Define an ample line bundle on ${\mathcal{A}}_{S}$ by
As usual, for any $n\in \mathbb{Z}$ , set ${\mathcal{O}}(n)={\mathcal{O}}(1)^{\otimes n}$ . Define an ample line bundle on $X$ by $p_{1}^{\ast }{\mathcal{O}}(1)\otimes p_{2}^{\ast }{\mathcal{O}}(1)$ , where $p_{i}:X\rightarrow {\mathcal{A}}_{S}$ are the two projections.
Suppose that $s\rightarrow {\mathcal{Z}}(m,\unicode[STIX]{x1D707})_{S}$ is a geometric point. It determines a geometric point $s\rightarrow S$ , along with a special endomorphism $x\in V({\mathcal{A}}_{s})$ with $Q(x)=m$ . The Hilbert polynomial of the graph $\unicode[STIX]{x1D6E4}_{x}\subset X_{s}$ is associated with the function
Since $x$ is fixed by the Rosati involution, one easily checks that $x^{\ast }{\mathcal{O}}(n)={\mathcal{O}}(mn)$ . Therefore the Hilbert polynomial in question is the one attached to
which clearly depends only on $m$ .
Sending a point of ${\mathcal{Z}}(m,\unicode[STIX]{x1D707})_{S}$ to the graph of the corresponding special endomorphism defines a closed immersion of ${\mathcal{Z}}(m,\unicode[STIX]{x1D707})_{S}$ into the Hilbert scheme of closed subschemes of $X$ with fixed Hilbert polynomial. This proves that ${\mathcal{Z}}(m,\unicode[STIX]{x1D707})_{S}$ is of finite type over $S$ , and completes the proof.◻
Lemma 2.7.3. For any positive $m$ and any $\unicode[STIX]{x1D707}$ , the complex orbifold ${\mathcal{Z}}(m,\unicode[STIX]{x1D707})(\mathbb{C})$ just defined agrees with (2.4).
Proof. Consider the uniformization $M(\mathbb{C})=G(\mathbb{Q})\backslash {\mathcal{D}}\times G(\mathbb{A}_{f})/K$ . By construction, for every
the fiber of $\boldsymbol{V}_{\text{Be},\mathbb{Q}}$ at $z$ is the $\mathbb{Q}$ -vector space $V$ with Hodge structure determined by the negative plane $\boldsymbol{h}\subset V_{\mathbb{R}}$ . The $(0,0)$ part of $\boldsymbol{V}_{\text{Be},\mathbb{Q},z}$ is $V\cap \boldsymbol{h}^{\bot }$ . The fibers of the subsheaves $\boldsymbol{V}_{\text{Be}}$ and $\boldsymbol{V}_{\text{Be}}^{\vee }$ of $\boldsymbol{V}_{\text{Be},\mathbb{Q}}$ at $z$ are $\widehat{L}_{g}\cap V=L_{g}$ and $\widehat{L}_{g}^{\vee }\cap V=L_{g}^{\vee }$ , respectively. Here, using the notation of § 2.2, $\widehat{L}_{g}=g\bullet \widehat{L}$ and $\widehat{L}_{g}^{\vee }=g\bullet \widehat{L}^{\vee }$ .
By definition, we now have
This proves the lemma for the trivial class $\unicode[STIX]{x1D707}$ .
Now, since $K$ acts trivially on $L^{\vee }/L$ , there is a canonical isometry $\boldsymbol{V}_{\text{Be}}^{\vee }/\boldsymbol{V}_{\text{Be}}\simeq L^{\vee }/L\otimes \mathbf{1}$ of torsion sheaves on $M(\mathbb{C})$ . This determines, for every $\unicode[STIX]{x1D707}\in L^{\vee }/L$ , a locally constant intermediate sheaf of sets $\boldsymbol{V}_{\unicode[STIX]{x1D707},\text{Be}}\subset \boldsymbol{V}_{\text{Be}}^{\vee }$ whose fiber $\boldsymbol{V}_{\unicode[STIX]{x1D707},\text{Be},z}$ is $\unicode[STIX]{x1D707}_{g}+L_{g}$ . It is not hard to deduce from Remark 2.6.2 that $V_{\unicode[STIX]{x1D707}}({\mathcal{A}}_{z})$ consists precisely of those elements of $V({\mathcal{A}}_{z})_{\mathbb{Q}}$ whose Betti realization lands in $\boldsymbol{V}_{\unicode[STIX]{x1D707},\text{Be}}$ . It follows that
which proves the lemma for non-trivial $\unicode[STIX]{x1D707}$ .◻
We now show that the stacks ${\mathcal{Z}}(m,\unicode[STIX]{x1D707})$ with $m>0$ define (étale local) Cartier divisors on ${\mathcal{M}}$ .
Proposition 2.7.4. Suppose $m>0$ . Then étale locally on the source, ${\mathcal{Z}}(m,\unicode[STIX]{x1D707})$ defines a Cartier divisor on ${\mathcal{M}}$ . More precisely: around every geometric point of ${\mathcal{M}}$ there is an étale neighborhood $U$ such that for every connected component $Z\subset {\mathcal{Z}}(m,\unicode[STIX]{x1D707})_{U}$ , the map $Z\rightarrow U$ is a closed immersion defined by a single non-zero equation.
Proof. Suppose that we are given a geometric point $z$ of ${\mathcal{Z}}(m,\unicode[STIX]{x1D707})$ , corresponding to an element $x\in V_{\unicode[STIX]{x1D707}}({\mathcal{A}}_{z})$ . Let $R={\mathcal{O}}_{{\mathcal{M}},z}$ be the étale local ring of ${\mathcal{M}}$ at $z$ . Since ${\mathcal{Z}}(m,\unicode[STIX]{x1D707})\rightarrow {\mathcal{M}}$ is unramified, it follows that
for some ideal $J_{x}\subset R$ . Set $S=\text{Spec}(R/J_{x})$ , so that $x\in V_{\unicode[STIX]{x1D707}}({\mathcal{A}}_{z})$ has a universal deformation to $x_{S}\in V_{\unicode[STIX]{x1D707}}({\mathcal{A}}_{S})$ .
Fix an embedding $L{\hookrightarrow}L^{\diamond }$ so that $L^{\diamond }$ is maximal and self-dual at $p$ of signature $(n^{\diamond },2)$ , and let $\unicode[STIX]{x1D6EC}\subset L^{\diamond }$ be the subset of vectors orthogonal to $L$ . Let ${\mathcal{A}}^{\diamond }\rightarrow {\mathcal{M}}^{\diamond }$ be the Kuga–Satake abelian scheme over the integral model of the Shimura variety determined by $L^{\diamond }$ . Proposition 2.6.4 (with ${\mathcal{A}}_{0}$ and ${\mathcal{A}}$ replaced by ${\mathcal{A}}$ and ${\mathcal{A}}^{\diamond }$ ) gives an inclusion
which becomes an isomorphism after tensoring with $\mathbb{Q}$ . There is a $\unicode[STIX]{x1D708}\in \unicode[STIX]{x1D6EC}^{\vee }$ such that the vector
lies in the $\mathbb{Z}$ -lattice $V({\mathcal{A}}_{S}^{\diamond })$ . The crystalline realization $t_{\text{crys}}(x^{\diamond })$ allows us to canonically lift the de Rham realization
to an element
through the divided power thickening $S{\hookrightarrow}\text{Spec}(R/J_{x}^{2})$ .
It follows from [Reference Madapusi PeraMad16, (5.15)] that $t_{\text{dR}}(x_{S}^{\diamond })$ is orthogonal to $\boldsymbol{V}_{\text{dR},S}^{\diamond ,1}$ . Thus, if
is an $R$ -module generator, we obtain an element $\big[\unicode[STIX]{x1D714},t_{\text{crys}}(x_{S}^{\diamond })\big]\in J_{x}/J_{x}^{2}$ using the pairing on $\boldsymbol{V}_{\text{dR}}^{\diamond }$ . In fact, Grothendieck–Messing theory [Reference Madapusi PeraMad16, (5.17)] shows that $[\unicode[STIX]{x1D714},t_{\text{crys}}(x_{S}^{\diamond })]$ generates $J_{x}/J_{x}^{2}$ . The element
lies in $\boldsymbol{V}_{\text{dR},R/J_{x}^{2}}^{\vee }$ , and the orthogonality relation $[\unicode[STIX]{x1D714},\unicode[STIX]{x1D708}]=0$ implies
Lemma 2.7.5. The element $[\unicode[STIX]{x1D714},t_{\text{crys}}(x_{S})]$ generates $J_{x}/J_{x}^{2}$ as an $R$ -module. In particular, $J_{x}\subset R$ is a principal ideal.
Proof. The discussion above proves the first assertion. The second follows by Nakayama’s lemma. ◻
Proposition 2.7.4 follows immediately from the lemma. ◻
Remark 2.7.6. It follows from Proposition 2.7.4 that ${\mathcal{Z}}(m,\unicode[STIX]{x1D707})$ is of pure dimension $\dim ({\mathcal{M}})-1$ . The morphism to ${\mathcal{M}}$ is not itself a closed immersion, but nevertheless ${\mathcal{Z}}(m,\unicode[STIX]{x1D707})$ defines a Cartier divisor on ${\mathcal{M}}$ , as in [Reference Bruinier, Howard and YangBHY15, § 3.1].
3 Harmonic modular forms and special divisors
Fix a maximal quadratic space $L$ over $\mathbb{Z}$ of signature $(n,2)$ with $n\geqslant 1$ , set $V=L_{\mathbb{Q}}$ , and let ${\mathcal{M}}\rightarrow \text{Spec}(\mathbb{Z})$ be the corresponding integral model of the Shimura variety (2.3) defined in § 2.
This section is a rapid review of some results and constructions of Bruinier [Reference BruinierBru02], Bruinier and Funke [Reference Bruinier and FunkeBF04], and Bruinier and Yang [Reference Bruinier and YangBY09]. In particular, we recall the construction of a divisor ${\mathcal{Z}}(f)$ and a Green function $\unicode[STIX]{x1D6F7}(f)$ on ${\mathcal{M}}$ from a harmonic weak Maass form $f$ .
3.1 Vector valued modular forms
Let $\mathfrak{S}_{L}$ be the (finite-dimensional) space of $\mathbb{C}$ -valued functions on $L^{\vee }/L$ . As in [Reference Bruinier and YangBY09] there is a Weil representation
where $\widetilde{\text{SL}}_{2}(\mathbb{Z})$ is the metaplectic double cover of $\text{SL}_{2}(\mathbb{Z})$ . Define the conjugate action $\overline{\unicode[STIX]{x1D714}}_{L}$ by $\overline{\unicode[STIX]{x1D714}}_{L}(\unicode[STIX]{x1D6FE})\unicode[STIX]{x1D711}=\overline{\unicode[STIX]{x1D714}_{L}(\unicode[STIX]{x1D6FE})\overline{\unicode[STIX]{x1D711}}}.$ We denote by $\unicode[STIX]{x1D714}_{L}^{\vee }$ the contragredient action of $\widetilde{\text{SL}}_{2}(\mathbb{Z})$ on the complex linear dual $\mathfrak{S}_{L}^{\vee }$ .
Remark 3.1.1. Our $\overline{\unicode[STIX]{x1D714}}_{L}$ is the representation denoted $\unicode[STIX]{x1D70C}_{L}$ in [Reference BorcherdsBor98, Reference BruinierBru02, Reference Bruinier and FunkeBF04, Reference Bruinier and YangBY09]. If we denote by $-L$ the quadratic space over $\mathbb{Z}$ whose underlying $\mathbb{Z}$ -module is $L$ , but endowed with the quadratic form $-Q$ , then $\mathfrak{S}_{L}=\mathfrak{S}_{-L}$ as vector spaces, but $\unicode[STIX]{x1D714}_{L}=\unicode[STIX]{x1D70C}_{-L}$ .
For a half-integer $k$ , denote by $H_{k}(\unicode[STIX]{x1D714}_{L})$ the $\mathbb{C}$ -vector space of $\mathfrak{S}_{L}$ -valued harmonic weak Maass forms of weight $k$ and representation $\unicode[STIX]{x1D714}_{L}$ , in the senseFootnote 2 of [Reference Bruinier and YangBY09, § 3.1]. As in [Reference Bruinier and YangBY09, § 3] there are subspaces
of cusp forms and weakly modular forms. Define similar spaces of modular forms for the representation $\overline{\unicode[STIX]{x1D714}}_{L}$ . Bruinier and Funke [Reference Bruinier and FunkeBF04] have defined a differential operator
by $\unicode[STIX]{x1D709}(f)=2iv^{k}\overline{(\unicode[STIX]{x2202}f/\unicode[STIX]{x2202}\overline{\unicode[STIX]{x1D70F}})}$ , where $\unicode[STIX]{x1D70F}=u+iv$ is the variable on the upper half-plane, and have proved the exactness of the sequence
Every $f(\unicode[STIX]{x1D70F})\in H_{k}(\unicode[STIX]{x1D714}_{L})$ has an associated formal $q$ -expansion
called the holomorphic part of $f$ , with $c_{f}^{+}(m)\in \mathfrak{S}_{L}$ . The delta functions $\unicode[STIX]{x1D711}_{\unicode[STIX]{x1D707}}$ at elements $\unicode[STIX]{x1D707}\in L^{\vee }/L$ form a basis for $\mathfrak{S}_{L}$ , and so each coefficient $c_{f}^{+}(m)$ can be decomposed as a sum
with $c_{f}^{+}(m,\unicode[STIX]{x1D707})\in \mathbb{C}$ . The transformation laws satisfied by $f$ imply that
and also that $c_{f}^{+}(m,\unicode[STIX]{x1D707})=0$ , unless the image of $m$ in $\mathbb{Q}/\mathbb{Z}$ is equal to $-Q(\unicode[STIX]{x1D707})$ .
3.2 Divisors and Green functions
Suppose we are given a harmonic weak Maass form
having integral principal part, in the sense that $c_{f}^{+}(m,\unicode[STIX]{x1D707})\in \mathbb{Z}$ for all $\unicode[STIX]{x1D707}\in L^{\vee }/L$ and all $m<0$ . Define a divisor on ${\mathcal{M}}$ by
Bruinier [Reference BruinierBru02], following ideas of Borcherds [Reference BorcherdsBor98] and Harvey–Moore, constructed a Green function $\unicode[STIX]{x1D6F7}(f)$ for ${\mathcal{Z}}(f)$ as follows (see also [Reference Bruinier and YangBY09, § 4]). Let $G=\text{GSpin}(V)$ as in § 2. For each coset $g\in G(\mathbb{A}_{f})/K$ there is a Siegel theta function
as in [Reference Bruinier and YangBY09, (2.4)], which is $\unicode[STIX]{x1D6E4}_{g}$ -invariant in the variable $z\in {\mathcal{D}}$ , and transforms in the variable $\unicode[STIX]{x1D70F}=u+iv\in {\mathcal{H}}$ like a modular form of representation $\unicode[STIX]{x1D714}_{L}^{\vee }$ .
The regularized theta integral
of [Reference Bruinier and YangBY09, (4.7)] defines a $\unicode[STIX]{x1D6E4}_{g}$ -invariant function on ${\mathcal{D}}$ , where
is the tautological pairing. Letting $g$ vary and using the uniformization (2.3) yields a function $\unicode[STIX]{x1D6F7}(f)$ on the orbifold ${\mathcal{M}}(\mathbb{C})$ . This function is smooth on the complement of ${\mathcal{Z}}(f)$ , and has a logarithmic singularity along ${\mathcal{Z}}(f)$ in the sense that for any local equation $\unicode[STIX]{x1D6F9}(z)=0$ defining ${\mathcal{Z}}(f)(\mathbb{C})$ , the function
on ${\mathcal{M}}(\mathbb{C})\smallsetminus {\mathcal{Z}}(f)(\mathbb{C})$ has a smooth extension across ${\mathcal{Z}}(f)(\mathbb{C})$ .
Remark 3.2.1. Amazingly, the regularized integral defining $\unicode[STIX]{x1D6F7}(f,z,g)$ converges at every point of ${\mathcal{D}}$ , and so the function $\unicode[STIX]{x1D6F7}(f)$ has a well-defined value even at points of the divisor ${\mathcal{Z}}(f)(\mathbb{C})$ . The value of the discontinuous function $\unicode[STIX]{x1D6F7}(f)$ at the points of ${\mathcal{Z}}(f)(\mathbb{C})$ will play a key role in our later calculations of improper intersection.
Among the harmonic weak Maass forms of weight $1-n/2$ are the Hejhal–Poincarè series
defined for all $\unicode[STIX]{x1D707}\in L^{\vee }/L$ and positive $m\in \mathbb{Z}+Q(\unicode[STIX]{x1D707})$ , which may be rescaled to have holomorphic parts
In particular ${\mathcal{Z}}(F_{m,\unicode[STIX]{x1D707}})={\mathcal{Z}}(m,\unicode[STIX]{x1D707}).$ See [Reference BruinierBru02, Definition 1.8 and Proposition 1.10] and [Reference Bruinier and FunkeBF04, Remark 3.10] for details.
3.3 Eisenstein series and the Rankin–Selberg integral
Fix a rational negative $2$ -plane $V_{0}\subset V$ , and let $L_{0}=V_{0}\cap L$ . We assume that $C^{+}(L_{0})$ is the maximal order in the quadratic imaginary field $C^{+}(V_{0})$ . This implies, in particular, that $L_{0}$ is a maximal quadratic space. Let
so that $L_{0}\oplus \unicode[STIX]{x1D6EC}\subset L$ with finite index, and $\unicode[STIX]{x1D6EC}$ is also a maximal quadratic space.
Let $\mathfrak{S}_{\unicode[STIX]{x1D6EC}}$ be the space of complex-valued functions on $\unicode[STIX]{x1D6EC}^{\vee }/\unicode[STIX]{x1D6EC}$ , and let $\unicode[STIX]{x1D714}_{\unicode[STIX]{x1D6EC}}:\widetilde{\text{SL}}_{2}(\mathbb{Z})\rightarrow \text{Aut}(\mathfrak{S}_{\unicode[STIX]{x1D6EC}})$ be the Weil representation. Let $\mathfrak{S}_{\unicode[STIX]{x1D6EC}}^{\vee }$ be the complex linear dual of $\mathfrak{S}_{\unicode[STIX]{x1D6EC}}$ , and for each $m\in \mathbb{Q}$ define the representation number $R_{\unicode[STIX]{x1D6EC}}(m)\in \mathfrak{S}_{\unicode[STIX]{x1D6EC}}^{\vee }$ by
for any $\unicode[STIX]{x1D711}\in \mathfrak{S}_{\unicode[STIX]{x1D6EC}}$ . As in [Reference Bruinier and YangBY09, § 2], these representation numbers are the Fourier coefficients of a vector-valued modular form
Abbreviate $R_{\unicode[STIX]{x1D6EC}}(m,\unicode[STIX]{x1D707})=R_{\unicode[STIX]{x1D6EC}}(m,\unicode[STIX]{x1D711}_{\unicode[STIX]{x1D707}}),$ where $\unicode[STIX]{x1D711}_{\unicode[STIX]{x1D707}}\in \mathfrak{S}_{\unicode[STIX]{x1D6EC}}$ is the characteristic function of $\unicode[STIX]{x1D707}\in \unicode[STIX]{x1D6EC}^{\vee }/\unicode[STIX]{x1D6EC}$ , so that
Let $F(\unicode[STIX]{x1D70F})$ be a cuspidal modular form
Using the natural inclusion $L^{\vee }\subset L_{0}^{\vee }\oplus \unicode[STIX]{x1D6EC}^{\vee }$ , every function on $L^{\vee }$ extends to a function on $L_{0}^{\vee }\oplus \unicode[STIX]{x1D6EC}^{\vee }$ identically zero off of $L^{\vee }$ . Thus, there is a natural ‘extension by zero’ map
which allows us to view $\overline{b_{F}(m)}\in \mathfrak{S}_{L_{0}\oplus \unicode[STIX]{x1D6EC}}$ . The inclusion $\unicode[STIX]{x1D6EC}^{\vee }\rightarrow L_{0}^{\vee }\oplus \unicode[STIX]{x1D6EC}^{\vee }$ defines a restriction of functions homomorphism $\mathfrak{S}_{L_{0}\oplus \unicode[STIX]{x1D6EC}}\rightarrow \mathfrak{S}_{\unicode[STIX]{x1D6EC}}$ . Using this, we can view $R_{\unicode[STIX]{x1D6EC}}(m)\in \mathfrak{S}_{L_{0}\oplus \unicode[STIX]{x1D6EC}}^{\vee }$ . This allows us to define the Rankin–Selberg convolution $L$ -function
in which the pairing on the right is the tautological pairing
Define an $\mathfrak{S}_{L_{0}}^{\vee }$ -valued Eisenstein series $E_{L_{0}}(\unicode[STIX]{x1D70F},s)$ by
for all $\unicode[STIX]{x1D711}\in \mathfrak{S}_{L_{0}}$ , where $B\subset \text{SL}_{2}(\mathbb{Z})$ is the subset of upper triangular matrices, and $\unicode[STIX]{x1D714}_{L_{0}}$ is the Weil representation of $\text{SL}_{2}(\mathbb{Z})$ on $\mathfrak{S}_{L_{0}}$ . The Eisenstein series $E_{L_{0}}(\unicode[STIX]{x1D70F},s)$ , which is precisely the incoherent Eisenstein series denoted $E_{L_{0}}(\unicode[STIX]{x1D70F},s;1)$ in [Reference Bruinier and YangBY09, § 2.2], transforms in the variable $\unicode[STIX]{x1D70F}$ like a weight $1$ modular form of representation $\unicode[STIX]{x1D714}_{L_{0}}^{\vee }$ . It is initially defined for $\text{Re}(s)\gg 0$ , but has meromorphic continuation to all $s$ , and vanishes at $s=0$ . The usual Rankin–Selberg unfolding method shows that
where the pairing on the right is (3.3), and we are using the isomorphism
to view $E_{L_{0}}(s)\otimes \unicode[STIX]{x1D6E9}_{\unicode[STIX]{x1D6EC}}$ as a smooth modular form valued in $\mathfrak{S}_{L_{0}\oplus \unicode[STIX]{x1D6EC}}^{\vee }$ .
The central derivative $E_{L_{0}}^{\prime }(\unicode[STIX]{x1D70F},0)$ is a harmonic $\mathfrak{S}_{L_{0}}^{\vee }$ -valued function transforming like a weight $1$ modular form of representation $\unicode[STIX]{x1D714}_{L_{0}}^{\vee }$ . Denote the holomorphic part of the central derivative by
We will sometimes abbreviate $a_{L_{0}}^{+}(m,\unicode[STIX]{x1D707})=a_{L_{0}}^{+}(m,\unicode[STIX]{x1D711}_{\unicode[STIX]{x1D707}}),$ where $\unicode[STIX]{x1D711}_{\unicode[STIX]{x1D707}}\in \mathfrak{S}_{L_{0}}$ is the characteristic function of $\unicode[STIX]{x1D707}\in L_{0}^{\vee }/L_{0}$ . Note that our $a_{L_{0}}^{+}(m,\unicode[STIX]{x1D707})$ is exactly the $\unicode[STIX]{x1D705}(m,\unicode[STIX]{x1D707})$ of [Reference Bruinier and YangBY09, (2.25)].
Abbreviate $\boldsymbol{k}=C^{+}(V_{0})$ , and recall that $\boldsymbol{k}$ is a quadratic imaginary field. For any positive rational number $m$ , define a finite set of primes
Note that all primes in this set are non-split in $\boldsymbol{k}$ . Because $L_{0}$ is negative definite, the set $\text{Diff}_{L_{0}}(m)$ has odd cardinality; in particular, $\text{Diff}_{L_{0}}(m)\not =\emptyset$ . For $m\in \mathbb{Z}_{{>}0}$ , set
We will extend $\unicode[STIX]{x1D70C}$ to a function on all rational numbers by setting $\unicode[STIX]{x1D70C}(m)=0$ for all $m\in \mathbb{Q}\smallsetminus \mathbb{Z}_{{>}0}$ .
The coefficients $a_{L_{0}}^{+}(m)$ were computed by Schofer [Reference SchoferSch09], but those formulas contain a minor misstatement. This misstatement was corrected when Schofer’s formulas were reproduced in [Reference Bruinier and YangBY09, Theorem 2.6], but the formula for the constant term $a_{L_{0}}^{+}(0)$ in [Reference Bruinier and YangBY09] is misstated.Footnote 3 We record now the corrected formulas.
Proposition 3.3.1 (Schofer).
Let $d_{\boldsymbol{k}}$ , $h_{\boldsymbol{k}}$ , and $w_{\boldsymbol{k}}$ be the discriminant of $\boldsymbol{k}$ , the class number of $\boldsymbol{k}$ , and number of roots of unity in $\boldsymbol{k}$ , respectively, and assume that $d_{\boldsymbol{k}}$ is odd. The coefficients $a_{L_{0}}^{+}(m)$ are as follows.
-
(i) The constant term is
$$\begin{eqnarray}a_{L_{0}}^{+}(0,\unicode[STIX]{x1D711})=\unicode[STIX]{x1D711}(0)\cdot \biggl(\unicode[STIX]{x1D6FE}+\text{log}\biggl|\frac{4\unicode[STIX]{x1D70B}}{d_{\boldsymbol{k}}}\biggr|-2\frac{L^{\prime }(\unicode[STIX]{x1D712}_{\boldsymbol{k}},0)}{L(\unicode[STIX]{x1D712}_{\boldsymbol{k}},0)}\biggr).\end{eqnarray}$$Here $\unicode[STIX]{x1D6FE}=-\unicode[STIX]{x1D6E4}^{\prime }(1)$ is the Euler–Mascheroni constant, and $\unicode[STIX]{x1D712}_{\boldsymbol{k}}$ is the quadratic Dirichlet character associated with $\boldsymbol{k}/\mathbb{Q}$ . -
(ii) If $m>0$ and $\text{Diff}_{L_{0}}(m)=\{p\}$ for a single prime $p$ , then
$$\begin{eqnarray}a_{L_{0}}^{+}(m,\unicode[STIX]{x1D711})=-\frac{w_{\boldsymbol{k}}}{2h_{\boldsymbol{k}}}\cdot \unicode[STIX]{x1D70C}\biggl(\frac{m|d_{\boldsymbol{k}}|}{p^{\unicode[STIX]{x1D716}}}\biggr)\cdot \text{ord}_{p}(pm)\cdot \log (p)\mathop{\sum }_{\substack{ \unicode[STIX]{x1D707}\in L_{0}^{\vee }/L_{0} \\ Q(\unicode[STIX]{x1D707})=m}}2^{s(\unicode[STIX]{x1D707})}\unicode[STIX]{x1D711}(\unicode[STIX]{x1D707}).\end{eqnarray}$$On the right-hand side, $s(\unicode[STIX]{x1D707})$ is the number of primes $\ell \mid \text{disc}(L_{0})$ such that $\unicode[STIX]{x1D707}\in L_{0,\ell }$ ,$$\begin{eqnarray}\unicode[STIX]{x1D716}=\left\{\begin{array}{@{}ll@{}}1\quad & \text{if }p\text{ is inert in }\boldsymbol{k},\\ 0\quad & \text{if }p\text{is ramified in }\boldsymbol{ k},\end{array}\right.\end{eqnarray}$$and $Q(\unicode[STIX]{x1D707})=m$ is understood as an equality in $\mathbb{Q}/\mathbb{Z}$ . -
(iii) If $m>0$ and $|\text{Diff}_{L_{0}}(m)|>1$ , or if $m<0$ , then $a_{L_{0}}^{+}(m)=0$ .
4 Complex multiplication cycles
Keep $L_{0}\oplus \unicode[STIX]{x1D6EC}\subset L$ as in § 3.3, so that $L$ is a maximal lattice of signature $(n,2)$ , $L_{0}$ is a sublattice of signature $(0,2)$ , and
Abbreviate $V_{0}=L_{0}\otimes _{\mathbb{Z}}\mathbb{Q}$ and $V=L\otimes _{\mathbb{Z}}\mathbb{Q}$ . The even part $C^{+}(V_{0})$ of the Clifford algebra is isomorphic to a quadratic imaginary field $\boldsymbol{k}$ , and we continue to assume that $C^{+}(L_{0})$ is its maximal order.
In this section we construct an ${\mathcal{O}}_{\boldsymbol{k}}$ -stack ${\mathcal{Y}}$ from the quadratic space $L_{0}$ . Assuming that the discriminant of $\boldsymbol{k}$ is odd, the inclusion $L_{0}\subset L$ induces a morphism ${\mathcal{Y}}\rightarrow {\mathcal{M}}_{{\mathcal{O}}_{\boldsymbol{k}}},$ where ${\mathcal{M}}$ is the stack over $\mathbb{Z}$ determined by the quadratic space $L$ . We define special divisors on ${\mathcal{Y}}$ , compute their degrees explicitly, and compare them with the special divisors on ${\mathcal{M}}$ .
4.1 Preliminaries
Fix once and for all an isomorphism of $C^{+}(L_{0})$ with the maximal order ${\mathcal{O}}_{\boldsymbol{k}}$ in a quadratic imaginary subfield $\boldsymbol{k}\subset \mathbb{C}$ . Let $d_{\boldsymbol{k}}$ , $h_{\boldsymbol{k}}$ , and $w_{\boldsymbol{k}}$ be as in Proposition 3.3.1. The $\mathbb{Z}/2\mathbb{Z}$ -grading on $C(L_{0})$ takes the form
and $L_{0}$ is both a left and right ${\mathcal{O}}_{\boldsymbol{k}}$ -module; the two actions are related by $x\unicode[STIX]{x1D6FC}=\overline{\unicode[STIX]{x1D6FC}}x$ for every $x\in L_{0}$ and $\unicode[STIX]{x1D6FC}\in {\mathcal{O}}_{\boldsymbol{k}}$ .
There is a fractional ${\mathcal{O}}_{\boldsymbol{k}}$ -ideal $\mathfrak{a}$ and an isomorphism $L_{0}\xrightarrow[{}]{\simeq }\mathfrak{a}$ of left ${\mathcal{O}}_{\boldsymbol{k}}$ -modules identifying the quadratic form on $L_{0}$ with the form $-\text{N}(\cdot )/\text{N}(\mathfrak{a})$ on $\mathfrak{a}$ , and an easy exercise shows that
where $\mathfrak{d}_{\boldsymbol{k}}$ is the different of $\boldsymbol{k}/\mathbb{Q}$ .
4.2 The zero-dimensional Shimura variety
Let $T$ be the group scheme over $\mathbb{Z}$ with functor of points
for any $\mathbb{Z}$ -algebra $R$ . Thus $T_{\mathbb{Q}}=\text{GSpin}(V_{0})$ is a torus of rank two and can be identified with the maximal subgroup of $G$ that acts trivially on the subspace $\unicode[STIX]{x1D6EC}_{\mathbb{Q}}\subset V$ . Set $K_{0}=T(\widehat{\mathbb{Z}})$ .
Using our fixed embedding ${\mathcal{O}}_{\boldsymbol{k}}\subset \mathbb{C}$ , left multiplication makes $V_{0,\mathbb{R}}$ into a complex vector space. This determines an orientation on $V_{0,\mathbb{R}}$ , and the oriented negative plane $V_{0,\mathbb{R}}\subset V_{\mathbb{R}}$ determines a point $\boldsymbol{h}_{0}\in {\mathcal{D}}$ . The isomorphism of (2.1) then associates to $\boldsymbol{h}_{0}$ an isotropic line in $V_{0,\mathbb{C}}$ ; explicitly, this is the line on which the right action of ${\mathcal{O}}_{\boldsymbol{k}}$ agrees with the inclusion ${\mathcal{O}}_{\boldsymbol{k}}\subset \mathbb{C}=\text{End}_{\mathbb{C}}(V_{0,\mathbb{C}})$ .
The pair $(T_{\mathbb{Q}},\boldsymbol{h}_{0})$ is a Shimura datum with reflex field $\boldsymbol{k}\subset \mathbb{C}$ , and the zero-dimensional complex orbifold
is the complex fiber of a $\boldsymbol{k}$ -stack $Y$ . As in § 2.2, the representation of $T_{\mathbb{Q}}$ on $V_{0}$ and the lattice
determine a variation of polarized $\mathbb{Z}$ -Hodge structures $(\boldsymbol{V}_{0,\text{Be}},\text{Fil}^{\bullet }\boldsymbol{V}_{0,\text{dR},Y(\mathbb{C})})$ of type $(-1,1)$ , $(1,-1)$ over $Y(\mathbb{C})$ .
Similarly, the representation of $T_{\mathbb{Q}}$ on $C(V_{0})$ by left multiplication, together with the lattice
determine a variation of $\mathbb{Z}$ -Hodge structures $(\boldsymbol{H}_{0,\text{Be}},\text{Fil}^{\bullet }\boldsymbol{H}_{0,\text{dR},{\mathcal{Y}}(\mathbb{C})})$ of type $(-1,0)$ , $(0,-1)$ . As in § 2.3, this is the homology of an abelian scheme
of relative dimension $2$ , equipped with a right $C(L_{0})$ -action and a compatible $\mathbb{Z}/2\mathbb{Z}$ -grading
As before, we will refer to this abelian scheme as the Kuga–Satake abelian scheme over $Y$ .
4.3 The integral model
We now define integral models of $Y$ and ${\mathcal{A}}_{0,Y}$ over ${\mathcal{O}}_{\boldsymbol{k}}$ .
Definition 4.3.1. If $S$ is an ${\mathcal{O}}_{\boldsymbol{k}}$ -scheme, an ${\mathcal{O}}_{\boldsymbol{k}}$ -elliptic curve over $S$ is an elliptic curve ${\mathcal{E}}\rightarrow S$ endowed with an action of ${\mathcal{O}}_{\boldsymbol{k}}$ in such a way that the induced action on the ${\mathcal{O}}_{S}$ -module $\text{Lie}({\mathcal{E}})$ is through the structure morphism ${\mathcal{O}}_{\boldsymbol{k}}\rightarrow {\mathcal{O}}_{S}$ .
Remark 4.3.2. Our convention is that the ${\mathcal{O}}_{\boldsymbol{k}}$ -action on any ${\mathcal{O}}_{\boldsymbol{k}}$ -elliptic curve is written on the right.
Denote by ${\mathcal{Y}}$ the ${\mathcal{O}}_{\boldsymbol{k}}$ -stack classifying ${\mathcal{O}}_{\boldsymbol{k}}$ -elliptic curves over ${\mathcal{O}}_{\boldsymbol{k}}$ -schemes. Every point $y\in {\mathcal{Y}}(\mathbb{C})$ has automorphism group ${\mathcal{O}}_{\boldsymbol{k}}^{\times }$ , and
As in [Reference Kudla, Rapoport and YangKRY99, Proposition 5.1], the stack ${\mathcal{Y}}$ is finite étale over ${\mathcal{O}}_{\boldsymbol{k}}$ . In particular ${\mathcal{Y}}$ is regular of dimension $1$ , and is flat over ${\mathcal{O}}_{\boldsymbol{k}}$ .
The positive graded part ${\mathcal{A}}_{0,Y}^{+}$ of the Kuga–Satake abelian scheme, with its right action of $C^{+}(L_{0})={\mathcal{O}}_{\boldsymbol{k}}$ , is an ${\mathcal{O}}_{\boldsymbol{k}}$ -elliptic curve over $Y$ (for the obvious extension of this notion over algebraic stacks). Therefore, it defines a morphism $Y\rightarrow {\mathcal{Y}}$ . By checking on complex points, we see that this map defines an isomorphism $Y\xrightarrow[{}]{\simeq }{\mathcal{Y}}_{\boldsymbol{k}}.$ Again by checking on complex points, one can show that the natural map
is an isomorphism, from which it follows that
From these observations, we can use the universal ${\mathcal{O}}_{\boldsymbol{k}}$ -elliptic curve ${\mathcal{E}}\rightarrow {\mathcal{Y}}$ to extend the Kuga–Satake abelian scheme ${\mathcal{A}}_{0,Y}\rightarrow Y$ to an abelian scheme
over ${\mathcal{Y}}$ of relative dimension $2$ . By construction, ${\mathcal{A}}_{0}$ carries a right action of $C(L_{0})$ and a $\mathbb{Z}/2\mathbb{Z}$ -grading ${\mathcal{A}}_{0}={\mathcal{A}}_{0}^{+}\times {\mathcal{A}}_{0}^{-}$ induced by (4.1), where ${\mathcal{A}}_{0}^{+}={\mathcal{E}}$ and ${\mathcal{A}}_{0}^{-}={\mathcal{E}}\otimes _{{\mathcal{O}}_{\boldsymbol{k}}}L_{0}$ .
Remark 4.3.3. Note that the tensor product ${\mathcal{E}}\otimes _{{\mathcal{O}}_{\boldsymbol{k}}}L_{0}$ is with respect to the left action of ${\mathcal{O}}_{\boldsymbol{k}}$ on $L_{0}$ , and ${\mathcal{O}}_{\boldsymbol{k}}\subset C(L_{0})$ acts on ${\mathcal{E}}\otimes _{{\mathcal{O}}_{\boldsymbol{k}}}L_{0}$ through right multiplication on $L_{0}$ . From the relation $x\unicode[STIX]{x1D6FC}=\overline{\unicode[STIX]{x1D6FC}}x$ for $x\in L_{0}$ and $\unicode[STIX]{x1D6FC}\in {\mathcal{O}}_{\boldsymbol{k}}$ , it follows that ${\mathcal{O}}_{\boldsymbol{k}}$ acts on $\text{Lie}({\mathcal{A}}_{0}^{-})$ through the conjugate of the structure morphism ${\mathcal{O}}_{\boldsymbol{k}}\rightarrow {\mathcal{O}}_{{\mathcal{Y}}}$ .
There are obvious analogues on ${\mathcal{Y}}$ of the sheaves $\boldsymbol{H}$ defined in § 2.4. Denote by $\boldsymbol{H}_{0,\text{dR}}$ the first de Rham homology of ${\mathcal{A}}_{0}$ relative to ${\mathcal{Y}}$ . Similarly, denote by $\boldsymbol{H}_{0,p,\acute{\text{e}}\text{t}}$ the first $p$ -adic étale homology of ${\mathcal{A}}_{0}$ relative to ${\mathcal{Y}}[1/p]$ , and by $\boldsymbol{H}_{0,\text{crys}}$ the first crystalline homology of the special fiber of ${\mathcal{A}}_{0}$ at a prime $p$ relative to ${\mathcal{Y}}_{\mathbb{F}_{p}}$ . These sheaves come with right actions of $C(L_{0})$ , and $\mathbb{Z}/2\mathbb{Z}$ -gradings $\boldsymbol{H}_{0}=\boldsymbol{H}_{0}^{+}\times \boldsymbol{H}_{0}^{-}$ in such a way that $\boldsymbol{H}_{0}^{-}=\boldsymbol{H}_{0}^{+}\otimes _{{\mathcal{O}}_{\boldsymbol{k}}}L_{0}$ . As in the higher-dimensional case, over ${\mathcal{Y}}(\mathbb{C})$ the de Rham and étale sheaves arise from the Betti realization $\boldsymbol{H}_{0,\text{Be}}$ .
Define
as the submodule of grade-shifting endomorphisms. As can be checked from the complex uniformization, over ${\mathcal{Y}}(\mathbb{C})$ this definition recovers the local system $\boldsymbol{V}_{0,\text{Be}}$ (for the Betti realization) and the vector bundle $\boldsymbol{V}_{0,\text{dR},Y(\mathbb{C})}$ (for the de Rham realization). Indeed, this amounts to the fact that the embedding of $L_{0}$ into $\text{End}(C(L_{0}))$ via left multiplication identifies it with the space of grade-shifting endomorphisms of $C(L_{0})$ that commute with right multiplication by $C(L_{0})$ .
Restriction to $\boldsymbol{H}_{0}^{+}$ defines an isomorphism
As $\boldsymbol{H}_{0}^{\pm }$ is a locally free ${\mathcal{O}}_{\boldsymbol{k}}\otimes \mathbf{1}$ -module of rank one, the same is true of $\boldsymbol{V}_{0}$ . In particular, $\boldsymbol{V}_{0}$ is a locally free $\mathbf{1}$ -module of rank two. In the de Rham case, the Hodge filtration on $\boldsymbol{H}_{0,\text{dR}}$ determines a submodule $\boldsymbol{V}_{0,\text{dR}}^{1}\subset \boldsymbol{V}_{0,\text{dR}}$ by
Definition 4.3.4. As in Definition 2.4.7, the line bundle $\boldsymbol{V}_{0,\text{dR}}^{1}\subset \boldsymbol{V}_{0,\text{dR}}$ is the tautological bundle on ${\mathcal{Y}}$ , and its dual is the cotautological bundle.
The following proposition makes the cotautological bundle more explicit.
Proposition 4.3.5. There are canonical isomorphisms of ${\mathcal{O}}_{{\mathcal{Y}}}$ -modules
where $\boldsymbol{L}_{0}={\mathcal{O}}_{{\mathcal{Y}}}\otimes _{{\mathcal{O}}_{\boldsymbol{k}}}L_{0}$ .
Proof. We have canonical isomorphisms of line bundles over ${\mathcal{Y}}$
and the (de Rham realization of the) unique principal polarization on ${\mathcal{A}}_{0}^{-}$ induces an isomorphism of ${\mathcal{O}}_{{\mathcal{Y}}}$ -modules
The isomorphism (4.3) restricts to
and dualizing yields the first isomorphism in (4.4). The second isomorphism is clear from the definition of ${\mathcal{A}}_{0}^{\pm }$ and the relation ${\mathcal{A}}_{0}^{-}={\mathcal{E}}\otimes _{{\mathcal{O}}_{\boldsymbol{k}}}L_{0}$ .◻
Remark 4.3.6. It is clear from (4.5) that the isotropic line $\boldsymbol{V}_{0,\text{dR}}^{1}\subset \boldsymbol{V}_{0,\text{dR}}$ is stable under the action of ${\mathcal{O}}_{\boldsymbol{k}}$ induced by (4.3), and that ${\mathcal{O}}_{\boldsymbol{k}}$ acts on this line through the structure morphism ${\mathcal{O}}_{\boldsymbol{k}}\rightarrow {\mathcal{O}}_{{\mathcal{Y}}}$ .
4.4 Special endomorphisms
If ${\mathcal{E}}_{1}$ and ${\mathcal{E}}_{2}$ are any elliptic curves with right actions of ${\mathcal{O}}_{\boldsymbol{k}}$ , we make $\text{Hom}({\mathcal{E}}_{1},{\mathcal{E}}_{2})$ into a right ${\mathcal{O}}_{\boldsymbol{k}}$ -module via
for all $f\in \text{Hom}({\mathcal{E}}_{1},{\mathcal{E}}_{2})$ and $\unicode[STIX]{x1D6FC}\in {\mathcal{O}}_{\boldsymbol{k}}$ . With this convention, for any ${\mathcal{Y}}$ -scheme $S$ there is an isomorphism of right ${\mathcal{O}}_{\boldsymbol{k}}$ -modules
This restricts to an isomorphism
which we rewrite as
Here the subscripts ${\mathcal{O}}_{\boldsymbol{k}}$ and $\overline{{\mathcal{O}}}_{\boldsymbol{k}}$ indicate ${\mathcal{O}}_{\boldsymbol{k}}$ -linear and ${\mathcal{O}}_{\boldsymbol{k}}$ -conjugate-linear maps, respectively. The quadratic form $\deg$ on the left-hand side of (4.6) corresponds to the quadratic form
on the right-hand side (which is positive definite, as $\deg$ and $-Q$ are positive definite).
Elements of $\text{End}_{\overline{{\mathcal{O}}}_{\boldsymbol{k}}}({\mathcal{E}}_{S})\otimes _{{\mathcal{O}}_{\boldsymbol{k}}}V_{0}$ are special quasi-endomorphisms of ${\mathcal{E}}_{S}$ . For every $\unicode[STIX]{x1D707}\in L_{0}^{\vee }$ define a collection of special quasi-endomorphisms by
This collection depends only on the coset $\unicode[STIX]{x1D707}\in L_{0}^{\vee }/L_{0}$ . We will sometimes abbreviate
for the space defined by the coset $\unicode[STIX]{x1D707}=0$ .
Remark 4.4.1. For any $S\rightarrow {\mathcal{Y}}$ as above, let $V({\mathcal{A}}_{0,S})~\subset \text{End}({\mathcal{A}}_{0,S})$ be the submodule of $C(L_{0})$ -linear grade-shifting endomorphisms of ${\mathcal{A}}_{0,S}$ . Equivalently, $x\in \text{End}({\mathcal{A}}_{0,S})$ lies in $V({\mathcal{A}}_{0,S})$ if and only if all of its homological realizations lie in the subsheaf $\boldsymbol{V}_{0}\subset \text{}\underline{\text{End}}(\boldsymbol{H}_{0}).$ Restriction to the positive graded part identifies
where the middle isomorphism is (4.6).
4.5 Degrees of special divisors
In this subsection we define the special divisors ${\mathcal{Z}}_{0}(m,\unicode[STIX]{x1D707})\rightarrow {\mathcal{Y}}$ and compute their degrees.
For a non-negative rational number $m$ and a class $\unicode[STIX]{x1D707}\in L_{0}^{\vee }/L_{0}$ , define ${\mathcal{Z}}_{0}(m,\unicode[STIX]{x1D707})$ to be the ${\mathcal{O}}_{\boldsymbol{k}}$ -stack that assigns to an ${\mathcal{O}}_{\boldsymbol{k}}$ -scheme $S$ the groupoid of pairs $({\mathcal{E}}_{S},x)$ in which ${\mathcal{E}}_{S}$ is an ${\mathcal{O}}_{\boldsymbol{k}}$ -elliptic curve over $S$ , and $x\in V_{\unicode[STIX]{x1D707}}({\mathcal{E}}_{S})$ satisfies $Q(x)=m$ . Note that for $m=0$ we have
The following theorem is due to Kudla et al. [Reference Kudla, Rapoport and YangKRY99] in the special case where $\boldsymbol{k}$ has prime discriminant and $\unicode[STIX]{x1D707}=0$ . Subsequent generalizations and variants can be found in [Reference Kudla and YangKY13, Reference Bruinier, Howard and YangBHY15, Reference HowardHow12].
Theorem 4.5.1. Assume that $d_{\boldsymbol{k}}$ is odd, and recall the finite set of primes $\text{Diff}_{L_{0}}(m)$ of (3.4). For $m>0$ the stack ${\mathcal{Z}}_{0}(m,\unicode[STIX]{x1D707})$ has the following properties.
-
(i) If $|\text{Diff}_{L_{0}}(m)|>1$ , or if $Q(\unicode[STIX]{x1D707})\not =m$ in $\mathbb{Q}/\mathbb{Z}$ , then ${\mathcal{Z}}_{0}(m,\unicode[STIX]{x1D707})=\emptyset$ .
-
(ii) If $\text{Diff}_{L_{0}}(m)=\{p\}$ and $Q(\unicode[STIX]{x1D707})=m$ in $\mathbb{Q}/\mathbb{Z}$ , then ${\mathcal{Z}}_{0}(m,\unicode[STIX]{x1D707})$ has dimension $0$ and is supported in characteristic $p$ . Furthermore,
$$\begin{eqnarray}\frac{\log (\text{N}(\mathfrak{p}))}{\log (p)}\mathop{\sum }_{z\in {\mathcal{Z}}_{0}(m,\unicode[STIX]{x1D707})(\overline{\mathbb{F}}_{\mathfrak{p}})}\frac{\text{length}({\mathcal{O}}_{{\mathcal{Z}}_{0}(m,\unicode[STIX]{x1D707}),z})}{\#\text{Aut}(z)}=2^{s(\unicode[STIX]{x1D707})-1}\cdot \text{ord}_{p}(pm)\cdot \unicode[STIX]{x1D70C}\biggl(\frac{m|d_{\boldsymbol{k}}|}{p^{\unicode[STIX]{x1D716}}}\biggr),\end{eqnarray}$$where $\mathfrak{p}$ is the unique prime of $\boldsymbol{k}$ above $p$ , and $\unicode[STIX]{x1D716}$ , $\unicode[STIX]{x1D70C}$ , and $s(\unicode[STIX]{x1D707})$ are as in Proposition 3.3.1.
In either case
Proof. Let $\mathfrak{p}$ be a prime of ${\mathcal{O}}_{\boldsymbol{k}}$ , and let $p$ be the rational prime below it. Suppose we have a point
The existence of $x\in \text{End}_{\overline{{\mathcal{O}}}_{\boldsymbol{k}}}({\mathcal{E}})\otimes _{{\mathcal{O}}_{\boldsymbol{k}}}L_{0}$ already implies that ${\mathcal{E}}$ is supersingular, $p$ is non-split in $\boldsymbol{k}$ , and $\text{End}({\mathcal{E}})_{\mathbb{Q}}$ is the quaternion division algebra ramified at $\infty$ and $p$ .
As ${\mathcal{O}}_{\boldsymbol{k}}{\hookrightarrow}\text{End}(E)$ we can extend this to an inclusion $\boldsymbol{k}{\hookrightarrow}\text{End}(E)_{\mathbb{Q}}$ . Since $\boldsymbol{k}=\mathbb{Q}(\sqrt{d_{\boldsymbol{k}}})$ there is an $\unicode[STIX]{x1D702}\in \mathbb{Q}^{\times }$ such that
Consequently $\text{End}_{\overline{{\mathcal{O}}}_{\boldsymbol{k}}}(E)_{\mathbb{Q}}=\boldsymbol{k}\cdot j$ , where $j^{2}=\unicode[STIX]{x1D702}$ and $j\unicode[STIX]{x1D6FC}=\bar{\unicode[STIX]{x1D6FC}}j,\forall \unicode[STIX]{x1D6FC}\in {\mathcal{O}}_{\boldsymbol{k}}$ . Further, $\text{End}_{\overline{{\mathcal{O}}}_{\boldsymbol{k}}}(E)_{\mathbb{Q}}=\boldsymbol{k}\cdot j$ is a one-dimensional $\boldsymbol{k}$ -vector space equipped with the quadratic form $\deg$ , which is just the reduced norm of the quaternion algebra. As $j$ has reduced norm $-\unicode[STIX]{x1D702}$ , we deduce that there is an isomorphism of quadratic spaces
where for every $\unicode[STIX]{x1D6FE}\in \mathbb{Q}^{\times }$ we let $W_{\unicode[STIX]{x1D6FE}}=\boldsymbol{k}$ equipped with the quadratic form $Q(w)=\unicode[STIX]{x1D6FE}w\overline{w}.$
As $\text{End}(E)_{\mathbb{Q}}$ is a quaternion algebra ramified precisely at $p$ and $\infty$ , it follows that $\unicode[STIX]{x1D702}$ is a local norm from $\boldsymbol{k}$ everywhere but at $p$ and $\infty$ .
Recalling that $V_{0}=L_{0}\otimes _{\mathbb{Z}}\mathbb{Q}$ , any choice of left $\boldsymbol{k}$ -module generator $v\in V_{0}$ identifies $V_{0}\xrightarrow[{}]{\simeq }W_{\unicode[STIX]{x1D6FE}}$ , where $\unicode[STIX]{x1D6FE}=Q(v)$ . Recalling (4.7), we deduce that there an isomorphism of quadratic spaces
The existence of $x$ shows that the quadratic space on the left represents $m$ globally, and hence $\unicode[STIX]{x1D702}\unicode[STIX]{x1D6FE}/m$ is a norm from $\boldsymbol{k}$ . This implies that $\unicode[STIX]{x1D6FE}/m$ , hence $\unicode[STIX]{x1D6FE}m$ , is a norm from $\boldsymbol{k}$ everywhere locally except at $\infty$ and $p$ , from which we deduce $\text{Diff}_{L_{0}}(m)=\{p\}$ . The equality $m=Q(\unicode[STIX]{x1D707})$ in $\mathbb{Q}/\mathbb{Z}$ can be checked directly, but it also follows from (2.17) and Proposition 4.6.3.
We have now proved that ${\mathcal{Z}}_{0}(m,\unicode[STIX]{x1D707})(\overline{\mathbb{F}}_{\mathfrak{p}})\not =\emptyset$ only when $\text{Diff}_{L_{0}}(m)=\{p\}$ and $m=Q(\unicode[STIX]{x1D707})$ in $\mathbb{Q}/\mathbb{Z}$ , and hence have proved property (i). The proof of property (ii) requires a lemma.
Lemma 4.5.2. The existence of a point (4.9) implies $\unicode[STIX]{x1D707}\in L_{0,p}$ .
Proof. By (4.2) we may assume that $p$ is ramified in $\boldsymbol{k}$ . Fix a generator $\unicode[STIX]{x1D6FF}_{\boldsymbol{k}}\in \mathfrak{d}_{\boldsymbol{k}}$ , so that $L_{0}^{\vee }=\unicode[STIX]{x1D6FF}_{\boldsymbol{k}}^{-1}L_{0}$ . Let $E_{p}$ be the $p$ -divisible group of ${\mathcal{E}}$ with its induced ${\mathcal{O}}_{\boldsymbol{k}}$ -action.
If $\unicode[STIX]{x1D707}\not \in L_{0,p}$ then $\unicode[STIX]{x1D707}\unicode[STIX]{x1D6FF}_{\boldsymbol{k}}$ generates $L_{0,p}$ as an ${\mathcal{O}}_{\boldsymbol{k},p}$ -module. If we use this generator to identify
and multiply both sides of the relation $x-\text{id}\otimes \unicode[STIX]{x1D707}\in \text{End}(E_{p})\otimes _{{\mathcal{O}}_{\boldsymbol{k}}}L_{0}$ on the right by $\unicode[STIX]{x1D6FF}_{\boldsymbol{k}}$ , we obtain
where we have set $y=x\unicode[STIX]{x1D6FF}_{\boldsymbol{k}}\in \text{End}_{\overline{{\mathcal{O}}}_{\boldsymbol{k}}}(E_{p})$ .
The ring $\text{End}(E_{p})$ is the maximal order in the division quaternion algebra over $\mathbb{Q}_{p}$ , and this maximal order is a (noncommutative) discrete valuation ring with $\text{End}(E_{p})\cdot \unicode[STIX]{x1D6FF}_{\boldsymbol{k}}$ as its unique maximal ideal. Using $yv=\overline{v}y$ for all $v\in {\mathcal{O}}_{\boldsymbol{k},p}$ , an exercise with quaternion algebras shows that $y$ has reduced trace $0$ . Taking the reduced trace of (4.11) now implies that $-2\cdot \text{id}$ lies in the maximal ideal of $\text{End}(E_{p})$ , which is absurd, as our assumption that $d_{\boldsymbol{k}}$ is odd implies $p>2$ .◻
It follows from Lemma 4.5.2 and the Serre–Tate theorem that we may completely ignore $\unicode[STIX]{x1D707}$ in the deformation problem that computes the length of the étale local ring at $z$ . Gross’s results on canonical liftings [Reference GrossGro86] therefore imply
for every point (4.9).
If $\text{ord}_{p}(m)<0$ then the relation $m=Q(\unicode[STIX]{x1D707})$ in $\mathbb{Q}/\mathbb{Z}$ implies $\unicode[STIX]{x1D707}\not \in L_{0,p}$ , and hence, using Lemma 4.5.2, both sides of the desired equality in property (ii) of Theorem 4.5.1 are equal to $0$ . Thus it only remains to prove
under the assumption $\text{ord}_{p}(m)\geqslant 0$ . The argument is very similar to that of [Reference Kudla and YangKY13, Proposition 3.1], [Reference Howard and YangHY12, Proposition 2.18], [Reference Bruinier, Howard and YangBHY15, Theorem 5.5], and [Reference HowardHow12, Theorem 3.5.3], and hence we omit some details.
Fix one elliptic curve ${\mathcal{E}}$ over $\overline{\mathbb{F}}_{\mathfrak{p}}$ with complex multiplication by ${\mathcal{O}}_{\boldsymbol{k}}$ . As the ideal class group of $\boldsymbol{k}$ acts simply transitively on the elliptic curves with complex multiplication by ${\mathcal{O}}_{\boldsymbol{k}}$ , we find
As in the argument surrounding (4.10), the assumption $\text{Diff}_{L_{0}}(m)=\{p\}$ implies that there is some vector
with $Q(x)=m$ , and the group $\boldsymbol{k}^{1}=\{s\in \boldsymbol{k}^{\times }:s\overline{s}=1\}$ acts transitively (by right multiplication on $V_{0}$ ) on the set of all such $x$ . Using $t\mapsto t/\overline{t}$ to identify $\mathbb{Q}^{\times }\backslash \boldsymbol{k}^{\times }\xrightarrow[{}]{\simeq }\boldsymbol{k}^{1}$ and arguing as in the proof of [Reference Howard and YangHY12, Proposition 2.18], we obtain a factorization into orbital integrals
Here $\mathbf{1}$ indicates characteristic function, $E_{\ell }$ is the $\ell$ -divisible group of ${\mathcal{E}}$ , and
On the right-hand side of the first equality of (4.13) we are viewing
using the quasi-isogeny from ${\mathcal{E}}$ to ${\mathcal{E}}\otimes _{{\mathcal{O}}_{\boldsymbol{k}}}\mathfrak{a}$ defined by $P\mapsto P\otimes 1$ .
A choice of left ${\mathcal{O}}_{\boldsymbol{k},\ell }$ -module isomorphism $L_{0,\ell }\xrightarrow[{}]{\simeq }{\mathcal{O}}_{\boldsymbol{k},\ell }$ identifies
where $\unicode[STIX]{x1D707}\in L_{0,\ell }^{\vee }=\mathfrak{d}_{\boldsymbol{k},\ell }^{-1}$ is viewed as a quasi-endomorphism of $E_{\ell }$ using the complex multiplication. From now on we use this identification to view $x\in \text{End}_{\overline{{\mathcal{O}}}_{\boldsymbol{k}}}(E_{\ell })\otimes _{\mathbb{Z}_{\ell }}\mathbb{Q}_{\ell }$ and $\unicode[STIX]{x1D707}\in \boldsymbol{k}_{\ell }$ . Using (4.7), the condition $m=Q(\unicode[STIX]{x1D707})$ in $\mathbb{Q}/\mathbb{Z}$ translates to $\text{Nrd}(x)=-\text{Nrd}(\unicode[STIX]{x1D707})$ in $\mathbb{Q}_{\ell }/\mathbb{Z}_{\ell }$ , where $\text{Nrd}$ is the reduced norm on the quaternion algebra
An explicit description (in terms of this decomposition) of the maximal order $\text{End}(E_{\ell })$ can be found in [Reference Kudla and YangKY13, Lemma 3.3].
Using the explicit description of $\text{End}(E_{\ell })$ , the local factors on the right-hand side of (4.13) can be computed directly. We demonstrate the method for a prime $\ell$ ramified in $\boldsymbol{k}$ . For such an $\ell$ we have
where $t\in {\mathcal{O}}_{\boldsymbol{k},\ell }$ is any uniformizer. As $\ell >2$ , we may choose $t$ so that $\overline{t}=-t$ , and so
We now consider the two sub-cases $\ell =p$ and $\ell \not =p$ .
If $\ell =p$ , our assumption $\text{ord}_{p}(m)\geqslant 0$ and the relation $m=Q(\unicode[STIX]{x1D707})$ in $\mathbb{Q}/\mathbb{Z}$ imply that $\unicode[STIX]{x1D707}\in {\mathcal{O}}_{\boldsymbol{k},p}$ , and that $\text{Nrd}(x)\in \mathbb{Z}_{p}$ . As $\text{End}(E_{p})$ is the maximal order in the ramified quaternion algebra over $\mathbb{Q}_{p}$ , this implies that $x\in \text{End}(E_{p})$ . From this it follows that both $x$ and $-x$ lie in $V_{\unicode[STIX]{x1D707}}(E_{p})$ , and so
Now suppose $\ell \not =p$ . If $\unicode[STIX]{x1D707}\in {\mathcal{O}}_{\boldsymbol{k},\ell }$ then $\text{Nrd}(\unicode[STIX]{x1D707})\in \mathbb{Z}_{\ell }$ , and hence $\text{Nrd}(x)\in \mathbb{Z}_{\ell }$ . The description of $\text{End}(E_{\ell })$ in [Reference Kudla and YangKY13, Lemma 3.3] now implies that $x\in \text{End}(E_{\ell })$ , and again both $x$ and $-x$ lie in $V_{\unicode[STIX]{x1D707}}(E_{p})$ . If $\unicode[STIX]{x1D707}\not \in {\mathcal{O}}_{\boldsymbol{k},\ell }$ then $\ell \cdot \text{Nrd}(\unicode[STIX]{x1D707})\in \mathbb{Z}_{\ell }^{\times }$ , and hence the relation $\text{Nrd}(x)+\text{Nrd}(\unicode[STIX]{x1D707})\in \mathbb{Z}_{\ell }$ noted above implies $\ell \cdot \text{Nrd}(x)\in \mathbb{Z}_{\ell }^{\times }$ . Using the same relation, and the description of $\text{End}(E_{\ell })$ in [Reference Kudla and YangKY13, Lemma 3.3], one can show that exactly one of $x\pm \unicode[STIX]{x1D707}$ lies in $\text{End}(E_{\ell })$ . Thus exactly one of $x$ and $-x$ lies in $V_{\unicode[STIX]{x1D707}}(E_{\ell })$ , and we have proved
From similar calculations at the unramified primes, one can deduce the relation
(the right-hand side has an obvious product factorization, and one verifies equality prime-by-prime). The equality (4.12) follows immediately.
The final claim of the theorem follows by comparing the above formulas with Proposition 3.3.1. ◻
4.6 Mapping to the orthogonal Shimura variety
Recall from § 2.3 the $\text{GSpin}$ Shimura variety $M$ over $\mathbb{Q}$ defined by the quadratic space $L$ . In § 2.4 we defined the integral model ${\mathcal{M}}$ over $\mathbb{Z}$ , and the Kuga–Satake abelian scheme ${\mathcal{A}}\rightarrow {\mathcal{M}}$ . The integral model ${\mathcal{M}}$ carries over it the collection of sheaves $\boldsymbol{V}\subset \text{}\underline{\text{End}}(\boldsymbol{H})$ of (2.10).
The inclusion $L_{0}\rightarrow L$ extends to a homomorphism $C(V_{0})\rightarrow C(V)$ of Clifford algebras, which then induces a morphism $\text{GSpin}(V_{0})\rightarrow \text{GSpin}(V)$ . The theory of canonical models shows that the induced map of complex orbifolds $Y(\mathbb{C})\rightarrow M(\mathbb{C})$ descends to a finite and unramified morphism of $\boldsymbol{k}$ -stacks
In this section we assume that the discriminant of $\boldsymbol{k}$ is odd. We will extend this morphism to a morphism ${\mathcal{Y}}\rightarrow {\mathcal{M}}_{{\mathcal{O}}_{\boldsymbol{k}}}$ of integral models, and explain the how the various structures (special cycles, sheaves, and Kuga–Satake abelian schemes) on the source and target are related.
As noted earlier, ${\mathcal{Y}}$ is finite étale over ${\mathcal{O}}_{\boldsymbol{k}}$ . The proof of Proposition 4.6.1 below will require a slightly different perspective on this, couched in the language of local models.
Let $\text{M}^{\text{loc}}(L_{0})$ be the quadric over $\mathbb{Z}$ that parameterizes isotropic lines in $L_{0}$ . There is an isomorphism of $\mathbb{Z}$ -schemes
determined as follows. Consider the map $L_{0}\otimes _{\mathbb{Z}}{\mathcal{O}}_{\boldsymbol{k}}\rightarrow L_{0}$ defined by $v\otimes \unicode[STIX]{x1D6FC}\mapsto v\overline{\unicode[STIX]{x1D6FC}}.$ The kernel of this map is an isotropic rank-one ${\mathcal{O}}_{\boldsymbol{k}}$ -module corresponding to a map $\text{Spec}({\mathcal{O}}_{\boldsymbol{k}})\rightarrow \text{M}^{\text{loc}}(L_{0})$ , which is the desired isomorphism (4.15).
Now, consider the functor ${\mathcal{P}}_{0}$ on ${\mathcal{Y}}$ -schemes parameterizing ${\mathcal{O}}_{\boldsymbol{k}}$ -equivariant isomorphisms of rank-two vector bundles
This is represented over ${\mathcal{Y}}$ by a $T$ -torsor ${\mathcal{P}}_{0}\rightarrow {\mathcal{Y}}$ . Indeed, we only need to observe that, étale locally on ${\mathcal{Y}}$ , $\boldsymbol{H}_{0,\text{dR}}^{+}$ is a free ${\mathcal{O}}_{\boldsymbol{k}}\otimes _{\mathbb{Z}}{\mathcal{O}}_{{\mathcal{Y}}}$ -module of rank one.
Suppose that we are given a scheme $U\rightarrow {\mathcal{Y}}$ over ${\mathcal{Y}}$ and a section $U\rightarrow {\mathcal{P}}_{0}$ , corresponding to an ${\mathcal{O}}_{\boldsymbol{k}}$ -equivariant isomorphism
This determines an isomorphism
Combining the above isomorphisms with the canonical isomorphism
yields an ${\mathcal{O}}_{\boldsymbol{k}}$ -linear isometry
The preimage $\unicode[STIX]{x1D709}_{0}^{-1}(\boldsymbol{V}_{0,\text{dR}}^{1})\subset L_{0}\otimes {\mathcal{O}}_{U}$ is an isotropic line, and so corresponds to a point in $\text{M}^{\text{loc}}(L_{0})(U)$ . We therefore obtain a map $U\rightarrow \text{M}^{\text{loc}}(L_{0})$ . It is not hard to see that the composition of this map with the isomorphism (4.15) is just the structure map $U\rightarrow \text{Spec}({\mathcal{O}}_{\boldsymbol{k}})$ . The main point is that, as in Remark 4.3.6, ${\mathcal{O}}_{\boldsymbol{k}}$ acts on $\boldsymbol{V}_{0,\text{dR}}^{1}$ through the structure map ${\mathcal{O}}_{\boldsymbol{k}}\rightarrow {\mathcal{O}}_{{\mathcal{Y}}}$ , and on the quotient $\boldsymbol{V}_{0,\text{dR}}/\boldsymbol{V}_{0,\text{dR}}^{1}$ through the conjugate of the structure map. Hence the quotient $\boldsymbol{V}_{0,\text{dR}}/\boldsymbol{V}_{0,\text{dR}}^{1}$ is obtained from $\boldsymbol{V}_{0,\text{dR}}$ via base-change along the augmentation map
defined by $\unicode[STIX]{x1D6FC}\otimes f\mapsto \overline{\unicode[STIX]{x1D6FC}}f.$
In particular, since ${\mathcal{Y}}$ is étale over ${\mathcal{O}}_{\boldsymbol{k}}$ , if $U$ is étale over ${\mathcal{Y}}$ , then the map $U\rightarrow \text{M}^{\text{loc}}(L_{0})$ will also be étale. This can also be shown directly using Grothendieck–Messing theory.
The following result is analogous to Proposition 2.5.1.
Proposition 4.6.1. The morphism (4.14) extends uniquely to a finite and unramified morphism
and there is a canonical $C(L)$ -equivariant isomorphism
of $\mathbb{Z}/2\mathbb{Z}$ -graded abelian schemes over ${\mathcal{Y}}$ . In particular,
Furthermore, set $\boldsymbol{\unicode[STIX]{x1D6EC}}=\unicode[STIX]{x1D6EC}\otimes \mathbf{1}$ , and recall the space of special endomorphisms
of § 2.6. There is a canonical embedding $\unicode[STIX]{x1D6EC}\subset V({\mathcal{A}}|_{{\mathcal{Y}}})$ with the following properties.
-
(i) Its homological realization exhibits $\boldsymbol{\unicode[STIX]{x1D6EC}}\subset \boldsymbol{V}|_{{\mathcal{Y}}}$ as a local direct summand.
-
(ii) The injection
$$\begin{eqnarray}\text{}\underline{\text{End}}_{C(L_{0})}(\boldsymbol{H}_{0}|_{{\mathcal{Y}}})\rightarrow \text{}\underline{\text{End}}_{C(L)}(\boldsymbol{H}|_{{\mathcal{Y}}})\end{eqnarray}$$induced by (4.18) identifies $\boldsymbol{V}_{0}|_{{\mathcal{Y}}}$ with the submodule of all elements of $\boldsymbol{V}|_{{\mathcal{Y}}}$ anticommuting with all elements of $\boldsymbol{\unicode[STIX]{x1D6EC}}$ . Furthermore $\boldsymbol{V}_{0}|_{{\mathcal{Y}}}\subset \boldsymbol{V}|_{{\mathcal{Y}}}$ is locally a direct summand. -
(iii) In the de Rham case, the inclusion $\boldsymbol{V}_{0,\text{dR}}|_{{\mathcal{Y}}}\subset \boldsymbol{V}_{\text{dR}}|_{{\mathcal{Y}}}$ identifies $\boldsymbol{V}_{0,\text{dR}}^{1}|_{{\mathcal{Y}}}=\boldsymbol{V}_{\text{dR}}^{1}|_{{\mathcal{Y}}}.$
Proof. Just as in (2.11), there is a $C(L)$ -equivariant isomorphism
of $\mathbb{Z}/2\mathbb{Z}$ -graded abelian schemes over $Y$ .
Extending the map of (4.14) of $\boldsymbol{k}$ -stacks to a map (4.16) of ${\mathcal{O}}_{\boldsymbol{k}}$ -stacks is equivalent to extending the map of $\mathbb{Q}$ -stacks $Y\rightarrow M$ to a map of $\mathbb{Z}$ -stacks ${\mathcal{Y}}_{\mathbb{Z}}\rightarrow {\mathcal{M}}$ . Here we write ${\mathcal{Y}}_{\mathbb{Z}}$ for the stack ${\mathcal{Y}}$ viewed over $\text{Spec}(\mathbb{Z})$ .
To do this, fix a prime $p>0$ , and assume first that $L_{\mathbb{Z}_{(p)}}$ is self-dual. As observed in § 2.4, an appropriate choice of $\unicode[STIX]{x1D6FF}\in C^{+}(L)\cap C(V)^{\times }$ determines a degree $d$ polarization of the Kuga–Satake abelian scheme ${\mathcal{A}}_{M}\rightarrow M$ , inducing a finite unramified map
to a moduli stack of polarized abelian varieties. The integral model ${\mathcal{M}}_{\mathbb{Z}_{(p)}}$ is then simply the normalization of ${\mathcal{X}}_{2^{n+1},d,\mathbb{Z}_{(p)}}^{\text{Siegel}}$ in $M$ .
The composition
determines a polarized abelian scheme over $Y$ , which is precisely (4.19). The polarized abelian scheme ${\mathcal{A}}_{0}|_{{\mathcal{Y}}_{\mathbb{Z}_{(p)}}}~\otimes _{C(L_{0})}C(L)$ defines an extension of (4.19) to ${\mathcal{Y}}_{\mathbb{Z}_{(p)}}$ , which shows that the above composition extends to a morphism
Since ${\mathcal{Y}}$ is regular, and hence normal, this extension must lift to a map ${\mathcal{Y}}_{\mathbb{Z}_{(p)}}\rightarrow {\mathcal{M}}_{\mathbb{Z}_{(p)}},$ and by construction (4.19) extends to an isomorphism
The construction of the embedding $\unicode[STIX]{x1D6EC}{\hookrightarrow}({\mathcal{A}}|_{{\mathcal{Y}}_{\mathbb{Z}_{(p)}}}),$ as well as the proofs of assertions (i), (ii) and (iii) over ${\mathcal{Y}}_{\mathbb{Z}_{(p)}}$ , now proceed exactly as in Proposition 2.5.1.
It remains to show (under our self-duality assumption on $L_{\mathbb{Z}_{(p)}}$ ) that the map ${\mathcal{Y}}_{\mathbb{Z}_{(p)}}\rightarrow {\mathcal{M}}_{\mathbb{Z}_{(p)}}$ is finite and unramified. For this, using Proposition 2.4.3 and the above discussion of local models, we see that the map is étale locally on the source isomorphic to an étale neighborhood of the closed immersion $\text{M}^{\text{loc}}(L_{0})\rightarrow \text{M}^{\text{loc}}(L)$ . This shows that ${\mathcal{Y}}_{\mathbb{Z}_{(p)}}$ is unramified over ${\mathcal{M}}_{\mathbb{Z}_{(p)}}\!$ . That it is also finite is immediate from the fact that ${\mathcal{Y}}$ is finite over ${\mathcal{O}}_{\boldsymbol{k}}$ .
It remains to deal with the primes $p$ where $L_{\mathbb{Z}_{(p)}}$ is not self-dual. For this, embed $L$ as an isometric direct summand of a maximal lattice $L^{\diamond }$ of signature $(n^{\diamond },2)$ for which $L_{\mathbb{Z}_{(p)}}^{\diamond }$ is self-dual. Let ${\mathcal{M}}^{\diamond }$ be the regular integral model over $\mathbb{Z}$ for the Shimura variety $M^{\diamond }$ associated with $L^{\diamond }$ . As in (2.4), let $\check{{\mathcal{M}}}_{\mathbb{Z}_{(p)}}$ be the normalization of ${\mathcal{M}}_{\mathbb{Z}_{(p)}}^{\diamond }$ in $M$ .
From what we have shown above, the composition $Y\rightarrow M\rightarrow M^{\diamond }$ extends to a map ${\mathcal{Y}}_{\mathbb{Z}_{(p)}}\rightarrow {\mathcal{M}}_{\mathbb{Z}_{(p)}}^{\diamond },$ which, since ${\mathcal{Y}}$ is a normal stack over $\mathbb{Z}$ , must lift to a finite map ${\mathcal{Y}}_{\mathbb{Z}_{(p)}}\rightarrow \check{{\mathcal{M}}}_{\mathbb{Z}_{(p)}}$ . As in the proof of Proposition 2.5.1, we find that this lift must map ${\mathcal{Y}}_{\mathbb{Z}_{(p)}}$ to ${\mathcal{M}}_{\mathbb{Z}_{(p)}}$ and must also be unramified, being, étale locally on the source, isomorphic to an étale neighborhood of
If $p=2$ the assumption that $C^{+}(L_{0})$ is a maximal order of odd discriminant implies that $L_{0,\mathbb{F}_{2}}$ is self-dual so that (4.20) must map into the smooth locus of the target.
For $p>2$ the key point is that the radical of $L_{0,\mathbb{F}_{p}}$ , if non-zero, defines an $\mathbb{F}_{p}$ -valued point of the quadric $\text{M}^{\text{loc}}(L_{0})$ associated with $L_{0}$ . Therefore (4.20) must map into the regular locus (see the proof of Proposition 2.5.1).
Finally, the extension (4.17) of the isomorphism (4.19) once again follows from the property of Néron models, and the remaining assertions follow from Proposition 2.5.1 and from what we have already shown in the self-dual case.◻
Remark 4.6.2. The proof of Proposition 4.6.1 actually proves the stronger claim that the morphism ${\mathcal{Y}}\rightarrow {\mathcal{M}}$ is finite and unramified.
Now suppose that $S$ is a scheme over ${\mathcal{Y}}$ . Then Proposition 4.6.1 gives us an isometric embedding $\unicode[STIX]{x1D6EC}{\hookrightarrow}V({\mathcal{A}}_{S})$ . We obtain the following analogue of Proposition 2.6.4.
Proposition 4.6.3. (i) There is a canonical isometry
(ii) The induced map $V({\mathcal{E}}_{S})\oplus \unicode[STIX]{x1D6EC}{\hookrightarrow}V({\mathcal{A}}_{S})$ , tensored with $\mathbb{Q}$ , restricts to an injection
for every $\unicode[STIX]{x1D707}\in L^{\vee }/L$ and every
(iii) The above injections determine a decomposition
Proof. Exactly as in the proof Proposition 2.6.4, Proposition 4.6.1 implies that there is a canonical isometry
Thus assertion (i) is clear from (4.8).
In particular, there is a canonical inclusion $V({\mathcal{E}}_{S})\times \unicode[STIX]{x1D6EC}\subset V({\mathcal{A}}_{S}),$ which we can make explicit using the $C(L)$ -equivariant isomorphism ${\mathcal{E}}_{S}\otimes _{{\mathcal{O}}_{\boldsymbol{k}}}C(L)\xrightarrow[{}]{\simeq }{\mathcal{A}}_{S}$ of (4.17). Indeed, each $\unicode[STIX]{x1D706}\in \unicode[STIX]{x1D6EC}$ induces a special endomorphism
while each $\unicode[STIX]{x1D719}\otimes \ell \in \text{End}_{\overline{{\mathcal{O}}}_{\boldsymbol{k}}}({\mathcal{E}}_{S})\otimes _{{\mathcal{O}}_{\boldsymbol{k}}}L_{0}=V({\mathcal{E}}_{S})$ induces a special endomorphism
With this in mind, assertions (ii) and (iii) amount to unwinding the definitions. By embedding $L$ into a unimodular lattice and using Proposition 2.6.4, we may reduce to the case where $L$ is itself unimodular. In this case, we have canonical isometries
and $\unicode[STIX]{x1D707}_{1}\in L_{0}^{\vee }/L_{0}$ corresponds to $\unicode[STIX]{x1D707}_{2}\in \unicode[STIX]{x1D6EC}^{\vee }/\unicode[STIX]{x1D6EC}$ if and only if $(\unicode[STIX]{x1D707}_{1},\unicode[STIX]{x1D707}_{2})\in L/(L_{0}\oplus \unicode[STIX]{x1D6EC})$ .
If $(\unicode[STIX]{x1D707}_{1},\unicode[STIX]{x1D707}_{2})\in L/(L_{0}\oplus \unicode[STIX]{x1D6EC})$ and
then we may write $x=\unicode[STIX]{x1D719}\otimes \ell +\text{id}\otimes \unicode[STIX]{x1D707}_{1}$ for some $\unicode[STIX]{x1D719}\in \text{End}_{\overline{{\mathcal{O}}}_{\boldsymbol{k}}}({\mathcal{E}}_{S})$ and $\ell \in L_{0}$ . As $\unicode[STIX]{x1D707}_{1}+\unicode[STIX]{x1D707}_{2}\in L$ , the quasi-endomorphism $(x,\unicode[STIX]{x1D706})\in V({\mathcal{A}}_{S})_{\mathbb{Q}}$ is equal to
and so lies in $V({\mathcal{A}}_{S})$ .
Conversely, any element of $V({\mathcal{A}}_{S})$ is given by a pair
and it is easy to see that we must have $x\in V({\mathcal{E}}_{S})^{\vee }$ and $\unicode[STIX]{x1D706}\in \unicode[STIX]{x1D6EC}^{\vee }$ . Let $\unicode[STIX]{x1D707}_{2}\in \unicode[STIX]{x1D6EC}^{\vee }/\unicode[STIX]{x1D6EC}$ be the coset of $\unicode[STIX]{x1D706}$ , and let $\unicode[STIX]{x1D707}_{1}\in L_{0}^{\vee }/L_{0}$ be the unique element for which $(\unicode[STIX]{x1D707}_{1},\unicode[STIX]{x1D707}_{2})\in L/(L_{0}\oplus \unicode[STIX]{x1D6EC})$ . If we write $x=\unicode[STIX]{x1D719}\otimes \ell$ with $\ell \in V_{0}$ then, by assumption, the quasi-endomorphism of ${\mathcal{A}}_{S}$ determined by $(x,\unicode[STIX]{x1D706})$ is the (integral) endomorphism (4.21), while $x-\text{id}\otimes \unicode[STIX]{x1D707}_{1}$ is the quasi-endomorphism
These differ by the endomorphism $e\otimes c\mapsto e\otimes (\unicode[STIX]{x1D707}_{1}+\unicode[STIX]{x1D707}_{2})c$ , and so $x-\text{id}\otimes \unicode[STIX]{x1D707}_{1}$ is an (integral) endomorphism of ${\mathcal{E}}_{S}\otimes _{{\mathcal{O}}_{\boldsymbol{k}}}C(L)$ . As $L_{0}\subset C(L)$ as an ${\mathcal{O}}_{\boldsymbol{k}}$ -module direct summand, it follows that $x-\text{id}\otimes \unicode[STIX]{x1D707}_{1}$ restricts to a homomorphism ${\mathcal{E}}_{S}\rightarrow {\mathcal{E}}_{S}\otimes _{{\mathcal{O}}_{\boldsymbol{k}}}L_{0}$ . This proves that $x\in V_{\unicode[STIX]{x1D707}_{1}}({\mathcal{E}}_{S})$ , and all parts of the claim follow.◻
We immediately obtain from Proposition 4.6.3 the following analogue of Proposition 2.7.1.
Proposition 4.6.4. There is an isomorphism of ${\mathcal{Y}}$ -stacks
where
and ${\mathcal{Z}}_{0}(m_{1},\unicode[STIX]{x1D707}_{1})_{{\mathcal{O}}_{\boldsymbol{k}}}\times \unicode[STIX]{x1D6EC}_{m_{2},\unicode[STIX]{x1D707}_{2}}$ denotes the disjoint union of $\#\unicode[STIX]{x1D6EC}_{m_{2},\unicode[STIX]{x1D707}_{2}}$ copies of ${\mathcal{Z}}_{0}(m_{1},\unicode[STIX]{x1D707}_{1})_{{\mathcal{O}}_{\boldsymbol{k}}}$ .
Remark 4.6.5. The terms ${\mathcal{Z}}_{0}(m_{1},\unicode[STIX]{x1D707}_{1})_{{\mathcal{O}}_{\boldsymbol{k}}}$ in the decomposition (4.22) define $0$ -cycles on ${\mathcal{Y}}$ when $m_{1}\neq 0$ . The remaining terms
are those with $(m_{1},\unicode[STIX]{x1D707}_{1})=(0,0)$ , and account for the improper intersection between the cycles ${\mathcal{Z}}(m,\unicode[STIX]{x1D707})_{{\mathcal{O}}_{\boldsymbol{k}}}$ and ${\mathcal{Y}}$ .
5 Degrees of metrized line bundles
As in previous sections, fix a maximal quadratic space $L$ over $\mathbb{Z}$ of signature $(n,2)$ , and a $\mathbb{Z}$ -module direct summand $L_{0}\subset L$ of signature $(0,2)$ . Assume the even Clifford algebra $C^{+}(L_{0})$ is isomorphic to the maximal order in a quadratic imaginary field $\boldsymbol{k}\subset \mathbb{C}$ of odd discriminant. Set
Recall from § 2.4 that we have associated with $L$ an algebraic stack
Similarly, in § 4.3 we constructed from $L_{0}$ an algebraic stack ${\mathcal{Y}}\rightarrow \text{Spec}({\mathcal{O}}_{\boldsymbol{k}}).$ The functoriality results of Proposition 4.6.1 provide us with a finite and unramified morphism
Of course the stack ${\mathcal{M}}$ was originally constructed over $\mathbb{Z}$ . Its restriction to ${\mathcal{O}}_{\boldsymbol{k}}$ is all that we will use in this section.
5.1 Metrized line bundles
We will need some basic notions of arithmetic intersection theory on the stack ${\mathcal{M}}$ . For more details see [Reference Gillet and SouléGS90, Reference Kudla, Rapoport and YangKRY04, Reference Kudla, Rapoport and YangKRY06], or [Reference VistoliVis89].
Although the integral model over $\mathbb{Z}$ described in § 2.4 is regular, its base change (5.1) to ${\mathcal{O}}_{\boldsymbol{k}}$ need not be. This is not a serious problem: the first part of the following proposition implies that ${\mathcal{M}}$ has a perfectly good theory of Cartier divisors. Whenever we speak of ‘divisors’ on ${\mathcal{M}}$ we always mean ‘Cartier divisors.’
Proposition 5.1.1. The stack ${\mathcal{M}}$ is locally integral. If $D$ denotes the greatest common divisor of $\text{disc}(L_{0})$ and $\text{disc}(L)$ , then the restriction of ${\mathcal{M}}$ to ${\mathcal{O}}_{\boldsymbol{k}}[1/D]$ is regular.
Proof. Using Proposition 2.4.3 and the definition of ${\mathcal{M}}$ , to show that ${\mathcal{M}}$ is locally integral, it suffices to show that the regular locus of the quadric $\text{M}^{\text{loc}}(L)$ associated with the quadratic space $L$ is integral after base change to ${\mathcal{O}}_{\boldsymbol{k}}$ . In explicit terms, the complete local rings of this locus at its $\overline{\mathbb{F}}_{p}$ -points are either formally smooth over $\mathbb{Z}_{p}$ , or are isomorphic to one of the two following $W(\overline{\mathbb{F}}_{p})$ -algebras [Reference Madapusi PeraMad16, (2.16)]:
Since $n\geqslant 1$ , it is easily checked that, in all three cases, tensoring with ${\mathcal{O}}_{\boldsymbol{k}}$ over $\mathbb{Z}$ gives us something locally integral.
The claim about regularity over ${\mathcal{O}}_{\boldsymbol{k}}[1/D]$ follows from the smoothness of the integral model of § 2.4 over $\mathbb{Z}[1/\text{disc}(L)]$ and of ${\mathcal{O}}_{\boldsymbol{k}}[1/\text{disc}(L_{0})]$ over $\mathbb{Z}$ .◻
An arithmetic divisor on ${\mathcal{M}}$ is a pair $\widehat{{\mathcal{Z}}}=({\mathcal{Z}},\unicode[STIX]{x1D6F7})$ consisting of a Cartier divisor ${\mathcal{Z}}$ on ${\mathcal{M}}$ and a Green function $\unicode[STIX]{x1D6F7}$ for ${\mathcal{Z}}(\mathbb{C})$ on ${\mathcal{M}}(\mathbb{C})$ . Thus if $\unicode[STIX]{x1D6F9}=0$ is a local equation for ${\mathcal{Z}}(\mathbb{C})$ , the function $\unicode[STIX]{x1D6F7}+\text{log}|\unicode[STIX]{x1D6F9}|^{2}$ , initially defined on the complement of ${\mathcal{Z}}(\mathbb{C})$ , is required to extend smoothly across the singularity ${\mathcal{Z}}(\mathbb{C})$ . A principal arithmetic divisor is an arithmetic divisor of the form
for a rational function $\unicode[STIX]{x1D6F9}$ on ${\mathcal{M}}$ . The group of all arithmetic divisors is denoted $\widehat{\text{Div}}({\mathcal{M}})$ , and its quotient by the subgroup of principal arithmetic divisors is the arithmetic Chow group $\widehat{\text{CH}}^{1}({\mathcal{M}})$ of Gillet and Soulé.
A metrized line bundle on ${\mathcal{M}}$ is a line bundle endowed with a smoothly varying Hermitian metric on its complex points. The isomorphism classes of metrized line bundles form a group $\widehat{\text{Pic}}({\mathcal{M}})$ under tensor product.
There is an isomorphism
defined as follows. Given an arithmetic divisor $({\mathcal{Z}},\unicode[STIX]{x1D6F7})$ , the line bundle ${\mathcal{L}}={\mathcal{O}}({\mathcal{Z}})$ is endowed with a canonical rational section $s$ with divisor ${\mathcal{Z}}$ . This section is nothing more than the constant function $1$ on ${\mathcal{M}}$ , viewed as a section of ${\mathcal{L}}$ . We endow ${\mathcal{L}}$ with the metric defined by $-\text{log}\Vert s\Vert ^{2}=\unicode[STIX]{x1D6F7}.$ For the inverse construction, start with a metrized line bundle $\widehat{{\mathcal{L}}}$ on ${\mathcal{M}}$ and let $s$ be any non-zero rational section. The associated arithmetic divisor, well-defined modulo principal arithmetic divisors, is
Of course there is a similar discussion with ${\mathcal{M}}$ replaced by ${\mathcal{Y}}$ . As ${\mathcal{Y}}$ is smooth of relative dimension $0$ over ${\mathcal{O}}_{\boldsymbol{k}}$ , all divisors on ${\mathcal{Y}}$ are supported in non-zero characteristics; thus, a Green function for a divisor on ${\mathcal{Y}}$ is any complex-valued function on the zero-dimensional orbifold ${\mathcal{Y}}(\mathbb{C})$ . In particular any arithmetic divisor $({\mathcal{Z}},\unicode[STIX]{x1D6F7})$ decomposes as $({\mathcal{Z}},0)+(0,\unicode[STIX]{x1D6F7})$ , and ${\mathcal{Z}}$ can be further decomposed as the difference of two effective Cartier divisors.
To define the arithmetic degree (as in [Reference Kudla, Rapoport and YangKRY04] or [Reference Kudla, Rapoport and YangKRY06]) of an arithmetic divisor $\widehat{{\mathcal{Z}}}$ on ${\mathcal{Y}}$ we first assume that $\widehat{{\mathcal{Z}}}=({\mathcal{Z}},0)$ with ${\mathcal{Z}}$ effective. Then
where ${\mathcal{O}}_{{\mathcal{Z}},z}$ is the étale local ring of ${\mathcal{Z}}$ at $z$ . If $\widehat{{\mathcal{Z}}}=(0,\unicode[STIX]{x1D6F7})$ is purely archimedean, then
The arithmetic degree extends linearly to all arithmetic divisors, and defines a homomorphism
We now define a homomorphism
the arithmetic degree along ${\mathcal{Y}}$ , as the composition
5.2 Specialization to the normal bundle
Fix a positive $m\in \mathbb{Q}$ and a $\unicode[STIX]{x1D707}\in L^{\vee }/L$ , and denote by
the stack obtained from (2.21) by base change from $\mathbb{Z}$ to ${\mathcal{O}}_{\boldsymbol{k}}$ . The fact that (5.2) and $i:{\mathcal{Y}}\rightarrow {\mathcal{M}}$ are not closed immersions is a minor nuisance. The following definition is introduced to address technical difficulties arising from this defect.
Definition 5.2.1. A sufficiently small étale open chart of ${\mathcal{M}}$ is a scheme $U$ together with an étale morphism $U\rightarrow {\mathcal{M}}$ such that the following hold.
-
(i) The natural map ${\mathcal{Z}}(m,\unicode[STIX]{x1D707})_{U}\rightarrow U$ restricts to a closed immersion on every connected component $Z\subset {\mathcal{Z}}(m,\unicode[STIX]{x1D707})_{U}$ .
-
(ii) The natural map ${\mathcal{Y}}_{U}\rightarrow U$ restricts to a closed immersion on every connected component $Y\subset {\mathcal{Y}}_{U}$ .
Remark 5.2.2. The stack ${\mathcal{M}}$ admits a covering by sufficiently small étale open charts. This is a consequence of [Reference VistoliVis89, Lemma 1.19] and the fact that ${\mathcal{Z}}(m,\unicode[STIX]{x1D707})\rightarrow {\mathcal{M}}$ and ${\mathcal{Y}}\rightarrow {\mathcal{M}}$ are finite and unramified. Note that these two morphisms are relatively representable, and so for any $U\rightarrow {\mathcal{M}}$ as above the pullbacks ${\mathcal{Z}}(m,\unicode[STIX]{x1D707})_{U}$ and ${\mathcal{Y}}_{U}$ are actually schemes.
Remark 5.2.3. When we think of ${\mathcal{Z}}(m,\unicode[STIX]{x1D707})$ as a Cartier divisor on ${\mathcal{M}}$ , its pullback to $U$ is simply the sum of the connected components of ${\mathcal{Z}}(m,\unicode[STIX]{x1D707})_{U}$ , each viewed as closed subscheme of $U$ .
Remark 5.2.4. In § 4 the notation $Y$ was used for the generic fiber of ${\mathcal{Y}}$ . Throughout § 5 the notation $Y$ is only used for a connected component of ${\mathcal{Y}}_{U}$ , and so no confusion should arise.
Fix a sufficiently small $U\rightarrow {\mathcal{M}}$ and a connected component $Y\subset {\mathcal{Y}}_{U}$ . The smoothness of ${\mathcal{Y}}$ over ${\mathcal{O}}_{\boldsymbol{k}}$ implies that $Y$ is a regular integral scheme of dimension $1$ . Let $I\subset {\mathcal{O}}_{U}$ be the ideal sheaf defining the closed immersion $Y\rightarrow U$ , and recall that the normal bundle of $Y\subset U$ is the ${\mathcal{O}}_{Y}$ -module
As $Y\rightarrow U$ may not be a regular immersion, the ${\mathcal{O}}_{Y}$ -module $I/I^{2}$ may not be locally free. However, we will see below in Proposition 5.4.1 that $N_{Y}U$ is locally free of rank $n$ , and so defines a vector bundle $N_{Y}U\rightarrow Y$ . By taking the disjoint union over all connected components $Y\subset {\mathcal{Y}}_{U}$ we obtain a vector bundle on ${\mathcal{Y}}_{U}$ . Letting $U$ vary over a cover of ${\mathcal{M}}$ by sufficiently small étale open charts and glueing defines the normal bundle
Recall the Hejhal–Poincaré series
of § 3.2. The discussion of § 3.2 endows the divisor ${\mathcal{Z}}(m,\unicode[STIX]{x1D707})={\mathcal{Z}}(F_{m,\unicode[STIX]{x1D707}})$ with a Green function
which is defined at every point of ${\mathcal{M}}(\mathbb{C})$ , but is discontinuous at points of the divisor ${\mathcal{Z}}(m,\unicode[STIX]{x1D707})$ . The corresponding arithmetic divisor is denoted
From the arithmetic divisor (5.4) we will construct a new arithmetic divisor
called the specialization to the normal bundle. Fix a cover of ${\mathcal{M}}$ by sufficiently small étale open charts. Given a chart $U\rightarrow {\mathcal{M}}$ in the cover, fix a connected component $Y\subset {\mathcal{Y}}_{U}$ and decompose ${\mathcal{Z}}(m,\unicode[STIX]{x1D707})_{U}=\bigsqcup Z$ as the union of its connected components. By refining our cover, we may assume that each closed subscheme $Z\rightarrow U$ is defined by a single equation $f_{Z}=0$ .
Lemma 5.2.5. For every connected component $Z\subset {\mathcal{Z}}(m,\unicode[STIX]{x1D707})_{U}$ the intersection
satisfies one of the following (mutually exclusive) properties.
-
(i) The intersection $Y\cap Z$ has dimension $0$ , and $f_{Z}$ restricts to a non-zero section of ${\mathcal{O}}_{U}/I$ .
-
(ii) The intersection $Y\cap Z$ equals $Y$ , and $f_{Z}$ defines a section of $I\subset {\mathcal{O}}_{U}$ with non-zero image under the natural map $I/I^{2}\rightarrow \text{}\underline{\text{Hom}}(N_{U}Y,{\mathcal{O}}_{Y}).$
Proof. As $Y$ is an integral scheme of dimension $1$ , its closed subscheme $Y\cap Z$ is either all of $Y$ or of dimension $0$ . Given this, the only non-trivial thing to check is that when $Y\cap Z=Y$ , the image of $f_{Z}$ under $I/I^{2}\rightarrow \text{}\underline{\text{Hom}}(N_{U}Y,{\mathcal{O}}_{Y})$ is non-zero. This can be checked after restricting to the complex fiber, where it follows from the smoothness of the divisor $Z(\mathbb{C})$ on $U(\mathbb{C})$ . This smoothness can be checked using the complex uniformization (2.4).◻
If $Y\cap Z$ has dimension $0$ , then restricting $f_{Z}$ to $Y$ and pulling back via $N_{Y}U\rightarrow Y$ results in a function $\unicode[STIX]{x1D70E}(f_{Z})$ on $N_{Y}U$ , which is homogeneous of degree $0$ . On the other hand, if $Y\cap Z=Y$ then the image of $f_{Z}$ in $\text{}\underline{\text{Hom}}(N_{U}Y,{\mathcal{O}}_{Y})$ defines a function $\unicode[STIX]{x1D70E}(f_{Z})$ on $N_{U}Y$ , which is homogeneous of degree $1$ . In either case, define an effective Cartier divisor on $N_{Y}U$ by
The function
initially defined on the complex fiber of $U\smallsetminus {\mathcal{Z}}(m,\unicode[STIX]{x1D707})_{U}$ , extends smoothly to all of $U(\mathbb{C})$ . By restricting to ${\mathcal{Y}}(\mathbb{C})$ and then pulling back via (5.3) we obtain a smooth function $\unicode[STIX]{x1D70B}^{\ast }i^{\ast }\unicode[STIX]{x1D719}_{m,\unicode[STIX]{x1D707}}$ on $(N_{Y}U)(\mathbb{C})$ . Define $\unicode[STIX]{x1D70E}(\unicode[STIX]{x1D6F7}_{m,\unicode[STIX]{x1D707}})$ by the relation
The resulting arithmetic divisor
does not depend on the choice of $f_{Z}$ used in its construction. Using étale descent these arithmetic divisors glue together to form the desired arithmetic divisor (5.5).
Proposition 5.2.6. The composition
sends the metrized line bundle defined by $\widehat{{\mathcal{Z}}}(m,\unicode[STIX]{x1D707})$ to the metrized line bundle defined by $\unicode[STIX]{x1D70E}(\widehat{{\mathcal{Z}}}(m,\unicode[STIX]{x1D707}))$ .
Proof. Let $U\rightarrow {\mathcal{M}}$ be a sufficiently small étale open chart, and write
as the union of its connected components. Each connected component determines a line bundle ${\mathcal{O}}(Z)=f_{Z}^{-1}{\mathcal{O}}_{U}$ , and
as line bundles on $U$ .
Let $\unicode[STIX]{x1D70B}^{\ast }i^{\ast }{\mathcal{O}}(Z)$ be the pullback of ${\mathcal{O}}(Z)$ via $N_{Y}U\xrightarrow[{}]{\unicode[STIX]{x1D70B}}Y\xrightarrow[{}]{i}U.$ If we denote by $s_{Z}$ the constant function $1$ on $U$ viewed as a section of ${\mathcal{O}}(Z)$ , then
is a non-zero section of $\unicode[STIX]{x1D70B}^{\ast }i^{\ast }{\mathcal{O}}(Z)$ , and does not depend on the choice of $f_{Z}$ . The tensor product $\unicode[STIX]{x1D70E}(s)=\otimes \unicode[STIX]{x1D70E}(s_{Z})$ over all $Z$ is a global section of the metrized line bundle $\unicode[STIX]{x1D70B}^{\ast }i^{\ast }\widehat{{\mathcal{Z}}}(m,\unicode[STIX]{x1D707})_{U}$ , and these section glue together over an étale cover of ${\mathcal{M}}$ to define a global section $\unicode[STIX]{x1D70E}(s)$ of $\unicode[STIX]{x1D70B}^{\ast }i^{\ast }\widehat{{\mathcal{Z}}}(m,\unicode[STIX]{x1D707})$ .
Tracing through the definitions shows that $\widehat{\text{div}}(\unicode[STIX]{x1D70E}(s))=\unicode[STIX]{x1D70E}(\widehat{{\mathcal{Z}}}(m,\unicode[STIX]{x1D707})),$ as arithmetic divisors, and so
as metrized line bundles. ◻
Remark 5.2.7. The construction (5.5) and Proposition 5.2.6 will be our main tools for computing improper intersections. The technique is based on the thesis of Hu [Reference HuHu99], which reconstructs the arithmetic intersection theory of Gillet and Soulé [Reference Gillet and SouléGS90] using Fulton’s method of deformation to the normal cone.
Letting $C_{{\mathcal{Y}}}{\mathcal{M}}$ denote the normal cone of ${\mathcal{Y}}$ in ${\mathcal{M}}$ , HuFootnote 4 constructs a specialization to the normal cone map
and shows that
for any arithmetic divisor $\widehat{{\mathcal{Z}}}$ . Here the intersection pairing on the right is defined using the canonical closed immersion ${\mathcal{Y}}\rightarrow C_{{\mathcal{Y}}}{\mathcal{M}}$ .
The normal bundle $N_{{\mathcal{Y}}}{\mathcal{M}}$ is essentially a first order approximation to $C_{{\mathcal{Y}}}{\mathcal{M}}$ , and our construction (5.5) and Proposition 5.2.6 amount to truncating Hu’s theory to first order. In order to use this to compute arithmetic intersections, it is essential to know that our divisors satisfy Lemma 5.2.5, which says, loosely speaking, that the functions $f_{Z}$ vanish along $Y$ to at most order $1$ . This guarantees that the specialization (5.5) to the normal bundle does not lose too much information about the divisor ${\mathcal{Z}}(m,\unicode[STIX]{x1D707})$ .
To be clear: we are exploiting here a special property of the divisors ${\mathcal{Z}}(m,\unicode[STIX]{x1D707})$ and their relative positions with respect to ${\mathcal{Y}}$ . It would not be very useful to define the specialization (5.5) for an arbitrary divisor on ${\mathcal{M}}$ , as truncating Hu’s specialization map to first order would lose essential higher order information.
5.3 The cotautological bundle
Recall from (2.10) the vector bundle $\boldsymbol{V}_{\text{dR}}$ on ${\mathcal{M}}$ with its isotropic line $\boldsymbol{V}_{\text{dR}}^{1}$ , and from (4.3) the line bundle $\boldsymbol{V}_{0,\text{dR}}$ on ${\mathcal{Y}}$ . Proposition 4.6.1 implies that $\boldsymbol{V}_{0,\text{dR}}\subset i^{\ast }\boldsymbol{V}_{\text{dR}}$ in such a way that $\boldsymbol{V}_{0,\text{dR}}^{1}=i^{\ast }\boldsymbol{V}_{\text{dR}}^{1}$ .
Denote by $\boldsymbol{T}=(\boldsymbol{V}_{\text{dR}}^{1})^{\vee }$ and $\boldsymbol{T}_{0}=(\boldsymbol{V}_{0,\text{dR}}^{1})^{\vee }$ the cotautological bundles on ${\mathcal{M}}$ and ${\mathcal{Y}}$ , respectively, so that $\boldsymbol{T}_{0}=i^{\ast }\boldsymbol{T}$ . Under the complex uniformization $\unicode[STIX]{x1D6E4}_{g}\backslash {\mathcal{D}}\rightarrow {\mathcal{M}}(\mathbb{C})$ of (2.3) the fiber of $\boldsymbol{V}_{\text{dR}}^{1}$ at $z\in {\mathcal{D}}$ is identified with the tautological line $\mathbb{C}z\subset V_{\mathbb{C}}$ , which we endow with the metric
Here, as before, $\unicode[STIX]{x1D6FE}=-\unicode[STIX]{x1D6E4}^{\prime }(1)$ is the Euler–Mascheroni constant. Dualizing, we obtain a metric on the cotautological bundle, and the resulting metrized line bundle is denoted
We endow $\boldsymbol{T}_{0}$ with the unique metric for which
Proposition 5.3.1. The metrized cotautological bundle satisfies
Proof. This is virtually identical to the proof of [Reference Bruinier, Howard and YangBHY15, Theorem 6.4], and so we only give an outline. Let ${\mathcal{E}}\rightarrow {\mathcal{Y}}$ be the universal ${\mathcal{O}}_{\boldsymbol{k}}$ -elliptic curve. If we endow the ${\mathcal{O}}_{{\mathcal{Y}}}$ -module $\text{Lie}({\mathcal{E}})$ with the Faltings metric, the Chowla–Selberg formula implies
Now view $L_{0}$ as an ${\mathcal{O}}_{\boldsymbol{k}}$ -module through left multiplication, and endow the corresponding line bundle $\boldsymbol{L}_{0}$ on $\text{Spec}({\mathcal{O}}_{\boldsymbol{k}})$ with the metric
Pulling back $\boldsymbol{L}_{0}$ to ${\mathcal{Y}}$ via the structure morphism yields a metrized line bundle $\widehat{\boldsymbol{L}}_{0}$ on ${\mathcal{Y}}$ satisfying
By keeping track of the metrics, the isomorphism (4.4) defines an isomorphism of metrized line bundles
on ${\mathcal{Y}}$ , and the claim follows.◻
Comparing with Proposition 3.3.1 proves the following.
Corollary 5.3.2. The coefficient $a_{L_{0}}^{+}(0)\in \mathfrak{S}_{L_{0}}^{\vee }$ satisfies
for every $\unicode[STIX]{x1D707}\in L_{0}^{\vee }/L_{0}$ .
5.4 The normal bundle at CM points
Consider the orthogonal complement $(\boldsymbol{V}_{0,\text{dR}}^{1})^{\bot }\subset i^{\ast }\boldsymbol{V}_{\text{dR}}$ . Since ${\mathcal{Y}}$ is regular of dimension $1$ , this complement is torsion-free and is therefore a vector sub-bundle of $i^{\ast }\boldsymbol{V}_{\text{dR}}$ of co-rank one. (Note that the corresponding assertion over ${\mathcal{M}}$ may not be true; the orthogonal complement of $\boldsymbol{V}_{\text{dR}}^{1}$ in $\boldsymbol{V}_{\text{dR}}$ will in general not be a vector bundle unless $L$ is unimodular.)
Set $\text{Fil}^{0}i^{\ast }\boldsymbol{V}_{\text{dR}}=(\boldsymbol{V}_{0,\text{dR}}^{1})^{\bot }$ and $\text{gr}_{\text{Fil}}^{0}i^{\ast }\boldsymbol{V}_{\text{dR}}=\text{Fil}^{0}i^{\ast }\boldsymbol{V}_{\text{dR}}/\boldsymbol{V}_{0,\text{dR}}^{1}$ .
Proposition 5.4.1. There is a canonical isomorphism of ${\mathcal{O}}_{{\mathcal{Y}}}$ -modules
In particular, the normal bundle is locally free of rank $n$ , and is therefore relatively representable over ${\mathcal{Y}}$ .
Proof. Fix a sufficiently small étale open chart $U\rightarrow {\mathcal{M}}$ , and let $Y\subset {\mathcal{Y}}_{U}$ be a connected component. Let $Y[\unicode[STIX]{x1D700}]=Y\times _{\mathbb{Z}}\text{Spec}(\mathbb{Z}[\unicode[STIX]{x1D700}])$ be the scheme of dual numbers relative to $Y$ , and let $\text{Def}_{i}$ be the Zariski sheaf of infinitesimal deformations of $i:Y\rightarrow U$ . By this we mean the sheaf associating to an open subscheme $S\subset Y$ the set $\text{Def}_{i}(S)$ of morphisms $j_{S}:S[\unicode[STIX]{x1D700}]\rightarrow U$ such that $j_{S}|_{S}=i_{S}$ . Here we are writing $i_{S}$ for the inclusion $S{\hookrightarrow}Y{\hookrightarrow}U$ .
Lemma 5.4.2. There is a canonical isomorphism of functors
Proof. The morphism (5.9) is defined in the usual way: every $j_{S}\in \text{Def}_{i}(S)$ defines a map ${\mathcal{O}}_{U}/I^{2}\rightarrow {\mathcal{O}}_{S}[\unicode[STIX]{x1D700}]$ , whose restriction
defines an element of $(N_{Y}U)(S)$ .
To construct an inverse to (5.9), first recall that ${\mathcal{Y}}$ is formally étale over ${\mathcal{O}}_{\boldsymbol{k}}$ . This implies that the surjection ${\mathcal{O}}_{U}/I^{2}\rightarrow {\mathcal{O}}_{Y}$ admits a canonical section, and so
as sheaves of rings on ${\mathcal{O}}_{Y}$ . Any $S$ -point $s\in (N_{Y}U)(S)$ therefore defines a homomorphism
which in turn determines a deformation $j_{S}:S[\unicode[STIX]{x1D716}]\rightarrow U$ of $i_{S}$ .◻
Lemma 5.4.3. There is a canonical isomorphism
of sheaves of sets on $Y$ .
Proof. Let $S\subset Y$ be an open subscheme, and let $j_{S}\in \text{Def}_{i}(S)$ . The pullback $j_{S}^{\ast }\boldsymbol{V}_{\text{dR}}$ is a locally free sheaf of ${\mathcal{O}}_{S[\unicode[STIX]{x1D700}]}$ -modules of rank $n+2$ , endowed with an ${\mathcal{O}}_{S[\unicode[STIX]{x1D700}]}$ -submodule $j_{S}^{\ast }\boldsymbol{V}_{\text{dR}}^{1}$ of rank one, locally a direct summand. As $\boldsymbol{V}_{\text{dR}}$ is a vector bundle with integrable connection, the retraction $S[\unicode[STIX]{x1D700}]\rightarrow S$ induces a canonical isomorphism
We claim that, under this isomorphism, $j_{S}^{\ast }\boldsymbol{V}_{\text{dR}}^{1}$ maps into $\text{Fil}^{0}i_{S}^{\ast }\boldsymbol{V}_{\text{dR}}\otimes _{{\mathcal{O}}_{S}}{\mathcal{O}}_{S[\unicode[STIX]{x1D700}]}$ ; in other words, the image of $j_{S}^{\ast }\boldsymbol{V}_{\text{dR}}^{1}$ is orthogonal to $i_{S}^{\ast }\boldsymbol{V}_{\text{dR}}^{1}\otimes _{{\mathcal{O}}_{S}}{\mathcal{O}}_{S[\unicode[STIX]{x1D700}]}$ . This is easily deduced from the fact that both this image and $i_{S}^{\ast }\boldsymbol{V}_{\text{dR}}^{1}\otimes _{{\mathcal{O}}_{S}}{\mathcal{O}}_{S[\unicode[STIX]{x1D700}]}$ are isotropic lines lifting $i_{S}^{\ast }\boldsymbol{V}_{\text{dR}}^{1}$ .
Consider the composition
The reduction of this map modulo $(\unicode[STIX]{x1D700})$ is $0$ , and therefore it must factor through a map
Thus, we have produced a canonical morphism
To show that this is an isomorphism, we can, by Proposition 2.4.3 and the above discussion of local models, assume that the immersion $Y\subset U$ is isomorphic to an étale neighborhood of the closed immersion $\text{M}^{\text{loc}}(L_{0}){\hookrightarrow}\text{M}^{\text{loc}}(L)$ . Moreover, we can choose this isomorphism in such a way that it identifies $\boldsymbol{V}_{0,\text{dR}}$ and $\boldsymbol{V}_{\text{dR}}$ with the trivial vector bundles $\mathbf{1}\otimes L_{0}$ and $\mathbf{1}\otimes L$ , respectively, and such that $\boldsymbol{V}_{0,\text{dR}}^{1}$ and $\boldsymbol{V}_{\text{dR}}^{1}$ get identified with the tautological isotropic lines in $\mathbf{1}\otimes L_{0}$ and $\mathbf{1}\otimes L$ , respectively.
So, if $\boldsymbol{L}_{0}^{1}\subset \mathbf{1}\otimes L_{0}$ is the tautological isotropic line over $\text{M}^{\text{loc}}(L_{0})$ , and $\boldsymbol{L}^{0}\subset \mathbf{1}\otimes L$ is its orthogonal complement, we are reduced to showing the elementary fact that there is a canonical isomorphism
of Zariski sheaves over $\text{M}^{\text{loc}}(L_{0})$ . We leave this as an exercise to the reader.◻
The proof of Proposition 5.4.1 now follows by combining Lemmas (5.4.2) and (5.4.3) and glueing over an étale cover of ${\mathcal{M}}$ .◻
We will have use for the following composition:
Here, the map on the right is induced by the natural map
Note that this last map is an isomorphism over the generic fiber of ${\mathcal{Y}}$ . Indeed, it amounts to knowing that the inclusion $\boldsymbol{V}_{0,\text{dR}}+\text{Fil}^{0}i^{\ast }\boldsymbol{V}_{\text{dR}}\subset i^{\ast }\boldsymbol{V}_{\text{dR}}$ is an isomorphism over the generic fiber. This follows from the self-duality of the quadratic form on $\boldsymbol{V}_{\text{dR},M}$ .
On the other hand, over the generic fiber, the map $\boldsymbol{\unicode[STIX]{x1D6EC}}_{\text{dR}}\rightarrow i^{\ast }\boldsymbol{V}_{\text{dR}}/\boldsymbol{V}_{\text{dR}}^{0}$ is also an isomorphism. Therefore, for any point $y\in {\mathcal{Y}}(\mathbb{C})$ , (5.10) induces a canonical isomorphism
We will now give an explicit description of this isomorphism. To begin, $y$ determines an isotropic line $\mathbb{C}y\subset L_{\mathbb{C}}$ , whose dual can be naturally identified with the fiber $\boldsymbol{T}_{0,y}$ of $\boldsymbol{T}_{0}$ at $y$ . The construction of the isomorphism (5.11) proceeded by choosing an appropriate local trivialization of $\boldsymbol{V}_{\text{dR}}$ . In an analytic neighborhood of $y$ , this simply means that we choose a local section $U\rightarrow {\mathcal{D}}$ of the complex analytic uniformization carrying $y$ to $\mathbb{C}y$ .
Note that ${\mathcal{D}}$ is contained in the complex quadric $\text{M}^{\text{loc}}(L_{\mathbb{C}})$ . We therefore see that it is enough to describe the induced isomorphism:
Here, $T_{\mathbb{C}y}{\mathcal{D}}$ is the tangent space of ${\mathcal{D}}$ at $\mathbb{C}y$ .
We consider the local immersion
which carries a section $\unicode[STIX]{x1D709}$ to the isotropic line spanned by
This carries $0$ to $\mathbb{C}y$ , and the derivative at $0$ is exactly the inverse to (5.12).
5.5 Specialization of the Green function
Suppose we have a complex point $y\in {\mathcal{Y}}(\mathbb{C})$ . Under the uniformization
of § 4.2, the point $y$ is represented by a pair $(\boldsymbol{h}_{0},g)$ with
and so its image in ${\mathcal{M}}(\mathbb{C})$ lies on the component $\unicode[STIX]{x1D6E4}_{g}\backslash {\mathcal{D}}$ of (2.3). Here $G=\text{GSpin}(L)$ . By mild abuse of notation we also let $\mathbb{C}y\in {\mathcal{D}}$ denote the isotropic line corresponding to the oriented negative plane $\boldsymbol{h}_{0}=L_{0\mathbb{R}}$ , so that $\mathbb{C}y$ is a lift of $y$ under ${\mathcal{D}}\rightarrow {\mathcal{M}}(\mathbb{C}),$ and $L_{\mathbb{C}}=\mathbb{C}y\oplus \mathbb{C}\overline{y}\oplus \unicode[STIX]{x1D6EC}_{\mathbb{C}}$ .
From (2.4), we find that a neighborhood of $y$ admits a complex analytic uniformization
The components ${\mathcal{D}}(x)$ passing through $\mathbb{C}y$ are precisely those for which $x$ is orthogonal to $y$ . But, since $x$ is rational, this is equivalent to requiring that $x$ be orthogonal to both $y$ and $\overline{y}$ ; or, in other words, that $x$ lies in $\unicode[STIX]{x1D6EC}^{\vee }$ .
As the orthogonal transformation $g\in \text{SO}(L\otimes \mathbb{A}_{f})$ acts trivially on the direct summand $\unicode[STIX]{x1D6EC}\otimes \mathbb{A}_{f}$ , we see that such $x$ in fact lie in $\unicode[STIX]{x1D707}+L$ . This shows that in a small enough analytic neighborhood $U$ of $\mathbb{C}y$ there is an isomorphism of divisors
where
Recall that each isotropic line $\mathbb{C}z\in {\mathcal{D}}$ corresponds to a negative plane $\boldsymbol{h}_{z}\subset V_{\mathbb{R}}$ . For each $\unicode[STIX]{x1D706}\in \unicode[STIX]{x1D6EC}_{m,\unicode[STIX]{x1D707}}$ let $\unicode[STIX]{x1D706}_{z}\in V_{\mathbb{R}}$ be the orthogonal projection of $\unicode[STIX]{x1D706}$ to $\boldsymbol{h}_{z}$ . Simple linear algebra gives
Define a function on $U\smallsetminus {\mathcal{Z}}(m,\unicode[STIX]{x1D707})(\mathbb{C})$ by
Recall that the function $\unicode[STIX]{x1D6F7}_{m,\unicode[STIX]{x1D707}}(z)$ is defined, but discontinuous, at $z=y$ . The following proposition gives us a method of computing the value of this function at the discontinuity $z=y$ .
Proposition 5.5.1. The function $\unicode[STIX]{x1D6F7}_{m,\unicode[STIX]{x1D707}}^{\text{reg}}$ extends smoothly to all of $U$ , and this extension satisfies
Proof. Let $\unicode[STIX]{x1D70F}=u+iv\in {\mathcal{H}}$ be the variable on the upper half-plane. The function $\unicode[STIX]{x1D6F7}_{m,\unicode[STIX]{x1D707}}(z)$ is defined, as in [Reference Bruinier and YangBY09, (4.8)], as the constant term of the Laurent expansion at $s=0$ of
where
Now substitute the definition [Reference Bruinier and YangBY09, (2.4)] of $\unicode[STIX]{x1D703}_{L}(\unicode[STIX]{x1D70F},z)$ and the Fourier expansion of $F_{m,\unicode[STIX]{x1D707}}$ into (5.14), and argue as in [Reference BorcherdsBor98, Theorem 6.2]. Using the decomposition $F_{m,\unicode[STIX]{x1D707}}=F_{m,\unicode[STIX]{x1D707}}^{+}+F_{m,\unicode[STIX]{x1D707}}^{-}$ of [Reference Bruinier and YangBY09, (3.4a) and (3.4b)] and the rapid decay as $v\rightarrow \infty$ of the Fourier coefficients of $F_{m,\unicode[STIX]{x1D707}}^{-}$ , we find
for some smooth function $\unicode[STIX]{x1D711}_{m,\unicode[STIX]{x1D707}}$ on $U$ , where $\text{CT}_{s=0}$ means take the constant term at $s=0$ .
Each $\unicode[STIX]{x1D706}\in \unicode[STIX]{x1D6EC}_{m,\unicode[STIX]{x1D707}}$ is orthogonal to $y$ , and so $Q(\unicode[STIX]{x1D706}_{y})=0$ . Thus setting $z=y$ in (5.15) and computing the constant term at $s=0$ shows that
On the other hand, for any $z\in U\smallsetminus {\mathcal{Z}}(m,\unicode[STIX]{x1D707})(\mathbb{C})$ we have $Q(\unicode[STIX]{x1D706}_{z})<0$ for every $\unicode[STIX]{x1D706}\in \unicode[STIX]{x1D6EC}_{m,\unicode[STIX]{x1D707}}$ , and so
where
Comparing (5.16) with (5.17) shows that
up to a smooth function on $U$ , vanishing at $z=y$ . Adding this equality to (5.15) proves that
up to a smooth function vanishing at $z=y$ , and completes the proof.◻
For any $y\in {\mathcal{Y}}(\mathbb{C})$ , we have a canonical isomorphism (see (5.11))
For each $\unicode[STIX]{x1D706}\in \unicode[STIX]{x1D6EC}_{m,\unicode[STIX]{x1D707}}$ , define a function $\unicode[STIX]{x1D6F7}_{\unicode[STIX]{x1D706}}$ on $\text{Hom}(\mathbb{C}y,\unicode[STIX]{x1D6EC}_{\mathbb{C}})$ by
This function has a logarithmic singularity along the hyperplane $(\mathbb{C}y)^{\vee }\otimes \unicode[STIX]{x1D706}^{\bot }$ . Letting $y$ vary over ${\mathcal{Y}}(\mathbb{C})$ yields a function $\unicode[STIX]{x1D6F7}_{\unicode[STIX]{x1D706}}$ on the vector bundle $(N_{{\mathcal{Y}}}{\mathcal{M}})(\mathbb{C})$ having a logarithmic singularity along a sub-bundle of hyperplanes.
Proposition 5.5.2. The Green function $\unicode[STIX]{x1D70E}(\unicode[STIX]{x1D6F7}_{m,\unicode[STIX]{x1D707}})$ defined by (5.7) satisfies
where $\unicode[STIX]{x1D70B}^{\ast }i^{\ast }\unicode[STIX]{x1D6F7}_{m,\unicode[STIX]{x1D707}}$ denotes the pullback of $\unicode[STIX]{x1D6F7}_{m,\unicode[STIX]{x1D707}}$ via
Proof. As above, fix a point $y\in {\mathcal{Y}}(\mathbb{C})$ and let $U\subset {\mathcal{D}}$ be a neighborhood of the isotropic line $\mathbb{C}y\subset L_{\mathbb{C}}$ . As in § 5.4, we can define a holomorphic local immersion
by sending $\unicode[STIX]{x1D709}$ to the $\mathbb{C}$ -span of
As we saw at the end of § 5.4, the induced isomorphism on tangent spaces
agrees with the isomorphism of (5.18).
From now on we use the above map to identify $U$ with an open neighborhood of the origin of $(\mathbb{C}y)^{\vee }\otimes \unicode[STIX]{x1D6EC}_{\mathbb{C}}$ . Each divisor ${\mathcal{D}}(\unicode[STIX]{x1D706})\cap U$ appearing in (5.13) is identified with the zero locus of
This function is already linear, and so when we apply the construction $f_{\unicode[STIX]{x1D706}}\mapsto \unicode[STIX]{x1D70E}(f_{\unicode[STIX]{x1D706}})$ of the discussion preceding (5.7) and identify $(\mathbb{C}y)^{\vee }\otimes \unicode[STIX]{x1D6EC}_{\mathbb{C}}$ with its own tangent space at the origin, we obtain
Thus $-\text{log}|\unicode[STIX]{x1D70E}(f_{\unicode[STIX]{x1D706}})|^{2}=\unicode[STIX]{x1D6F7}_{\unicode[STIX]{x1D706}}.$
If we define a smooth function on $U$ by
then directly from the definition (5.7) and the paragraph above we see that
Now use $\unicode[STIX]{x1D719}_{m,\unicode[STIX]{x1D707}}(y)=\unicode[STIX]{x1D6F7}_{m,\unicode[STIX]{x1D707}}^{\text{reg}}(y)=\unicode[STIX]{x1D6F7}_{m,\unicode[STIX]{x1D707}}(y)$ to complete the proof.◻
5.6 The calculation of the pullback
Recall that the Kuga–Satake abelian scheme ${\mathcal{A}}\rightarrow {\mathcal{M}}$ restricts to the abelian scheme
over ${\mathcal{Y}}$ , where ${\mathcal{E}}\rightarrow {\mathcal{Y}}$ is the universal elliptic curve.
By Proposition 4.6.3, every $\unicode[STIX]{x1D706}\in \unicode[STIX]{x1D6EC}_{m,\unicode[STIX]{x1D707}}$ determines a canonical special endomorphism $\boldsymbol{\ell }_{\unicode[STIX]{x1D706}}\in V_{\unicode[STIX]{x1D707}}({\mathcal{A}}_{{\mathcal{Y}}})$ , and the pair $({\mathcal{A}}_{{\mathcal{Y}}},\boldsymbol{\ell }_{\unicode[STIX]{x1D706}})$ is a ${\mathcal{Y}}$ -valued point of ${\mathcal{Z}}(m,\unicode[STIX]{x1D707})$ . The corresponding map ${\mathcal{Y}}\rightarrow {\mathcal{Z}}(m,\unicode[STIX]{x1D707})$ is finite and unramified, and so we may define an ${\mathcal{O}}_{{\mathcal{Y}}}$ -submodule
of $N_{{\mathcal{Y}}}{\mathcal{M}}$ in exactly the same way that $N_{{\mathcal{Y}}}{\mathcal{M}}$ was defined.
Proposition 4.6.1 provides us with a canonical morphism $\unicode[STIX]{x1D6EC}\rightarrow i^{\ast }\boldsymbol{V}_{\text{dR}}$ such that $\unicode[STIX]{x1D6EC}^{\bot }=\boldsymbol{V}_{0,\text{dR}}\subset i^{\ast }\boldsymbol{V}_{\text{dR}}$ . Thus, the bilinear pairing on $i^{\ast }\boldsymbol{V}_{\text{dR}}$ gives us a map
of vector bundles over ${\mathcal{Y}}$ . This map is injective, and using local trivializations, one sees that its image is identified precisely with the inclusion
This latter inclusion is the natural one induced by the bilinear pairing on $L$ .
Now, by definition, $\unicode[STIX]{x1D6EC}_{m,\unicode[STIX]{x1D707}}$ is contained in $(L/L_{0})^{\vee }\subset L^{\vee }$ . Therefore, we obtain a morphism,
of ${\mathcal{O}}_{{\mathcal{Y}}}$ -modules.
Here is another way to describe this morphism. Recall from § 4.6 that we have a canonical $T$ -torsor over ${\mathcal{Y}}$ parameterizing ${\mathcal{O}}_{\boldsymbol{k}}$ -equivariant trivializations of $\boldsymbol{H}_{0,\text{dR}}^{+}$ . Using this torsor of local trivializations, we get a canonical functor from representations of $T$ to vector bundles over ${\mathcal{Y}}$ with integrable connection.
The map $[\,\cdot \,,\unicode[STIX]{x1D706}]$ is now simply obtained by applying this functor to the $T$ -invariant functional $L/L_{0}\rightarrow \mathbb{Z}$ given by pairing with $\unicode[STIX]{x1D706}$ . In particular, if $t_{\text{dR}}(\boldsymbol{\ell }_{\unicode[STIX]{x1D706}})$ is the de Rham realization of $\boldsymbol{\ell }_{\unicode[STIX]{x1D706}}$ (it is a section of $i_{S}^{\ast }\boldsymbol{V}_{\text{dR}}^{\vee }$ ), we find that functionals
and
are identical.
Proposition 5.6.1. Fix any $\unicode[STIX]{x1D706}\in \unicode[STIX]{x1D6EC}_{m,\unicode[STIX]{x1D707}}$ .
-
(i) The divisor ${\mathcal{Z}}_{\unicode[STIX]{x1D706}}$ is canonically identified with the kernel of
$$\begin{eqnarray}N_{{\mathcal{Y}}}{\mathcal{M}}\xrightarrow[{}]{(5.10)}\boldsymbol{T}_{0}\otimes (i^{\ast }\boldsymbol{V}_{\text{dR}}/\boldsymbol{V}_{0,\text{dR}})\xrightarrow[{}]{[\cdot ,\unicode[STIX]{x1D706}]}\boldsymbol{T}_{0}.\end{eqnarray}$$ -
(ii) The metrized line bundle $\unicode[STIX]{x1D70B}^{\ast }\widehat{\boldsymbol{T}}_{0}$ is represented by the arithmetic divisor
$$\begin{eqnarray}({\mathcal{Z}}_{\unicode[STIX]{x1D706}},\unicode[STIX]{x1D6F7}_{\unicode[STIX]{x1D706}})\in \widehat{\text{Div}}(N_{{\mathcal{Y}}}{\mathcal{M}}).\end{eqnarray}$$
Proof. We work over a sufficiently small étale neighborhood $Y\subset U$ of ${\mathcal{Y}}\rightarrow {\mathcal{M}}$ . Suppose that we are given an open subspace $S\subset Y$ and $j_{S}\in \text{Def}_{i}(S)$ . By the construction of the map (5.10), to prove the first claim, we have to show that $\boldsymbol{\ell }_{\unicode[STIX]{x1D706}}$ lifts to an element in $V_{\unicode[STIX]{x1D707}}(j_{S}^{\ast }{\mathcal{A}})$ if and only if the composition
is identically $0$ . This follows from Lemma 2.7.5 and the identification we made above of $[\,\cdot \,,\unicode[STIX]{x1D706}]$ with pairing against $t_{\text{dR}}(\boldsymbol{\ell }_{\unicode[STIX]{x1D706}})$ .
The second claim follows from the first, as the map $[\,\cdot \,,\unicode[STIX]{x1D706}]:N_{{\mathcal{Y}}}{\mathcal{M}}\rightarrow \boldsymbol{T}_{0}$ defines a section $s_{\unicode[STIX]{x1D706}}$ of $\unicode[STIX]{x1D70B}^{\ast }\boldsymbol{T}_{0}$ with $\widehat{\text{div}}(s_{\unicode[STIX]{x1D706}})=({\mathcal{Z}}_{\unicode[STIX]{x1D706}},\unicode[STIX]{x1D6F7}_{\unicode[STIX]{x1D706}}).$ Indeed, using the notation of (5.18), the norm of this section at a complex point $\unicode[STIX]{x1D709}\in (N_{{\mathcal{Y}}}{\mathcal{M}})_{y}$ in the fiber over $y\in {\mathcal{Y}}(\mathbb{C})$ is
where the second equality is by definition (5.8) of the metric on $\widehat{\boldsymbol{T}}_{0}$ .◻
As in [Reference Bruinier, Howard and YangBHY15, § 7.3], we define a new metrized line bundle
Proposition 5.6.2. The image of $\widehat{{\mathcal{Z}}}^{\heartsuit }(m,\unicode[STIX]{x1D707})$ under the pullback
is represented by the arithmetic divisor
Proof. By Proposition 4.6.4 there is a decomposition of ${\mathcal{Y}}$ -stacks
Using Remark 4.6.5 we may therefore decompose
where
is a ${\mathcal{Y}}$ -stack of dimension $0$ . Moreover, the induced map
determines, for each $\unicode[STIX]{x1D706}\in \unicode[STIX]{x1D6EC}_{m,\unicode[STIX]{x1D707}}$ , a map ${\mathcal{Y}}\rightarrow {\mathcal{Z}}(m,\unicode[STIX]{x1D707})$ , which is none other than the map used in the definition (5.19) of ${\mathcal{Z}}_{\unicode[STIX]{x1D706}}$ .
Over a sufficiently small étale open chart $U\rightarrow {\mathcal{M}}$ we may fix a connected component $Y\subset {\mathcal{Y}}_{U}$ , and decompose
where $Z^{\text{prop}}$ is the union of all connected components $Z\subset {\mathcal{Z}}(m,\unicode[STIX]{x1D707})_{U}$ for which $Z\cap Y$ has dimension $0$ . If we apply the specialization to the normal bundle construction of (5.6) separately to $Z^{\text{prop}}$ and to each of the $\#\unicode[STIX]{x1D6EC}_{m,\unicode[STIX]{x1D707}}$ copies of $Y$ , and then glue over an étale cover, we find the equality
of divisors on $N_{{\mathcal{Y}}}{\mathcal{M}}$ .
By Propositions 5.2.6 and 5.6.1 the image of $\widehat{{\mathcal{Z}}}^{\heartsuit }(m,\unicode[STIX]{x1D707})$ under
is
and Proposition 5.5.2 and (5.20) allow us to rewrite this as an equality of metrized line bundles
on $N_{{\mathcal{Y}}}{\mathcal{M}}$ . Pulling back by the zero section ${\mathcal{Y}}\rightarrow N_{{\mathcal{Y}}}{\mathcal{M}}$ yields an isomorphism
of metrized line bundles on ${\mathcal{Y}}$ .◻
5.7 The main result
We are now ready to prove our main result. For the reader’s convenience, we review the dramatis personae.
The lattices $L_{0}\oplus \unicode[STIX]{x1D6EC}\subset L$ determine a finite and unramified morphism of stacks ${\mathcal{Y}}\rightarrow {\mathcal{M}}$ over ${\mathcal{O}}_{\boldsymbol{k}}$ , and hence a linear functional
defined in § 5.1.
Fix a weak harmonic Maass form $f(\unicode[STIX]{x1D70F})\in H_{1-n/2}(\unicode[STIX]{x1D714}_{L})$ . The holomorphic part
is a formal $q$ -expansion valued in the finite-dimensional vector space $\mathfrak{S}_{L}$ of complex functions on $L^{\vee }/L$ . We assume that $f^{+}$ has integral principal part, so that the constructions of § 3.2 provide us with an arithmetic divisor
We also have, from § 5.3, the metrized cotautological bundle
Recalling the Bruinier–Funke differential operator
from (3.1), we may form the convolution $L$ -function $L(\unicode[STIX]{x1D709}(f),\unicode[STIX]{x1D6E9}_{\unicode[STIX]{x1D6EC}},s)$ of $\unicode[STIX]{x1D709}(f)$ with the theta series $\unicode[STIX]{x1D6E9}_{\unicode[STIX]{x1D6EC}}(\unicode[STIX]{x1D70F})\in M_{n/2}(\unicode[STIX]{x1D714}_{\unicode[STIX]{x1D6EC}}^{\vee })$ of § 3.3. The convolution $L$ -function vanishes at $s=0$ , the center of the functional equation.
Recall the $\mathfrak{S}_{L_{0}\oplus \unicode[STIX]{x1D6EC}}$ -valued formal $q$ -expansion ${\mathcal{E}}_{L_{0}}\otimes \unicode[STIX]{x1D6E9}_{\unicode[STIX]{x1D6EC}}$ of § 3.3. Using (3.2) and (3.3), we obtain a scalar-valued $q$ -expansion
with constant term
The following CM value formula was proved by Schofer [Reference SchoferSch09] for weakly holomorphic modular forms, and then generalized to harmonic weak Maass forms by Bruinier and Yang [Reference Bruinier and YangBY09]. We repeat here the statement of [Reference Bruinier and YangBY09, Theorem 4.7], with a sign error corrected. See also [Reference Bruinier, Howard and YangBHY15, Theorem 5.3.6].
Theorem 5.7.1 (Schofer, Bruinier and Yang).
The Green function $\unicode[STIX]{x1D6F7}(f)$ satisfies
where
is the Bruinier–Funke differential operator of (3.1).
Remark 5.7.2. Recalling Remark 3.2.1, Theorem 5.7.1 holds even when some points of ${\mathcal{Y}}(\mathbb{C})$ lie on ${\mathcal{Z}}(f)(\mathbb{C})$ , the divisor along which $\unicode[STIX]{x1D6F7}(f)$ has its logarithmic singularities.
Inspired by Theorem 5.7.1, the following formula was conjectured by Bruinier and Yang [Reference Bruinier and YangBY09].
Theorem 5.7.3. Assume $d_{\boldsymbol{k}}$ is odd. Every weak harmonic Maass form $f\in H_{1-n/2}(\unicode[STIX]{x1D714}_{L})$ with integral principal part satisfies
where $c_{f}^{+}(0,0)$ is the value of $c_{f}^{+}(0)\in \mathfrak{S}_{L}$ at the trivial coset in $L^{\vee }/L$ .
Proof. First assume $f(\unicode[STIX]{x1D70F})=F_{m,\unicode[STIX]{x1D707}}(\unicode[STIX]{x1D70F})$ is the Hejhal–Poincaré series of § 3.2, so that
By Proposition 5.6.2 there is a decomposition
where we view ${\mathcal{Z}}_{0}(m_{1},\unicode[STIX]{x1D707}_{1})\in \widehat{\text{Div}}({\mathcal{Y}})$ as an arithmetic divisor with trivial Green function. Theorem 4.5.1 shows that the first term is
For our special choice of $f(\unicode[STIX]{x1D70F})$ the constant term (5.21) simplifies to
and so Theorem 5.7.1 becomes
We have now proved
Corollary 5.3.2 implies both
and
leaving
and proving the desired formula in the special case of $f=F_{m,\unicode[STIX]{x1D707}}$ .
Now assume that $f$ satisfies $f^{+}(\unicode[STIX]{x1D70F})=O(1)$ . In particular, ${\mathcal{Z}}(f)=\emptyset$ and the Green function $\unicode[STIX]{x1D6F7}(f)$ is a smooth function on ${\mathcal{M}}(\mathbb{C})$ . The arithmetic intersection is purely archimedean, and Theorem 5.7.1 shows that
Corollary 5.3.2 implies that
completing the proof in this case.
Finally, every weak harmonic Maass form can be written as a linear combination of the Hejhal–Poincaré series, and a form with holomorphic part $f^{+}(\unicode[STIX]{x1D70F})=O(1)$ . Thus the claim follows from the linearity in $f$ of both sides of the desired equality.◻
Acknowledgements
The authors thank Jan Bruinier, José Burgos Gil, Steve Kudla, and Tonghai Yang for helpful conversations and insights. They also thank the referees for useful comments.