1 Introduction
The main result of this paper is a modularity result for certain generating series of ‘special’ cycles that live in the arithmetic Chow groups of Shimura varieties of orthogonal type.
We begin by introducing the main players. Let F be a totally real extension of
$\mathbb Q$
with
$d = [F:\mathbb {Q}]$
, and let
$\sigma _1, \dots , \sigma _d$
denote the archimedean places of F. Suppose V is a quadratic space over F that is of signature
$((p,2), (p+2,0), (p+2,0), \cdots , (p+2,0))$
with
$p>0$
. In other words, we assume that
$V \otimes _{F, \sigma _1} \mathbb {R}$
is a real quadratic space of signature
$(p,2)$
and that V is positive definite at all other real places.
We assume throughout that V is anisotropic over F. Note that the signature condition guarantees that V is anisotropic whenever
$d> 1$
.
Let
$H = \mathrm {Res}_{F/\mathbb {Q}} \mathrm {GSpin}(V)$
. The corresponding Hermitian symmetric space
$\mathbb {D}$
has two connected components; fix one component
$\mathbb {D}^+$
and let
$H^+(\mathbb {R})$
denote its stabilizer in
$H(\mathbb {R})$
. For a neat compact open subgroup
$K_f \subset H(\mathbb {A}_f)$
, let
$\Gamma := H^+(\mathbb {Q}) \cap K_f$
, where
$H^+(\mathbb Q) = H(\mathbb Q) \cap H^+(\mathbb {R})$
, and consider the quotient

This space is a (connected) Shimura variety; in particular, it admits a canonical model X over a number field
$E \subset \mathbb {C}$
depending on
$K_f$
, see [Reference Kudla13] for details. Moreover, as V is anisotropic, X is a projective variety.
Fix a
$\Gamma $
-invariant lattice
$L \subset V$
such that the restriction of the bilinear form
$\langle \cdot , \cdot \rangle $
to L is valued in
$\mathcal {O}_F$
, and consider the dual lattice

where
$\partial _F^{-1}$
is the inverse different.
For an integer n with
$1 \leq n \leq p$
, let
$S(V(\mathbb {A}_f)^n)$
denote the Schwartz space of compactly supported, locally constant functions on
$V(\mathbb {A}_f)^n$
, and consider the subspace

