Abstract
In this paper, we investigate the algebraic nature of the value of a higher Green function on an orthogonal Shimura variety at a single CM point. This is motivated by a conjecture of Gross and Zagier in the setting of higher Green functions on the product of two modular curves. In the process, we will study analogue of harmonic Maass forms in the setting of Hilbert modular forms, and obtain results concerning the arithmetic of their holomorphic part Fourier coefficients. As a consequence, we answer a question of Zagier in his 1986 ICM proceeding.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(j(z)\) be the modular \(j\)-invariant on the modular curve \(X_{0}(1) := {\mathrm{SL}}_{2}(\mathbb{Z}) \backslash \mathbb{H}\) with ℍ the upper-half plane. Its values at CM points are algebraic integers called singular moduli. They play an important role in the explicit construction of class fields of imaginary quadratic fields.
1.1 Conjecture and results
The function \(G_{1}(z_{1}, z_{2}) := 2 \log |j(z_{1}) - j(z_{2})|\) is the automorphic Green function on \(X_{0}(1) \times X_{0}(1)\), and the limiting member of a family of automorphic functions
that are eigenfunctions with respect to the Laplacians in \(z_{1}\) and \(z_{2}\). For integral parameters \(s = r + 1 \in \mathbb{N}\), these functions are called higher Green functions, and played an important role in calculating arithmetic intersections of Heegner cycles on Kuga-Sato varieties [39]. Given a weakly holomorphic modular form \(f = \sum _{m \gg -\infty} c(m) q^{m} \in M^{!}_{-2r}\) on \(X_{0}(1)\), one can associate to it a higher Green function
Although the theory of complex multiplication does not directly apply, the values of \(G_{r+1, f}\) at CM points on \(X_{0}(1)^{2}\) should be algebraic in nature, as in the case of the automorphic Green function. More precisely, these values should be algebraic multiples of logarithm of algebraic numbers. This was conjectured in [24, Conjecture (4.4)] when \(z_{1}\), \(z_{2}\) have the same discriminant, and mentioned as a question in [22, section V.1] for the general case (see also [30] and [34]). In this paper, we prove the following result, which in particular solves problem (ii) raised by Don Zagier at the end of his 1986 ICM proceeding [38].
Theorem 1.1
Let \(r \in \mathbb{N}\) and \(f \in M^{!}_{-2r}\) with integral Fourier coefficients. Suppose \(d_{1}\), \(d_{2}\) are negative discriminants, such that one of them is fundamental when \(r\) is odd. For any CM point \(z_{i}\) with discriminant \(d_{i}\), there exist \(\kappa \in \mathbb{N}\) depending on \(d_{1}\), \(d_{2}\), \(r\) and \(f\), and \(\alpha = \alpha (z_{1}, z_{2}) \in H\) such that
where \(H = H_{1}H_{2}\) with \(H_{i}\) the ring class field extension of \(E_{i} := \mathbb{Q}(\sqrt{d_{i}})\) associated to \(z_{i}\). Furthermore, we have
for any \(\sigma \in {\mathrm{Gal}}(H/E)\), where \(E = E_{1}E_{2}\).
Remark 1.2
The group \({\mathrm{Gal}}(H/E)\) can be embedded as a subgroup of \({\mathrm{Gal}}(H_{1}/E_{1}) \times {\mathrm{Gal}}(H_{2}/E_{2})\), which then acts on the CM point \((z_{1}, z_{2})\).
There has been a lot of previous works concerning this question. The first such result is due to Gross, Kohnen and Zagier [22], where \(r\) is evenFootnote 1 and one considers average of the whole \({\mathrm{Gal}}(H/E)\)-orbit of \((z_{1}, z_{2})\). In that case, the value is a rational multiple of the logarithm of a rational number. When \(E_{1}= E_{2}\), this conjecture follows from the work of Zhang [39], under the assumption of the non-degeneracy of certain height pairing of Heegner cycles on Kuga-Sato varieties. In [34], Viazovska gave an analytic proof without this assumption. When \(E_{1} \neq E_{2}\), Mellit [30] gave a strategy to systematically verify this conjecture with one of the points fixed, and carried it out for \(z_{1} = i\). In [28], we considered the average over the whole \({\mathrm{Gal}}(H/E)\)-orbit with \(r\) odd, and were able to show that \(\alpha \in \mathbb{Q}(\sqrt{d_{1}d_{2}})\) and give an explicit factorization of the ideal it generates in the spirit of the seminal work of Gross and Zagier on singular moduli [23]. Very recently, Bruinier, Ehlen and Yang made significant progress and proved algebraicity result in the sense of Theorem 1.1 by averaging over the Galois orbit of one of the two CM points with fundamental discriminant [11]. We have now removed this averaging in Theorem 1.1 to obtain an algebraicity result at an individual CM point.
It is important to mention that one can replace \({\mathrm{SL}}_{2}(\mathbb{Z})\) with a congruence subgroup \(\Gamma _{0}(N)\), define higher Green functions on \(X_{0}(N)^{2}\) analogously, and ask the same question. This was in fact the setting that [22] and [39] were in. By viewing \(X_{0}(N)^{2}\) as the Shimura variety for the ℚ-split group \(\mathrm{O}(2, 2)\), it is natural to generalize the setting to an arbitrary orthogonal Shimura variety, and ask the question about the algebraic nature of the CM-values of higher Green functions on such varieties. This framework, which was adopted in [11], will be the one we work in.
To be more precise, let \(V\) be a rational quadratic space of signature \((n, 2)\), and
the Shimura variety associated to the algebraic group \(H = H_{V} = \mathrm{GSpin}_{V}\) and an open compact subgroup \(K \subset H(\hat{\mathbb{Z}})\) (see Sect. 2.3 for details). Given an even, integral lattice \(L \subset V\) such that \(K\) fixes \(\hat{L} = L \otimes \hat {\mathbb{Z}}\) and acts trivially on the finite abelian group \(\hat{L}'/\hat{L}\), one can associate a higher Green function \(\Phi _{L}^{r}(z, h, f)\) on \(X_{K}\) to each weakly holomorphic modular form \(f \in M^{!}_{1-n/2 -2r, \bar{\rho}_{L}}\) and \(r \in \mathbb{N}\) (see Equation (3.29)). It has logarithmic singularity along special divisors on \(X_{K}\).
For a totally real field \(F\) of degree \(d\), a quadratic CM extension \(E/F\) becomes a binary \(F\)-quadratic space \(W\) with respect to a quadratic form \(\alpha {\mathrm{Nm}}_{E/F}\) for some \(\alpha \in F^{\times}\). Suppose \(W\) has signature \((( 0,2), ( 2,0), \dots , ( 2,0))\) with respect to the real embeddings \(\sigma _{1}, \dots , \sigma _{d}\) of \(F\) and there is an isometric embedding \(W_{\mathbb{Q}}:= \mathrm{Res}_{F/\mathbb{Q}}W \hookrightarrow V\). This not only implies
but also gives CM points \(Z(W_{\mathbb{Q}}) \subset X_{K}\) (see Equation (2.32)). This 0-cycle is defined over \(F\), and each individual point \((z_{0}, h) \in Z(W_{\mathbb{Q}})\) is defined over certain abelian extension of \(E\). We will prove the following result concerning the algebraic nature of \(\Phi ^{r}_{L}\) at CM points in \(Z(W_{\mathbb{Q}})\).
Theorem 1.3
In the setting above, suppose \(f\) has integral Fourier coefficients. Then there exist algebraic numbers \(\lambda _{j} \in F\) and \(\alpha _{j} \in E^{\mathrm{ab}}\) for \(1 \le j \le d\) such that
for any \((z_{0}, h_{i}) \in Z(W_{\mathbb{Q}})\). Here \(\sigma _{h} \in {\mathrm{Gal}}(E^{\mathrm{ab}}/E)\) is the element associated to \(h \in E^{\times }\backslash \hat{E}^{\times}\) via class field theory. In particular when \(F = \mathbb{Q}(\sqrt{D})\) is real quadratic and \(n +2 = 2d =4\), we can take \(\lambda _{1} = D^{r/2}/\kappa \) for some \(\kappa \in \mathbb{N}\) and \(\lambda _{2} = 0\).
Remark 1.4
When \((V, Q) = (M_{2}(\mathbb{Q}), N \cdot \det )\), the Shimura variety \(X_{K}(\mathbb{C})\) becomes \(X_{0}(N)^{2}\) for suitable \(K\) [37, Sect. 3.1]. In that case, for CM points \(z_{i}\) with discriminant \(d_{i}\), the CM point \((z_{1}, z_{2})\) is in \(Z(W_{\mathbb{Q}})\) with \(W\) certain \(F = \mathbb{Q}(\sqrt{d_{1} d_{2}})\)-quadratic space. These are called “big CM points”, resp. “small CM points”, when \(F\) is real quadratic, resp. \(F = \mathbb{Q}\).
Remark 1.5
Theorem 1.3 applies even when \(Z(W_{\mathbb{Q}})\) intersects the singularity of \(\Phi ^{r}_{L}\), In that case, the function \(\Phi ^{r}(z, 1, f) - \Phi ^{r}(z, h, f)\) in \(z\) can be continued to a real-analytic function in the neighborhood of the singularity, and its value at \(z = z_{0}\) defines the quantity on the left hand side of (1.7).
Previous results concerning any linear combinations of CM values of higher Green function either assume \(n \le 2\) or \(d = 1\). Theorem 1.3 is the first result where the cases with \(n \ge 3\) and \(d \ge 2\) are addressed. In such cases, there is no known results even when one averages the higher Green function over all the CM points in all Galois conjugates of \(Z(W_{\mathbb{Q}})\), unlike for Green functions studied in [13, 15]. Together with Theorem 1.1, Theorem 1.3 naturally leads one to expect the following.
Conjecture 1.6
In the setting of Theorem 1.3, suppose \(f\) has integral Fourier coefficients and the singularity of \(\Phi ^{r}_{L}(z, h, f)\) does not intersect \(Z(W_{\mathbb{Q}})\). Then there exists \(\lambda _{j} \in F\) and \(\alpha _{j} \in E^{\mathrm{ab}}\) for \(1 \le j \le d\) such that
for all \((z_{0}, h) \in Z(W_{\mathbb{Q}})\).
When \(F\) is real quadratic, i.e. \(d = 2\), we can confirm it in the following case.
Theorem 1.7
Conjecture 1.6holds when \(F\) is a real quadratic field, \(r\) is even, \(n = 4\), and \(Z(W_{\mathbb{Q}})\) is defined over ℚ, in which case we can take \(\lambda _{1} \in \mathbb{Q}\) and \(\lambda _{2} = 0\).
Remark 1.8
When \(E/\mathbb{Q}\) is Galois, there are many instances when \(Z(W_{\mathbb{Q}})\) is defined over ℚ (see e.g. Lemma 3.4 in [15]). In particular, the CM points on \(X_{0}(1)^{2}\) satisfy this condition (see Example 2.7). Therefore, the case for even \(r\) in Theorem 1.1 follows from Theorem 1.7.
Remark 1.9
In a recent joint work [8], we have proved Conjecture 1.6 when \(E/\mathbb{Q}\) is biquadratic.
1.2 General proof strategy
When \(F = \mathbb{Q}\), Conjecture 1.6 follows from Theorem 5.5 in [11]. Here we give a sketch of its proof, which is analytic in nature. First, one expresses \(\Phi ^{r}_{L}(z, h, f)\) as an integral of \(f\) against a suitable theta kernel \(R^{r}_{\tau }\Theta _{L}(\tau , z, h)\), where \(R_{\tau}\) is the raising operator (see (2.5)). Then a CM point \((z_{0}, h) \in Z(W_{\mathbb{Q}})\) leads to a rational splitting of \(V\) since \(F = \mathbb{Q}\). Suppose it leads to an integral splitting of \(L\) into \(L = \tilde{L} \oplus N\) with \(\tilde{L}\) and \(N\) definite lattices of signature \((n, 0)\) and \((0, 2)\) respectively. Then the theta kernel becomesFootnote 2
Note that \(\theta _{N}\) is non-holomorphic and has weight −1. One can then construct a preimage \(\hat{\theta}_{N}\) of \(\theta _{N}\) under the lowering operator \(L_{\tau}\). It is a harmonic Maass form of weight 1. The notion of harmonic Maass form was introduced in the seminal work of Bruinier and Funke [12], and studied around the same time by Zwegers in the context of modular completion of Ramanujan’s mock theta functions [40].
Applying the Rankin-Cohen operator (see (2.6)) to \(\theta _{\tilde{L}}\) and \(\tilde{\theta}_{N}\) then gives us a preimage of \(R^{r}_{\tau }(\theta _{\tilde{L}}(\tau ) \theta _{N}(\tau ))\) under the \(L_{\tau}\). Putting these together and applying Stokes’ theorem gives us
where \(\{,\}\) is a pairing of formal Fourier series (see (4.13)) and \(\mathrm{CT}\) denotes the constant term of a Fourier series. The function \(\tilde{\theta}^{+}_{N}\) is the holomorphic part of \(\tilde{\theta}_{N}\), and the modular form \(\tilde{f}\) in the last expression is weakly holomorphic with weight −1 and rational Fourier coefficients.
The harmonic Maass form \(\tilde{\theta}_{N}\) of weight 1 was studied in [19, 20, 35]. It was shown that the term \(\mathrm{CT}(\tilde{f} (\tau ) \cdot \tilde{\theta}_{N}^{+}(\tau ))\) is the logarithm of an algebraic number. To see this, let \(P_{1}\), \(P_{2}\) be positive definite, unimodular lattices such that \(\theta _{P_{1}} - \theta _{P_{2}}\) is holomorphic on ℍ. One can rewind the process above (with \(r = 0\)) and write
where \(\hat{f} = \tilde{f} \cdot (\theta _{P_{1}} - \theta _{P_{2}})^{-1}\) is weakly holomorphic and \(L_{i} = P_{i} \oplus N\). The functions \(\Phi _{L_{i}}(z, \hat{f})\) are the regularized Borcherds lifts of \(\hat{f}\) and are logarithms of rational functions on Shimura varieties associated to \(L_{i}\). Their values at CM points \(z_{i}\) are logarithms of algebraic numbers by the theory of complex multiplication. This finishes the sketch of the proof. The process of multiplying and dividing by \(\theta _{P_{1}} - \theta _{P_{2}}\) a manifestation of the embedding trick (see [6, Sect. 8]).
The partial averaging result in [11, Theorem 1.2] used the coincidence that the average of \(G_{r+1, f}(z_{1}, z)\) over the Galois orbit of \(z_{1}\) is a higher Green function in \(z\) on the modular curve, i.e. \(n +2 = 3\). This is a rather special phenomenon that only happens when \(E/\mathbb{Q}\) is biquadratic. By (1.6), one is reduced to the case of \(d = 1\) in Conjecture 1.6.
For \(d \ge 2\), the lattice \(L\) splits as \(\tilde{L} \oplus \mathrm{Res}_{F/\mathbb{Q}} N\) with \(N \subset W\) an \(\mathcal{O}\)-lattice of signature \((( 0,2), (2 , 0)\dots , (2, 0))\), and the analogue of (1.9) is
where \(\theta ^{\Delta}_{N}(\tau )\) is the diagonal restriction of the Hilbert theta function \(\theta _{N}(\tau _{1}, \dots , \tau _{d})\) of weight \((-1, 1 \dots , 1)\) associated to \(N\). When one tries to execute the above strategy to construct a preimage of \(\theta ^{\Delta}_{N}\) under the lowering operator, it is necessary to work with Hilbert modular forms, and there are some serious obstacles.
-
The analogous \(\hat{\theta}_{N}\) should be a Hilbert modular form that satisfies suitable properties similar to those of harmonic Maass forms in the setting of elliptic modular forms. However, there is no suitable extension of the notion of harmonic Maass forms to higher rank groups.
-
As harmonic Maass forms have singularities at the cusps, one would expect the same for the analogous \(\hat{\theta}_{N}\). However, Koecher’s principle would imply that such \(\hat{\theta}_{N}\) could not have singularity only at the cusps, but in the interior of the Hilbert modular variety as well. This also holds for its diagonal restriction and complicates the application of Stokes’ theorem.
-
To extract information about the Fourier coefficient of \(\hat{\theta}_{N}\), one needs the generalization of Borcherds’ lift over totally real fields. In a large part, this has been accomplished in [10] by considering regularized theta lifts of Whittaker forms. However, as the Shimura varieties appeared loc. cit. are compact, there is no Fourier expansion and one has limited information about the rationality of the lift. Furthermore, it seems hopeless to direct generalize the embedding trick in [6] to totally real fields.
Instead of studying the value at an individual CM point, one can average over CM points in \(Z(W_{\mathbb{Q}})\), and those in \(Z(W(j)_{\mathbb{Q}})\) for \(2 \le j \le d\), where each \(W(j)\) is a neighboring \(F\)-quadratic space of \(W\) (see Sect. 2.3). Then the rational quadratic spaces \(\mathrm{Res}_{F/\mathbb{Q}} W(j)\) are all isomorphic and
with \(N(j) \subset W(j)\) suitable lattices. The Hilbert modular form \(\theta _{N(j_{0})}\) is holomorphic in \(\tau _{j}\) for \(j \neq j_{0}\) and has weight \((1, \dots , 1, -1, 1, \dots , 1)\) with −1 at the \(j_{0}\)-th place. One can now explicitly construct an incoherent Hilbert Eisenstein series \({\mathcal{E}}_{N}\) of parallel weight 1 that maps to \(E_{N(j)}\) under the lowering operator in \(\tau _{j}\) for all \(1 \le j \le d\). For \(d = 2\), this is the real-analytic Eisenstein series that appeared in the seminal works of Gross and Zagier on singular moduli and the Gross-Zagier formula [23, 24]. It also appeared in [15], and has been combined with the regularized theta lifting of Borcherds to give fruitful generalizations of [23, 24] in [13, 16].
The advantage of \({\mathcal{E}}_{N}\) is that its Fourier coefficients can be computed explicitly, and shown to be logarithms of rational numbers. They furthermore can be interpreted as arithmetic intersection numbers. On the other hand, it provides limited information about the arithmetic of higher Green function at a single CM point, as the differential operator in the strategy for \(d = 1\) does not readily generalize except in the case \(n = 2d = 4\) and \(r\) even (see the discussion at the end of Sect. 5 in [11]). The higher Green functions studied by Gross, Kohnen and Zagier in [22] happen to be in this single case.
1.3 Ideas
We now describe some ideas and observations that help to overcome the obstacles mentioned in the previous section:
-
For any holomorphic Hilbert cusp form \(g(\tau )\) and \(\ell \in \mathbb{N}\) sufficiently large, the product \(g(\tau )^{\ell}\theta _{N}(\tau )\) has a modular preimage under the lowering operator in \(\tau _{1}\) with no singularity in \(\mathbb{H}^{d}\). Furthermore, this preimage is harmonic in \(\tau _{1}\) and holomorphic in \(\tau _{2}, \dots , \tau _{d}\).
-
The generalization of Borcherds’ lift in [10] differs from the logarithm of an \(F\)-rational function by a locally constant function, which can be canceled out when considering differences of linear combinations of CM values.
-
The embedding trick only needs to work along the diagonal of \(\mathbb{H}^{d}\), and one can apply the Siegel-Weil formula to replace the difficult task of finding suitable positive definite \(\mathcal{O}\)-lattice \(P\) to the simpler one of analyzing Eisenstein series.
The first idea is inspired by Zwegers’ work [40], where the product of a mock theta function and a classical theta function is completed to become a real-analytic modular form without singularity in ℍ. Such products are also called “mixed mock-modular forms” in [18] and are natural objects to consider. Since the differential operators in \(\tau _{1}, \dots , \tau _{d}\) are all independent, this idea can be applied in the setting of Hilbert modular forms. The existence of the modular preimage will be proved using complex geometry (see Sect. 4.1), as done in the elliptic case in [12]. The parameter \(\ell \) serves to ensure certain cohomology group vanishes (see Theorem 4.1). The Rankin-Cohen differential operator can also be generalized to be applied on such functions (see the differential operator \({\mathcal{D}}_{\kappa , r}\) in (2.13)).
The second idea is a compromise so that one can still use the generalization of Borcherds’ lift in [10] to deduce algebraicity results. Considering differences is quite effective in removing the so-called “normalizing constant” in the regularized theta lift (see Theorem 1.1 in [9]), as different linear combinations could give rise to the same normalizing constant. Furthermore, considering the difference turns out to simplify many other situations as well. For example, it is enough to construct a preimage of \(g(\tau )^{\ell }(\theta _{N_{1}}(\tau ) - \theta _{N_{2}}(\tau ))\) with \(g(\tau )\) a holomorphic Hilbert cusp form. This is accomplished in Theorem 4.3, using the ampleness of twists of determinant of the Hodge bundle on toroidal compactifications of Hilbert modular varieties, which is contained in Theorem 4.1 and a result of independent interest.Footnote 3 Also, one does not need to worry so much about the singularity of \(\Phi ^{r}_{L}\) (see Remark 1.5 and Lemma 4.5). The linear combination we take will come from multiplying this preimage with an Eisenstein series \(E_{{\tilde{P}}}\). This leads to the crucial algebraicity result in Theorem 4.10, which is of independent interest.
For the embedding trick, the last idea reduces the problem of dividing by a Hilbert cusp form \(g\), which is constructed from theta series, to dividing by its diagonal restriction \(g^{\Delta}\), which is an elliptic modular form. Using the Siegel-Weil formula, we can relate \(g\) to Hilbert Eisenstein series. By varying the weight, we will show that for any finite set of points in \(\mathbb{H}^{d}\), there is a Hilbert Eisenstein series that does not vanish on this set (see Lemma 3.2). This observation has its root in the classical work [31] of Rankin and Swinnerton-Dyer on zeros of elliptic Eisenstein series, and leads to the “partition of unity” result in Proposition 3.4.
By putting these ideas together, we are able to overcome the obstacles and prove Theorem 1.3. When it is specialized to the case in Theorem 1.1, we can combine this result about differences with the result about partial averages in [11] to complete the proof.
1.4 Outlook and organization
To prove Conjecture 1.6, one needs algebraicity results concerning sums of CM points, in addition to the “difference result” in Theorem 1.3. For real quadratic \(F\), we have worked out such a “sum result” when \(E/\mathbb{Q}\) is biquadratic in [8], which has led to a proof of Conjecture 1.6 in this case. When \(d \ge 3\), one can try to relate the (in)coherent Eisenstein series to Eisenstein series on \(\mathrm{O}(2, 1)\) over \(F\), and realize them as suitable theta lifts from \({\mathrm{SL}}_{2}\) over \(F\). We plan to pursue this idea in a future work.
The paper is organized as follows. In Sects. 2 and 3, we setup notations and collect various preliminary notions from the literature. Results such as Lemma 3.2 and Proposition 3.4 seem to be new, and form a crucial trick in the proof of Theorem 1.3. In Sect. 4, we construct certain real-analytic Hilbert modular form in Theorem 4.3 and prove algebraicity result about linear combinations of their Fourier coefficients in Theorem 4.10. Putting these together, we give the proofs of Theorems 1.1, 1.3 and 1.7 in Sect. 5.
2 Preliminary
Fix an embedding \(\overline{\mathbb{Q}} \hookrightarrow \mathbb{C}\). Throughout the paper, \(F\) will be a totally real field of degree \(d\) with ring of integers \(\mathcal{O}\), different \(\mathfrak{d}\) and discriminant \(D\). For \(1 \le j \le d\) and \(m \in F\), denote \(\sigma _{j}: F \hookrightarrow \mathbb{R}\) the real embeddings of \(F\) and \(m_{j} := \sigma _{j}(m)\). We write \(m \gg 0\) if \(m \in F\) is totally positive, i.e. \(m_{j} > 0\) for all \(1 \le j \le d\). For a number field \(E\) with ring of integers \(\mathcal{O}_{E}\), let \(\mathbb{A}_{E}\) and \(\hat{E} := E \otimes \hat {\mathbb{Z}}\) be the adeles and finite adeles respectively. The subgroup \(\hat{\mathcal{O}}_{E} := \mathcal{O}_{E} \otimes \hat{\mathbb{Z}} \subset \hat{E}\) is open and compact.
Given \({\tau }= (\tau _{1}, \dots , \tau _{d}) \in \mathbb{H}^{d}\), we write \(v = (v_{1}, \dots , v_{d}) := \Im (\tau ) \in (\mathbb{R}_{>0})^{d}\). For a function \(f\) on \(\mathbb{H}^{d}\), we will write \(f^{\Delta}\) for its diagonal restriction to \(\mathbb{H}\subset \mathbb{H}^{d}\). For \(\alpha \in \mathbb{C}\), denote
For \(x = (x_{j})_{1 \le j \le d}\), \(y = (y_{j})_{1 \le j \le d} \in \mathbb{C}^{d}\), we denote
For a semigroup \(G\) and a \(G\)-graded ring \(R = \oplus _{i \in G} R_{i}\), we use
for a sub-semigroup \(G_{0} \subset G\). Also, we denote ℕ the positive integers and \(\mathbb{N}_{0} := \mathbb{N}\cup \{0\}\).
2.1 Modular forms
For a congruence subgroup \(\Gamma \subset {\mathrm{SL}}_{2}(\mathcal{O})\), a finite dimensional, unitary representation \(\rho \) of \(\Gamma \) on a finite dimensional hermitian space \((\mathcal{V}, \langle \cdot , \cdot \rangle )\), and weight \(\kappa = (k_{1}, \dots , k_{d}) \in \mathbb{Z}^{d}\), let \({\mathcal{A}}_{\kappa , \rho}(\Gamma )\) denote the ℂ-vector space of vector-valued, real-analytic functions on \(\mathbb{H}^{d}\) invariant with respect to \(\rho \) on \(\Gamma \) of weight \(\kappa \), and bounded near the cusps of \(\Gamma \backslash \mathbb{H}^{d}\). It contains the subspaces \(S_{\kappa , \rho}(\Gamma ) \subset M_{\kappa , \rho}(\Gamma )\) of cuspidal and holomorphic Hilbert modular forms. We also write \(\overrightarrow{k} := (k ,\dots , k)\).
For any \(f \in {\mathcal{A}}_{\kappa , \rho}(\Gamma )\), the function on \(\mathbb{H}^{d}\)
is \(\Gamma \)-invariant. Given \(f, g \in {\mathcal{A}}_{\kappa , \rho}(\Gamma )\) such that at least one of them has exponential decay near the cusps, we can define their Petersson inner product
where \(d\mu (\tau ) := d\mu (\tau _{1})\dots d\mu (\tau _{d})\) is the invariant measure on \(\mathbb{H}^{d}\) (see Equation (4.21) in [10]). For \(\kappa = (k_{1}, \dots , k_{d})\), denote the following related weights
We omit \(\Gamma \), resp. \(\rho \), from the notation when \(F\) is fixed and \(\Gamma = \Gamma _{F} := {\mathrm{SL}}_{2}(\mathcal{O})\), resp. it is trivial. When \(F = \mathbb{Q}\), we will use the superscript ! to indicate modular forms with singularities at the cusps.
When \(\rho \) is trivial, it is known that \(M_{\kappa}(\Gamma _{F}) = M_{\kappa}(\Gamma _{F}, \mathbb{Q}) \otimes \mathbb{C}\), where \(M_{\kappa}(\Gamma _{F}, \mathbb{Q})\) is the subspace of modular forms with rational Fourier coefficients. This is also the case for \(M_{\kappa , \rho}\) when \(\rho \) is a Weil representation defined below (see [29], [10, Sect. 7]).
For later purposes, we will be interested in the (\(\mathbb{N}^{d}\)-)graded ring
2.2 Differential operators
For \(k \in \mathbb{Z}\), we have the usual raising, lowering and hyperbolic Laplacian operators on ℍ
They change the weight by 2, −2 and 0 respectively. For \(\kappa = (k_{1}, k_{2}) \in \mathbb{Q}^{2} \) and \(r \in \mathbb{N}_{0}\), we can define the Rankin-Cohen operator on a real-analytic function \(f(\tau _{1}, \tau _{2}) \in \mathbb{H}^{2}\) by
where \(\binom{m}{n} := \frac{m(m-1)(m-2)\dots (m-n + 1)}{n!}\) is the binomial coefficient. The equality in the second line can be proved by considering the generating series constructed from the differential operators \(\partial _{\tau}\) and \(R_{\tau}\). The details are contained in Sect. 5.2 of [14], in particular Propositions 18 and 19. The first expression shows that the operator preserves holomorphicity. When \(\kappa \in \mathbb{Z}^{2}\), the second expression shows that it preserves modularity in the sense that
for any \(\gamma \in {\mathrm{SL}}_{2}(\mathbb{R})\). The same result holds in the metaplectic setting when \(\kappa \in {\tfrac{1}{2}}\mathbb{Z}^{2}\).
Example 2.1
Suppose \(\kappa = (1, 1)\) and \(f(\tau _{1}, \tau _{2}) = {\mathbf{e}}(\alpha _{1} \tau _{1} + \alpha _{2} \tau _{2})\) for \(\alpha \in \mathbb{Q}(\sqrt{D})\) with \(\mathrm{tr}(\alpha ) \neq 0\). Then
with \(x = \frac{\alpha _{1} - \alpha _{2}}{\alpha _{1} + \alpha _{2}} = \frac{\sqrt{D}\mathrm{tr}(\alpha /\sqrt{D})}{\mathrm{tr}(\alpha )} \) and \(P_{r}(X)\) the \(r\)-th Legendre polynomial, which has parity \((-1)^{r}\). The last equality is a consequence of Rodrigues’ formula (see (8.6.18) in [1]). This example will be used in the proof of Theorem 1.3.
When \(f(\tau _{1}, \tau _{2}) = f_{1}(\tau _{1})f_{2}(\tau _{2})\) with \(f_{i}\) modular forms of weight \(k_{i} \in {\tfrac{1}{2}}\mathbb{Z}\), the function \([f_{1}, f_{2}]_{r} := {\mathcal{C}}_{\kappa , r}(f)\) is the usual Rankin-Cohen bracket of \(f_{1}\) and \(f_{2}\) [14, Sect. 5.2]. If \(f_{1}\) is harmonic of weight \(k_{1}\) and \(f_{2}\) is holomorphic of weight \(k_{2}\), then we have
for any \(r \in \mathbb{N}_{0}\).
Lemma 2.2
For real-analytic functions \(f, g: \mathbb{H}\to \mathbb{C}\), rational numbers \(k\), \(\ell \) and an integer \(r \ge 0\), if \(k + \ell \notin \{-2r+2, -2r+3, \dots , 0\}\),Footnote 4then there exists \(c_{r, a, j} \in \mathbb{Q}\) such that
for all \(0 \le a \le r\).
Proof
This is done by induction on \(r\). The base case of \(r = 0\) is trivial. For the inductive step to prove the case \(r+1\), we have \(k+\ell \notin \{-2r, -2r+1, \dots , 0\}\). Denote \(x_{a} := \tilde{R}^{a} f \tilde{R}^{r+1-a}g\) for \(0 \le a \le r+1\). Applying \(\tilde{R}\) to (2.9) shows that \(x_{a} + x_{a+1}\) is a rational linear combination of \(\tilde{R}^{r+1-j}[f, g]_{j}\)’s over \(0 \le j \le r\) for any \(0 \le a \le r\). From definition, we also have
Therefore, the right hand side below is a rational linear combination of \(\tilde{R}^{r+1-j}[f, g]_{j}\) for \(0 \le j \le r+1\) and it suffices to show that the square matrix on the left is invertible
The right kernel of \(A\) is spanned by the vector \(((-1)^{a})_{0 \le a \le r+1}\). On the other hand
which is zero precisely when \(k + \ell \in \{-2r, -2r+1, \dots , -r\}\). This is not possible by the condition imposed on \(k+\ell \). Therefore the matrix \(\binom{A}{c_{0} \dots c_{r+1}}\) is invertible. □
Now we will extend the Rankin-Cohen operator to functions on \(\mathbb{H}^{d}\) for any \(d \ge 2\) by first restricting it to \(\mathbb{H}^{2}\), before applying the usual Rankin-Cohen operator. This can be expressed as a linear combination of the generalized Rankin-Cohen operators studied in [26]. For \(f: \mathbb{H}^{d} \to \mathbb{C}\), \(\kappa = (k_{1}, \dots , k_{d}) \in \mathbb{Z}^{d}\), denote \(f^{\Delta , 1}(\tau ', \tau _{1}) := f(\tau _{1}, \tau ', \dots , \tau ')\), \(\kappa (1) := (\mathrm{tr}(\kappa ) - k_{1}, k_{1}) \in \mathbb{Z}^{2}\) and define
It is easy to check that \(( f \mid _{\kappa }(\gamma , \dots , \gamma ))^{\Delta , 1} = f^{ \Delta , 1} \mid _{\kappa (1)} (\gamma , \gamma )\) and
for all \(\gamma \in {\mathrm{SL}}_{2}(\mathbb{R})\). Suppose \(f(\tau ) = q_{1}^{\alpha _{1}} \dots q_{d}^{\alpha _{d}}\) with \(q_{j} := {\mathbf{e}}(\tau _{j})\), \(\alpha _{j} \in \mathbb{C}\), then
where \(\alpha := \alpha _{1} + \cdots + \alpha _{d}\). Analogous definitions also make sense when the index 1 above is replaced by any \(j \in \{1, \dots , d\}\).
Finally for \(f, g \in \mathbb{H}^{d} \to \mathbb{C}\) real-analytic and \(\kappa \in \mathbb{Z}^{d}\), we define
with \(a_{e} \in \mathbb{Z}\) explicit constants given by
From the definition, one sees that \({\mathcal{D}}_{\kappa , r}(f, g)\) is real-analytic on ℍ and satisfies
for \(\kappa , \lambda \in \mathbb{Z}^{d}\) and \(\gamma \in {\mathrm{SL}}_{2}(\mathbb{R})\). The upshot of this operator is the following result.
Lemma 2.3
For \(\kappa = (k_{1}, \dots , k_{d}) \in \mathbb{Z}\), let \(f : \mathbb{H}^{d} \to \mathbb{C}\) be a real-analytic function that is harmonic in \(\tau _{1}\) of weight \(k_{1}\) and holomorphic in \(\tau _{2}, \dots , \tau _{d}\). For any holomorphic function \(g: \mathbb{H}^{d} \to \mathbb{C}\), we have
for all \(r \in \mathbb{N}_{0}\).
Proof
This follows directly from the definition and equation (2.8). □
We can also componentwisely apply \({\mathcal{D}}_{\kappa , r}\) when \(f\) is vector-valued, in which case we also write \({\mathcal{D}}_{\kappa , r}(f, g)\), and the result above holds as well.
2.3 Quadratic space and Shimura variety
Let \(V\) be a finite dimensional \(F\)-vector space of dimension \(n+2 \ge 0\) with a non-degenerate quadratic form \(Q\). For our purpose, \(n\) is even when \(d \ge 2\), i.e. \(F \neq \mathbb{Q}\). Denote \(V_{\sigma _{j}} := V \otimes _{F, \sigma _{j}} \mathbb{R}\) for \(1 \le j \le d\), which is an ℝ-quadratic space of signature \((p_{j}, q_{j})\), and \(V(\mathbb{R}) = V \otimes _{\mathbb{Q}}\mathbb{R}= \oplus _{i} V_{ \sigma _{i}}\) is an ℝ-quadratic space of signature \((p, q)\) with \(p = \sum _{j} p_{j}\), \(q = \sum _{j} q_{j}\). We say that \(V\) is totally positive if \(V(\mathbb{R})\) is positive definite. The symmetric domain \(\mathbb{D}\) associated to \({\mathrm{SO}}(V(\mathbb{R}))\) is realized as the Grassmannian of \(q\)-dimensional negative definite oriented subspaces of \(V(\mathbb{R})\). It consists of 2 components unless \(q = 0\), in which case it is a point.
Let \(\mathrm{GSpin}_{V}\) be the general spin group of \(V\). We will be interested in the ℚ-algebraic group
which fits into the exact sequence
with \(Z(\mathbb{Q}) \cong F^{\times}\). Denote \(\nu : C(V) \to F^{\times}\) the spinor norm on the Clifford algebra \(C(V)\) of \(V\), which induces a surjection \(\nu : H \to T := \mathrm{Res}_{F/\mathbb{Q}} \mathbb{G}_{m}\) of algebraic groups.
Example 2.4
More generally, the group \(\mathrm{GSpin}\) can be defined for a quadratic module \(M\) over a commutative ring \(R\). For a nice example, we consider the hyperbolic plane, where \(M = R^{2}\) is a free \(R\)-module with quadratic form \(Q((a, b)) = ab\). Furthermore denote \(e_{1}\), \(e_{2}\) the images of \((1, 0), (0, 1) \in M\) in the Clifford algebra \(C(M)\), and \(e_{0} := e_{1} e_{2}\), \(e_{3} := e_{2} e_{1} \in C(M)\). Then we have \(e_{0} + e_{3} = 1\) in \(C(M)\) and an \(R\)-algebra isomorphism
The even Clifford algebra \(C^{0}(M)\) corresponds precisely to the diagonal matrices in \(M_{2}(R)\). The group \(\mathrm{GSpin}\) then consists of invertible diagonal matrices, and the spinor norm \(\nu \) is just the determinant.
For the rest of this subsection, suppose \(V\) has signature
Then the hermitian symmetric space associated to \(H\) can be realized as the Grassmannian \(\mathbb{D}= \mathbb{D}_{V} = \mathbb{D}^{+} \sqcup \mathbb{D}^{-}\) of oriented negative-definite 2-planes of \(V_{\sigma _{1}}\). If we denote \(V_{\mathbb{C}}:= V \otimes _{F, \sigma _{1}} \mathbb{C}\) and extend the quadratic form ℂ-bilinearly to \(V_{\mathbb{C}}\), then we can identify \(\mathbb{D}\) with the quadric
in the projective space \(\mathbb{P}(V_{\mathbb{C}})\) by sending \([Z = X +iY]\) to the oriented 2-plane spanned by the ordered basis \(\{X, Y\} \subset V_{\sigma _{1}}\). This endows \(\mathbb{D}\) with a complex structure. We can furthermore identify the tube domain
where \(V_{0} := V_{\sigma _{1}} \cap a^{\perp }\cap b^{\perp}\) for isotropic vectors \(a, b \in V_{\sigma _{1}}\) with \((a, b) = 1\), with ℋ by sending \(z\) to the class of
in \(\mathbb{P}(V_{\mathbb{C}})\). For \(\gamma \in H(\mathbb{R})\), we have the automorphy factor \(j(\gamma , z) = (\gamma w(z) , b)\) from
For \(z \in \mathbb{D}^{\pm}\), denote \(\bar{z} \in \mathbb{D}^{\mp}\) the 2-plane with the opposite orientation. The subgroup of \(H(\mathbb{R})\) fixing \(\mathbb{D}^{+}\) is the subgroup \(H(\mathbb{R})_{+}\) consisting of elements with totally positive spinor norm. For a compact open \(K \subset H(\hat{\mathbb{Q}})\), the ℂ-points of the Shimura variety associated to \(H\)
is a complex quasi-projective variety of dimension \(n\), and has a canonical model over \(\sigma _{1}(F)\) [32]. When \(V\) is anisotropic over \(F\), the variety \(X_{K}\) is projective.
Example 2.5
For \(F = \mathbb{Q}\) and \((V, Q) = (M_{2}(\mathbb{Q}), \det )\), we have
where the line spanned by \(Z = Z(z_{1}, z_{2}) := \left ( \begin{smallmatrix} z_{1} &-z_{1}z_{2} \\ 1 &-z_{2} \end{smallmatrix} \right ) \in V(\mathbb{C})\) is in the quadric ℋ defined in (2.19). For a congruence subgroup \(\Gamma \subset {\mathrm{SL}}_{2}(\mathbb{Z})\), there exists compact open \(K_{\Gamma }\subset H(\hat{\mathbb{Q}})\) such that the connected component of the Shimura variety \(X_{V, K_{\Gamma}}\) can be identified with the product of modular curves \(X_{\Gamma }\times X_{\Gamma}\). See Sect. 3.1 in [37] for more details.
A meromorphic modular form on \(X_{K}\) of weight \(w \in \mathbb{Z}\) is a collection of meromorphic functions \(\Psi (\cdot , h): {\mathscr{H}}\to \mathbb{C}\) for each \(h \in H(\hat {\mathbb{Q}})\) satisfying
and are meromorphic at the boundary.Footnote 5 For such a meromorphic modular form, we also denote
which is a real-analytic function on \(X_{K}\) (see Sect. 2 of [10]).
To describe the connected components of \(X_{K}\), we write
where \(H(\mathbb{Q})_{+} = H(\mathbb{Q}) \cap H(\mathbb{R})_{+}\). Then for \(n > 0\), we have \(X_{K} \cong \coprod _{j} \Gamma _{h_{j}} \backslash \mathbb{D}^{+}\) and (1.8) of [25] gives us
where \(E_{K}/F\) is a finite Galois extension that the connected component \(Y_{K} := \Gamma _{1} \backslash \mathbb{D}^{+}\) is defined over. Furthermore, for \(\sigma \in {\mathrm{Gal}}(E_{K}/F)\) associated to \(\nu (h_{j}^{-1})\), we have \(Y_{K}^{\sigma }\cong Y_{h_{j} K h_{j}^{-1}}\) over \(E_{K}\) and
When restricted to the center \(Z\) in (2.17), the map \(\nu \) above is simply the square map and its image consists of square elements in \({\mathrm{Gal}}(E_{K}/F)\).
When \(n = 0\), the domain \(\mathbb{D}\) has two points and the group \(\mathrm{GSpin}_{V}\) can be identified with \(E_{W}^{\times}\) for a totally imaginary, quadratic extension \(E_{W}\) over \(F\), the norm from \(E_{W}\) to \(F\) is simply the spinor norm, and
For \(1 \le j \le d\), there is a unique \(F\)-quadratic space \(V(j)\) with signature
and isomorphic to \(V\) at all finite places. They are neighboring quadratic spaces of an admissible incoherent quadratic space \((\mathbb{V}, Q)\) over \(\hat{F}\) (see [9, Sect. 7]). One can carry out the construction before (2.20) to define \(X_{V(j), K}\), which is the ℂ-points of a Shimura variety defined over \(\sigma _{j}(F)\). There is a quasi-projective variety \(\mathbb{X}_{K}\) defined over \(F\) such that the base change to \(\sigma _{j}(F)\) is \(X_{V(j), K}\), and the union of \(X_{V(j), K}\) over all \(j\) is the ℂ-points of \(\mathbb{X}_{K}\) considered as a scheme over ℚ (see Lemma 7.1 of [9]).
2.4 Unimodular lattice
An \(\mathcal{O}\)-lattice \(L \subset V\), i.e. a finitely generated \(\mathcal{O}\)-module satisfying \(L \otimes _{\mathcal{O}}F = V\), is called even, resp. integral, if \(Q(L)\) is in \(\mathfrak{d}^{-1}\), resp. \(\mathcal{O}\). For an even \(\mathcal{O}\)-lattice \((L, Q)\), the quadratic form \(Q_{\mathbb{Z}}(x):= \mathrm{tr}_{F/\mathbb{Q}}Q(x)\) is ℤ-valued, and we denote
which is the dual of the ℤ-lattice \(L\) with respect to \(Q_{\mathbb{Z}}\). For \(\mu \in L'/L\) and \(m \in F\), we write
which is empty if \(m \notin \mathfrak{d}^{-1} + Q(\mu )\).
Also, we denote
the subspace of Schwartz functions with support on \(\hat{L}' := L' \otimes \hat {\mathcal{O}}\) and constant on \(\hat{L} := L \otimes \hat {\mathcal{O}}\). Note that \(\hat{L}' / \hat{L} = L' /L\) is a finite abelian group, and we write \(\hat{L}_{m, \mu} := L_{m, \mu} \otimes \hat {\mathcal{O}}\). For any \(h \in H(\hat {\mathbb{Q}})\), the latticeFootnote 6
satisfies \(h^{-1} \cdot \hat{L} = \hat{L}_{h}\) and is in the same genus as \(L\). Using the left action of \(h^{-1}\), we identify
The linear isomorphism \(\iota _{h}: S_{L} \to S_{L_{h}}\), which sends \(\phi _{\mu}\) to \(\phi _{h^{-1} \mu}\), then identifies \(\rho _{L}\) with \(\rho _{L_{h}}\).
We say that a lattice \(L\) is ℤ-unimodular if \(L' = L\). Then the set
is a commutative monoid with respect to ⊕. Let \({\mathcal{U}}_{F}^{+} \subset {\mathcal{U}}_{F}\) denote the semigroup consisting of totally positive, non-trivial lattices. This set is non-empty by the following result.
Proposition 2.6
For any totally real field \(F\), the semigroup \({\mathcal{U}}_{F}^{+}\) is non-trivial.
Proof
For an integral \(\mathcal{O}\)-lattice \(L \subset V\), let \(\mathfrak{d}(L) \subset \mathcal{O}\) be the discriminant ideal of \(L\) (see [17]). Then \(\mathfrak{d}(L) = \mathcal{O}\) if and only if \(L^{\#} = L\), where \(L^{\#} := \{y \in V: (y, L) \subset \mathcal{O}\} \) is the \(\mathcal{O}\)-dual of \(L\). In this case, \(L\) is called unimodular. Satz 1 in [17] gives a necessary and sufficient condition for the existence of definite unimodular \(\mathcal{O}\)-lattices, which is easily seen to be satisfied when \(V = W^{\oplus 4}\) with \(\dim _{F}(W)\) is divisible by 2. Furthermore, for any one of the \(2^{d}\) possible signatures for definite spaces, there is a space \(V\) having this signature and containing a unimodular \(\mathcal{O}\)-lattice. So for any \(\alpha \in F^{\times}\), there is a definite space \(V\) such that it becomes totally positive definite after scaling its quadratic form by \(\alpha \).
It is a well-known result of Hecke (see the last Theorem in [36]) that the class of \(\mathfrak{d}\) in \({\mathrm{Cl}}(F)\) is a square. So we can write \(\mathfrak{d}^{-1} = \mathfrak{a}^{2} (\delta )\) with \(\mathfrak{a}\subset \mathcal{O}\) and \(\delta \in F\). Let \((L, Q)\) be a non-trivial, integral unimodular \(\mathcal{O}\)-lattice such that \(\delta Q\) is totally positive definite. Then \((\mathfrak{a}L, \delta Q)\) is an even \(\mathcal{O}\)-lattice and
for all \(\lambda \in (\mathfrak{a}L)'\). So \(\lambda \in \mathfrak{a}L^{\#} = \mathfrak{a}L\) and \((\mathfrak{a}L, \delta Q)\) is non-trivial, ℤ-unimodular and totally positive definite. □
2.5 Special cycles
Now suppose \(V\) decomposes as \(W \oplus U\) such that \(U\) is totally positive subspace of dimension \(r\). Then the Grassmannian \(\mathbb{D}_{U}\) of \(U\) consists of one point \(z_{U}\), and \(\mathbb{D}_{W}\) can be realized as an analytic submanifold of \(\mathbb{D}\) via
Similarly, the algebraic group \(H_{W} := \mathrm{Res}_{F/\mathbb{Q}}\mathrm{GSpin}_{W}\), resp. \(H_{U} := \mathrm{Res}_{F/\mathbb{Q}}\mathrm{GSpin}_{U}\), is isomorphic to the pointwise stabilizer of \(U\), resp. \(W\), in \(H_{V}\), which induces \(H_{W} \times H_{U} \hookrightarrow H_{V}\) and we writeFootnote 7\((h_{W}, h_{U}) \in H_{V}\) for \(h_{W} \in H_{W}\), \(h_{U} \in H_{U}\). Then for \(h \in H_{V}(\hat{\mathbb{Q}})\), the image of the natural map
defines a codimension-\(r\) cycle on \(X_{K}\), denoted by \(Z(W, h)\). A word of caution about the notation: in [25], the items \(\mathbb{D}_{W}\), \(H_{W}\) and \(Z(W, h)\) were defined with \(W\) replaced by \(U\). We decide to change the notation here as \(U\) will be varying later and it is important to keep track of \(W\).
When \(r = n\), the set \(\mathbb{D}_{W} = \{z_{W}^{\pm}\}\) consists of two elements and points of \(Z(W, h)\) are called (small) CM points. For a subfield \(F_{0} \subset F\), we can consider the \(F_{0}\)-quadratic space
For any \(F_{0}\)-quadratic space \(V_{0} = W_{F_{0}} \oplus U_{0}\) with \(U_{0}\) totally positive, the image of the above homomorphism \(H_{W_{F_{0}}} \hookrightarrow H_{V_{0}}\) is a torus denoted by \(T:= T_{W} \subset H_{V_{0}}\). For any open compact \(K \subset H_{V_{0}}(\hat {\mathbb{Q}})\), the torus \(T\) gives rise to the CM 0-cycle \(Z(W_{F_{0}}, h)\) on \(X_{V_{0}, K}\) defined over \(F\). Its ℂ-points are given by
where \(K^{h}_{T} := h K h^{-1} \cap T(\hat {\mathbb{Q}})\). These were called “big CM points” in [13] when \(F_{0} = \mathbb{Q}\) and \(U_{0}\) is trivial. We omit \(h\) from the notation when it is trivial.
To obtain a 0-cycle defined over ℚ, one considers the 0-cycle
where \(\mathbb{W}\) is the admissible incoherent quadratic space with neighbors \(W(j)\). Note that \(Z(\mathbb{W})\) is \(Z(W)\) in Equation (2.13) of [13]. The 0-cycles \(\tau _{j}(Z(W))\) can be constructed as above with \(W\) replaced by \(W(j)\) for \(1 \le j \le d\) (see [13, Lemma 2.2]).
Example 2.7
We follow the discussions in [37, Sect. 3] and [27, Sect. 3.2] to realize the CM points appearing in Theorem 1.1 as big CM points. Let \(d_{1}, d_{2} < 0\) be discriminants such that \(F = \mathbb{Q}(\sqrt{D})\) is a real quadratic field, where \(D := d_{1} d_{2}> 0\). We label the real embeddings \(\sigma _{j}: F \to \mathbb{R}\) such that \(\sigma _{1}(\sqrt{D}) = \sqrt{D}\) and \(\sigma _{2}(\sqrt{D}) = - \sqrt{D}\). Then \(E := E_{1}E_{2}\) is a CM extension of \(F\) and becomes an \(F\) quadratic space \(W\) of signature \(((0, 2), (2, 0))\) with respect to the quadratic form \(Q(\mu ) := -\frac{ N \mu \bar{\mu}}{\sqrt{D}}\). For \(i = 1, 2\), let \(z_{i} = \frac{-b_{i} + \sqrt{d_{i}}}{2a_{i}}\) be a CM point of discriminant \(d_{i}\). Denote \(H_{i}/E_{i}\) the ring class field corresponding to \(z_{i}\), \(H = H_{1}H_{2}\) and
The group \({\mathrm{Gal}}(H/\mathbb{Q})\) embeds into \(\tilde{G_{1}} \times \tilde{G_{2}}\) via restriction, under which the image of \({\mathrm{Gal}}(H/E)\) is a subgroup of \(G_{1} \times G_{2}\). If \((V, Q) = (M_{2}(\mathbb{Q}), \det )\), then the mapFootnote 8
is an isometry with \(N = a_{1}a_{2}\). The CM 0-cycle \(Z(W_{\mathbb{Q}})\) defined in (2.32) is given by
where \(H_{0} = H_{1} \cap H_{2}\). Note that \(H_{0} = \mathbb{Q}\) when \(d_{1}\), \(d_{2}\) are co-prime. On the other hand, we have
Lemma 3.2 in [27] tells us that \(H_{0}/\mathbb{Q}\) is abelian. Its proof even implies that every element in \({\mathrm{Gal}}(H_{0}/\mathbb{Q})\) has order dividing 2. From these, we then know that the element \(\sigma _{2} \in {\mathrm{Gal}}(H_{2}/E_{2})\) satisfying \(z_{2}^{\sigma _{2}} = -\overline{z_{2}}\) is a square and hence trivial when restricted to \(H_{0}\). Therefore, \(Z(W_{\mathbb{Q}}) = Z(W(2)_{\mathbb{Q}})\), and \(Z(W_{\mathbb{Q}})\) is already defined over ℚ.
On the other extreme, when \(r = 1\), we have \(W = (F x_{0})^{\perp}\) for some \(x_{0} \in F\) with \(Q(x_{0}) = m \gg 0\), and the cycle \(Z(W, h)\) is a divisor. We define a weighted divisor by the finite sum
for any \(\phi \in {\mathcal{S}}(V(\hat{F}))^{K}\). We also write
for \(\mu \in L'/L\) and \(L \subset V\) an even \(\mathcal{O}_{F}\)-lattice.
2.6 A helpful lemma
In this section, we record a result that will be helpful in studying zeros of definite theta functions.
Lemma 2.8
Let \(\theta _{1}, \dots , \theta _{N} \in \mathbb{R}\) be ℚ-linearly independent irrational numbers, \(M \in \mathbb{N}\) and \(b\) an integer with \(0 \le b \le M-1\). For any \(\alpha _{1}, \dots , \alpha _{N} \in \mathbb{R}\), there exists an infinite subsequence \(\{n_{i}: i \in \mathbb{N}\} \subset \mathbb{N}\) such that
for all \(1 \le j \le N\).
Proof
By replacing \(\theta _{j}\) with \(M\theta _{j}\) and \(\alpha _{j}\) with \(\alpha _{j} - b\theta _{j}\), we can suppose that \(M = 1\) and \(b = 0\). We first prove the case \(\alpha _{j} = 0\) for all \(1\le j \le N\) by constructing the sequence \(\{n_{i}\}\) inductively. For any \(\epsilon > 0\), by Kronecker’s approximation theorem [3, Theorem 7.10], there exists \(n, h_{j} \in \mathbb{Z}\) such that
for all \(1 \le j \le N\), which is equivalent to
By replacing \(n\), \(h_{j}\) with \(-n\), \(-h_{j}\), we can ensure that \(n \ge 1\) for \(\epsilon < 3/2\), while \(|n\theta _{j} - h_{j}| < \epsilon \) still holds. Denote \(n(\epsilon ) :=n\) and \(n_{i} := \max \{n(1/i'): 1 \le i' \le i\}\). Then
and the sequence \(\{n_{i}\}\) is infinite since \(\theta _{j}\)’s are irrational.
In the general case, we can first use Kronecker’s approximation theorem to produce a sequence \(\{n'_{i} \} \subset \mathbb{Z}\) such that \(\lim _{i \to \infty} {\mathbf{e}}(n'_{i} \theta _{j}) = {\mathbf{e}}( \alpha _{j})\) for all \(1 \le j \le N\). For each \(i\), we can find \(i' > i\) such that \(n''_{i} := n'_{i} + n_{i'}\) forms an increasing sequence in ℕ, where \(\{n_{i}\}\) is the sequence we have constructed in the case all \(\alpha _{j}\)’s are 0. Then the new sequence \(\{n''_{i}\}\) satisfies the condition of the lemma. □
Lemma 2.9
Suppose \(\alpha _{i}, c_{i} \in \mathbb{C}\) for \(i \in \mathbb{N}\) satisfy the condition that the series defining
converges absolutely for \(s = s_{0} \in \mathbb{R}\) and equals to 0 for all but finitely many \(s \in \mathbb{Z}_{> s_{0}}\). Then we have
for any \(c \in \mathbb{C}^{\times}\). In other words, \(\phi (s)\) is identically zero.
Remark 2.10
If \(\alpha _{i} > 0\) for all \(i \in \mathbb{N}\), then \(c_{i} = 0\) for all \(i \in \mathbb{N}\). This strengths Lemma \(5.6_{1}\) in [21].
Proof
Without loss of generality, we take \(s_{0} = 0\). After rearranging and scaling all the \(c_{i}\)’s, we can suppose that \(|c_{i}| \ge |c_{i+1}|\) for all \(i \in \mathbb{N}\), and \(1 := |c_{1}| = |c_{m}| > |c_{m+1}|\). Denote
Using induction, it is then enough to prove the lemma for \(\phi _{1}(s)\).
The condition \(\phi (s) = 0\) for all but finitely many \(s \in \mathbb{N}\) implies that
For \(1 \le i \le m\) with \(c_{i} \neq 0\), we can now write
with \(\zeta = {\mathbf{e}}(1/M)\) for some \(M \in \mathbb{N}\), \((r_{i, j})_{0 \le j \le N} \in \mathbb{Z}/M\mathbb{Z}\times \mathbb{Z}^{N}\) and \(\theta _{j} \in \mathbb{R}\) such that \(1, \theta _{1}, \dots , \theta _{N}\) are ℚ-linearly independent. Then we have \(c_{i} = c_{i'}\) if and only if \(r_{i, j} = r_{i', j}\) for all \(0 \le j \le N\). For any integer \(0 \le b \le M-1\), we have
where \(f_{b}(z_{1}, \dots , z_{n}) : = \sum _{i = 1}^{m} \alpha _{i} ( \zeta ^{b})^{r_{i, 0}} \prod _{j = 1}^{N} z_{j}^{r_{i, j}} \in \mathbb{C}[z_{1}, z_{1}^{-1}, \dots , z_{N}, z_{N}^{-1}]\).
For any \(\beta \in (\mathbb{R}/\mathbb{Z})^{N}\), Lemma 2.8 implies that there exists an infinite subsequence \(\{n_{k}: k \in \mathbb{N}\} \subset \mathbb{N}\) such that
Since \(f_{b}\) is continuous, we then have
This implies that the polynomial \(f_{b}\) is identically zero, or equivalently
for all \(r \in \mathbb{Z}^{N}\) and \(b \in \mathbb{Z}/M\mathbb{Z}\). This then implies
for all \(r' \in \mathbb{Z}/M\mathbb{Z}\times \mathbb{Z}^{N}\) and \(\phi _{1}(s)\) is identically 0. So the lemma holds for \(\phi _{1}\), and hence also for \(\phi \) by induction. □
As an immediate consequence, we have the following result.
Corollary 2.11
Let \(\{c_{i}: i \in \mathbb{N}\}\), \(\{b_{j}: j \in \mathbb{N}\}\) be subsets of ℂ, and
Suppose there is \(s_{0} \in \mathbb{R}\) such that the series
converge absolutely for \(s = s_{0}\) and \(f(s) = g(s)\) for all but finitely many \(s \in \mathbb{Z}_{> s_{0}}\), then there is a bijection \(\sigma : I \to J\) such that \(c_{i} = b_{\sigma (i)}\) for all \(i \in I\). In particular, \(I\) is finite if and only if \(J\) is finite, in which case they have the same size.
3 Functions
3.1 Weil representation and theta function
Let \(G := \mathrm{Res}_{F/\mathbb{Q}}({\mathrm{SL}}_{2})\) and
Also denote \(\Gamma _{f} := {\mathrm{SL}}_{2}(\hat{\mathcal{O}}) \subset G( \hat{\mathbb{Q}})\).
For an \(F\)-quadratic space \((V, Q)\) of even dimension, let \(\omega = \omega _{\psi}\) be the Weil representation of \(G(\mathbb{A})\) on the space of Schwartz functions \({\mathcal{S}}(V(\mathbb{A}_{F})) = {\mathcal{S}}(V(\hat{F})) \otimes \bigotimes _{1 \le j \le d} {\mathcal{S}}(V_{\sigma _{j}})\), where \(\psi \) is the standard additive character on \(F \backslash \mathbb{A}_{F}\).
At the infinite local place, suppose \((W, Q_{W})\) is an ℝ-quadratic space of signature \((p, q)\) with \(2 \mid (p + q)\). For a point \(w\) in the symmetric space \(\mathbb{D}_{W}\) associated to \({\mathrm{SO}}(W)\), we obtain an orthogonal decomposition \(W = w^{\perp }\oplus w\) and a Schwartz function
in \({\mathcal{S}}(W)\), which is acted on by \({\mathrm{SL}}_{2}(\mathbb{R})\) via the Weil representation \(\omega _{W}\) to produce
Note that
as it is independent of the orientation of \(w\). If \(q = 0\), then the expressions in (3.1) and (3.2) are independent of \(w\) and we omit them from the notation. In addition, we will also be interested in the following “singular Schwartz function” when \(q \ge 1\)
Here \(\Gamma (s, x) := \int ^{\infty}_{x} t^{s-1} e^{-t} dt\) is the incomplete Gamma function. Direct calculations yield
for all \(w \in \mathbb{D}_{W}\) and \(\lambda \in W\).
To describe the finite local place, let \(L \subset V\) be an even lattice and \(S_{L} \subset {\mathcal{S}}(V(\hat{F}))\) the subspace as in (2.27). Then \(\Gamma \) acts on the space \(S_{L}\) via \(\omega \), whose complex conjugate we denote by \(\rho _{L}\). Its explicit values on the generators of \(\Gamma \) can be found in Sect. 3.2 of [10]. Furthermore, it is unitary with respect to the hermitian pairing on \(S_{L}\)
More generally, for lattices \(L\), \(M\) and \(\phi \in S_{M \oplus L}\), \(\psi \in S_{M}\), we define \(\langle \phi , \psi \rangle _{L} \in S_{L}\) by
These pairings are then naturally defined for functions valued in \(S_{L}\).
For the rest of the section, suppose \(V_{\sigma _{j}}\) is positive definite whenever \(j \ge 2\). Then \(\mathbb{D}_{V_{\sigma _{j}}}\) is \(\mathbb{D}\) for \(j = 1\) and a point otherwise. For \({\tau }= (\tau _{j}) \in \mathbb{H}^{d}\), \(z \in \mathbb{D}\), \(h \in H( \hat{\mathbb{Q}})\) and \(\phi _{f} \in {\mathcal{S}}(V(\hat{F}))\), we define the Siegel theta function
Note that \(\Theta (\tau , \bar{z}, h; \phi _{f}) = \Theta (\tau , z, h; \phi _{f})\) by (3.3). In the variable \({\tau }\), this is a Hilbert modular form of weight
For any even lattice \(L \subset V\), we also denote the associated theta function by
which is valued in \(S_{L}\). When \(h = 1\), we omit it from the notation. The definition of \(\Theta _{L}\) implies that
where \(L_{h}\) is defined in (2.28) and \(L'/L \cong L_{h}'/L_{h}\) via (2.29).
If \(V_{\sigma _{1}}\) is definite, then \(\Theta _{L}(\tau , z, h)\) is independent of \(z\) and we write
In particular when \(L = P\) is positive definite and ℤ-unimodular, this is a scalar-valued, holomorphic Hilbert modular form on \(\Gamma _{F}\) of parallel weight \(n/2 + 1\). We denote the graded subring
For future convenience, we also define
The sums converge absolutely since the singular Schwartz function decays as a Schwartz function and \(z^{\perp }\cap L'\) is contained in a positive definite lattice. For fixed \((z, h)\), it defines a real-analytic function in \(\tau \), which satisfies the analogue of (3.11) as well as
by (3.5). When \(V_{\sigma _{1}}\) is negative definite, we have \(q_{1} = n+2\) and the function \(\theta ^{*}_{L}(\tau , h) := \Theta ^{*}_{L}(\tau , z, h)\) can be written explicitly as
Although \(\theta ^{*}_{L}\) is not modular in \(\tau \), difference of such functions will become modular after adding suitable holomorphic functions (see Theorem 4.3).
Remark 3.1
When \(\dim _{F} V\) is odd, all the constructions above still hold by working with metaplectic covers. As this is not needed for most of the applications, we refrain from introducing more notations and refer the readers to [10].
3.2 Eisenstein series and Siegel-Weil formula
Let \(B\subset {\mathrm{SL}}_{2}\) the standard Borel subgroup, and \(I(s, \chi ) = \otimes _{v} I(s, \chi _{v}) := \mathrm{Ind}^{{ \mathrm{SL}}_{2}(\mathbb{A}_{F})}_{ B(\mathbb{A}_{F})} \chi |\cdot |^{s}\) the induced representation of \(G(\mathbb{A}_{\mathbb{Q}})\) for \(\chi = \chi _{V}\) the quadratic Hecke character associated to an \(F\)-quadratic space \((V, Q)\) with signature \(((p_{1}, q_{1}), (n+2,0), \dots , (n+2,0))\). For a standard section \(\Phi \in I(s, \chi ) \), the Eisenstein series
converges absolutely for \(\Re (s) \gg 0\) and has meromorphic continuation to \(s \in \mathbb{C}\). When \(s_{0} := n/2\), the map \(\lambda : {\mathcal{S}}(V(\mathbb{A}_{F})) \to I(s_{0}, \chi )\) defined by
is \({{\mathrm{SL}}}_{2}(\mathbb{A}_{F})\)-equivariant, and \(\lambda (\phi )\) can be extended uniquely to all \(s\) and produce a standard sections in \(I(s, \chi )\).
The infinite part \(\otimes _{1 \le j \le d} I(s, \chi _{\sigma _{j}})\) is generated by functions \(\Phi ^{\kappa}_{\infty} := \prod _{j} \Phi _{\mathbb{R}}^{\kappa _{j}}\) with \(\kappa = (\kappa _{j}) \in \mathbb{Z}^{d}\) satisfying \(\kappa _{j} \equiv n/2 + 1\bmod{2}\), where
is the image of \(\phi ^{q + 2, q}_{\infty}\) defined in (3.1) under \(\lambda \) for any \(q \in \mathbb{N}\) [9, Lemma 4.1]. For \(\phi _{f} \in {\mathcal{S}}(V(\hat{F}))\) and \({\tilde{\kappa}}= {\tilde{\kappa}}(V)\) as in (3.9), the Eisenstein series
is a Hilbert modular form of weight \({\tilde{\kappa}}\). For any even lattice \(L \subset V\), we have
Suppose \(q = 2\). For any compact open \(K \subset H(\hat {\mathbb{Q}})\) stabilizing \(\hat{L}\) and acting trivially on \(\hat{L}'/ \hat{L}\), we have the Siegel-Weil formula [9, Lemma 4.3]
where \(\Omega \) is the Kähler form on \(X_{K}\) normalized as in [10] and \(\mathrm{vol}(X_{K}) = \int _{X_{K}} \Omega ^{n}\). For \(n = 0\), the Siegel-Weil formula yields
When \(q = 0\), we have \({\tilde{\kappa}}= \overrightarrow{s_{0} + 1}\) and the lattice \(P = L\) is totally positive definite. The classical Siegel-Weil formula yields
Though \(\theta _{P^{\ell}} = \theta _{P}^{\ell}\), the Eisenstein series \(E_{P^{\ell}}\) is almost never the same as \(E_{P}^{\ell}\)!
Furthermore suppose that \(P \in {\mathcal{U}}_{F}^{+}\) with rank \(2\mathfrak{r}\). Then \(E_{P}(\tau )\) is in \({\mathcal{M}}_{F}^{\theta}\) and coincides with the Hecke Eisenstein series for \(F\) of parallel weight \(\mathfrak{r}= n/2 + 1\). It can be written as (see Sect. 2 in [5])
for certain non-zero integers \(A_{\beta}\) depending only on \(\beta \). Note that since \(P^{\ell }\in {\mathcal{U}}^{+}_{F}\) for any \(\ell \in \mathbb{N}\), we have \(E_{P^{\ell}}(\tau ) \in {\mathcal{M}}^{\theta}_{F}\). Applying Lemma 2.9, we can deduce the following results about zeros of theta functions.
Lemma 3.2
Let \(P \in {\mathcal{U}}_{F}^{+}\) and \(S \subset \mathbb{H}^{d}\) a finite set of points. Then there exists \(\ell \ge 1\) such that \(E_{P^{\ell}}\) does not vanish on \(S\).
Proof
Since \({\mathrm{SL}}_{2}(\mathbb{R})^{d}\) acts transitively on \(\mathbb{H}^{d}\), we can write \(S = \{\tau _{0}, g_{1} \tau _{0},\dots , g_{N} \tau _{0}\}\) with \(\tau _{0} \in \mathbb{H}^{d}\) and \(g_{i} \in {\mathrm{SL}}_{2}(\mathbb{R})^{d}\), where we set \(g_{0}\) to be the identity. Assume that for every \(\ell \ge 1\), there exists \(0 \le i \le N\) such that \(E_{P^{\ell}}(g_{i} \tau _{0}) = 0\). Then the function
vanishes at \(\tau = \tau _{0}\) for all \(\ell \ge 1\). Using the expression (3.24) we can write
By Remark 2.10, we have \(\prod _{i = 0}^{N} c(\beta _{i}, g_{i} \tau _{0}) = 0\) for all \(\beta _{1}, \dots , \beta _{N} \in \mathbb{P}^{1}(F)\), which is clearly a contradiction since \(\prod _{i = 0}^{N} c(\infty , g_{i} \tau _{0}) = 1\). □
Lemma 3.3
For any \(\tau _{0} \in \mathbb{H}^{d}\), there exist \(P_{1}, P_{2} \in {\mathcal{U}}_{F}^{+}\) in the same genus such that \(\theta _{P_{1}}(\tau _{0}) \neq \theta _{P_{2}}(\tau _{0})\).
Proof
Assume otherwise. Then for any \(P \in {\mathcal{U}}_{F}^{+}\), the function \(\theta _{P}(\tau , h)\) takes the same value at \(\tau _{0}\) for all \(h \in H(\hat{\mathbb{Q}})\) and we have
Therefore \(E_{P^{\ell}}(\tau _{0}) = \theta _{P^{\ell}}(\tau _{0}) = \theta _{P}( \tau _{0})^{\ell }= E_{P}(\tau _{0})^{\ell}\) for all \(\ell \ge 1\) and \(P \in {\mathcal{U}}_{F}^{+}\). Using expression (3.24), we obtain
which contradicts Corollary 2.11 since \(c(\beta , \tau _{0}) \neq 0\) for all \(\beta \in \mathbb{P}^{1}(F)\). □
Proposition 3.4
Partition of Unity
Let \(F\) be a totally real field. Then there exist \(m \in \mathbb{N}\), \({\tilde{P}}_{i}, P_{1, i}, P_{2, i} \in {\mathcal{U}}^{+}_{F}\) with ranks \(2{\tilde{\mathfrak{r}}}_{i}\) and \(2\mathfrak{r}_{i}\) for \(1 \le i \le m\) such that \(P_{1, i}\) and \(P_{2, i}\) are in the same genus for all \(i\) and there is no \(\tau _{0} \in \mathbb{H}\) such that \((E_{{\tilde{P}}_{i}} (\theta _{P_{1, i}} - \theta _{P_{2, i}}))^{ \Delta }(\tau _{0}) = 0\) for all \(i\).
Furthermore, for any \(d_{1}, \dots , d_{m}, e_{1}, \dots , e_{m} \in \mathbb{N}\), there exists elliptic modular forms \(g_{i} \in M^{!}_{-({\tilde{\mathfrak{r}}}_{i} d_{i} + \mathfrak{r}_{i} e_{i}) d}\) with rational Fourier coefficients such
Proof
Start with a point \(\tau _{0} \in \mathbb{H}\), we can find \(P_{1}, P_{2} \in {\mathcal{U}}^{+}_{F}\) in the same genus satisfying \((\theta _{P_{1}} - \theta _{P_{2}})^{\Delta}(\tau _{0}) \neq 0\) by Lemma 3.3. If \((\theta _{P_{1}} - \theta _{P_{2}})^{\Delta}\) has no zero on ℍ, then we can apply Lemma 3.2 to take \({\tilde{P}}_{1}, {\tilde{P}}_{2} \in {\mathcal{U}}^{+}_{F}\) such that \(E_{{\tilde{P}}_{1}}^{\Delta}\) and \(E_{{\tilde{P}}_{2}}^{\Delta}\) do not have common zero on ℍ. The forms \(E_{{\tilde{P}}_{1}} \cdot (\theta _{P_{1}} - \theta _{P_{2}})\) and \(E_{{\tilde{P}}_{2}} \cdot (\theta _{P_{1}} - \theta _{P_{2}})\) satisfy the first claim.
Otherwise, let \(\tau _{2}, \dots , \tau _{m} \in \mathbb{H}\) be the zeros of \((\theta _{P_{1}} - \theta _{P_{2}})^{\Delta}\) in a fundamental domain ℱ of \({\mathrm{SL}}_{2}(\mathbb{Z}) \backslash \mathbb{H}\). By Lemma 3.3, there exists \(P_{1, i}\) and \(P_{2, i}\) such that \(\theta ^{\Delta}_{P_{1, i}}(\tau _{i}) \neq \theta ^{\Delta}_{P_{2, i}}( \tau _{i})\) for all \(2 \le i \le m\). Let \(S \subset {\mathcal{F}}\) be the finite set of the zeros of \(\prod _{1 \le i \le m} (\theta _{P_{1, i}}^{\Delta }- \theta _{P_{2, i}}^{ \Delta})\). Applying Lemma 3.2, we can find \({\tilde{P}}\in {\mathcal{U}}^{+}_{F}\) such that \(E_{{\tilde{P}}}\) does not vanish on \(S\). Let \(S' \subset {\mathcal{F}}\) be the finite set of the zeros of \(E_{{\tilde{P}}}^{\Delta}\prod _{1 \le i \le m} (\theta _{P_{1, i}}^{ \Delta }- \theta _{P_{2, i}}^{\Delta})\). We can apply Lemma 3.2 to find \(E_{{\tilde{P}}_{i}}\) for \(2 \le i \le m\) such that they do not vanish on \(S'\). Now the forms \(E_{{\tilde{P}}} \cdot (\theta _{P_{1}} - \theta _{P_{2}})\) and \(E_{{\tilde{P}}_{i}} \cdot (\theta _{P_{1, i}} - \theta _{P_{2, i}})\) with \(2 \le i \le m\) satisfy the first claim.
To prove the second claim, we can write
with \(j = j(\tau )\) the \(j\)-invariant and \(A_{i}(x) \in \mathbb{Q}[x]\). The first claim implies \(\gcd (A_{1}, \dots , A_{m}) = 1\), i.e. there exists \(B_{1}, \dots , B_{m} \in \mathbb{Q}[x]\) such that
Setting \(g_{i} := B_{i}(j) \Delta ^{-({\tilde{\mathfrak{r}}}_{i} d_{i} + \mathfrak{r}_{i} e_{i}) d} (E^{11d_{i}}_{{\tilde{P}}_{i}} (\theta _{P_{1, i}} - \theta _{P_{2, i}})^{11e_{i}})^{\Delta}\) proves the second claim. □
3.3 Higher Green function
We follow [11] to recall higher Green function on the Shimura variety \(X_{K}\) for \(F = \mathbb{Q}\). Let \(V/\mathbb{Q}\) be a quadratic space of signature \((n, 2)\) and \(L \subset V\) an even lattice with \(K\) an open compact stabilizing \(\hat{L}\). Also, we denote
For \(\mu \in L'/L\) and \(m \in \mathbb{Z}+ Q(\mu )\), the automorphic Green function is defined by
where \(F(a, b, c; z)\) is the Gauss hypergeometric function [1, Chap. 15]. The sum converges normally on \(X_{K} \backslash Z(m, \mu )\) for \(s > \sigma _{0} + 1\) and defines an eigenfunction of the Laplacian \(\Delta \) on \(\mathbb{D}\), normalized as in [7], with eigenvalue \(\frac{1}{2} (s - \sigma _{0} - 1)(s + \sigma _{0})\). Furthermore, it has a meromorphic continuation to \(s \in \mathbb{C}\) with a simple pole at \(s = \sigma _{0} + 1\), whose constant term is denoted by \(\Phi _{m,\mu}(z, h, \sigma _{0} + 1)\) and the regularized theta lift of Hejhal-Poincaré series of index \((m, \mu )\) [7].
At \(s = \sigma _{0} + 1 + r\) with \(r \in \mathbb{N}\), the function \(\Phi _{m, \mu}(z, h, s)\) is called a higher Green function. For the unimodular lattice \(L = M_{2}(\mathbb{Z})\) and \(z = Z(z_{1}, z_{2})\) as in Example 2.5, we have
where \(G_{s}^{m}\) is defined in (1.2). For a harmonic Maass form \(f = \sum _{m, \mu} c(m, \mu ) q^{-m} \phi _{\mu }+ O(1) \in H_{k - 2r, \bar{\rho}_{L}}\) with \(k:= -2\sigma _{0}\), define
to be the associated higher Green function. Following from the work of Borcherds [6] and generalization by Bruinier [7] (also see [11, 34]), the function \(\Phi _{L}^{r}\) has the following integral representation
where \({\mathcal{F}}_{T}\) is the truncated fundamental domain of \(\Gamma _{\mathbb{Q}}\backslash \mathbb{H}\) at height \(T> 1\).
4 Real-analytic Hilbert modular forms and algebraicity of pairing
In this section, we will prove the existence of certain real-analytic Hilbert modular forms by generalizing the proof of Theorem 3.7 in [12], and give some results concerning their Fourier coefficients. The notations \(F\), \(D\), \(\mathcal{O}\), \(\mathfrak{d}\), \(d\) are the same as in Sect. 2.
4.1 Certain real-analytic Hilbert modular forms
Let \(\rho = \rho _{L}\) be a Weil representation, \(\kappa = (k_{1}, \dots , k_{d}) \in \mathbb{Z}^{d}\), \(\Gamma \subset \Gamma _{F}\) a congruence subgroup, and \(X = X(\Gamma ) = \Gamma \backslash \mathbb{H}^{d}\) be the open Hilbert modular variety. By adding finitely many cusps to \(X\), we obtain the Baily-Borel compactification \(X^{\mathrm{BB}}\). It can also be constructed as the Proj of the ring of holomorphic modular forms on \(X\), and is a normal, Noetherian scheme over ℂ. When \(\Gamma \) is neat, we fix a smooth toroidal compactification \({\tilde{X}}\) of \(X\). It is a compact complex manifold, and a desingularization of \(X^{\mathrm{BB}}\). We also have the natural map \(\pi : {\tilde{X}}\to X^{\mathrm{BB}}\) and let \(\mathrm{E}\) be the boundary divisor on \({\tilde{X}}\). Suppose \({\tilde{X}}\) is associated to a projective \(\Gamma \)-admissible decomposition (see [4, section II.2]).
Denote \(\mathcal{O}\) and \({\mathcal{E}}^{p, q}\) the sheaf of holomorphic functions and smooth differential forms of type \((p, q)\) on \({\tilde{X}}\) respectively, and take the subsheaf \({\mathcal{E}}' := \ker ({\mathcal{E}}^{0, 1} \stackrel{\bar{\partial}}{\to } {\mathcal{E}}^{0, 2})\). Then the Dolbeault resolution of \(\mathcal{O}\) gives us the short exact sequence
For a Cartier divisor \(\mathrm{D}\) and quasi-coherent sheaf ℱ on \({\tilde{X}}\), we write \({\mathcal{F}}(\mathrm{D})\) for the corresponding twisting sheaf. Also, let \({\mathcal{L}}_{\kappa , \rho}\) be the sheaf of modular forms of weight \(\kappa \) and representation \(\rho \) on \(X\). It extends to \(X^{\mathrm{BB}}\) and \({\tilde{X}}\) by Koecher’s principle, and we use \({\mathcal{L}}_{\kappa , \rho} \) and \(\tilde{ \mathcal{L}}_{\kappa , \rho}\) to denote these extensions. In particular,
Note that \(\pi _{*}\tilde{ \mathcal{L}}_{\kappa , \rho} = {\mathcal{L}}_{ \kappa , \rho}\), \(\pi ^{*}{\mathcal{L}}_{\kappa , \rho} = \tilde{ \mathcal{L}}_{\kappa , \rho}\). When \(\rho \) is trivial and \(\kappa = (1, \dots , 1)\), \({\mathcal{L}}= {\mathcal{L}}_{\kappa , \rho}\) is the determinant of the Hodge bundle and ample on \(X^{\mathrm{BB}}\). However, the extension \(\tilde{ \mathcal{L}}\) is trivial at the fiber of a cusp, and in general not ample on \({\tilde{X}}\). Nevertheless, we can use it along with twisting by \(\mathrm{E}\) to prove the following result.
Theorem 4.1
In the notations above, for any \(N \in \mathbb{N}\), there exists \(n_{0}, k \in \mathbb{N}_{> N}\) such that the following map
is surjective for all \(n \ge n_{0}\).
Proof
For simplicity, suppose \(X^{\mathrm{BB}}\) has only one cusp \(x\). By Theorem 2.2 in Chapter IV of [4]), \({\tilde{X}}\) is the normalization of the blowing-up of \(X^{\mathrm{BB}}\) at certain coherent sheaf ℐ of ideals concentrated at \(x\). As \(X^{\mathrm{BB}}\) is Noetherian, so is \({\tilde{X}}\) and \(\pi \) is quasi-compact. We claim that \(\tilde{ \mathcal{L}}_{\overrightarrow{k}}(-\mathrm{E}) = \mathcal{O}_{{ \tilde{X}}}(-\mathrm{E}) \otimes \pi ^{*} {\mathcal{L}}^{\otimes k} \) is ample on \({\tilde{X}}\) for some \(k > N\).
Since normalization is a finite morphism in this case (see Lemma 33.27.1 in [33, Tag 0BXQ]), it preserves ampleness and we can suppose that \({\tilde{X}}\) is the blowing-up of \(X^{\mathrm{BB}}\). By the discussion and Lemma 31.32.4(3) in [33, Tag 01OF] and Lemma 29.38.2 in [33, Tag 01VL], we know that \(\mathcal{O}_{{\tilde{X}}}(-\mathrm{E}) = \mathcal{O}_{{\tilde{X}}}(1)\) is \(\pi \)-relatively ample. Since ℒ is ample on \(X^{\mathrm{BB}}\), Lemma 29.37.7 in [33, Tag 01VG] proves the claim.
By considering the long exact sequence in cohomology associated to (4.1), we see that the surjectivity of (4.3) is equivalent to the vanishing of \(H^{1}({\tilde{X}}, \tilde{ \mathcal{L}}_{\kappa , \rho} \otimes \tilde{ \mathcal{L}}_{\overrightarrow{k}}(- \mathrm{E})^{\otimes n})\) for all \(n\) sufficiently large. This follows from standard vanishing result for cohomology (e.g. Lemma 30.17.1 in [33, Tag 01XO]), which finishes the proof. □
Proposition 4.2
For \(\kappa \in \mathbb{Z}^{d}\), let \({\tilde{\kappa}}, {\hat{\kappa}}\in \mathbb{Z}^{d}\) be as in (2.3). Suppose \(f \in {\mathcal{A}}_{{\tilde{\kappa}}, \rho}(\Gamma )\) is holomorphic in \(\tau _{j}\) for \(2 \le j \le d\). Given any \(g \in S_{\kappa '}(\Gamma )\) of parallel weight, there exists \(\ell _{0} \in \mathbb{N}\) and functions \(\hat{G}_{\ell }\in {\mathcal{A}}_{\hat{\kappa}+ \ell \kappa ', \rho}( \Gamma )\) for all \(\ell \ge \ell _{0}\) such that they are holomorphic in \(\tau _{j}\) for \(2 \le j \le d\),
and \(\hat{G}_{\ell '} = g^{\ell ' - \ell} \hat{G}_{\ell}\) for all \(\ell ' \ge \ell \ge \ell _{0}\).
Proof
Suppose \(\Gamma \) is neat and \(g\) is non-zero. Let \(\kappa ' = \overrightarrow{k'}\) with \(k' \in \mathbb{N}\) and fix some \(N > k'\). Now choose \(n_{0}, k > N\) as in Theorem 4.1 and set \(\ell _{0} = n_{0} k\). Given \(f \in {\mathcal{A}}_{{\tilde{\kappa}}, \rho}(\Gamma )\), the differential form \(v_{1}^{-2}g(\tau )^{\ell _{0}} f(\tau ) d \bar{\tau}_{1}\) is in the kernel of \(\bar{\partial}\otimes 1 \otimes 1\) since \(f\) is holomorphic in \(\tau _{2}, \dots , \tau _{d}\). Furthermore, it is orders of vanishing at the cusps are at least \(\ell _{0}\) since \(f\) is bounded near the cusps. Therefore, it is a global section of \({\mathcal{E}}' \otimes \tilde{ \mathcal{L}}_{\hat{\kappa}, \rho} \otimes \tilde{ \mathcal{L}}_{\kappa '}(- \mathrm{E})^{\otimes \ell _{0}}\). Note that
since \(k' < N < k\) and \(\mathcal{O}_{{\tilde{X}}}(-k\mathrm{E})\) is a subsheaf of \(\mathcal{O}_{{\tilde{X}}}(-k'\mathrm{E})\). By Theorem 4.1, there exists \(\hat{G}_{\ell _{0}} \in H^{0}({\tilde{X}}, {\mathcal{E}}^{0, 0} \otimes \tilde{ \mathcal{L}}_{{\hat{\kappa}}, \rho} \otimes \tilde{ \mathcal{L}}_{\overrightarrow{k}}(-\mathrm{E})^{n_{0} k'})\) such that \(\bar{\partial}(-2i \hat{G}_{\ell _{0}}) = v_{1}^{-2} g^{\ell _{0}} f d \bar{\tau}_{1}\). As \(f\), \(g\) are real-analytic, so is \(\hat{G}_{\ell _{0}}\). So for any \(\ell \ge \ell _{0}\), the real-analytic modular form \(\hat{G}_{\ell} := g^{\ell - \ell _{0}} \hat{G}_{\ell _{0}} \in { \mathcal{A}}_{\hat{\kappa}+ \ell \kappa ', \rho}\) is holomorphic in \(\tau _{2}, \dots , \tau _{d}\) and satisfies
From the construction, the last condition is also satisfied.
Finally for any congruence subgroup \(\Gamma \subset \Gamma _{F}\), there exists a neat, normal subgroup \(\Gamma ' \subset \Gamma \) of finite index. Averaging the function \(\hat{G}_{\ell} \in {\mathcal{A}}_{\hat{\kappa}+ \ell \kappa ', \rho}( \Gamma ')\) constructed above over \(\Gamma /\Gamma '\) then gives the desired function in level \(\Gamma \). □
Now, we will apply this result to the case when \(f\) is the special value of a theta kernel and \(g\) is the holomorphic theta function for a positive definite lattice.
Theorem 4.3
Let \(W\) be an \(F\)-quadratic space of dimension 2 with signature as in (2.18), and \(P_{1}, P_{2} \in {\mathcal{U}}_{F}^{+}\) positive definite, ℤ-unimodular \(\mathcal{O}\)-lattices of ranks \(2\mathfrak{r}\) and in the same genus. For an \(\mathcal{O}\)-lattice \(N \subset W\), there exists \(\ell _{0} \in \mathbb{N}\) and \(\hat{\delta}(\tau ) = \hat{\delta}(\tau ; N, h, P_{1}, P_{2}, \ell ) \in {\mathcal{A}}_{\overrightarrow{ 1 + \ell \mathfrak{r}}, \rho _{N}}\) for all \(\ell \ge \ell _{0}\) and \(h \in H_{W}(\hat{\mathbb{Q}})\) having the following properties.
-
1.
It is holomorphic in \(\tau _{2}, \dots , \tau _{d}\) and has exponential decay near the cusps.
-
2.
It satisfies
$$ \begin{aligned} L_{\tau _{1}} \hat{\delta}(\tau ) &= (\theta _{P_{2}}( \tau ) - \theta _{P_{2}}(\tau ))^{\ell }\left (\theta _{N}(\tau ) - \theta _{N}(\tau , h) \right ), \end{aligned} $$(4.5)for all \(\tau \in \mathbb{H}^{d}\), \(h \in H_{W}(\hat {\mathbb{Q}})\) and \(\ell \ge \ell _{0}\).
-
3.
We can write
$$ \hat{\delta}(\tau ) = \hat{\delta}^{+}(\tau ) + ( \theta _{P_{1}}(\tau ) - \theta _{P_{2}}(\tau ))^{\ell }\left (\theta _{N}^{*}(\tau ) - \theta _{N}^{*}(\tau , h)\right ), $$(4.6)where \(\theta ^{*}_{N}(\tau , h)\) is defined in (3.16), and \(\hat{\delta}^{+}\) is holomorphic in \(\tau \) and \(\Gamma _{\infty}\)-invariant with respect to \(\rho _{N}\).
-
4.
Given the Fourier expansions
$$ \hat{\delta}(\tau ) = \sum _{m, \mu} \hat{a}_{m, \mu}(v_{1}){\mathbf{e}}( \mathrm{tr}(m\tau ))\phi _{\mu},~ \hat{\delta}^{+}(\tau , h) = \sum _{m, \mu} \hat{a}^{+}_{m, \mu}{\mathbf{e}}(\mathrm{tr}(m\tau ))\phi _{\mu}, $$we have \(\hat{a}_{m, \mu}^{+} =0\) unless \(m \gg 0\), and
$$ \lim _{v_{1} \to \infty} \hat{a}_{m, \mu}(v_{1}) = \hat{a}^{+}_{m, \mu} $$(4.7)for all \(m \in F\) and \(\mu \in L'/L\).
-
5.
For any \(r_{1}, \dots , r_{d} \in \mathbb{N}_{0}\), we have
$$ \lim _{|v| \to \infty} \partial _{\tau _{1}}^{r_{1}} \dots \partial _{ \tau _{d}}^{r_{d}} (\hat{\delta}- \hat{\delta}^{+}) = 0. $$(4.8)
Remark 4.4
Up to holomorphic cusp forms of parallel weight \(\mathfrak{r}\ell + 1\), the holomorphic part \(\hat{\delta}^{+}\) is uniquely determined by the conditions above. We will show later in Theorem 4.10 that certain rational linear combinations of the Fourier coefficients of \(\hat{\delta}^{+}\) are logarithms of algebraic numbers.
Proof
By the Siegel-Weil formula, \(\theta _{N}(\tau )\) and \(\theta _{N}(\tau , h)\) have the same constant terms at all cusps, and their difference decays rapidly towards all cusps (see e.g. Proposition 5.1 in [9]). By the same reason, \(\theta _{P_{1}} - \theta _{P_{2}}\) is a holomorphic cusp form, and we can apply Proposition 4.2 above to \(f(\tau ) = \theta _{N}(\tau ) - \theta _{N}(\tau , h) \in { \mathcal{A}}_{\kappa , \rho}\) and \(g =\theta _{P_{1}} - \theta _{P_{2}} \in S_{ \overrightarrow{\mathfrak{r}}}\). Note that \(\ell _{0}\) a priori depends on \(h\). Since \(H_{W}(\mathbb{Q}) \backslash H_{W}(\hat {\mathbb{Q}})/K\) is finite for any open compact \(K \subset H_{W}(\hat{\mathbb{Q}})\), there are only finitely many possible \(h\) that give rise to different \(\theta _{N}(\tau ) - \theta _{N}(\tau , h)\), with possibly different \(\ell _{0}\)’s. By taking the maximum removes its dependence on \(h\).
Notice that \(\hat{\delta}(\tau ) - (\theta _{P_{1}}(\tau ) - \theta _{P_{2}}(\tau ))^{ \ell }(\theta _{N}^{*}(\tau ) - \theta _{N}^{*}(\tau , h))\) is annihilated by \(L_{\tau _{1}}\) by (3.15) and (4.5). Therefore, it is holomorphic in \(\tau _{1}, \dots , \tau _{d}\). This proves part (3). Equation (3.16) implies that \(\theta ^{*}_{N}(\tau ) - \theta ^{*}_{N}(\tau , h)\) decays exponentially as \(v_{1} \to \infty \). Therefore, the same holds for \(\hat{\delta}\) and the holomorphic part \(\hat{\delta}^{+}\), whose Fourier coefficients are then supported only on totally positive indices. Equations (4.7) and (4.8) now follows directly from (3.16). □
4.2 Whittaker forms
Suppose \(d \ge 2\) for this section. We follow [9, 10] to recall Whittaker forms and their regularized theta lifts. For an even \(\mathcal{O}\)-lattice \((L, Q)\) with signature as in (2.18) and \(n > 2\), denote
\({\tilde{\kappa}}= {\tilde{\kappa}}(V) = (s_{0} - 1, s_{0} + 1, \dots , s_{0} + 1)\) as in (3.9) and \(\kappa = (1 - s_{0}, s_{0} + 1, \dots , s_{0} + 1) \in \mathbb{Z}^{d}\). Given \(\mu \in L'/L\) and totally positive \(m \in \mathfrak{d}^{-1} + Q(\mu )\), the function
is called a harmonic Whittaker form of weight \(\kappa \) in the sense of [10]. The space generated by such forms is denoted by \(H_{\kappa , \bar{\rho}_{L}}\). Given \(f = \sum _{\mu \in L'/L,~m \gg 0} c(m, \mu ) f_{m, \mu} \in H_{ \kappa , \bar{\rho}_{L}}\), the Fourier polynomial
is called its principal part. It is invariant under \(\Gamma _{\infty }:= \{\left ( \begin{smallmatrix} 1 &b \\ &1 \end{smallmatrix} \right ) \in {\mathrm{SL}}_{2}(\mathcal{O})\}\) with respect to \(\bar{\rho}_{L}\). Conversely, given any polynomial of the above form, there is a unique harmonic Whittaker form \(f_{{\mathcal{P}}}\in H_{\kappa , \bar{\rho}_{L}}\) with this principal part. Note that such polynomial only depends on the finite quadratic modular \(L'/L\). We say that \(f\) or \({\mathcal{P}}(f)\) is rational if the polynomial \({\mathcal{P}}(f)\) has rational coefficients.
Let \({\hat{\kappa}}\) be the dual weight of \(\kappa \) as in (2.3). There is a natural surjection \(\xi = \xi ^{(1)}_{\kappa}: H_{\kappa , \bar{\rho}_{L}} \to S_{{ \hat{\kappa}}, \rho _{L}}\)
where the sum above converges absolutely as \(n > 2\). This induces a bilinear pairing between \(g = \sum _{n, \nu} b(n, \nu ) q^{n} \phi _{\nu }\in M_{{\hat{\kappa}}, \rho _{L}}\) and \(f \in H_{\kappa , \bar{\rho}_{L}}\) given by
A harmonic Whittaker form \(f\) is called weakly holomorphic if \(\xi (f)\) vanishes identically, i.e. \(\{g, f\} = 0\) for all \(g \in S_{{\hat{\kappa}}, \rho _{L}}\). We use \(M^{!}_{\kappa , \rho _{L}} \subset H_{\kappa , \rho _{L}}\) to denote the subspace of such forms. Using the last expression in (4.13), we can extend \(\{,\}\) to formal Fourier series in the parameter \({\mathbf{e}}(\mathrm{tr}(mu))\). For a subfield \({\mathcal{F}}\subset \mathbb{C}\), let \(M^{!}_{\kappa , \bar{\rho}_{L}}({\mathcal{F}})\) denote the subspace of \(M^{!}_{\kappa , \bar{\rho}_{L}}\) with Fourier coefficients in ℱ. Then the fact that \(M_{{\hat{\kappa}}, \rho _{L}}({\mathcal{F}}) = M_{{\hat{\kappa}}, \rho _{L}}(\mathbb{Q}) \otimes {\mathcal{F}}\) implies that
4.3 Regularized theta lifts
For each \(f = f_{{\mathcal{P}}}= \sum _{m, \mu} c(m, \mu ) f_{m, \mu} \in H_{ \kappa , \bar{\rho}_{L}}\), Bruinier computed its regularized theta lift in [10] and constructed an Arakelov Green function \(\Phi (z, h, f)\) for the divisor
on the Shimura variety \(X_{K}\). When \(s_{0} = n/2 > 1\), Corollary 5.3 of [9] expressed this as
where \(\Theta _{L}\in {\mathcal{A}}_{\tilde{\kappa}, \rho _{L}}\) with the weight \({\tilde{\kappa}}\) given (2.3), \(B(f) = B({\mathcal{P}}) := \{E_{L}(\tau , {\tilde{\kappa}}), { \mathcal{P}}\} \in \mathbb{C}\) and
for any \(\Gamma _{\infty}\)-invariant function \(G\) on \(\mathbb{H}^{d}\) such that the integral converges.
The integral in (4.16) converges for \(s_{0} = n/2 > 1\). (see Proposition 5.2 of [9]). Furthermore, Equation (3.11) implies that
for any \(h, h' \in H(\hat{\mathbb{Q}})\), where the isomorphism \(\iota _{h'}: S_{L} \to S_{L_{h'}}\) is defined in Sect. 2.4.
By Theorem 5.14 of [10], for any \((z_{0}, h_{0}) \in \mathbb{D}\times H(\hat {\mathbb{Q}})\), the function
is real-analytic in a neighborhood of \((z_{0}, h_{0})\). By inspecting its proof, we have the following consequence.
Lemma 4.5
Suppose \(n > 2\) and \(h_{0}, h_{0}' \in H(\hat {\mathbb{Q}})\) satisfyFootnote 9
Then \(\Phi _{L}(z, h_{0}, f) -\Phi _{L}(z, h_{0}', f)\) is real-analytic in an open neighborhood of \(z_{0} \in \mathbb{D}\), where it is given by
In particular, the integral above converges at \(z = z_{0}\).
Proof
Without loss of generality, we can suppose \(f = f_{m, \mu}\). From (4.20), we have
So the singularities of \(\Phi _{L}(z, h, f)\) and \(\Phi _{L}(z, h', f)\) agree for \((z, h)\) and \((z, h')\) in open neighborhoods \({\mathcal{N}}_{1} \times {\mathcal{N}}_{2}\) and \({\mathcal{N}}_{1}' \times {\mathcal{N}}_{2}'\) of \((z_{0}, h_{0})\) and \((z_{0}, h_{0}')\) respectively. Then \(\Phi _{L}(z, h_{0}, f) - \Phi _{L}(z, h_{0}', f)\) is real-analytic in the open neighborhood \({\mathcal{N}}:= {\mathcal{N}}_{1} \cap {\mathcal{N}}_{2} \subset \mathbb{D}\) of \(z_{0}\), which could be made to satisfy \(h_{0}(L_{m, \mu}) \cap z^{\perp }= \{0\}\) for all \(z \in {\mathcal{N}}\backslash \{z_{0}\}\).
Then convergence of the integral at \(z \notin Z(m, \mu )\) follows directly from Proposition 5.2 of [9]. For such \(z\), we can apply the unfolding calculation in the proof of Theorem 5.3 of [10] while evaluating at \(s = s_{0}\). Then the following integrals are identically equal for any \(z \in {\mathcal{N}}\backslash \{z_{0}\}\)
where \(\Theta _{L}'(\tau , z, h) := \Theta _{L}(\tau , z, h) - \sum _{ \lambda \in h(L_{m, \mu}) \cap z^{\perp}} \phi _{\mu}(h^{-1} \lambda ) \phi _{\infty}(\tau , z, \lambda ) \phi _{\mu}\). From the second expression, we see that the integral in (4.21) also converges for \(z = z_{0}\). □
To evaluate the regularized theta integral, one can apply Stokes’ theorem when certain primitive exist. The following lemma distilled from Theorems 6.3 and 7.2 in [9] will be helpful for this purpose.
Lemma 4.6
Suppose \(n = 2s_{0} > 2\) and \(f = \sum _{m \gg 0,~\mu \in L'/L} c(m, \mu ) f_{m, \mu}\) is a harmonic Whittaker form in \(H_{\kappa , \bar{\rho}_{L}}\). Let \(\eta \in {\mathcal{A}}_{{\tilde{\kappa}}, \rho _{L}}\) such that \(\int _{\Gamma _{\infty }\backslash \mathbb{H}^{d}}^{\mathrm{reg}} \langle f(\tau ), \overline{\eta (\tau )} \rangle (v_{2}\dots v_{d})^{s_{0}+1} d\mu (\tau ) \) converges. Suppose there exists
such that \(L_{\tau _{1}} \hat{\eta}(\tau ) = -2iv_{1}^{2} \partial _{\bar{\tau}_{1}} \hat{\eta}(\tau ) =\eta (\tau ) \) and the \(\Gamma _{F}\)-invariant function \(\|\hat{\eta}(\tau ) \|_{\mathrm{Pet}}\) is bounded on \(\mathbb{H}^{d}\). Then
Remark 4.7
Since \(\xi (f)\) is a cusp form, the integral defining the Petersson inner product exists, and so does the limit in \(T\).
Proof
We will give the proof for \(f = f_{m, \mu}\). The general case can be proved the same way. Note that \(m\) is totally positive. By applying \(L_{\tau _{1}}\) to the Fourier expansion of \(\hat{\eta}\), we can write
Substituting this into the left hand side of (4.22) gives us
Using integration by parts, we can rewrite the integral as
As \(T \to \infty \), the first term on the right hand side becomes \(- (\hat{\eta}, \xi (f))_{\mathrm{Pet}}\) after unfolding, and the second term becomes \(\lim _{T \to \infty} \hat{b}_{m, \mu}(T)\). For the third term, the boundedness of \(\langle \hat{\eta}, \overline{\hat{\eta}} \rangle {\mathrm{Nm}}(v)^{s_{0}+1}\) implies that
while \(\Gamma (s_{0}) - \Gamma (s_{0}, 4\pi m_{1} t) = O(t^{s_{0}})\) as \(t \to 0\). Since \(s_{0} > 1\), the third term vanishes as \(T \to \infty \). This finishes the proof. □
4.4 Algebraicity result
Fix a quadratic space \(W\) over \(F\) having signature as in (2.18) with \(n = 0\). Let \(N \subset W\) be an even \(\mathcal{O}\)-lattice, \(K_{N} \subset H_{W}(\hat {\mathbb{Q}}) \) an open compact fixing \(\hat{N}\) and acting trivially on \(\hat{N}' / \hat{N} = S_{N}\). Now, let \({\tilde{P}}, P_{1}, P_{2} \in {\mathcal{U}}_{F}^{+}\) be lattices such that \(P_{1}\), \(P_{2}\) are in the same genus. Denote their ranks by \(2{\tilde{\mathfrak{r}}}\) and \(2\mathfrak{r}\) with \({\tilde{\mathfrak{r}}}, \mathfrak{r}\in \mathbb{N}\). Given integers \(\ell \in \mathbb{N}\) and \(0 \le i \le \ell \), we write
Note that \(\rho _{L_{i}} = \rho _{N}\) since \({\tilde{P}}\), \(P_{1}\), \(P_{2}\) are ℤ-unimodular. For \(h_{W} \in H_{W}(\hat {\mathbb{Q}}) \subset H_{V}(\hat {\mathbb{Q}})\), we have
for a CM point \((z_{0}, h_{W}) \in Z(W, 1) \subset X_{V, K}\) defined over \(E_{W}^{\mathrm{ab}}\) for a CM field \(E_{W}/F\), and \(K \subset H_{V}(\mathbb{A})\) an open compact fixing \(L_{i}\) for all \(0 \le i \le \ell \). Note that \(z_{0}\) depends only on the rational splitting \(V = \tilde{U}\oplus U \oplus W\).
Theorem 4.3 shows that for all \(\ell \in \mathbb{N}\) sufficiently large, there exists \(\hat{\delta}(\tau ; N, h_{W}, P_{1}, P_{2}, \ell ) \in {\mathcal{A}}_{ \overrightarrow{\mathfrak{r}\ell + 1}, \rho _{N}} \) for every \(h_{W} \in H_{W} (\hat{\mathbb{Q}})\) such that
and \(L_{\tau _{j}} \hat{\delta}= 0\) for \(2 \le j \le d\). Recall that \(\hat{\delta}^{+}(\tau ) \) is the holomorphic part of \(\hat{\delta}(\tau )\) as in (4.6). We can now apply Lemmas 4.5 and 4.6 to the function
and express linear combinations of the Fourier coefficients of \(\hat{\eta}_{{\tilde{P}}}^{+}\) in terms of special values of the regularized theta lift \(\Phi _{L_{i}}(z, h, f)\) for any harmonic Whittaker form \(f \in H_{\kappa , \bar{\rho}_{N}}\).
Proposition 4.8
Let \(L_{i}\), \(h_{W}\), \(\hat{\delta}\), \(\hat{\eta}_{{\tilde{P}}}\) be as above. Then
for any harmonic Whittaker form \(f \in H_{\kappa , \bar{\rho}_{N}}\) with \(\kappa = \widetilde{{\tilde{\kappa}}(V)}\).
Proof
It is easy to see that \(h_{0} = 1\), \(h_{0}' = h_{W}\) satisfy the condition (4.20). Since \(\hat{\delta}\) has exponential decay near the cusps, the function \(\|\hat{\eta}_{{\tilde{P}}}(\tau )\|_{\mathrm{Pet}}\) is bounded on \(\mathbb{H}^{d}\). Furthermore, equation (4.25) and the holomorphicity of \(\theta _{{\tilde{P}}}\) implies that
If we denote \(\hat{b}_{m, \mu}(v_{1})\) and \(\hat{b}_{m, \mu}^{+}\) the Fourier coefficients of \(\hat{\eta}_{{\tilde{P}}}\) and \(\hat{\eta}_{{\tilde{P}}}^{+}\) respectively, then we have
by Theorem 4.3. Therefore Lemmas 4.5 and 4.6 together with (4.24) imply
This finishes the proof. □
Remark 4.9
If we replace \({\tilde{P}}\) by \({\tilde{P}}_{\tilde{h}}\) with \(\tilde{h}\in H_{\tilde{U}}(\hat{\mathbb{Q}})\), then \({\tilde{P}}_{\tilde{h}}\) is in the same genus as \({\tilde{P}}\) and \(N \oplus {\tilde{P}}_{\tilde{h}} \oplus P_{1}^{i} \oplus P_{2}^{\ell - i} = (\tilde{h}^{-1} L_{i}) \cap V = L_{i, \tilde{h}}\) with \(\tilde{h}\in H_{\tilde{U}}(\hat{\mathbb{Q}}) \subset H_{V}( \hat{\mathbb{Q}})\). Furthermore, \(\iota _{\tilde{h}} \circ f = f\) since \({\tilde{P}}\) is ℤ-unimodular. The proposition above and Equation (3.11) imply that the function \(\hat{\eta}_{{\tilde{P}}_{\tilde{h}}}\) satisfies
for all \(\tilde{h}\in H_{\tilde{U}}(\hat{\mathbb{Q}})\).
If \(c(m, \mu ) \in \mathbb{Z}\) for all \(m \) and \(\mu \), then Theorem 6.8 of [10] implies that there exists a meromorphic modular form \(\Psi _{L}(z, h, f)\) on \(X_{K}\) with weight \(-B(f)\) and a finite order multiplier system such that
Furthermore, the divisor of \(\Psi _{L}(z, h, f)\) is the special cycle \(Z(f)\), which is defined over \(F\). Let \(M \in \mathbb{N}\) be the order of the multiplier system. Then up to a locally constant function \(C_{L}(z, h, f)\) on \(X_{K}\), the form \(\Psi _{L}(z, h, f)^{M}\) equals to a meromorphic modular form \(R_{L}(z, h, f)\) of weight \(-B(M \cdot f) \in \mathbb{Z}\) on \(X_{K}\) defined over \(\sigma _{1}(F)\), and we can write
Now we let \(L = L_{i}\) for \(0 \le i \le \ell \) as in Proposition 4.8. Since the spinor norm \(\nu : H_{\tilde{U}} \to T\) is surjective, the subgroup \(H_{\tilde{U}}(\hat{\mathbb{Q}}) \subset H_{V}(\hat{\mathbb{Q}})\) acts transitively on the connected components of \(X_{K}\) by (2.23). Therefore for any open compact \(K_{\tilde{U}} \subset K \cap H_{\tilde{U}}(\hat{\mathbb{Q}})\), the quantity
is independent of \(h_{W} \in H_{W}(\hat{\mathbb{Q}})\) and \(z \in \mathbb{D}\).
Now, we are ready to state and prove the main result of this section.
Theorem 4.10
Let \(N\), \(h\), \(P_{1}\), \(P_{2}\), \(\ell \) and \({\hat{\delta }}(\tau ; N, h, P_{1}, P_{2}, \ell ) \in {\mathcal{A}}_{ \overrightarrow{\mathfrak{r}\ell + 1}, \rho _{L}}\) be the same as in Theorem 4.3and \({\tilde{P}}\), \(L_{i}\), \(V\), \(\kappa \) the same as in Proposition 4.8. For any weakly holomorphic Whittaker form \(f = f_{{\mathcal{P}}}\in M^{!}_{\kappa , \bar{\rho}_{N}}\) with coefficients in a number field \({\mathcal{F}}\subset \mathbb{C}\), there exists \(\lambda _{1}, \dots , \lambda _{m} \in {\mathcal{F}}\) and \(\alpha _{1}, \dots , \alpha _{m} \in E_{W}^{\mathrm{ab}}\) independent of \(h_{W}\) such that
where \(\sigma \in {\mathrm{Gal}}(E_{W}^{\mathrm{ab}}/E_{W})\) is the element associated to \(h_{W} \in H_{W}(\hat{\mathbb{Q}}) \cong \hat{E}_{W}^{\times}\) via class field theory.
Remark 4.11
We can choose \(\lambda _{i}\), \(\alpha _{i}\) above such that the index \(m\) is bounded by the degree of \({\mathcal{F}}/\mathbb{Q}\). Due to the order the multiplier system of the meromorphic modular form \(\Psi (z, h, f)\) in (4.29), the denominator of \(\lambda _{i}\) depends on \(f\) even when it has integral coefficients
Proof
By (4.14), we can write \(f = \sum _{i=1}^{m} \lambda _{i} f_{i}\) with \(f_{i}\in M^{!}_{\kappa , \bar{\rho}_{N}}(\mathbb{Q})\) and suppose that \({\mathcal{F}}= \mathbb{Q}\). By replacing \(f\) with \(M\cdot f\) for some \(M \in \mathbb{N}\), we can suppose that \(f\) has integral Fourier coefficients and the modular form \(\Psi _{L_{i}}(z, h, f)\) in (4.29) has trivial character for all \(0 \le i \le \ell \). Let \(R_{L}(z, h, f)\) and \({\mathcal{C}}_{L}(z, h, f)\) be the same as in (4.30).
Let \(K \subset H_{V}(\hat {\mathbb{Q}})\) be an open compact fixing \(\hat{L}_{i}\), acting trivially on \(\hat{L}'_{i}/\hat{L}_{i} = \hat{N}' /\hat{N}\), and \(K \cap H_{W}(\hat{\mathbb{Q}})\) contains \(K_{N}\). Denote \(K_{\tilde{U}} := K \cap H_{\tilde{U}}(\hat{\mathbb{Q}})\) an open compact in \(H_{\tilde{U}}(\mathbb{Q})\) and \(C_{i}(K_{\tilde{U}}, f)\) the same as in (4.31). Fix \(S_{W} \subset H_{W}(\hat {\mathbb{Q}})\) coset representatives of \(H_{W}(\mathbb{Q})\backslash H_{W}(\hat {\mathbb{Q}})/K_{N} \).
Since \(f\) is weakly holomorphic, the cusp form \(\xi (f)\) vanishes identically. Combining the Siegel-Weil formula in (3.23), Proposition 4.8, Remark 4.9 and Equations (4.30), (4.31), we can then write
where \(Q(z, h)\) is a meromorphic function on \(X_{K'}\) defined over \(\sigma _{1}(F)\) given by
with \(K' := K \cap _{h_{0} \in S_{W}} h_{0} K h_{0}^{-1}\). Since \(H_{W}\) is abelian, we have \(K_{N}\times K_{\tilde{U}} \subset K'\). Therefore, the CM 0-cycle \(Z(W)\) also lies on \(X_{K'}\) and each CM point is defined over a number field \(E_{K_{N}} \subset E_{W}^{\mathrm{ab}}\). The function \(R_{L_{i}}\) is defined over \(\sigma _{1}(F)\), as well as the natural map \(X_{K'} \to X_{K}\) given by right multiplication with \(h_{0} \in H_{W}(\hat{\mathbb{Q}}) \subset H_{V}(\hat{\mathbb{Q}})\) (see [25, page 46]). Therefore, the modular function \(Q(z, h)\) is also defined over \(\sigma _{1}(F)\). Furthermore, it is non-zero at \((z, h) = (z_{0}, (h_{W}, 1))\) for all \(h_{W} \in H_{W}(\hat {\mathbb{Q}})\). These values are algebraic numbers satisfying
as \(\sigma \) fixes the function \(Q(z,h)\), which is defined over \(\sigma _{1}(F)\), and acts on CM points in the CM 0-cycle \(Z(W, \tilde{h})\) by Shimura’s reciprocity law (see Sects. 3.1 and 5.3 in [2] for the relevant case here). Setting \(\alpha = \prod _{\tilde{h}\in H_{\tilde{U}}(\mathbb{Q})\backslash H_{ \tilde{U}}(\hat{\mathbb{Q}}) /K_{\tilde{U}}} Q(z_{0}, (1, \tilde{h}))\) and \(\lambda = -\frac{2}{ c_{K_{\tilde{U}}} \cdot \# S_{W}} \) finishes the proof. □
5 Proofs of theorems
Now we are ready to prove the three theorems from the introduction.
5.1 Proof of Theorem 1.3
Let \(N \subset W\) be a lattice such that \(K \cap H_{W}(\hat {\mathbb{Z}})\) fixes \(\hat{N}\) and acts trivially on \(\hat{N}'/\hat{N}\). By passing to sublattice, we can suppose that \(L = \tilde{L} \oplus N_{0}\) with \(N_{0} = \mathrm{Res}_{F/\mathbb{Q}}N\) and \(\tilde{L}\) positive definite of rank \(2 + n - 2d\). Then for any \((z_{0}, h) \in Z(W_{\mathbb{Q}})\), we have \(\Theta _{L}(\tau , z_{0}, h) = \theta _{\tilde{L}}(\tau ) \otimes \theta _{N}^{\Delta}(\tau , h)\). By replacing \(N\) with \(h_{1} \hat{N} \cap V\) if necessary, we can suppose that \(h_{1} = 1\) and write \(h = h_{2}\). We can apply Lemma 2.2 to \(g = \theta _{\tilde{L}}\), \(k = 1 - n/2 - 2r\), \(\ell = 1 + n/2 - d\) as \(k + \ell = -d + 2 - 2r \le 1 - 2r\). This implies
where \(c_{r, r, j} \in \mathbb{Q}\) and
has rational Fourier coefficients. From the integral representation (3.30), we see that it suffices to prove the theorem with \(f = f_{0}\) and \(L = N_{0}\), in which case
Now for \(1 \le i \le m\), let \({\tilde{P}}_{i}, P_{1, i}, P_{2, i} \in {\mathcal{U}}^{+}_{F}\) be \(\mathcal{O}\)-lattices of ranks \(2{\tilde{\mathfrak{r}}}_{i}\), \(2\mathfrak{r}_{i}\) as in Proposition 3.4. For any \(\ell \in \mathbb{N}\), it gives us \(g_{i} \in M^{!}_{-({\tilde{\mathfrak{r}}}_{i} + \mathfrak{r}_{i} \ell _{i})(r+1)d}\) such that
and it suffices to prove the theorem for each \(i\). We drop the index \(i\) and have
where we set \(G := E_{{\tilde{P}}} \cdot (\theta _{P_{1}} - \theta _{P_{2}})^{\ell}\). Fix an \(\ell \ge \ell _{0}\) as in Theorem 4.3 and we obtain a real-analytic Hilbert modular form \(\hat{\delta}(\tau ) = \hat{\delta}(\tau ; N, h, P_{1}, P_{2},{\ell}) \in {\mathcal{A}}_{\overrightarrow{1 + \mathfrak{r}\ell }, \rho _{N}}\) with the property
where \(\kappa := (1-{\tilde{\mathfrak{r}}}-\mathfrak{r}\ell , { \tilde{\mathfrak{r}}}+ \mathfrak{r}\ell + 1, \dots , { \tilde{\mathfrak{r}}}+ \mathfrak{r}\ell +1)\) and \({\hat{\kappa}}\) is defined as in (2.3). We can now use the differential operator \({\mathcal{D}}_{\overrightarrow{1}, r}\) from (2.13) to define a real-analytic, elliptic modular form
By Lemma 2.3, this function satisfies
We can now apply Stokes’ theorem to the right hand side of (5.1) and part (5) of Theorem 4.3 to obtain
where \(\hat{\eta}^{+}_{r} := {\mathcal{D}}_{\overrightarrow{1}, r} ( \hat{\eta}^{+}, G)\) is a formal Fourier series with coefficients being \(F\)-linear combinations of those of \(\hat{\eta}^{+}\). Note there exists a harmonic Whittaker form \(g_{r} \in H_{\kappa , \bar{\rho}_{N}}\) with Fourier coefficients in \(F\) such that
for any Fourier series \(\delta (\tau ) = \sum _{\mu \in S_{N},~m \in F} c(m, \mu ) { \mathbf{e}}(\mathrm{tr}(\mu \tau )) \phi _{\mu }\) that is \(\Gamma _{\infty}\)-invariant with respect to \(\rho _{N}\). If \(\delta \in S_{{\hat{\kappa}}, \rho _{N}}\), then \({\mathcal{D}}_{\overrightarrow{1}, r}(\delta , G)\) is in \(S_{k, \rho _{N_{0}}}\) and this pairing vanishes as \(f_{0} g \in M^{!}_{2 -k, \overline{\rho}_{N_{0}}}\). Therefore \(g_{r}\) is weakly holomorphic and (1.7) follows from
and Theorem 4.10.
When \(d = 2 = n/2\), we already have \(L = N_{0}\) and the reduction step in the first paragraph above is not necessary. The function \(\hat{\eta}_{r}^{+}\) is simply \((G^{\Delta})^{r+1} {\mathcal{C}}_{(1, 1), r}(\hat{\eta}^{+}/G)\), and the last claim follows from Example 2.1.
5.2 Proof of Theorem 1.7
As \(Z(W_{\mathbb{Q}})\) is defined over ℚ, i.e. \(Z(W_{ \mathbb{Q}}) = Z(W(2)_{\mathbb{Q}})\) on \(X_{V, K}\), we can apply Theorem 5.10 in [11] to conclude that
where \({\mathcal{E}}_{L}^{+}\) is the holomorphic part of the derivative of an incoherent Eisenstein series, which is a real-analytic Hilbert modular form of weight \((1, 1)\). From Example 2.1, we see that the constant term of \({\mathcal{C}}_{(1, 1), r}({\mathcal{E}}_{L}^{+})\) vanishes when \(r \ge 1\). Furthermore, since \(f\) has rational Fourier coefficients, the term \(\mathrm{CT}(\langle f, {\mathcal{C}}_{(1, 1), r}({\mathcal{E}}_{L}^{+}) \rangle )\) is a rational linear combinations of the non-zero Fourier coefficients of \({\mathcal{E}}_{L}^{+}\), which are rational multiple of logarithms of integers by Proposition 4.6 in [13]. Therefore, we have
for some \(c' \in \mathbb{N}\) and \(a \in \mathbb{Q}\).
We can now apply Theorem 1.3 to find \(c \in \mathbb{N}\) and \(\alpha \in E' \subset E_{W}^{\mathrm{ab}}\) such that
for all \((z_{0}, h) \in Z(W_{\mathbb{Q}})\). Denote \(N := |Z(W_{\mathbb{Q}})|/2 \in \mathbb{N}\) and \(\beta := \prod _{\sigma \in {\mathrm{Gal}}(E'/E_{W})} \sigma ( \alpha ) \in E_{W}\). The system of equations above has the unique solution
with \(\tilde{\alpha} = \alpha ^{2N} a^{c} / \beta ^{2} \in E'\). This finishes the proof.
5.3 Proof of Theorem 1.1
When \(r\) is even, this follows from the discussion in Example 2.7 and Theorem 1.7. When \(r\) is odd and \(d_{1}\) is fundamental, Theorem 7.13 of [11] gives the algebraicity analogous to (5.4) with the left hand side replaced by certain partial average. Using this and proceeding with the rest of the argument in the proof of Theorem 1.7 gives Theorem 1.1.
Notes
For odd \(r\), they also obtain certain result, which turns out to be trivial in the case of level 1.
For simplicity, we omit the detail about the modular forms being vector-valued.
We thank the referee for a helpful suggestion that led to this result.
We take this set to be empty for \(r =0 \).
The boundary behavior is relevant for us when \(d = 1\) as \(V\) will otherwise be anisotropic.
The inverse in this definition makes the action of \(h\) a right action.
We will sometimes view \(H_{U}\), \(H_{W}\) as subgroups of \(H_{V}\) to lighten the notation.
Here \((,)\) is the bilinear pairing on \(M_{2}(\mathbb{C})\) induced by the determinant.
Via the diagonal embedding, we tacitly view elements in \(V(\mathbb{Q})\) as in \(V(\hat{\mathbb{Q}})\). The set of \(z_{0}\) in \(\mathbb{D}\) such that \(V \cap z_{0}^{\perp}\) is non-trivial has measure 0.
References
Abramowitz, M., Stegun, I.A.: Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. National Bureau of Standards Applied Mathematics Series, vol. 55. For sale by the Superintendent of Documents, U.S. Government Printing Office, Washington (1964)
Andreatta, F., Goren, E.Z., Howard, B., Pera, K.M.: Faltings heights of Abelian varieties with complex multiplication. Ann. Math. (2) 187(2), 391–531 (2018)
Apostol, T.M.: Modular Functions and Dirichlet Series in Number Theory, 2nd edn. Graduate Texts in Mathematics, vol. 41. Springer, New York (1990)
Ash, A., Mumford, D., Rapoport, M., Tai, Y.-S.: Smooth Compactifications of Locally Symmetric Varieties, 2nd edn. Cambridge Mathematical Library. Cambridge University Press, Cambridge (2010). With the collaboration of Peter Scholze
Bogo, G., Li, Y.: Span of restriction of Hilbert theta functions. Pure Appl. Math. Q. 19(1), 61–83 (2023)
Borcherds, R.E.: Automorphic forms with singularities on Grassmannians. Invent. Math. 132(3), 491–562 (1998)
Bruinier, J.H.: Borcherds Products on O(2, \(l\)) and Chern Classes of Heegner Divisors. Lecture Notes in Mathematics, vol. 1780. Springer, Berlin (2002)
Bruinier, J.H., Li, Y., Yang, T.: Deformations of theta integrals and a conjecture of Gross-Zagier (2022). arXiv:2204.10604, submitted
Bruinier, J.H., Yang, T.: CM values of automorphic Green functions on orthogonal groups over totally real fields. In: Arithmetic Geometry and Automorphic Forms. Adv. Lect. Math. (ALM), vol. 19, pp. 1–54. Int. Press, Somerville (2011)
Bruinier, J.H.: Regularized theta lifts for orthogonal groups over totally real fields. J. Reine Angew. Math. 672, 177–222 (2012)
Bruinier, J.H., Ehlen, S., Yang, T.: CM values of higher automorphic Green functions for orthogonal groups. Invent. Math. 225(3), 693–785 (2021)
Bruinier, J.H., Funke, J.: On two geometric theta lifts. Duke Math. J. 125(1), 45–90 (2004)
Bruinier, J.H., Kudla, S.S., Yang, T.: Special values of Green functions at big CM points. Int. Math. Res. Not. 9, 1917–1967 (2012)
Bruinier, J.H., van der Geer, G., Harder, G., Zagier, D.: The 1-2-3 of Modular Forms. Universitext. Springer, Berlin (2008). Lectures from the Summer School on Modular Forms and their Applications held in Nordfjordeid, June 2004, Edited by Kristian Ranestad
Bruinier, J.H., Yang, T.: CM-values of Hilbert modular functions. Invent. Math. 163(2), 229–288 (2006)
Bruinier, J.H., Yang, T.: Faltings heights of CM cycles and derivatives of \(L\)-functions. Invent. Math. 177(3), 631–681 (2009)
Chang, K.: Diskriminanten und Signaturen gerader quadratischer Formen. Arch. Math. (Basel) 21, 59–65 (1970)
Dabholkar, A., Murthy, S., Zagier, D.: Quantum black holes, wall crossing, and mock modular forms (2012). arXiv:1208.4074
Duke, W., Li, Y.: Harmonic Maass forms of weight 1. Duke Math. J. 164(1), 39–113 (2015)
Ehlen, S.: CM values of regularized theta lifts and harmonic weak Maaßforms of weight 1. Duke Math. J. 166(13), 2447–2519 (2017)
Freitag, E.: Hilbert Modular Forms. Springer, Berlin (1990)
Gross, B., Kohnen, W., Zagier, D.: Heegner points and derivatives of \(L\)-series. II. Math. Ann. 278(1–4), 497–562 (1987)
Gross, B.H., Zagier, D.B.: On singular moduli. J. Reine Angew. Math. 355, 191–220 (1985)
Gross, B.H., Zagier, D.B.: Heegner points and derivatives of \(L\)-series. Invent. Math. 84(2), 225–320 (1986)
Kudla, S.S.: Algebraic cycles on Shimura varieties of orthogonal type. Duke Math. J. 86(1), 39–78 (1997)
Lee, M.H.: Multilinear differential operators on modular forms. Proc. Am. Math. Soc. 132(5), 1267–1277 (2004)
Li, Y.: Singular units and isogenies between CM elliptic curves. Compos. Math. 157(5), 1022–1035 (2021)
Li, Y.: Average CM-values of higher Green’s function and factorization. Am. J. Math. 144(5), 1241–1298 (2022)
McGraw, W.J.: The rationality of vector valued modular forms associated with the Weil representation. Math. Ann. 326(1), 105–122 (2003)
Mellit, A.: Higher Green’s functions for modular forms (2008). arXiv:0804.3184
Rankin, F.K.C., Swinnerton-Dyer, H.P.F.: On the zeros of Eisenstein series. Bull. Lond. Math. Soc. 2, 169–170 (1970)
Shih, K.: Existence of certain canonical models. Duke Math. J. 45(1), 63–66 (1978)
The Stacks project authors, The stacks project (2023). https://stacks.math.columbia.edu
Viazovska, M.: CM values of higher Green’s functions (2011). arXiv:1110.4654
Viazovska, M.: Petersson inner products of weight-one modular forms. J. Reine Angew. Math. 749, 133–159 (2019)
Weil, A.: Basic Number Theory, 3rd edn. Die Grundlehren der Mathematischen Wissenschaften, vol. 144. Springer, New York (1974)
Yang, T., Yin, H.: Difference of modular functions and their CM value factorization. Trans. Am. Math. Soc. 371(5), 3451–3482 (2019)
Zagier, D.: \(L\)-Series and the Green’s functions of modular curves. In: Proceedings of the International Congress of Mathematicians, Vol. 1, 2, Berkeley, Calif., 1986, pp. 689–698. Am. Math. Soc., Providence (1987)
Zhang, S.: Heights of Heegner cycles and derivatives of \(L\)-series. Invent. Math. 130(1), 99–152 (1997)
Zwegers, S.P.: Mock theta functions. Proefschrift Universiteit Utrecht, Thesis (Ph.D.), Universiteit Utrecht (2002)
Acknowledgements
We thank Jan H. Bruinier, Ben Howard, Steve Kudla, Jakob Stix, Torsten Wedhorn, and Tonghai Yang for helpful discussions. We also appreciate fruitful conversations with Stephan Ehlen and Maryna Viazovska over the years concerning CM values of higher Green functions. We are thankful for the thorough reading and helpful comments by the anonymous referee. Finally, we thank Don Zagier for drawing our attention to this problem and many encouraging discussions.
Funding
Open Access funding enabled and organized by Projekt DEAL. The author is supported by the LOEWE research unit USAG, and by the Deutsche Forschungsgemeinschaft (DFG) through the Collaborative Research Centre TRR 326 “Geometry and Arithmetic of Uniformized Structures”, project number 444845124.
Author information
Authors and Affiliations
Corresponding author
Additional information
To Don Zagier on the occasion of his 70th birthday
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Li, Y. Algebraicity of higher Green functions at a CM point. Invent. math. 234, 375–418 (2023). https://doi.org/10.1007/s00222-023-01205-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00222-023-01205-5