Note that
$S(L^n)$
is finite-dimensional, and is isomorphic to
$\mathbb {C} [ (L')^n / L^n]^{\Gamma }$
. This isomorphism is induced by the following map: a basis function
$e_{\mu } \in \mathbb {C} [ (L')^n / L^n]$
attached to the coset
$\mu \in (L')^n/L^n$
is associated to the characteristic function
$\varphi _{\mu } \in S(V(\mathbb {A}_f)^n)$
of
$\mu + L \otimes \widehat {\mathcal O_F}$
.
For every
$T \in \operatorname {\mathrm {Sym}}_n(F)$
and
$\Gamma $
-invariant Schwartz function
$\varphi \in S(L^n)$
, there is an E-rational ‘special’ cycle

of codimension n on X, defined originally by Kudla [Reference Kudla13]; see Section 2.3 below.
It was conjectured by Kudla that these cycles are closely connected to automorphic forms; more precisely, he conjectured that upon passing to the Chow group of X, the generating series formed by the classes of these special cycles can be identified as the Fourier expansion of a Hilbert-Siegel modular form. When
$F = \mathbb Q$
, the codimension one case of this conjecture follows from results of Borcherds [Reference Borcherds2], and the conjecture for higher codimension was established by Zhang and Bruinier-Raum [Reference Bruinier and Westerholt-Raum4, Reference Zhang19]. When
$F \neq \mathbb {Q}$
and in codimension one, the result follows from work of Bruinier [Reference Bruinier3], which we review in Section 3 below. For higher codimensional cycles with
$F \neq \mathbb Q$
, the result was established by Yuan-Zhang-Zhang [Reference Yuan, Zhang and Zhang18], contingent on the convergence of the generating series in an appropriate sense. The same situation was investigated by Kudla [Reference Kudla12] for more general signatures, who established the result (including convergence) contingent on the Beilinson-Bloch conjecture.
More recently, attention has shifted to the arithmetic analogues of this result, where one replaces the Chow groups with an ‘arithmetic’ counterpart, attached to a model
$\mathcal {X}$
of X defined over a subring of the reflex field of E; these arithmetic Chow groups were introduced by Gillet-Soulé [Reference Gillet and Soulé9] and subsequently generalized by Burgos-Kramer-Kühn [Reference Burgos Gil, Kramer and Kühn5]. Roughly speaking, in this framework cycles are represented by pairs
$(\mathcal {Z}, g_{\mathcal {Z}})$
, where
$\mathcal {Z}$
is a cycle on
$\mathcal {X}$
, and
$g_{\mathcal {Z}}$
is a Green object, a purely differential-geometric datum that encodes cohomological information about the archimedean fibres of
$\mathcal {Z}$
.
In this paper, we consider the case where the model
$\mathcal {X}$
is taken to be X itself. In order to promote the special cycles to the arithmetic setting, we need to choose the Green objects. For this, we employ the results of [Reference Garcia and Sankaran8], where a family
$\{ \mathfrak {g}(T,\varphi; \mathbf {v})\}$
of Green forms was constructed. Note that these forms depend on an additional parameter
$\mathbf {v} \in \operatorname {\mathrm {Sym}}_{n}(F \otimes _{\mathbb {Q}} \mathbb {R})_{\gg 0}$
, which should be regarded as the imaginary part of a variable in the Hilbert-Siegel upper half space.
With these Green objects in hand, we obtain classes

where
$\widehat {\mathrm {CH}}{}^{n}_{\mathbb {C}}(X) $
is the Gillet-Soulé arithmetic Chow group attached to X; these classes are defined by the formula

For reasons that will emerge in the course of the proof of our main theorem, we will also need to consider a larger arithmetic Chow group
$\widehat {\mathrm {CH}}{}^{n}_{\mathbb {C}}(X, \mathcal {D}_{\mathrm {cur}})$
, constructed by Burgos-Kramer-Kühn [Reference Burgos Gil, Kramer and Kühn5]. This group appears as an example of their general cohomological approach to the theory of Gillet-Soulé. There is a natural injective map
$\widehat {\mathrm {CH}}{}^{n}_{\mathbb {C}}(X) \hookrightarrow \widehat {\mathrm {CH}}{}^{n}_{\mathbb {C}}(X,\mathcal {D}_{\mathrm {cur}})$
; abusing notation, we identify the special cycle
$\widehat Z(T,\mathbf {v})$
with its image under this map.
Theorem 1.1.
-
(i) Suppose
$1 < n \leq p$ . Fix
$T_2 \in \operatorname {\mathrm {Sym}}_{n-1}(F)$ , and define the formal generating series
(1.7)where$$ \begin{align} \widehat{\mathrm{FJ}}_{T_2}(\boldsymbol{\tau}) \ = \ \sum_{T = \left( \begin{smallmatrix} * & * \\ * & T_2 \end{smallmatrix} \right)} \widehat Z(T,\mathbf{v}) \, q^T, \end{align} $$
$\boldsymbol {\tau } \in \mathbb {H}_n^d$ lies in the Hilbert-Siegel upper half space of genus n, and
$\mathbf {v} = \mathrm {Im}(\boldsymbol {\tau })$ . Then
$\widehat {\mathrm {FJ}}_{T_2}(\boldsymbol {\tau })$ is the q-expansion of a (non-holomorphic) Hilbert-Jacobi modular form of weight
$p/2 + 1$ and index
$T_2$ , taking values in
$\widehat {\mathrm {CH}}{}^{n}_{\mathbb {C}}(X,\mathcal {D}_{\mathrm {cur}}) \otimes S(L^n)^{\vee }$ via the Weil representation.
-
(ii) When
$n=1$ , the generating series
(1.8)is the q-expansion of a (non-holomorphic) Hilbert modular form of weight$$ \begin{align} \widehat \phi_1(\boldsymbol{\tau}) \ = \ \sum_{t \in F} \widehat Z(t,\mathbf{v}) q^t \end{align} $$
$p/2+1$ , valued in
$\widehat {\mathrm {CH}}{}^{1}_{\mathbb {C}}(X) \otimes S(L)^{\vee }$ .
Some clarification is warranted in the interpretation of this theorem. The issue is that there is no apparent topology on the arithmetic Chow groups for which the series (1.7) and (1.8) can be said to converge in a reasonable sense. In a similar vein, while the Green forms
$ \mathfrak {g}(T,\mathbf {v})$
vary smoothly in the parameter
$\mathbf {v}$
, upon passing to the arithmetic Chow group, they are regarded as elements of the quotient space of currents modulo exact currents; there does not appear to be a natural way in which the family of classes
$\widehat Z(T,\mathbf {v})$
can be said to vary smoothly in the arithmetic Chow group.
To give a more precise account of the main theorem, what is being asserted is the existence of the following objects:
-
(i) finitely many classes
$\widehat Z_1, \dots \widehat Z_r \in \widehat {\mathrm {CH}}_{\mathbb {C}}{}^n(X, \mathcal D_{\mathrm {cur}})$ (or in
$\widehat {\mathrm {CH}}{}^{1}_{\mathbb {C}}(X)$ when
$n=1$ ),
-
(ii) finitely many
$S(L^n)^{\vee }$ -valued Jacobi modular forms (in the usual sense)
$f_1, \dots , f_r$ ,
-
(iii) and a Jacobi form
$g(\boldsymbol {\tau })$ valued in
$D^{\bullet }(X) \otimes S(L^n)^{\vee }$ (where
$D^{\bullet }(X)$ is the space of currents on X) and is locally uniformly bounded in
$\boldsymbol {\tau }$ ,
such that the T’th coefficient of the Jacobi form
$ \sum _i f_i(\boldsymbol {\tau }) \widehat Z_i + a( g(\boldsymbol {\tau })) $
coincides with
$\widehat Z(T,\mathbf {v})$
. Here.
$a(g(\boldsymbol {\tau })) \in \widehat {\mathrm {CH}}{}^n(X, \mathcal D_{\mathrm {cur}})$
is an ‘archimedean class’ associated to the current
$g(\boldsymbol {\tau })$
. A more detailed account may be found in Section 2.6.
To prove the theorem, we first prove the
$n=1$
case, using a modularity result due to Bruinier [Reference Bruinier3] that involves a different set of Green functions. The theorem in this case follows from a comparison between his Green functions and ours.
For
$n>1$
, we exhibit a decomposition

in
$\widehat {\mathrm {CH}}{}^{n}(X,\mathcal {D}_{\mathrm {cur}}) \otimes S(L^n)^{\vee }$
, which is based on a mild generalization of the star product formula [Reference Garcia and Sankaran8, Theorem 4.10]. The main theorem then follows from the modularity of the series

which are proved in Corollary 6.3 and Theorem 5.1, respectively. The classes
$\widehat A(T,\mathbf {v})$
are expressed as linear combinations of pushforwards of special cycles along sub-Shimura varieties of X, weighted by the Fourier coefficients of classical theta series; the modularity of
$\widehat \phi _A(\boldsymbol {\tau })$
follows from this description and the
$n=1$
case. The classes
$\widehat B(T,\mathbf {v})$
are purely archimedean, and the modularity of
$\widehat \phi _B(\boldsymbol {\tau })$
follows from an explicit computation involving the Kudla-Millson Schwartz form [Reference Kudla and Millson14].
This result provides evidence for the arithmetic version of Kudla’s conjecture – namely, that the generating series

is a Hilbert-Siegel modular formFootnote
1
; indeed, the series
$\widehat {\mathrm {FJ}}_{T_2}(\boldsymbol {\tau })$
is a formal Fourier-Jacobi coefficient of
$\widehat \phi _n(\boldsymbol {\tau })$
. Unfortunately, there does not seem to be an obvious path by which one can infer the more general result from the results in this paper, as the decomposition of
$\widehat Z(T,\mathbf {v})$
that we use depends on the lower-right matrix
$T_2$
, and it is not clear how to compare the decompositions for various
$T_2$
.
2 Preliminaries
2.1 Notation
-
• Throughout, we fix a totally real field F with
$[F:\mathbb {Q}]=d$ . Let
$\sigma _1 , \dots , \sigma _d$ denote the real embeddings. Using these embeddings, we identify
$F\otimes _{\mathbb {Q}} \mathbb {R}$ with
$\mathbb R^d$ , and denote by
$\sigma _i(\mathbf t)$ the i’th component of
$\mathbf t \in F \otimes _{\mathbb {Q}}\mathbb {R}$ under this identification.
-
• For any matrix
$A $ , we denote the transpose by
$A'$ .
-
• If
$A \in \mathrm {Mat}_{n}(F \otimes _{\mathbb {Q}}\mathbb {R})$ , we write
(2.1)$$ \begin{align} e(A) \ := \ \prod_{i=1}^d \, \exp\big( 2 \pi i\, \mathrm{tr} \left( \sigma_i(A) \right)\big). \end{align} $$
-
• If
$(V,Q)$ is a quadratic space over F, let
$\langle \mathbf {x}, \mathbf {y} \rangle $ denote the corresponding bilinear form. Here, we take the convention
$Q(\mathbf {x}) = \langle \mathbf {x}, \mathbf {x} \rangle $ . If
$\mathbf {x} \in V$ and
$\mathbf {y} = (\mathbf {y}_1, \dots , \mathbf {y}_{n}) \in V^n$ , we set
$\langle \mathbf {x}, \mathbf {y} \rangle = ( \langle \mathbf {x}, \mathbf {y}_1 \rangle , \dots , \langle \mathbf {x}, \mathbf {y}_{n} \rangle ) \in \mathrm {Mat}_{1,n}(F)$ .
-
• For
$i = 1, \dots d$ , we set
$V_i = V \otimes _{F,\sigma _i} \mathbb {R}$ .
-
• Let
(2.2)denote the Hilbert-Siegel upper half-space of genus n attached to F. Via the fixed embeddings$$ \begin{align} \mathbb{H}_n^d = \{ \boldsymbol{\tau} = \mathbf{u} + i\mathbf{v} \in \operatorname{\mathrm{Sym}}_n(F \otimes_{\mathbb{Q}} \mathbb{R}) \ | \ \mathbf{v} \gg 0 \} \end{align} $$
$\sigma _1, \dots , \sigma _d$ , we may identify
$\operatorname {\mathrm {Sym}}_n(F \otimes \mathbb {R}) \simeq \operatorname {\mathrm {Sym}}_n(\mathbb {R})^d$ ; we let
$\sigma _i(\boldsymbol {\tau }) = \sigma _i(\mathbf {u}) + i \sigma _i(\mathbf {v})$ denote the corresponding component, so that, in particular,
${\sigma _i(\mathbf {v}) \in \operatorname {\mathrm {Sym}}_n(\mathbb {R})_{>0}}$ for
$i=1,\dots , d$ . If
$\boldsymbol {\tau } \in \mathbb {H}_n^d$ and
$T \in \operatorname {\mathrm {Sym}}_n(F)$ , we write
(2.3)$$ \begin{align} q^T = e (\boldsymbol{\tau} T). \end{align} $$
2.2 Arithmetic Chow groups
An arithmetic cycle of codimension n is a pair
$(Z,g)$
, where Z is a formal
$\mathbb {C}$
-linear combination of codimension n subvarieties of X, and g is a Green current for Z; more precisely, g is a current of degree
$(n-1,n-1)$
on
$X(\mathbb {C})$
such that Green’s equation

holds, where the right-hand side is the current defined by integrationFootnote
2
against some smooth form
$\omega $
. We write
$\widehat {\mathcal {Z}}^n_{\mathbb {C}}(X)$
for the complex vector space of arithmetic cycles.
Given a codimension
$n-1$
subvariety Y and a rational function
$f \in E(Y)^{\times }$
on Y, let

denote the corresponding principal arithmetic cycle. Let
$\widehat {\mathrm {Rat}}{}^n_{\mathbb {C}}(X)$
denote the subspace spanned by (a) the principal arithmetic divisors and (b) classes of the form
$(0, \eta )$
with
$\eta \in \mathrm {im}(\partial ) + \mathrm {im}(\overline \partial )$
a current of degree
$(n-1,n-1)$
. Then, by definition, the codimension n arithmetic Chow group is the quotient

In addition, Gillet and Soulé define an intersection product for these Chow groups, giving
$\widehat {\mathrm {CH}}{}^{*}_{\mathbb {C}}(X) = \oplus _n \widehat {\mathrm {CH}}{}^{n}_{\mathbb {C}}(X)$
the structure of a ring; for more details on all these constructions, see [Reference Gillet and Soulé9, Reference Soulé16].
In their paper [Reference Burgos Gil, Kramer and Kühn5], Burgos, Kramer and Kühn give an abstract reformulation and generalization of this theory: their main results describe the construction of an arithmetic Chow group

attached to a ‘Gillet complex’
$\mathcal {C}$
. One of the examples they describe is the group attached to the complex of currents
$\mathcal {D}_{\mathrm {cur}}$
; we will content ourselves with the superficial description of this group given below, which will suffice for our purposes, and the reader is invited to consult [Reference Burgos Gil, Kramer and Kühn5, §6.2] for a thorough treatment.
Unwinding the formal definitions in [Reference Burgos Gil, Kramer and Kühn5], one finds that the space of arithmetic classes
$\widehat {\mathcal {Z}}_{\mathbb {C}}^n(X, \mathcal {D}_{\mathrm {cur}})$
admits a description as the space of tuples
$(Z, [T, g])$
, with Z as before, but now T and g are currents of degree
$(n,n)$
and
$(n-1, n-1)$
, respectively, such thatFootnote
3

for some current
$\eta $
with support contained in
$Z(\mathbb {C})$
; we can view this as a relaxation of the condition that the right-hand side of (2.4) is smooth. There is a natural map

In this description, it turns out that the space of relations
$\widehat {\mathrm {Rat}}{}^n_{\mathbb {C}}(X, \mathcal {D}_{\mathrm {cur}})$
is the image of
$\widehat {\mathrm {Rat}}{}^n_{\mathbb {C}}(X)$
under this map; as a consequence, we obtain an injective map

cf. [Reference Burgos Gil, Kramer and Kühn5, Theorem 6.35]. Moreover, while
$\widehat {\mathrm {CH}}{}^{*}_{\mathbb {C}}(X, \mathcal {D}_{\mathrm {cur}})$
is not a ring in general, it is a module over
$\widehat {\mathrm {CH}}{}^{*}_{\mathbb {C}}(X)$
.
A nice consequence of preceding description of
$\widehat {\mathcal {Z}}_{\mathbb {C}}^n(X,\mathcal {D}_{\mathrm {cur}})$
is that any codimension n cycle Z on X gives rise to a canonical class (see [Reference Burgos Gil, Kramer and Kühn5, Definition 6.37])

Finally, we record the following intersection formula, which will be useful in the sequel. Let
$(Z,g) \in \widehat {\mathrm {CH}}{}^{1}_{\mathbb {C}}(X)$
be an arithmetic divisor, where g is a Green function with logarithmic singularities along the divisor Z. Suppose
$\widehat Y^{\mathrm {can}} \in \widehat {\mathrm {CH}}{}^{m}(X, \mathcal {D}_{\mathrm {cur}})$
is the canonical class attached to a cycle Y that intersects Z properly; then by inspecting the proofs of [Reference Burgos Gil, Kramer and Kühn5, Theorem 6.23, Proposition 6.32], we find

Remark 2.1. One consequence of our setup is the vanishing of certain ‘archimedean rational’ classes in
$\widehat {\mathrm {CH}}{}^{n}(X)$
and
$\widehat {\mathrm {CH}}{}^{n}(X, \mathcal {D}_{\mathrm {cur}})$
. More precisely, if Y is a codimension
$n-1$
subvariety, then

To see this, let
$c \in \mathbb {Q} $
be any rational number such that
$c \neq 0$
or
$ \pm 1$
, and view c as a rational function on Y; its divisor is trivial, and so

and hence,
$(0, \delta _{Y(\mathbb {C})}) = 0$
. As a special case, we have
$(0,1) = 0 \in \widehat {\mathrm {CH}}{}^{1}_{\mathbb {C}}(X)$
.
2.3 Special cycles
Here, we review Kudla’s construction of the family
$\{Z(T)\}$
of special cycles on X, [Reference Kudla13]. First, recall that the symmetric space
$\mathbb {D}$
has a concrete realization

where
$\langle \cdot , \cdot \rangle $
is the
$\mathbb {C}$
-bilinear extension of the bilinear form on V; the space
$\mathbb D$
has two connected components, denoted
$\mathbb D^{\pm }$
, which are interchanged by conjugation.
Given a collection of vectors
$\mathbf {x} = (\mathbf {x}_1, \dots , \mathbf {x}_n) \in V^n$
, let

where, abusing notation, we denote by
$\sigma _1 \colon V \to V_1 = V \otimes _{F, \sigma _1} \mathbb {R}$
the map induced by inclusion in the first factor.
Let
$\Gamma _{\mathbf {x}}$
denote the pointwise stabilizer of
$\mathbf {x}$
in
$\Gamma $
; then the inclusion
$\mathbb {D}^+_{\mathbf {x}} \subset \mathbb {D}^+$
induces a map

which defines a complex algebraic cycle that we denote
$Z(\mathbf {x})$
. If the span of
$\{ \mathbf {x}_1, \dots , \mathbf {x}_r \}$
is not totally positive definite, then
$\mathbb {D}^+_{\mathbf {x}}= \emptyset $
and
$Z(\mathbf {x}) = 0$
; otherwise, the codimension of
$Z(\mathbf {x})$
is the dimension of this span.
Now suppose
$T \in \operatorname {\mathrm {Sym}}_n(F)$
and
$\varphi \in S(L^n)$
, and set

where

This cycle is rational over E. If
$Z(T,\varphi )^{\natural } \neq 0$
, then T is necessarily totally positive semidefinite, and in this case,
$Z(T,\varphi )^{\natural }$
has codimension equal to the rank of T.
Finally, we define a
$S(L^n)^{\vee }$
-valued cycle
$Z(T)^{\natural }$
by the rule

for
$\varphi \in S(L^n)$
.
2.4 The cotautological bundle
Let
$\mathcal {E} \to X $
denote the tautological bundle: over the complex points
$X(\mathbb {C}) = \Gamma \backslash \mathbb {D}^+$
, the fibre
$\mathcal {E}_z$
at a point
$z \in \mathbb {D}^+$
is simply the line corresponding to z in the model (2.15). There is a natural Hermitian metric
$\| \cdot \|^2_{\mathcal {E}}$
on
$\mathcal {E}(\mathbb {C})$
, defined at a point
$z \in \mathbb {D}^+$
by the formula
$ \| v_z \|^2_{\mathcal {E},z} \ = \ - \langle v_z, v_z \rangle $
for
$ v_z \in z$
.
Consider the arithmetic class

concretely,
$\widehat \omega = - (\mathrm {div} s, - \log \| s\|_{\mathcal {E}}^2 ) $
, where s is any meromorphic section of
$\mathcal {E}$
. Finally, for future use, we set

where
$-\Omega = c_1(\mathcal {E}, \| \cdot \|_{\mathcal {E}}) $
is the first Chern form attached to
$(\mathcal {E}, \|\cdot \|_{\mathcal {E}})$
; here, the Chern form is normalized as in [Reference Soulé16, §4.2]. Note that
$-\Omega $
is a Kähler form; cf. [Reference Garcia and Sankaran8, §2.2].
Remark 2.2. Elsewhere in the literature, one often finds a different normalization (i.e., an overall multiplicative constant) for the metric
$\| \cdot \|_{\mathcal {E}}$
that is better suited to certain arithmetic applications; for example, see [Reference Kudla, Rapoport and Yang15, §3.3]. In our setting, however, Remark 2.1 implies that rescaling the metric does not change the Chern class in
$\widehat {\mathrm {CH}}{}^{1}_{\mathbb {C}}(X)$
.
2.5 Green forms and arithmetic cycles
In this section, we sketch the construction of a family of Green forms for the special cycles, following [Reference Garcia and Sankaran8].
We begin by recalling that for any tuple
$x = (x_1, \dots x_n) \in V_1^n = (V \otimes _{\sigma _1, F} \mathbb {R})^n$
, Kudla and Millson (see [Reference Kudla and Millson14]) have defined a Schwartz form
$\varphi _{\mathrm {KM}}(x)$
, which is valued in the space of closed
$(n,n)$
forms on
$\mathbb {D}^+$
, and is of exponential decay in x. Let
$T(x) \in \operatorname {\mathrm {Sym}}_{n}(\mathbb {R})$
denote the matrix of inner products (i.e.,
$T(x)_{ij} = \langle x_i, x_j \rangle $
), and consider the normalized form

In [Reference Garcia and Sankaran8, §2.2], another form
$\nu ^o(x)$
, valued in the space of smooth
$(n-1,n-1)$
forms on
$\mathbb {D}^+$
is defined (this form is denoted by
$\nu ^o(x)_{[2n-2]}$
there). It satisfies the relation

For a complex parameter
$\rho \gg 0$
, let

then
$ \mathfrak {g}^o(x, \rho )$
defines a smooth form for
$Re(\rho ) \gg 0$
. The corresponding current admits a meromorphic continuation to a neighbourhood of
$\rho =0$
, and we set

Note that, for example,

In general, the current
$ \mathfrak {g}^o(x)$
satisfies the equation

where
$r(x) = \dim \mathrm {span}(x) = \dim \mathrm {span}(x_1, \dots , x_n)$
; for details regarding all these facts, see [Reference Garcia and Sankaran8, §2.6].
Now suppose
$T \in \operatorname {\mathrm {Sym}}_n(F)$
. Following [Reference Garcia and Sankaran8, §4], we define an
$S(L^n)^{\vee }$
-valued current
$ \mathfrak {g}^o(T,\mathbf {v})$
, depending on a parameter
$\mathbf {v} \in \operatorname {\mathrm {Sym}}_n(F\otimes _{\mathbb {Q}} \mathbb {R})_{\gg 0}$
, as follows: let
$v = \sigma _1(\mathbf {v})$
and choose any matrix
$a \in \mathrm {GL}_n(\mathbb {R})$
such that
$v = a a'$
. Then
$ \mathfrak {g}^o(T,\mathbf {v})$
is defined by the formula

where
$ \sigma _1(\mathbf {x}) \in V_1^n$
; by [Reference Garcia and Sankaran8, Proposition 2.12], this is independent of the choice of
$a \in \mathrm {GL}_n(\mathbb {R})$
. Note that
$ \mathfrak {g}^o(T, \mathbf {v})$
is a
$\Gamma $
-invariant current on
$\mathbb {D}^+$
and hence descends to
$X(\mathbb {C}) = \Gamma \backslash \mathbb {D}^+$
.
Next, consider the
$S(L^n)^{\vee }$
-valued differential form
$\omega (T,\mathbf {v})$
, defined by the formula

and which is a q-coefficient of the Kudla-Millson theta series

where
$ \tau \in \mathbb {H}^d_n$
, and
$ \mathbf {v} = \mathrm {Im}(\boldsymbol {\tau })$
. We then have the equation of currents

on X; see [Reference Garcia and Sankaran8, Proposition 4.4].
In particular, if T is non-degenerate, then
$\mathrm {rank}(T) = n$
and
$ \mathfrak {g}^o(T,\mathbf {v})$
is a Green current for the cycle
$Z(T)^{\natural }$
. In this case, we obtain an arithmetic special cycle

Now suppose
$T \in \operatorname {\mathrm {Sym}}_n(F)$
is arbitrary. Let
$r = \mathrm {rank}(T)$
, and fix
$\varphi \in S(L^n)$
. We may choose a pair
$(Z_0, g_0)$
representing the class
$\widehat \omega ^{n-r} \in \widehat {\mathrm {CH}}{}^{n}_{\mathbb {C}}(X)$
, such that
$Z_0$
intersects
$Z(T, \varphi )^{\natural }$
properly and
$g_0$
has logarithmic type [Reference Soulé16, §II.2]. We then define

The reader may consult [Reference Garcia and Sankaran8, §5.4] for more detail on this construction, including the fact that it is independent of the choice of
$(Z_0, g_0)$
.
Finally, we define a class
$\widehat Z(T,\mathbf {v}) \in \widehat {\mathrm {CH}}{}^{n}_{\mathbb {C}}(X) \otimes S(L^n)^{\vee }$
by the rule

Remark 2.3. In [Reference Garcia and Sankaran8], the Green current
$ \mathfrak {g}^o(T,\mathbf {v})$
is augmented by an additional term, depending on
$\log (\det \mathbf {v})$
, when T is degenerate see [Reference Garcia and Sankaran8, Definition 4.5]. This term was essential in establishing the archimedean arithmetic Siegel-Weil formula in the degenerate case; however, in the setting of the present paper, Remark 2.1 implies that this additional term vanishes upon passing to
$\widehat {\mathrm {CH}}{}^{n}_{\mathbb {C}}(X)$
and can be omitted from the discussion without consequence. In particular, according to our definitions, we have

2.6 Hilbert-Jacobi modular forms
In this section, we briefly review the basic definitions of vector-valued (Hilbert) Jacobi modular forms, mainly to fix notions. For convenience, we work in ‘classical’ coordinates and only with parallel scalar weight. Throughout, we fix an integer
$n \geq 1.$
We begin by briefly recalling the theory of metaplectic groups and the Weil representation; a convenient summary for the facts mentioned here, in a form useful to us, is [Reference Jiang and Soudry10, §2]. Let
$\operatorname {\mathrm {Sp}}_n$
denote the symplectic group, viewed as an algebraic group: given any ring R, we have

For a place
$v \leq \infty $
, let
$\operatorname {\mathrm {\widetilde {Sp}}}_n(F_v)$
denote the metaplectic group, a two-fold cover of
$\operatorname {\mathrm {Sp}}_n(F_v)$
; as a set,
$\operatorname {\mathrm {\widetilde {Sp}}}_n(F_v) = \operatorname {\mathrm {Sp}}_n(F_v) \times \{\pm 1\}$
. When
$F_v = \mathbb {R}$
, the group
$\operatorname {\mathrm {\widetilde {Sp}}}_n(\mathbb {R})$
is isomorphic to the group of pairs
$(g, \phi )$
, where
$g = \left ( \begin {smallmatrix}A & B \\ C & D \end {smallmatrix} \right ) \in \operatorname {\mathrm {Sp}}_n(\mathbb {R})$
and
$\phi \colon \mathbb {H}_n \to \mathbb {C}$
is a function such that
$\phi (\tau )^2 = \det (C \tau + D)$
. In this model, multiplication is given by

At a non-dyadic finite place, there exists a canonical embedding
$\operatorname {\mathrm {Sp}}_n(\mathcal {O}_v) \to \operatorname {\mathrm {\widetilde {Sp}}}_n(F_v)$
, which splits the double covering
$\tilde K $
over K; here,
$\tilde K$
is the inverse image of K under the projection map
$\operatorname {\mathrm {\widetilde {Sp}}}_n(F_v) \to \operatorname {\mathrm {Sp}}_n(F_v)$
. Consider the restricted product
$\prod ^{\prime }_{v \leq \infty } \operatorname {\mathrm {\widetilde {Sp}}}_n(F_v)$
with respect to these embeddings. Then the global double cover
$\operatorname {\mathrm {\widetilde {Sp}}}_{n,\mathbb {A}}$
of
$\operatorname {\mathrm {Sp}}_n(\mathbb {A})$
is the quotient
$\prod ^{\prime }_{v \leq \infty } \operatorname {\mathrm {\widetilde {Sp}}}_n(F_v)/ I$
of this restricted direct product by the subgroup

Moreover, there is a splitting

Let
$\widetilde \Gamma '$
denote the full inverse image of
$\operatorname {\mathrm {Sp}}_{n}(\mathcal {O}_F)$
under the covering map
$\prod _{v | \infty } \operatorname {\mathrm {\widetilde {Sp}}}_n(F_v) \to \operatorname {\mathrm {Sp}}_n(F \otimes _{\mathbb {Q}} \mathbb {R})$
. We obtain an action
$\rho $
of
$\widetilde \Gamma '$
on the space
$ S(V(\mathbb {A}_f)^n)$
as follows. Let
$\omega $
denote theFootnote
4
Weil representation of
$\operatorname {\mathrm {\widetilde {Sp}}}_{n,\mathbb {A}}$
on
$S(V(\mathbb {A})^n)$
. Given
$\widetilde \gamma \in \widetilde \Gamma '$
, choose
$\widetilde \gamma _f \in \prod ^{\prime }_{v < \infty } \operatorname {\mathrm {\widetilde {Sp}}}_n(F_v)$
such that
$\widetilde \gamma \widetilde \gamma _f \in \mathrm {im}(\iota _F)$
and set

Recall that we had fixed a lattice
$L \subset V$
. The subspace
$S(L^n) \subset S(V(\mathbb {A}_f)^n)$
, as defined in (1.3), is stable under the action of
$\widetilde {\Gamma }'$
; when we wish to emphasize this lattice, we denote the corresponding action by
$\rho _L$
.
For a half-integer
$\kappa \in \frac 12 \mathbb Z$
, we define a (parallel, scalar) weight
$\kappa $
slash operator, for the group
$\widetilde \Gamma '$
acting on the space of functions
$f \colon \mathbb {H}^d_n \to S(L^n)^{\vee }$
, by the formula

where
$g = (g_v)_v$
.
If
$n>1$
, consider the Jacobi group
$G^J = G^J_{n,n-1} \subset \operatorname {\mathrm {Sp}}_{n}$
: for any ring R, its R-points are given by

Define
$\widetilde \Gamma ^J \subset \widetilde \Gamma '$
to be the inverse image of
$G^J(\mathcal {O}_F)$
in
$\widetilde G^{\prime }_{\mathbb {R}}$
.
Definition 2.4. Suppose
$ f \colon \mathbb {H}_n^d \to S(L^n)^{\vee }$
is a smooth function. Given
$T_2 \in \operatorname {\mathrm {Sym}}_{n-1}(F)$
, we say that
$f(\boldsymbol {\tau })$
transforms like a Jacobi modular form of genus n, weight
$\kappa $
and index
$T_2$
if the following conditions hold.
-
(a) For all
$\mathbf {u}_2 \in \operatorname {\mathrm {Sym}}_{n-1}(F_{\mathbb {R}})$ ,
(2.43)$$ \begin{align} f \left( \boldsymbol{\tau} + \left( \begin{smallmatrix} 0 & \\ & \mathbf{u}_2 \end{smallmatrix} \right) \right) \ = \ e( T_2 \mathbf{u}_2) f(\boldsymbol{\tau}). \end{align} $$
-
(b) For all
$\widetilde \gamma \in \widetilde \Gamma ^J$ ,
(2.44)$$ \begin{align} f|_{\kappa}[\widetilde \gamma] (\boldsymbol{\tau}) \ = \ f(\boldsymbol{\tau}). \end{align} $$
Let
$A_{\kappa ,T_2}(\rho _L^{\vee })$
denote the space of
$S(L^n)^{\vee }$
-valued smooth functions that transform like a Jacobi modular form of weight
$\kappa $
and index
$T_2$
.
Remark 2.5.
-
1. If desired, one can impose further analytic properties of f (holomorphic, real analytic, etc.).
-
2. If
$n = 1$ , then we simply say that a function
$f \colon \mathbb {H}^d_1 \to S(L)^{\vee }$ transforms like a (Hilbert) modular form of weight
$\kappa $ if it satisfies
$f|_{\kappa }[ \tilde \gamma ](\boldsymbol {\tau }) = f(\boldsymbol {\tau })$ as usual.
-
3. An
$S(L^n)^{\vee }$ -valued Jacobi modular form f, in the above sense, has a Fourier expansion of the form
(2.45)where the coefficients$$ \begin{align} f (\boldsymbol{\tau}) \ := \ \sum_{T = \left( \begin{smallmatrix} * & * \\ * & T_2 \end{smallmatrix} \right)} c_{ f}(T, \mathbf{v}) \,q^T, \end{align} $$
$c_f(T,\mathbf {v})$ are smooth functions
$ c_f(T,\mathbf {v}) \colon \operatorname {\mathrm {Sym}}_n(F\otimes _{\mathbb {Q}}{\mathbb {R}})_{\gg 0} \to S(L^n)^{\vee }$ .
-
4. For each
$i = 1, \dots , d$ , let
$(\phi _v(\tau ))_v$ be the collection given by
$\phi _{v_j}(\tau ) =1 $ if
$j \neq i$ , and
$\phi _{v_i}(\tau ) = -1$ . Let
$\tilde \epsilon (i) = (\mathrm {Id}, (\phi _v))$ . Then, using the formulas in [Reference Kudla11], we have that
$$\begin{align*}f|_{\kappa}[ \tilde \epsilon(i)](\boldsymbol{\tau}) = (-1)^{2 \kappa + \dim(V)} f(\boldsymbol{\tau}). \end{align*}$$
In particular, if
$2 \kappa \not \equiv \dim V \pmod 2$ , then
$A_{\kappa , T_2}(\rho _L^{\vee }) = \{ 0\}$ .
We now clarify what it should mean for generating series with coefficients in arithmetic Chow groups, such as those appearing in Theorem 1.1, to be modular.
First, let
$D^{n-1}(X)$
denote the space of currents on
$X(\mathbb {C})$
of complex bidegree
$(n-1, n-1)$
, and note that there is a map

Definition 2.6. Define the space
$A_{\kappa , T_2}( \rho ^{\vee }; D^{n-1}(X))$
of ‘Jacobi forms valued in
$S(L^n)^{\vee } \otimes _{\mathbb {C}} D^{n-1}(X)$
’ as the space of functions

such that the following two conditions hold.
-
(a) For every smooth form
$\alpha $ on X, the function
$\xi (\boldsymbol {\tau })(\alpha )$ is an element of
$A_{\kappa , T_2}( \rho _L^{\vee })$ , and in particular, is smooth in the variable
$\boldsymbol {\tau }$ .
-
(b) Fix an integer
$k\geq 0$ and let
$\| \cdot \|_k$ be an algebra seminorm, on the space of smooth differential forms on X, such that given a sequence
$\{ \alpha _i \} $ , we have
$\| \alpha _i \|_k \to 0$ if and only if
$\alpha _i$ , together with all partial derivatives of order
$\leq k$ , tends uniformly to zero. We then require that for every compact subset
$ C\subset \mathbb {H}^d_n$ , there exists a constant
$c_{k,C}$ such that
(2.48)for all$$ \begin{align} |\xi(\boldsymbol{\tau})(\alpha)| \leq c_{k,C} \| \alpha\|_k \end{align} $$
$\boldsymbol {\tau } \in C$ and all smooth forms
$\alpha $ .
The second condition ensures that any such function admits a Fourier expansion as in (2.45) whose coefficients are continuous in the sense of distributions (i.e., they are again
$S(L^n)^{\vee }$
-valued currents).
Definition 2.7. Given a collection of classes

with
$ \widehat Y(T,\mathbf {v}) \in \widehat {\mathrm {CH}}{}^{n}(X,\mathcal {D}_{\mathrm {cur}}) \otimes _{\mathbb {C}}S(L^n)^{\vee }$
, consider the formal generating series

Roughly speaking, we say that
$\widehat \Phi _{T_2}(\boldsymbol {\tau })$
is modular (of weight
$\kappa $
and index
$T_2$
) if there is an element

whose Fourier expansion coincides with
$\widehat \Phi _{T_2}(\boldsymbol {\tau })$
. More precisely, we define the modularity of
$\widehat \Phi _{T_2}(\boldsymbol {\tau })$
to mean that there are finitely many classes

and Jacobi forms

such that

for all
$T = \left ( \begin {smallmatrix}* & * \\ * & T_2 \end {smallmatrix} \right )$
.
Remark 2.8.
-
1. If
$\widehat Z_1, \dots , \widehat Z_r \in \widehat {\mathrm {CH}}{}^{n}_{\mathbb {C}}(X)$ and
$g(\boldsymbol {\tau })$ takes values in the space of (currents represented by) smooth differential forms on X, then we say that
$\widehat \Phi _{T_2}(\boldsymbol {\tau })$ is valued in
$\widehat {\mathrm {CH}}{}^{n}_{\mathbb {C}}(X) \otimes S(L^n)^{\vee }$ ; indeed, in this case, the right-hand side of (2.54) lands in this latter group.
-
2. As before, one may also impose additional analytic conditions on the forms
$f_i, g$ appearing above if desired.
-
3. Elsewhere in the literature (e.g., [Reference Borcherds2, Reference Bruinier3, Reference Zhang19]), one finds a notion of modularity that amounts to omitting the second term in (2.51); this notion is well-adapted to the case that the generating series of interest are holomorphic (i.e., the coefficients are independent of the imaginary part of
$\boldsymbol {\tau }$ ).
In contrast, the generating series that figure in our main theorem depend on these parameters in an essential way. Indeed, the Green forms
$ \mathfrak {g}^o(T,\mathbf {v})$ vary smoothly in
$\mathbf {v}$ ; however, to the best of the author’s knowledge, there is no natural topology on
$\widehat {\mathrm {CH}}{}^{n}(X)$ , or
$\widehat {\mathrm {CH}}{}^{n}(X, \mathcal {D}_{\mathrm {cur}})$ , for which the corresponding family
$\widehat Z(T,\mathbf {v})$ varies smoothly in v. As we will see in the course of the proof of the main theorem, the additional term in (2.51) will allow us enough flexibility to reflect the non-holomorphic nature of the generating series. Similar considerations appear in [Reference Ehlen and Sankaran6] in the codimension one case.
3 The genus one case
In this section, we prove the main theorem in the case
$n =1$
; later on, this will be a key step in the proof for general n. The proof of this theorem amounts to a comparison with a generating series of special divisors equipped with a different family of Green functions, defined by Bruinier. A similar comparison appears in [Reference Ehlen and Sankaran6] for unitary groups over imaginary quadratic fields; in the case at hand, however, the compactness of X allows us to apply spectral theory and simplify the argument considerably.
Suppose
$t \gg 0$
. In [Reference Bruinier3], Bruinier constructs an
$S(L)^{\vee }$
-valued Green function
$\Phi (t)$
for the divisor
$Z(t) = Z(t)^{\natural }$
. To be a bit more precise about this, recall the Kudla-Millson theta function
$\Theta _{\mathrm {KM}}(\boldsymbol {\tau })$
from (2.31). As a function of
$\boldsymbol {\tau }$
, the theta function
$\Theta _{\mathrm {KM}}$
is non-holomorphic and transforms as a Hilbert modular form of parallel weight
$\kappa = p/2 + 1$
. It is moreover of moderate growth, [Reference Bruinier3, Prop. 3.4] and hence can be paired, via the Petersson pairing, with cusp forms. Let
$\Lambda _{\mathrm {KM}}(\boldsymbol {\tau }) \in S_{\kappa }(\rho _L)$
denote the cuspidal projection, defined by the property

for all cusp forms
$g \in S_{\kappa }(\rho )$
.
Writing the Fourier expansion

it follows from [Reference Bruinier3, Corollary 5.16, Theorem 6.4] that
$\Phi (t)$
satisfies the equation

of currents on X, where

Recall here that
$(-\Omega )^p$
induces a volume form on X.
For future use, we define
$\Phi (t) = 0 = B(t) $
if
$t $
is not totally positive.
Finally, we define classes
$ \widehat Z_{\mathrm {Br}}(t) \in \widehat {\mathrm {CH}}{}^{1}_{\mathbb {C}}(X) \otimes _{\mathbb C} S(L)^{\vee }$
as follows:

where
$\mathrm {ev}_0 \in S(L)^{\vee }$
is the functional
$\varphi \mapsto \varphi (0)$
.
We then form the generating series

Theorem 3.1 (Bruinier).
The generating series
$\widehat \phi _{\mathrm {Br}}(\tau )$
is a (holomorphic) Hilbert modular form of parallel weight
$\kappa = p/2+1$
. More precisely, there are finitely many classes
$\widehat Z_1, \dots \widehat Z_r \in \widehat {\mathrm {CH}}{}^{1}_{\mathbb {C}}(X)$
and holomorphic Hilbert modular forms
$f_1, \dots , f_r$
such that
$\widehat Z_{\mathrm {Br}}(t) = \sum c_{f_i}(t) \, \widehat Z_i$
for all
$t\in F$
.
Proof . The proof follows the same argument as [Reference Bruinier3, Theorem 7.1], whose main steps we recall here. Bruinier defines a space
$M^!_{k}(\rho _L)$
of weakly holomorphic forms [Reference Bruinier3, §4] of a certain ‘dual’ weight
$k $
; each
$f \in M^!_{k}(\rho _L)$
is defined by a finite collection of vectors
$c_f(m) \in S(L)^{\vee }$
indexed by
$m \in F$
. Applying Bruinier’s criterion for the modularity of a generating series (cf. [Reference Bruinier3, (7.1)]), we need to show that

for all
$f \in M_k^!(\rho _L)$
. Given such a form f, let
$c_0 = c_f(0)(0)$
, and assume
$c_0 \in \mathbb Z$
. By [Reference Bruinier3, Theorem 6.8], after replacing f by a sufficiently large integer multiple, there exists an analytic meromorphic section
$\Psi ^{an} $
of
$(\omega ^{an})^{-c_0}$
such that

and

Recall that X is projective; by GAGA and the fact that the
$Z(m)$
’s are defined over E, there is an E-rational section
$\psi $
of
$\omega ^{-c_0}$
and a constant
$C \in \mathbb {C}$
such that

Thus,

However, as in Remark 2.1, the class
$(0, C)$
vanishes, and thus, we find

as required.
Now we consider the difference

whose terms are classes represented by purely archimedean cycles. Comparing the Green equations (2.28) and (3.3), we have that for
$t \neq 0$
and any smooth form
$\eta $
,

where
$\omega (t,\mathbf {v})$
is the t’th q-coefficient of
$\Theta _{\mathrm {KM}}(\boldsymbol {\tau })$
; in particular, [Reference Gillet and Soulé9, Theorem 1.2.2 (i)] implies that the difference
$ \mathfrak {g}^o(t,\mathbf {v}) - \Phi (t)$
is smooth on
$X(\mathbb {C})$
.
Theorem 3.2. There exists a smooth
$S(L)^{\vee }$
-valued function
$s(\boldsymbol {\tau },z) $
on
$\mathbb {H}_1^d \times X(\mathbb {C})$
such that the following holds.
-
(i) For each fixed
$z \in X(\mathbb {C})$ , the function
$s(\boldsymbol {\tau },z)$ transforms like a Hilbert modular form in
$\boldsymbol {\tau }$ .
-
(ii) Let
(3.15)denote its q-expansion in$$ \begin{align} s(\boldsymbol{\tau},z) = \sum_t c_s(t,\mathbf{v},z) \ q^t \end{align} $$
$\boldsymbol {\tau }$ ; then for each t, we have
(3.16)$$ \begin{align} (0, \mathfrak{g}^o(t,\mathbf{v}) - \Phi(t) ) \ = \ (0, c_s(t, \mathbf{v},z)) \ \in \ \widehat{\mathrm{CH}}{}^{1}_{\mathbb{C}}(X) \otimes_{\mathbb{C}}S(L)^{\vee}. \end{align} $$
Combining this theorem with Theorem 3.1, we obtain the following:
Corollary 3.3. The generating series
$\widehat \phi _1(\boldsymbol {\tau }) $
is modular, valued in
$\widehat {\mathrm {CH}}{}^{1}_{\mathbb {C}}(X) \otimes S(L)^{\vee }$
, in the sense of Remark 2.8(i).
Proof of Theorem 3.2
Recall that the
$(1,1)$
form
$- \Omega $
is a Kähler form on X. Let
$- \Delta _X$
denote the corresponding Laplacian; the eigenvalues of
$- \Delta _X$
are non-negative and discrete in
$\mathbb {R}_{\geq 0}$
, and each eigenspace is finite-dimensional.
Write
$\Delta _X = 2 (\partial \partial ^* + \partial ^* \partial )$
and let
$L \colon \eta \mapsto -\eta \wedge (-\Omega )$
denote the Lefschetz operator. From the Kähler identities
$[L, \partial ] = [L,\overline \partial ] = [L, \Delta _S] = 0$
and
$[L, \partial ^*] = i \overline \partial $
, an easy induction argument shows that

for
$k \geq 1$
.
Thus, for a smooth function
$\phi $
on X, we have




note here that
$p = \dim _{\mathbb {C}} (X).$
Consider the Hodge pairing

If
$\lambda>0$
and
$\phi _{\lambda }$
is a Laplace eigenfunction, we have that for any
$t\neq 0$
,




Note that
$\int _X \overline \phi _{\lambda } \Omega ^p = \langle 1, \phi _{\lambda } \rangle _{L^2} = 0$
, as
$\lambda>0$
and so
$\phi _{\lambda }$
is orthogonal to constants; thus, the term involving
$B(t) \Omega $
vanishes, and so

for all
$t \neq 0$
. This equality also holds for
$t=0$
, as both sides of this equation vanish. Indeed, for the left-hand side we have
$ \mathfrak {g}^o(0,\mathbf {v}) = 0$
(cf. (2.27)), and
$\Phi (0) = 0$
by definition; on the right-hand side,
$c_{\Lambda }(0) =0 $
as
$\Lambda _{\mathrm {KM}}(\boldsymbol {\tau })$
is cuspidal, and the constant term of the Kudla-Millson theta function is given by

Now define

where
$\ast $
is the Hodge star operator, and
$L^*$
is the adjoint of the Lefschetz map L. Then
$h(\boldsymbol {\tau },z)$
is smooth, and transforms like a modular form in
$\boldsymbol {\tau }$
, since both
$\Theta _{\mathrm {KM}}(\boldsymbol {\tau })$
and
$\Lambda _{\mathrm {KM}}(\boldsymbol {\tau })$
do; writing its Fourier expansion

we have

for any smooth function
$\phi $
.
Note that for any integer N and
$L^2$
normalized eigenfunction
$\phi _{\lambda }$
with
$\lambda \neq 0$
,

Choose an orthonormal basis
$\{ \phi _{\lambda }\}$
of
$L^2(X)$
consisting of eigenfunctions, and consider the sum

By Weyl’s law, there are positive constants
$C_1$
and
$C_2$
such that

and
$\| \phi _{\lambda }\|_{L^{\infty }} = O(\lambda ^{C_2})$
. These facts imply that there exists an integer
$N \gg 0$
such that

For such fixed N, we then have the estimate

In particular, the sum (3.33) is absolutely convergent, locally uniformly in
$\boldsymbol {\tau }$
and z, and hence defines a smooth function in
$(\boldsymbol {\tau }, z)$
.
Writing its Fourier expanison as

we have

for any eigenfunction
$\phi _{\lambda }$
with
$\lambda \neq 0$
. Thus,
$ c_s(t,\mathbf {v},z) $
and
$ g^o(t,\mathbf {v}) - \Phi (t)$
differ by a function that is constant in z; as
$(0,1) = 0 \in \widehat {\mathrm {CH}}{}^{1}_{\mathbb {C}}(X)$
, we have

which concludes the proof of the theorem.
4 Decomposing Green currents
We now suppose
$n> 1$
and fix
$T_2 \in \operatorname {\mathrm {Sym}}_{n-1}(F)$
.
The aim of this section is to establish a decomposition
$ \widehat Z(T, \mathbf {v}) = \widehat A(T,\mathbf {v}) + \widehat B(T,\mathbf {v})$
, where
$T = \left ( \begin {smallmatrix}*&*\\ *& T_2 \end {smallmatrix} \right )$
. Our first step is to decompose Green forms in a useful way; the result can be seen as an extension of the star product formula [Reference Garcia and Sankaran8, Theorem 4.10] to the degenerate case.
Let
$x = (x_1, \dots , x_n) \in (V_1 )^n =( V\otimes _{F, \sigma _1} \mathbb {R})^n$
and set
$y = (x_2, \dots , x_n) \in V_1^{n-1}$
. By [Reference Garcia and Sankaran8, Proposition 2.6. (a)], we may decompose

for
$Re(\rho ) \gg 0$
.
By the transgression formula (2.24), we may rewrite the second term in (4.1) as

For
$t>1$
, define smooth forms

and

so that

Finally, we consider the second integral above; as
$Re(\rho )$
is large, we may interchange the order of integration and obtain

Note that the first term in the last line above coincides with the first term in (4.1). Combining these computations, it follows that

This identity holds for arbitrary
$x =(x_1,y) \in V_1^n$
and
$Re(\rho ) \gg 0$
, and is an identity of smooth differential forms on
$\mathbb {D}$
.
To continue, we view the above line as an identity of currents, and consider meromorphic continuation.Footnote 5 Note that (as currents)

where
$r(y) = \dim \, \mathrm {span} (y)$
. The first term vanishes at
$\rho = 0$
; indeed, the double integral in the first term is holomorphic at
$\rho = 0$
, as can easily seen by by Bismut’s asymptoticFootnote
6
[Reference Bismut1, Theorem 3.2]

as
$t \to \infty $
.
Next, let

A straightforward modification of the proof of [Reference Garcia and Sankaran8, Proposition 2.12.(iii)] can be used to show that
$\alpha (x_1, y; \rho )$
and
$\beta (x_1, y; \rho )$
have meromorphic extensions, as currents, to a neighbourhood of
$\rho = 0$
. We denote the constant terms in the Laurent expansion at
$\rho = 0$
by
$\alpha (x_1, y)$
and
$\beta (x_1, y)$
respectively. Thus, as currents on
$\mathbb {D}$
, we have

for all
$x_1 \in V_1$
and
$y \in (V_1)^{n-1}$
.
As a final observation, note that if
$x_1 \in \mathrm {span}(y)$
, then
$\nu ^o(\sqrt u x_1) \wedge \delta _{\mathbb {D}^+_y} =\delta _{\mathbb {D}^+_y}$
; see [Reference Garcia and Sankaran8, Lemma 2.4]. Thus,

In the case that the components of
$x = (x_1, y) = (x_1, \dots , x_n)$
are linearly independent, we recover the star product formula from [Reference Garcia and Sankaran8, Theorem 2.16].
Now we discuss a decomposition of the global Green current
$ \mathfrak {g}^o(T, \mathbf {v})$
, for
$\mathbf {v} \in \operatorname {\mathrm {Sym}}_{n}(F_{\mathbb {R}})_{\gg 0}$
. Write

with
$v_1 \in \mathbb {R}_{>0}$
and
$v_{12} \in M_{1,n-1}(\mathbb {R})$
; recall that
$\sigma _1 \colon F \to \mathbb {R}$
is the distinguished real embedding. Set

and fix a matrix
$a_2^* \in \mathrm {GL}_{n-1}(\mathbb {R})$
such that
$v_2^* = a_2^* \cdot (a_2^*)'$
.
Proposition 4.1. Let
$T \in \operatorname {\mathrm {Sym}}_n(F)$
and
$\mathbf {v} \in \operatorname {\mathrm {Sym}}_n(F_{\mathbb {R}})_{\gg 0}$
as above, and define
$S(L)^{\vee }$
-valued currents
$ \mathfrak {a}(T,\mathbf {v})$
and
$ \mathfrak {b}(T,\mathbf {v})$
on X by the formulas

where we have written
$\sigma _1(\mathbf {x}) = (x_1, y) \in V_1 \oplus (V_1)^{n-1}$
, and

Then

Proof . First, the fact that the sums defining
$ \mathfrak {a}(T,\mathbf {v})$
and
$ \mathfrak {b}(T,\mathbf {v})$
converge to currents on X follows from the same argument as [Reference Garcia and Sankaran8, Proposition 4.3].
Now recall that

where
$x = \sigma _1(\mathbf {x})$
, and
$a \in \mathrm {GL}_n(\mathbb {R})$
is any matrix satisfying
$v = aa'$
. Note that

Thus, we may take

and so, applying (4.11) , we find

Again, an argument as in [Reference Garcia and Sankaran8, Proposition 4.3] shows that the sums

and

converge to
$\Gamma $
-invariant currents on
$\mathbb {D}$
, and hence define currents on X. Moreover, it follows easily from the definitions that

Thus, we find

as required.
Next, we define an
$S(L^n)^{\vee }$
-valued current
$\psi (T,\mathbf {v})$
as follows. For
$\mathbf {x} \in \Omega (T)$
, write
$\sigma _1(\mathbf {x}) = x = (x_1, y) \in V_1 \oplus V_1^{n-1}$
as above; then

defines a
$\Gamma $
-equivariant current on
$\mathbb D^+$
, and hence descends to a current (also denoted
$\psi (T,\mathbf {v})$
) on
$X(\mathbb {C})$
.
Lemma 4.2.
-
(i) Let
$\omega (T,\mathbf {v})$ be the Tth coefficient of the Kudla-Millson theta function, as in (2.30); then
(4.27)$$ \begin{align} \mathrm{dd^c} \mathfrak{b}(T,\mathbf{v}) \ = \ \omega(T,\mathbf{v}) - \psi(T,\mathbf{v}). \end{align} $$
-
(ii) We have
(4.28)where$$ \begin{align} \mathrm{dd^c} \, \mathfrak{a}(T,\mathbf{v}) + \delta_{Z(T)^{\natural}(\mathbb{C})}\wedge \Omega^{n - r(T)} \ = \ \psi(T,\mathbf{v}), \end{align} $$
$r(T) = \mathrm {rank}(T)$ .
Proof . With
$v = \sigma _1(\mathbf {v})$
and taking
$a = \theta \cdot \left ( \begin {smallmatrix} \sqrt {v_1} & \\ & a_2^* \end {smallmatrix} \right )$
as (4.20), we have

for
$\varphi \in S(L^n)$
, where the last line follows from [Reference Kudla and Millson14, Theorem 5.2(i)]. Therefore,



For
$v \in V_1 $
, the restriction
$\varphi ^o_{\mathrm {KM}}(v) \wedge \delta _{\mathbb {D}^+_y}$
depends only on the orthogonal projection of v onto
$\mathrm {span}(y)^{\perp }$
; see, for example, [Reference Garcia and Sankaran8, Lemma 2.4]. In particular,

The first part of the lemma follows upon applying the definition of
$\gamma (T,\mathbf {v})$
in (4.26).
The second part then follows from the first, together with Proposition 4.1 and (2.32).
We finally arrived at the promised decomposition of
$\widehat Z(T,\mathbf {v})$
. Recall that in defining the cycle
$\widehat Z(T,\mathbf {v})$
in Section 2.5, we fixed a representative
$(Z_0, g_0)$
for
$\widehat \omega ^{n- r(T)}$
such that
$Z_0$
intersects
$Z(T)$
properly. By the previous proposition,

we then obtain classes in
$\widehat {\mathrm {CH}}{}^{n}_{\mathbb {C}}(X, \mathcal {D}_{\mathrm {cur}})\otimes _{\mathbb {C}}S(L^n)$
by setting

and

so that

Remark 4.3. Suppose
$T = \left ( \begin {smallmatrix}* & * \\ * &T_2 \end {smallmatrix} \right )$
as above; if
$T_2$
is not totally positive semidefinite, then
$\mathbb {D}^+_y = \emptyset $
for any
$\mathbf {y} \in \Omega (T_2)$
, and hence,
$\widehat A(T,\mathbf {v}) = 0$
.
5 Modularity I
In this section, we establish the modularity of the generating series

Note that

thus, in light of Definition 2.7, it suffices to establish the following theorem.
Theorem 5.1. Fix
$T_2 \in \operatorname {\mathrm {Sym}}_{n-1}(F)$
, and consider the generating series

Then
$ \xi (\boldsymbol {\tau })$
is an element of
$A_{\kappa , T_2}(\rho _L^{\vee }; D^*(X))$
with
$\kappa = p/2 +1$
; see Definition 2.6.
Proof . We begin by showing the convergence of the series (5.3). By definition,

where
$ x_1 = \sigma _1(\mathbf {x}_1)$
and
$y = \sigma _1(\mathbf {y})$
, and here we are working with
$\Gamma $
-equivariant currents on
$\mathbb {D}^+$
.
For
$v \in V_1$
, consider the normalized Kudla-Millson form

which is a Schwartz form on
$V_1$
, valued in closed forms on
$\mathbb {D}^+$
. More precisely, fix an integer k, a relatively compact open subset
$U \subset \mathbb {D}^+$
, and an algebra seminorm
$\| \cdot \|_{k,\overline U} $
measuring uniform convergence of all derivatives of order
$\leq k$
on the space of smooth forms supported on
$\overline U$
. Then there exists a totally positive definite quadratic form
$Q_U$
on V such that

where the implied constant depends on k and
$\overline U$
, and we abuse notation and write
$Q_U$
for the induced positive definite quadratic form on
$V_1$
. Similarly, for
$y \in V_1^{n-1}$
, write

If
$\mathbb {D}^+_y \cap \overline U = \emptyset $
, then
$ \mathfrak {g}(y)$
is smooth on U, and the form
$Q_U$
may be chosen so that

see [Reference Garcia and Sankaran8, §2.1.5].
Finally, for the remaining real embeddings
$\sigma _2, \dots \sigma _d$
, let
$\varphi _{\infty _i} \in S(V_i^n)$
denote the standard Gaussian on the positive definite space
$V_i = V \otimes _{F, \sigma _i} \mathbb {R}$
, defined by
$\varphi _{\infty _i}(x_1, \dots , x_n) = e^{ - 2 \pi \sum \langle x_i, x_i \rangle }$
. Then a brief calculation gives

where we have chosen matrices
$a_i \in GL_n(\mathbb {R})$
for
$i = 2, \dots , d$
, such that
$\sigma _i(\mathbf {v}) = a_i \cdot a_i'$
.
Let

and

We claim that
$S_1$
is finite. To see this, first note that for a point
$z \in \mathbb {D}^+ \subset \mathbb P(V_{1,\mathbb {C}})$
, there is an associated positive definite form
$Q_z $
on
$V_1$
, determined by the formulas

for
$v \in V_1$
. Moreover, this quadratic form varies smoothly in z, and we have the equivalence

for
$y = (y_1, \dots , y_{n-1}) \in V_1^{n-1}$
.
Without loss of generality, we may suppose that
$Q_U$
is chosen so that
$Q_U(v) < Q_z(v)$
for all
$v \in V_1$
and
$z \in \overline U$
on
$V_1$
, and that
$Q_U(v) < \frac 12 \langle v, v \rangle $
on
$V_i$
for
$i> 1$
. Then

The latter set is finite, as
$Q_U$
is totally positive definite and
$L'$
is a lattice.
Using the estimates (5.6) and (5.8), and standard arguments for convergence of theta series, it follows that the sum

converges absolutely to a smooth form on
$\mathbb {H}^d_n \times U$
. The (finitely many) remaining terms, corresponding to
$\mathbf {y} \in S_1$
, can be written as

where, for any
$\mathbf {y} \in V^{n-1}$
and
$\varphi \in S(L^n)$
, we set

where
$T(\mathbf {x}_1, \mathbf {y}) = \left ( \begin {smallmatrix} \langle \mathbf {x}_1, \mathbf {x}_1 \rangle & \langle \mathbf {x}_1, \mathbf {y} \rangle \\ \langle \mathbf {x}_1, \mathbf {y} \rangle ' & \langle \mathbf {y}, \mathbf {y} \rangle \end {smallmatrix} \right ) $
. Again, the estimate (5.6) shows that the series defining
$f_{\mathbf {y}}(\boldsymbol {\tau })$
converges absolutely to a smooth form on
$\mathbb {H}_d^n \times \mathbb {D}^+$
. Moreover, for a fixed
$y \in V_1^{n-1}$
and any compactly supported test form
$\alpha $
on
$\mathbb {D}^+$
, the value of the current
$ \mathfrak {g}^o(y a_2^*)[\alpha ]$
varies smoothly in the entries of
$a_2^*$
(this fact follows easily from the discussion in [Reference Garcia and Sankaran8, §2.1.4]).
Taken together, the above considerations imply that the series
$\xi (\boldsymbol {\tau })(\varphi )$
converges absolutely to a
$\Gamma $
-invariant current on
$\mathbb {D}^+$
, and therefore descends to a current on X that satisfies part (b) of Definition 2.6 as
$\boldsymbol {\tau }$
varies. In addition, this discussion shows that given any test form
$\alpha $
, the value of the current
$\xi (\boldsymbol {\tau })[\alpha ]$
is smooth in
$\boldsymbol {\tau }$
.
It remains to show that
$\xi (\boldsymbol {\tau })$
transforms like a Jacobi modular form (i.e. is invariant under the slash operators (2.41)). Recall that the form
$\varphi _{\mathrm {KM}}$
is of weight
$p/2 +1$
; more precisely, let
$\widetilde U(1) \subset \operatorname {\mathrm {\widetilde {Sp}}}_1(\mathbb {R})$
denote the inverse image of
$U(1)$
, which admits a genuine character
$\chi $
whose square is the identity on
$U(1)$
. Then
$\omega (\widetilde k) \varphi _{\mathrm {KM}} = (\chi (\widetilde k))^{p+2} \varphi _{\mathrm {KM}}$
for all
$\widetilde k \in \widetilde U(1)$
, where
$\omega $
is the Weil representation attached to
$V_1$
; cf. [Reference Kudla and Millson14, Theorem 5.2].
To show that
$\xi (\boldsymbol {\tau })$
transforms like a Jacobi form, note that (by Vaserstein’s theorem [Reference Vaseršteĭn17]), every element of
$\widetilde \Gamma ^J$
can be written as a product of the following elements.
-
(i) For each
$i = 1, \dots , d$ , let
(5.15)be the element whose v’th component is$$ \begin{align} \widetilde \epsilon(i) = (\widetilde \epsilon (i))_v \in \prod_{v| \infty} \operatorname{\mathrm{\widetilde{Sp}}}_n(F_v) \end{align} $$
$(\mathrm {Id}, 1)$ if
$v \neq \sigma _i$ , and
$(\mathrm {Id}, -1)$ if
$v= \sigma _i$ .
-
(ii) For
$\mu , \lambda \in \mathrm {M}_{1, n-1}(\mathcal {O}_F)$ , let
(5.16)$$ \begin{align} \gamma_{\lambda, \mu} =\left( \begin{array}{cc|cc} 1 & 0 & 0 & \mu \\ \lambda' & 1_{n-1} & \mu' & 0 \\ \hline 0 & 0 & 1 & - \lambda \\ 0&0&0&1_{n-1} \end{array} \right) \in G^J(\mathcal{O}_F). \end{align} $$
Let
$\iota _F(\gamma _{\lambda ,\mu }) \in \operatorname {\mathrm {\widetilde {Sp}}}_{n,\mathbb {A}}$ denote its image under the splitting (2.39); we choose
$\widetilde \gamma _{\lambda , \mu } \in \widetilde \Gamma ^J$ to be the archimedean part of a representative
$\iota _F(\gamma _{\lambda , \mu }) = \widetilde \gamma _{\lambda ,\mu } \cdot \widetilde \gamma _f$ .
-
(iii) For
$r \in \mathcal {O}_F$ , let
(5.17)and choose an element$$ \begin{align} \gamma_r = \left( \begin{array}{cc|cc} 1 & 0 & r & 0 \\ 0 & 1_{n-1} & 0 & 0 \\ \hline 0 & 0 & 1 & 0 \\ 0&0&0&1_{n-1} \end{array} \right) \in G^J(\mathcal{O}_F), \end{align} $$
$\widetilde \gamma _r$ as the archimedean part of a representative of
$\iota _F(\gamma _r)$ , as before.
-
(iv) Finally, let
(5.18)and take$$ \begin{align} S = \left( \begin{array}{cc|cc} 0 & 0 & -1 & 0 \\ 0 & 1_{n-1} & 0 & 0 \\ \hline 1 & 0 & 0 & 0 \\ 0&0&0&1_{n-1} \end{array} \right) \end{align} $$
$\widetilde S \in \widetilde \Gamma ^J$ to be the archimedean part of a representative of
$\iota _F(S)$ .
Now, rearranging the absolutely convergent sum (5.12), we may write

Using the aforementioned generators, a direct computation shows that
$\mathbf {v}_2^* = \mathbf {v}_2 - \mathbf {v}^{\prime }_{12} \mathbf {v}_{12} / \mathbf {v}_1$
, viewed as a function on
$\mathbb {H}^d_n$
, is invariant under the action of
$\widetilde \Gamma ^J$
; it therefore suffices to show that for a fixed
$\mathbf {y}$
, the
$S(L^n)^{\vee }$
-valued function
$f_{\mathbf {y}}(\boldsymbol {\tau })$
transforms like a Jacobi form.
It is a straightforward verification to check that
$ f_{\mathbf {y}}(\boldsymbol {\tau })$
is invariant under the action of
$\widetilde \epsilon (i)$
,
$\tilde \gamma _{\lambda , \mu }$
, and
$\tilde \gamma _r$
. For example, the invariance with respect to
$\widetilde \epsilon (i)$
follows from Remark 2.5.
The element
$\widetilde \gamma _{\lambda , \mu }^{-1}$
acts on
$S(L^n)$
by the formula

and
$\gamma _{\lambda , \mu } $
acts on
$ \mathbb {H}_n^d$
by the formula

where
$\boldsymbol {\tau }= \left ( \begin {smallmatrix}\boldsymbol {\tau }_1 & \boldsymbol {\tau }_{12} \\ \boldsymbol {\tau }_{12}' & \boldsymbol {\tau }_2 \end {smallmatrix} \right )$
. Moreover, writing
$\widetilde \gamma _{\lambda , \mu } = (\gamma _{\lambda , \mu }, (\phi _v))_v$
as in Section 2.6, we have
$\prod \phi _v(\tau ) = 1$
. For
$\mathbf {x}_1 \in V$
and
$\mathbf {y} \in V^{n-1}$
, a direct computation gives

therefore, applying the above identity and the change of variables
$\mathbf {x}_1 \mapsto \mathbf {x}_1 - \mathbf {y} \cdot \lambda '$
, we find



as required.
Similarly, for
$r \in \mathcal {O}_F$
, the element
$\tilde \gamma _r^{-1} = \tilde \gamma _{-r}$
acts on
$S(L^n)$
by the formula

However,
$\gamma _r$
acts on
$\mathbb {H}_n^d$
by

The invariance of
$f_{\mathbf {y}}(\tau )$
under the action of
$\tilde \gamma _r$
follows immediately.
As for
$\widetilde S$
, recall that
$\iota _F(S)$
acts on
$S(V(\mathbb {A})^n)$
by the partial Fourier transform in the first variable; the desired invariance follows from Poisson summation on
$\mathbf {x}_1$
and straightforward identities for the behaviour of the Fourier transform under translations and dilations.
6 Modularity II
In this section, we prove the modularity of the generating series
$\widehat \phi _A(\boldsymbol {\tau })$
. By Remark 4.3, we only need to consider totally positive semidefinite matrices
$T_2$
, and we assume that this is the case throughout this section.
We begin by fixing an element
$\mathbf {y} = (\mathbf {y}_1, \dots , \mathbf {y}_{n-1}) \in \Omega (T_2)$
, and setting
$y = \sigma _1(\mathbf {y})$
. Let

so that
$U_{\mathbf {y}}$
is totally positive definite. Let

and set

so that

In light of the definition (1.3), we have a natural inclusion
$S(L^n) \to S(\Lambda ^n)$
, and the composition

is equivariant for the action of
$\widetilde \Gamma ^J$
, via
$\rho _L$
on the left-hand side, and via
$\rho _{\Lambda _{\mathbf {y}}} \otimes \rho _{\Lambda _{\mathbf {y}}^{\perp }}$
on the right; this latter fact can be deduced from explicit formulas for the Weil representation; cf. [Reference Kudla11, Proposition II.4.3].
Note that
$U_{\mathbf {y}}^{\perp }$
is a quadratic space of signature
$((p',2 ), (p'+2, 0 ), \dots (p'+2, 0)) $
with
$p' = p- \mathrm {rank}(T_2)$
, so the constructions in Section 2 apply equally well in this case. In particular, let
$X_{\mathbf {y}}(\mathbb {C}) = \Gamma _{\mathbf {y}} \big \backslash \mathbb {D}^+_{y}$
. Then for
$m \in F$
and
$\mathbf {v}_1 \in (F \otimes _{\mathbb {R}} {\mathbb {R}})_{\gg 0}$
, we have a special divisor

where we introduce the subscript
$U_{\mathbf {y}}^{\perp }$
in the notation to emphasize the underlying quadratic space being considered.
Let

denote the natural map, which defines the cycle
$Z(\mathbf {y})$
of codimension
$\mathrm {rank}(T_2)$
. We define a class

as follows: if
$\varphi \in S((\Lambda _{\mathbf {y}}^{\perp })^n) $
is of the form
$\varphi _1 \otimes \varphi _2$
with
$\varphi _1 \in S(\Lambda _{\mathbf {y}}^{\perp }) $
and
$\varphi _2 \in S((\Lambda _{\mathbf {y}}^{\perp })^{n-1})$
, we set

and extend this definition to arbitrary
$\varphi $
by linearity. Here, the pushforward is given explicitly as

Observe that this pushforward is an element of
$\widehat {\mathrm {CH}}{}^{n}_{\mathbb {C}}(X, \mathcal {D}_{\mathrm {cur}})$
; the existence of pushforward maps along arbitrary proper morphisms, which are not available in general for the Gillet-Soulé Chow groups, are an essential feature of the extended version, [Reference Burgos Gil, Kramer and Kühn5, §6.2].
Finally, for
$\boldsymbol {\tau } = \left ( \begin {smallmatrix} \boldsymbol {\tau }_1 & \boldsymbol {\tau }_{12} \\ \boldsymbol {\tau }_{12}' & \boldsymbol {\tau }_2 \end {smallmatrix} \right ) \in \mathbb {H}_d^n$
, we define the generating series

where
$\boldsymbol {\tau }_1 \in \mathbb {H}_1^d$
with
$\mathbf {v}_1 = \mathrm {Im}(\boldsymbol {\tau }_1)$
, and
$q_1^m = e(m \boldsymbol {\tau }_1)$
.
There is also a classical theta function attached to the totally positive definite space
$U_{\mathbf {y}}$
, defined as follows: let
$\varphi \in S(\Lambda _{\mathbf {y}}^n)$
and suppose
$\varphi = \varphi _1 \otimes \varphi _2$
with
$\varphi _1 \in S(\Lambda _{\mathbf {y}})$
and
$\varphi _2 \in S(\Lambda _{\mathbf {y}}^{n-1})$
. Then we set

and again, extend to all
$\varphi \in S(\Lambda _{\mathbf {y}}^n)$
by linearity. It is well known that
$\theta _{\mathbf {y}}(\boldsymbol {\tau })$
is a holomorphic Jacobi modular form of weight
$\dim U_{\mathbf {y}} / 2 = \mathrm {rk}(T_2)/2$
and index
$T_2$
; see, for example, [Reference Eichler and Zagier7, §II.7].
The Fourier expansion of
$ \theta _{\mathbf {y}} (\boldsymbol {\tau })(\varphi )$
can be written, for
$\varphi = \varphi _1 \otimes \varphi _2$
as above, as

where
$r_{\mathbf {y}}(T) \in S(\Lambda _{\mathbf {y}})^{\vee }$
is given by the formula

Finally, note that given T as above, we must have either
$\mathrm {rank}(T) = \mathrm {rank}(T_2) + 1$
, or
$\mathrm {rank}(T) = \mathrm {rank}(T_2)$
.
Lemma 6.1. Suppose
$\mathrm {rank}(T) = \mathrm {rank}(T_2) + 1$
. Then for any
$\mathbf {y} \in \Omega (T_2)$
, we have
${r_{\mathbf {y}}(T) = 0.}$
Proof . Suppose
$r_{\mathbf {y}}(T) \neq 0$
; by definition, there exists
$\lambda \in U_{\mathbf {y}} = \mathrm {span}(\mathbf {y})$
such that
$(\lambda , \mathbf {y}) \in \Omega (T)$
. Since V is anisotropic, we have
$\mathrm {rank}(T) = \dim \mathrm {span}(\lambda , \mathbf {y})$
. However,
${\lambda \in U_{\mathbf {y}}}$
, so
$ \dim \mathrm {span}(\lambda , \mathbf {y}) = \dim \mathrm {span}(\mathbf {y}) = \mathrm {rank}(T_2)$
, which contradicts the assumption on
$\mathrm {rank}(T)$
.
Proposition 6.2. As formal generating series, we have

where

here, we view the right-hand side of (6.14) as valued in
$S(L^n)^{\vee }$
by dualizing (6.5).
Proof . By linearity, it suffices to evaluate both sides of the desired relation at a Schwartz function
$\varphi \in S(L^n)$
of the form
$\varphi = \varphi _1 \otimes \varphi _2$
for
$\varphi _1 \in S(L) $
and
$\varphi _2 \in S(L^{n-1})$
.
Then we may write


We may further assume that

in this case,
$\varphi _2(\mathbf {y}) = \varphi _2'(\mathbf {y}) \varphi _2"(0)$
.
For a vector
$\mathbf {x}_1 \in V$
as above, write its orthogonal decomposition as

and note that
$\mathbb {D}^+_{(x_1, y)} = \mathbb {D}^+_{(x_1", y)}$
, where
$x_1 = \sigma _1(\mathbf {x}_1)$
, etc., and
$\Gamma _{(\mathbf {x}_1, \mathbf {y})} = \Gamma _{(\mathbf {x}_1", \mathbf {y})}$
.
Thus, decomposing the sum on
$\mathbf {x}_1$
as above and writing
$T =\left ( \begin {smallmatrix}T_1 & T_{12} \\ T_{12}' & T_2 \end {smallmatrix} \right )$
, we have

which we may rewrite as


where in the second line,
$Z_{\mathbf {y}}(m)$
denotes the
$S((\Lambda _{\mathbf {y}}^{\perp })^n)^{\vee }$
-valued cycle

Now suppose that
$ \mathrm {rk}(T) = \mathrm {rk}(T_2)+1$
. Then, by Lemma 6.1, the term
$m=0$
does not contribute to (6.21), and so all the terms
$Z_{U_{\mathbf {y}}^{\perp }}(m)$
that do contribute are divisors. To incorporate Green currents in the discussion, recall that, at the level of arithmetic Chow groups, the pushforward is given by the formula


where, as before, we use the subscript
$U_{\mathbf {y}}^{\perp }$
to denote objects defined with respect to that space.
This may be rewritten as

where
$\widehat Z_{\mathbf {y}}(m)^{\mathrm {can}} = (Z_{\mathbf {y}}(m), [ \delta _{Z_{\mathbf {y}}(m) }, 0])$
is the canonical class associated to
$Z_{\mathbf {y}}(m)$
. Thus,

where
$\alpha _{\mathbf {y}}(m,\mathbf {v}_1)$
and
$\beta _{\mathbf {y}}(m,\mathbf {v}_1)$
are
$S((\Lambda _{\mathbf {y}}^{\perp })^n)^{\vee }$
-valued currents defined by

and

where
$\varphi " = \varphi ^{\prime \prime }_1 \otimes \varphi ^{\prime \prime }_2$
as before.
Turning to the class
$\widehat A(T,\mathbf {v})$
, it can be readily verified that

where the currents
$ \mathfrak {a}(T,\mathbf {v})$
and
$\psi (T,\mathbf {v})$
are defined in (4.15) and (4.26), respectively. Now, by the same argument as in (6.21), and under the assumption
$\mathrm {rank}(T) = \mathrm {rank}(T_2)+1$
, we have (as a
$\Gamma $
-invariant current on
$\mathbb {D}$
)



where we use the fact that
$ \mathfrak {g}^o(\sqrt {v_1} x_1) \wedge \delta _{\mathbb {D}^+_y}$
only depends on the orthogonal projection
$x_1"$
of
$x_1$
onto
$U_{y}^{\perp } = \sigma _1(U_{\mathbf {y}}^{\perp })$
. Thus, as
$S(L^n)^{\vee }$
-valued currents on X, we obtain the identity

with
$\varphi _i =\varphi _i' \otimes \varphi _i "$
as above.
A similar argument gives

and so in total, we have

whenever
$\mathrm {rank}(T) = \mathrm {rank}(T_2) + 1$
.
Now suppose
$\mathrm {rank}(T) = \mathrm {rank}(T_2)$
. Then for any tuple
$(\mathbf {x}_1, \mathbf {y}) \in \Omega (T)$
, we must have
$\mathbf {x}_1 \in U_{\mathbf {y}}$
, and in particular, the only terms contributing to the right-hand side of (6.36) are those with
$m=0$
. However, we have

and hence,

with these observations, it follows easily from unwinding definitions that (6.36) continues to hold in this case.
Finally, the statement in the proposition follows by observing that the T’th q coefficient on the right-hand side of (6.14) is precisely the right-hand side of (6.36).
Corollary 6.3. The series
$\widehat \phi _A(\boldsymbol {\tau })$
is a Jacobi modular form of weight
$\kappa := (p+2)/2$
and index
$T_2$
, in the sense of Definition 2.7.
Proof . Fix
$\mathbf {y} \in \Omega (T_2)$
. By Corollary 3.3, applied to the space
$U_{\mathbf {y}}^{\perp }$
, there exist finitely many
$\widehat z_{\mathbf {y},1}, \dots , \widehat z_{\mathbf {y},r}\in \widehat {\mathrm {CH}}{}^{1}_{\mathbb {C}}(X_{\mathbf {y}})$
, finitely many (elliptic) forms
$f_{\mathbf {y},1}, \dots , f_{\mathbf {y}, r} \in A_{\kappa }(\rho ^{\vee }_{\Lambda ^{\perp }_{\mathbf {y}}})$
and an element
$g_{\mathbf {y}} \in A_{\kappa }(\rho ^{\vee }_{\Lambda _{\mathbf {y}}^{\perp }}; D^*(X))$
such that the identity

holds at the level of q-coefficients; here,
$\boldsymbol {\tau }_1 \in \mathbb {H}_1^d$
and
$\mathbf {v}_1 = \mathrm {Im}(\boldsymbol {\tau }_1)$
. Moreover, from the proof of Corollary 3.3, we see that
$g_{\mathbf {y}}(\tau )$
is smooth on X.
Therefore, applying Proposition 6.2 and unwinding definitions, we obtain the identity

of formal generating series, where

and we promote the elliptic forms
$f_{\mathbf {y}, i}$
and
$g_{\mathbf {y}}$
to
$S((\Lambda _{\mathbf {y}}^{\perp })^n)^{\vee }$
-valued functions by setting

for
$\varphi = \varphi _1 \otimes \varphi _2 \in S(\Lambda _{\mathbf {y}}^{\perp }) \otimes S((\Lambda _{\mathbf {y}}^{\perp })^{n-1}) $
and
$\boldsymbol {\tau } = \left ( \begin {smallmatrix}\boldsymbol {\tau }_1 & \boldsymbol {\tau }_{12} \\ \boldsymbol {\tau }_{12}' & \boldsymbol {\tau }_2 \end {smallmatrix} \right )$
.
It remains to show that
$F_{\mathbf {y},i}(\boldsymbol {\tau })\otimes \theta _{\mathbf {y}}(\boldsymbol {\tau })$
and
$G_{\mathbf {y}}(\tau )\otimes \theta _{\mathbf {y}}(\boldsymbol {\tau })$
are invariant under the slash operators (2.41) for elements of
$\widetilde \Gamma ^J$
; this can be verified directly using the generators (5.15)–(5.18), the modularity in genus one of
$f_{\mathbf {y}, i}$
and
$g_{\mathbf {y}}$
, and explicit formulas for the Weil representation (as in, for example, [Reference Kudla11]).
Acknowledgements
The impetus for this paper emerged from discussions during an AIM SQuaRE workshop; I would like to thank the participants – Jan Bruinier, Stephan Ehlen, Stephen Kudla and Tonghai Yang – for the stimulating discussion and insightful remarks, and AIM for the hospitality. I would also like to thank Craig Cowan for a helpful discussion on the theory of currents. This work was partially supported by an NSERC Discovery grant.
Competing interests
The authors have no competing interests to declare.