Abstract
We prove an analogue of Kronecker’s second limit formula for a continuous family of “indefinite zeta functions”. Indefinite zeta functions were introduced in the author’s previous paper as Mellin transforms of indefinite theta functions, as defined by Zwegers. Our formula is valid in dimension \(g=2\) at \(s=1\) or \(s=0\). For a choice of parameters obeying a certain symmetry, an indefinite zeta function is a differenced ray class zeta function of a real quadratic field, and its special value at \(s=0\) was conjectured by Stark to be a logarithm of an algebraic unit. Our formula also permits practical high-precision computation of Stark ray class invariants.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In a previous paper [4], we introduced indefinite zeta functions as Mellin transforms of certain indefinite theta functions associated with the intermediate Siegel half-space \(\mathcal {H}_g^{(1)}\), defined below. In this paper, we obtain a formula for the values of such an indefinite zeta function at \(s=1\) or \(s=0\), in the special case of dimension \(g=2\). Such formulas are traditionally called Kronecker limit formulas, after Kronecker’s first and second limit formulas giving the constant term in the Laurent expansion at \(s=1\) of standard and twisted real analytic Eisenstein series.
When our parameters are specialised appropriately, our special value is a finite linear combination of Hecke L-values at \(s=1\). Our formula may be used to compute values of Hecke L-functions at \(s=1\) (resp. \(s=0\)) relevant to the Stark conjectures, which we discuss in Sect. 1.4.
For imaginary quadratic fields, Stark proved his conjectures using Kronecker’s first and second limit formulas together with the theory of singular moduli [16]. The Kronecker limit formulas give the constant Laurent series coefficient at \(s=1\) for families of Dirichlet series continuously interpolating the ray class zeta functions \(\zeta (s,A)\)—namely, standard and twisted real analytic Eisenstein series (see [15] for details).
Kronecker limit formulas applicable to real quadratic fields were developed by Hecke, Herglotz, and Zagier (in analogy with the first Kronecker limit formula), and by Shintani (in analogy with the second Kronecker limit formula). As in the imaginary quadratic case, these formulas are obtained by continuously interpolating between ray class zeta functions using a larger family of functions. Hecke’s formula uses cycle integrals of real analytic Eisenstein series, whereas the formulas of Herglotz [2] and Zagier [23] (see also [1, 7]) and the formulas of Shintani [12,13,14] use partial zeta functions defined by summing over a cone. Analogues of the Kronecker limit formulas in other settings have been found by Liu and Masri [5], Posingies [6], and Vlasenko and Zagier [22], among others.
The main theorem of this paper supplies a new real quadratic analogue of Kronecker’s second limit formula based on a new interpolation between ray class zeta functions. The interpolation is by the indefinite zeta functions introduced in [4], which are Mellin transforms of nonholomorphic indefinite theta functions. Indefinite zeta functions have a nice functional equation, but they do not have a Dirichlet series representation for general parameters.
The main results on indefinite zeta functions—stated in Sect. 1.3—require a lot of notation, defined in Sects. 1.1 and 1.2. The proofs of the indefinite Kronecker limit formulas are provided in Sect. 2.
1.1 Notational conventions and preliminaries
We list some notational conventions used in the paper.
-
\(\textrm{e}\!\left( z\right) := \exp (2\pi i z)\) is the complex exponential, and this notation is used for \(z \in \mathbb {C}\) not necessarily real.
-
If x is a real number, then \(\{x\} = x - \left\lfloor x \right\rfloor \) denotes the fractional part of x.
-
\(\mathcal {H}:= \{\tau : {{\,\textrm{Im}\,}}{\tau }>0\}\) is the complex upper half-plane.
-
Nontransposed vectors \(\textbf{v}\in \mathbb {C}^g\) are always column vectors; the transpose \(\textbf{v}^{\!\top \!}\) is a row vector.
-
If M is a \(g \times g\) matrix, then \(M^{\!\top \!}\) is its transpose, and (when M is invertible) \(M^{-{\!\top \!}}\) is a shorthand for \(\left( M^{-1}\right) ^{\!\top \!}\).
-
\(Q_M(\textbf{v})\) denotes the quadratic form \(Q_M(\textbf{v}):= \frac{1}{2}\textbf{v}^{\!\top \!} M \textbf{v}\), where M is a \(g \times g\) matrix, and \(\textbf{v}\) is a \(g \times 1\) column vector.
-
\(\left. f(c)\right| _{c=c_1}^{c_2}:= f(c_2)-f(c_1)\), where f is any function taking values in an additive group.
-
If and f is a function on \(\mathbb {C}^2\), we may write \(f(\textbf{v})\) as rather than .
-
We often express \(\Omega = i M + N\) where M, N are real \(g \times g\) symmetric matrices; N and M will always have real entries even when we do not say so explicitly.
We use complex logarithms throughout this paper. If \(f(\tau )\) is any nonvanishing holomorphic function on the upper half plane \(\mathcal {H}\), there is some holomorphic function \(({{\,\textrm{Log}\,}}f)(\tau )\) such that \(\exp \!\left( ({{\,\textrm{Log}\,}}f)(\tau )\right) = f(\tau )\), because \(\mathcal {H}\) is simply connected. Specifying a single value (or the limit as \(\tau \) approaches some element of \(\mathbb {R}\cup \{\infty \}\)) specifies \({{\,\textrm{Log}\,}}f\) uniquely. It won’t necessarily be true that \(({{\,\textrm{Log}\,}}f)(\tau ) = \log (f(\tau ))\), only that \(\exp \!\left( ({{\,\textrm{Log}\,}}f)(\tau )\right) = f(\tau )\).
Conventions for square roots, when not specified, follow [4, Sects. 2.3, 3.2].
We recall the definition of the Siegel intermediate half-space, as defined in [4].
Definition 1.1
For \(0 \le k \le g\), we define the Siegel intermediate half-space of genus g and index k to be
The \(\mathcal {H}_g^{(k)}\) are the open orbits of the action of \(\textbf{Sp}_{2g}(\mathbb {R})\) by fractional linear transformations on the space of complex symmetric matrices. In particular, \(\mathcal {H}_g^{(0)}\) is the usual Siegel upper half-space.
1.2 Indefinite theta and zeta functions
We review the relevant definitions from Kopp [4].
Definition 1.2
For any complex number \(\alpha \), define the function
where the integral runs along any contour from 0 to \(\alpha \).
Definition 1.3
Let \(\Omega =iM+N\) be a complex symmetric matrix whose imaginary part has signature \((g-1,1)\); that is, \(\Omega \in \mathcal {H}_g^{(1)}\). Define the (nonholomorphic) indefinite theta function
where \(\textbf{z}\in \mathbb {C}^g\), \(\textbf{c}_1, \textbf{c}_2 \in \mathbb {C}^g\), \(\overline{\textbf{c}_1}^{\!\top \!} M \textbf{c}_1 < 0\), and \(\overline{\textbf{c}_2}^{\!\top \!} M \textbf{c}_2 < 0\). The series (1.3) converges absolutely and uniformly for \(\textbf{z}\in \mathbb {R}^g + iK\), with K any compact subset of \(\mathbb {R}^g\), by [4, Proposition 3.11].
Nonholomorphic indefinite theta functions were first studied by Vignéras [20, 21] and were rediscovered (in a more explicit form) by Zwegers [24]. Zwegers’ (elliptic modular indefinite) theta function is defined for real \(\textbf{c}_j\) when (in our notation) N is a scalar multiple of M. More precisely, if M is real symmetric matrix of signature \((g-1,1)\), \(\tau \in \mathcal {H}\), and \(\textbf{c}_1,\textbf{c}_2 \in \mathbb {R}^g\), then \(\Theta ^{\textbf{c}_1,\textbf{c}_2}(M\textbf{z},\tau M)\) is equal up to an exponential factor to the function \(\vartheta ^{\textbf{c}_1,\textbf{c}_2}_M(\textbf{z},\tau )\) introduced by Zwegers in [24, p. 27]. Our theta functions extend Zwegers’ to the Siegel modular setting; a related generalisation has also been recently studied by Roehrig [8, 9]. Recent work of Roehrig and Zwegers also considers more general elliptic modular indefinite theta series involving spherical functions [10, 11].
Definition 1.4
Let \(\Omega =iM+N \in \mathcal {H}_g^{(1)}\). Define the indefinite theta function with characteristics \(\textbf{p},\textbf{q}\in \mathbb {R}^g\):
where \(\textbf{c}_1, \textbf{c}_2 \in \mathbb {C}^g\), \(\overline{\textbf{c}_1}^{\!\top \!} M \textbf{c}_1 < 0\), and \(\overline{\textbf{c}_2}^{\!\top \!} M \textbf{c}_2 < 0\).
We define the indefinite zeta function using a Mellin transform of the indefinite theta function with characteristics.
Definition 1.5
Let \(\Omega =iM+N \in \mathcal {H}^{(1)}_g\). For \({{\,\textrm{Re}\,}}(s)>1\), the completed indefinite zeta function is
where \(\textbf{p},\textbf{q}\in \mathbb {R}^g\), and \(\textbf{c}_1, \textbf{c}_2 \in \mathbb {C}^g\) are parameters satisfying \(\overline{\textbf{c}_1}^{\!\top \!} M \textbf{c}_1 < 0\) and \(\overline{\textbf{c}_2}^{\!\top \!} M \textbf{c}_2 < 0\).
The completed indefinite zeta function has an analytic continuation and satisfies a functional equation, given as [4, Theorem 1.1] and repeated here.
Theorem 1.6
(Analytic continuation and functional equation for \(\widehat{\zeta }^{\textbf{c}_1,\textbf{c}_2}_{\textbf{p},\textbf{q}}(\Omega ,s)\)) The function \(\widehat{\zeta }^{\textbf{c}_1,\textbf{c}_2}_{\textbf{p},\textbf{q}}(\Omega ,s)\) may be analytically continued to an entire function of \(s \in \mathbb {C}\). It satisfies the functional equation
1.3 Kronecker limit formulas for indefinite zeta functions
The Kronecker limit formula for indefinite zeta functions involves the dilogarithm function and a rapidly convergent integral of a logarithm of an infinite product. We also require the following definition of the function \(\kappa ^\textbf{c}_{\Omega }(\textbf{v})\), which is the square root of a rational function and appears as a factor in the integrand.
Definition 1.7
Suppose \(\Omega = iM+N \in \mathcal {H}_2^{(1)}\), \(\textbf{c}\in \mathbb {C}^2\) satisfying \(\overline{\textbf{c}}^{\!\top \!} M \textbf{c}< 0\), and \(\textbf{v}\in \mathbb {C}^2 {\setminus } \{0\}\). Let \(\Lambda _\Omega ^\textbf{c}:= \Omega - \frac{i}{Q_M(\textbf{c})}M\textbf{c}\textbf{c}^{\!\top \!} M\). Then, we define
The sign of \(\sqrt{-Q_M(\textbf{c})}\) is defined by Kopp [4, Lemma 3.4 and Definition 3.5], whereas \(\sqrt{-2iQ_{\Lambda _\Omega ^\textbf{c}}(\textbf{v})}\) is the standard branch of the square root function (where \({{\,\textrm{Re}\,}}\!\left( -2iQ_{\Lambda _\Omega ^\textbf{c}}(\textbf{v})\right) >0\) because \(\Lambda _\Omega ^\textbf{c}\in \mathcal {H}_2^{(0)}\)).
We now state the main theorem.
Theorem 1.8
(Indefinite Kronecker limit formula at \(s=1\)) Let \(\Omega = iM+N \in \mathcal {H}_2^{(1)}\), , and \(\textbf{c}_1,\textbf{c}_2 \in \mathbb {C}^2\) such that \(\overline{\textbf{c}_j}^{\!\top \!} M \textbf{c}_j < 0\). For \(\textbf{c}\in \{\textbf{c}_1,\textbf{c}_2\}\), factor the quadratic form
where \(\tau ^+(\textbf{c})\) is in the upper half-plane and \(\tau ^-(\textbf{c})\) is in the lower half-plane. Then
where
Here (and in the other variants of this theorem to follow), \(\{p_1\} = p_1 - \left\lfloor p_1 \right\rfloor \in [0,1)\) denotes the fractional part of \(p_1\). The function \(\varphi _{p_1,p_2}: \mathcal {H}\rightarrow \mathbb {C}\) is defined by the a product expansion,
and for \(0 \le p_1 < 1\) its logarithm \(\left( {{\,\textrm{Log}\,}}\varphi _{p_1,p_2}\right) \!(\xi )\) is the unique continuous branch with the property
Here \(\log (1-\textrm{e}\!\left( p_2\right) )\) is the standard principal branch.
In Theorem 1.8, the function \(\left( {{\,\textrm{Log}\,}}\varphi _{p_1,p_2}\right) \!(\xi )\) may be equivalently defined as
Each logarithm is of the form \(\log (1-z)\) for \(\left| z \right| <1\), and considering the first Taylor approximation \(\log (1-z) = z + O(z^2)\) shows that the series is absolutely convergent and the function converges rapidly to the limit specified in (1.12) as \(\xi \rightarrow i\infty \).
The following specialisation of Theorem 1.8 looks somewhat simpler and contains all of the cases of arithmetic zeta functions \(Z_A(s)\) associated with real quadratic fields.
Theorem 1.9
(Indefinite Kronecker limit formula at \(s=1\), pure imaginary case) Let M be a \(2 \times 2\) real matrix of signature (1, 1), and let \(\Omega =iM\). Let , and let \(\textbf{c}_1,\textbf{c}_2 \in \mathbb {R}^2\) such that \(\textbf{c}_j^{\!\top \!} M \textbf{c}_j < 0\). Then,
where
Here, \({{\,\textrm{Log}\,}}\varphi _{\{p_1\},p_2}\) and \(\kappa _{\Omega }^{\textbf{c}}\) are defined as in the statement of Theorem 1.8, and \(\xi =\tau (\textbf{c})\) is the unique root of the quadratic polynomial in the upper half plane.
It is straightforward to use the functional equation for the indefinite zeta function to rephrase Theorems 1.8 and 1.9 as formulas for \(\widehat{\zeta }_{\textbf{0},\textbf{q}}^{\textbf{c}_1,\textbf{c}_2}(\Omega ,0)\).
Theorem 1.10
(Indefinite Kronecker limit formula at \(s=0\)) Let \(\Omega = iM+N \in \mathcal {H}_2^{(1)}\), , and \(\textbf{c}_1,\textbf{c}_2 \in \mathbb {C}^2\) such that \(\overline{\textbf{c}_j}^{\!\top \!} M \textbf{c}_j < 0\). For \(\textbf{c}\in \{\textbf{c}_1,\textbf{c}_2\}\), factor the quadratic form
where \(\omega ^+(\textbf{c})\) is in the upper half-plane and \(\omega ^-(\textbf{c})\) is in the lower half-plane. Then,
where
Here, \({{\,\textrm{Log}\,}}\varphi \) and \(\kappa \) are defined as in the statement of Theorem 1.8.
Theorem 1.11
(Indefinite Kronecker limit formula at \(s=0\), pure imaginary case) Let M be a \(2 \times 2\) real matrix of signature (1, 1), and let \(\Omega =iM\). Let , and let \(\textbf{c}_1,\textbf{c}_2 \in \mathbb {R}^2\) such that \(\textbf{c}_j^{\!\top \!} M \textbf{c}_j < 0\). Then,
where
Here, \({{\,\textrm{Log}\,}}\varphi \) and \(\kappa \) are defined as in the statement of Theorem 1.8, and \(\xi =\omega (\textbf{c})\) is the unique root of the quadratic polynomial in the upper half plane.
1.4 Application: indefinite zeta functions, real quadratic fields, and Stark units
The Hecke L-value \(L_K(1, \chi )\) contains arithmetic information that is not well-understood in general. The abelian Stark conjectures predict that this value is an algebraic number times a regulator \({{\,\textrm{Reg}\,}}_\chi \), which is a determinant of a matrix of linear forms in logarithms of algebraic units in a particular abelian extension of the number field K [16,17,18,19]. This conjecture is known when the base field K is equal to \(\mathbb {Q}\) or an imaginary quadratic field, but not (for instance) when K is a real quadratic field.
The rank 1 abelian Stark conjectures give a partial answer to Hilbert’s 12th Problem, which asked for explicit generators for the abelian extensions of a number field in terms of special values of transcendental functions. Computationally, the Stark conjectures are used to calculate class fields in the computer algebra systems Magma and PARI/GP.
The Stark conjectures are most precisely formulated in the rank 1 case—that is, when \(L_K(s,\chi )\) vanishes to order 1 at \(s=0\). The regulator \({{\,\textrm{Reg}\,}}_\chi \) in that case is a determinant of a \(1 \times 1\) matrix. The rank 1 abelian Stark conjecture is most succinctly written as a statement about the ray class zeta function (of a ray ideal class A)
rather than as a statement about the Hecke L-function
Just as definite zeta functions specialise to ray class zeta functions of imaginary quadratic fields, indefinite zeta functions specialise to differenced ray class zeta functions of real quadratic fields. The full details of this specialisation are given in [4, Sect. 7].
Definition 1.12
(Ray class zeta function) Let K be any number field and \(\mathfrak {c}\) an ideal of the maximal order \(\mathcal {O}_K\). Let S be a subset of the real places of K (i.e. the embeddings \(K \hookrightarrow \mathbb {R}\)). Let A be a ray ideal class modulo \(\mathfrak {c}S\), that is, an element of the group
For \({{\,\textrm{Re}\,}}(s)>1\), define the ray class zeta function of A to be
This function has a simple pole at \(s=1\) with residue independent of A. The pole may be eliminated by considering the function \(Z_A(s)\), defined as follows.
Definition 1.13
(Differenced ray class zeta function) Let R be the element of \({{\,\textrm{Cl}\,}}_{\mathfrak {c}S}(\mathcal {O}_K)\) defined by
For \({{\,\textrm{Re}\,}}(s)>1\), define the differenced ray class zeta function of A to be
The function \(Z_A(s)\) extends to a holomorphic function on the whole complex plane. The rank 1 abelian Stark conjecture says that \(Z_A'(0)\) is the logarithm of an algebraic unit.
Conjecture 1.14
(Stark [18]) Let K be a real quadratic field and \(\{\rho _1, \rho _2\}\) the real embeddings of K. If R is not the identity of \({{\,\textrm{Cl}\,}}_{\mathfrak {c}\infty _2}(\mathcal {O}_K)\), then \(Z_A'(0) = \log (\rho _1(\varepsilon _A))\) for an algebraic unit \(\varepsilon _A\) generating the ray class field \(L_{\mathfrak {c}\infty _2}\) corresponding to \({{\,\textrm{Cl}\,}}_{\mathfrak {c}\infty _2}(\mathcal {O}_K)\). The units are compatible with the Artin map: \(\varepsilon _{{{\,\textrm{id}\,}}}^{{{\,\textrm{Art}\,}}(A)} = \varepsilon _A\).
The specialisation of the indefinite zeta function to a differenced real quadratic zeta function is given by the following result, which is [4, Theorem 1.3].
Theorem 1.15
(Specialisation of indefinite zeta function at \(s=0\)) For each ray class \(A \in {{\,\textrm{Cl}\,}}_{\mathfrak {c}\infty _1\infty _2}(\mathcal {O}_K)\) and integral ideal \(\mathfrak {b}\in A^{-1}\), there exists a real symmetric \(2 \times 2\) matrix M, vectors \(\textbf{c}_1, \textbf{c}_2 \in \mathbb {R}^2\), and \(\textbf{q}\in \mathbb {Q}^2\) such that
We may use Theorem 1.15 to compute presumptive Stark units \(\exp (Z_A'(0))\). Specifically,
Corollary 1.16
Under the specialisation given by Theorem 1.15,
Proof
Take the limit of (1.27) as \(s \rightarrow 0\). \(\square \)
As a proof of concept, we give an example of such a (numerical) computation in Sect. 3. For now, we summarise that calculation.
Example 1.17
For the real quadratic field \(K = \mathbb {Q}(\sqrt{3})\) and for \(\mathfrak {c}= 5\mathcal {O}_K\), we compute \(Z_I'(0)\), where I is the principal ray class of \({{\,\textrm{Cl}\,}}_{\mathfrak {c}\infty _2}(\mathcal {O}_K)\). Specifically, Corollary 1.16 gives
and any choice of \(\textbf{c}_1 \in \mathbb {R}^2\) with \(Q_M(\textbf{c}_1)<0\). After optimising choices, Theorem 1.11 is used to numerically compute
which agrees (to 30 digits) with the root of a particular degree eight polynomial (3.12) over \(\mathcal {O}_K\) whose roots are algebraic units in the appropriate class field.
2 Proof of the Kronecker limit formulas
The method of proof is to compute the Fourier series in \(\xi \) for an indefinite theta function with respect to an action by a one-parameter unipotent subgroup \(\{T^\xi : \xi \in \mathbb {R}\}\) of \(\textbf{SL}_2(\mathbb {R})\), where and , then take a Mellin transform and specialise variables. After taking the Mellin transform, we must allow \(\xi \) to be a complex parameter and perform a fairly delicate contour integration. Unlike in the definite case, the Fourier coefficients of the indefinite theta are not elementary functions, which ultimately leads to a more complicated Kronecker limit formula.
We fix the following notation for this section. Let \(\textbf{c}_1, \textbf{c}_2 \in \mathbb {C}^2\) satisfying \(\overline{\textbf{c}_j}^{\!\top \!} M \textbf{c}_j < 0\), and consider the indefinite theta \(\Theta _{\textbf{p},\textbf{q}}^{\textbf{c}_1,\textbf{c}_2}\) with characteristics \(\textbf{p},\textbf{q}\in \mathbb {R}^2\), as defined in Definition 1.4. Let \(t>0\), \(\Omega \in \mathcal {H}_2^{(1)}\), and \(M={{\,\textrm{Im}\,}}(\Omega )\). Write the indefinite theta of \(t\Omega \) as
where
2.1 Some lemmas about the Siegel upper half-space
The statement of our Kronecker limit formula, Theorem 1.8, involves a matrix \(\Lambda _\Omega ^\textbf{c}\) in the Siegel upper half-space \(\mathcal {H}_2^{(0)}\). Its proof will require a few basic lemmas about \(\mathcal {H}_2^{(0)}\).
Lemma 2.1
Let . Then
Proof
Express \(\Omega \) in terms of its real and imaginary parts,
Note that \(m_{11} \ne 0\) because \(m_{11} m_{22}-m_{12}^2=\det M > 0\), and thus \(\omega _{11} \ne 0\). By an algebraic calculation,
Now, \(m_{11}m_{22}-m_{12}^2 = \det M\) is positive, and so is \(n_{11}^2+m_{11}^2\). Thus, the inequality (2.6) holds.\(\square \)
We will also need the following inequality.
Lemma 2.2
Let . The two roots of are \(\tau _1 = \frac{-\omega _{12}-\sqrt{\det (-i\Omega )}}{\omega _{11}}\) and \(\tau _2 = \frac{-\omega _{12}+\sqrt{\det (-i\Omega )}}{\omega _{11}}\). Then, \({{\,\textrm{Im}\,}}(\tau _1)> 0 > {{\,\textrm{Im}\,}}(\tau _2)\).
Proof
We have , and the expressions for the roots come from the quadratic formula.
For any complex numbers \(\alpha = a_1+ia_2\) and \(\beta =b_1+ib_2\), \(\left( {{\,\textrm{Im}\,}}(\alpha \beta )\right) ^2 - {{\,\textrm{Im}\,}}(\alpha ^2){{\,\textrm{Im}\,}}(\beta ^2) = (a_1b_2-a_2b_1)^2 \ge 0\). Thus, \(\left( {{\,\textrm{Im}\,}}(\alpha \beta )\right) ^2 \ge {{\,\textrm{Im}\,}}(\alpha ^2){{\,\textrm{Im}\,}}(\beta ^2)\).
In particular, taking \(\alpha = \frac{1}{\sqrt{-\omega _{11}}}\) and \(\beta = \frac{\sqrt{\det (-i\Omega )}}{\sqrt{-\omega _{11}}}\) (for any choice of \(\sqrt{-\omega _{11}}\)), we obtain the inequality
Appealing to Lemma 2.1, we see by transitivity that
By subtracting the left-hand side and factoring, this inequality may be rewritten as \(0 > {{\,\textrm{Im}\,}}(\tau _1){{\,\textrm{Im}\,}}(\tau _2)\). So \({{\,\textrm{Im}\,}}(\tau _1)\) and \({{\,\textrm{Im}\,}}(\tau _2)\) are always nonzero real numbers with opposite signs. In the special case , \(\tau _1 = \frac{-\omega _{12}-\sqrt{\det (-i\Omega )}}{\omega _{11}} = i\) and \(\tau _2 = \frac{-\omega _{12}+\sqrt{\det (-i\Omega )}}{\omega _{11}} = -i\). Since \(\mathcal {H}_2^{(0)}\) is connected, we always have \({{\,\textrm{Im}\,}}(\tau _1)> 0 > {{\,\textrm{Im}\,}}(\tau _2)\).\(\square \)
2.2 Some integrals involving \(\mathcal {E}(u)\)
We will now prove a few integral formulas that we will need.
Lemma 2.3
Suppose that \(\alpha , \beta \in \mathbb {C}\) satisfy \({{\,\textrm{Re}\,}}\!\left( \alpha ^2 - 2i\beta \right) >0\) and \({{\,\textrm{Im}\,}}(\beta )>0\). Then, using the standard branch of the square root function,
Moreover, if \(\alpha _1, \alpha _2, \beta \in \mathbb {C}\) satisfying \({{\,\textrm{Re}\,}}\!\left( \alpha _1^2 - 2i\beta \right) >0\) and \({{\,\textrm{Re}\,}}\!\left( \alpha _2^2 - 2i\beta \right) >0\) (without any constraint on \({{\,\textrm{Im}\,}}(\beta )\)), and \(\alpha _1/\alpha _2\) is not a negative real number, then
Proof
We will first prove (2.12). As \(t \rightarrow \infty \),
Thus, given the assumptions on the domains of \(\alpha \) and \(\beta \), the integral (2.12) converges, as do the expressions in following integration by parts calculation:
where the contour C is a ray from the origin through the point \(\alpha ^2-2i\beta \). If \(z \in \mathbb {C}\) with \(x={{\,\textrm{Re}\,}}(z)>0\), \(s \in \mathbb {C}\) with \(\sigma ={{\,\textrm{Re}\,}}(s)>0\), and \([z_1,z_2]\) denotes the oriented line segment from \(z_1\) to \(z_2\), then
Thus, in particular, \(\int _{C} e^{-u}u^{1/2}\,\frac{du}{u} = \Gamma \!\left( \frac{1}{2}\right) = \pi ^{1/2}\). Plugging this into (2.21) gives (2.12).
We now prove (2.13). If \(\alpha _1=0\) or \(\alpha _2=0\), then (2.13) follows immediately from (2.12); now assume both are nonzero. Let \(\alpha _0\) be the closest point on the line \([\alpha _1, \alpha _2]\) to the origin in the complex plane; since \(\alpha _1/\alpha _2\) is not a negative real number, \(\alpha _0 \ne 0\). As \(t \rightarrow \infty \),
Thus, the integral on the left-hand side of (2.13) converges. The equality with the right-hand side holds for \({{\,\textrm{Im}\,}}(\beta )>0\) by (2.12) and in general by analytic continuation.\(\square \)
As usual, let \(M = {{\,\textrm{Im}\,}}(\Omega )\). Define the following auxiliary function, which will be related to the factor \(\kappa _{\Omega }^{\textbf{c}}(\textbf{v})\) appearing in the integral in the indefinite Kronecker limit formula.
Definition 2.4
For \(\textbf{v}\in \mathbb {C}^2\) and \(s \in \mathbb {C}\), set
Also, set
When the integral in (2.29) converges, \(\kappa _{\Omega }^{\textbf{c}_1,\textbf{c}_2}(\textbf{v},s) = \kappa _{\Omega }^{\textbf{c}_2}(\textbf{v},s) - \kappa _{\Omega }^{\textbf{c}_1}(\textbf{v},s)\).
Recall that in Definition 1.7, for \(\textbf{c}\in \{\textbf{c}_1,\textbf{c}_2\}\), we defined
Here \(\Lambda _\Omega ^\textbf{c}:= \Omega - \frac{i}{Q_M(\textbf{c})}M\textbf{c}\textbf{c}^{\!\top \!} M \in \mathcal {H}_2^{(0)}\) by Kopp [4, Lemma 3.6]. We will also define the function \(\kappa _{\Omega }^{\textbf{c}_1,\textbf{c}_2}(\textbf{v}):= \kappa _{\Omega }^{\textbf{c}_2}(\textbf{v}) - \kappa _{\Omega }^{\textbf{c}_1}(\textbf{v})\). These notations are justified by the following corollary.
Corollary 2.5
For \(\textbf{v}\ne \textbf{0}\), \( \kappa _{\Omega }^{\textbf{c}_1,\textbf{c}_2}(\textbf{v},1) = \kappa _{\Omega }^{\textbf{c}_1,\textbf{c}_2}(\textbf{v}). \)
Proof
Follows from Lemma 2.3 [particularly from (2.13)] by taking \(\alpha _j = \frac{\textbf{c}_j^{\!\top \!}M\textbf{v}}{\sqrt{-Q_M(\textbf{c}_j)}}\) and \(\beta = Q_\Omega (\textbf{v})\). Specifically, \(\rho _M^{\textbf{c}_j}(\textbf{v}t^{1/2})\textrm{e}\!\left( Q_\Omega (\textbf{v})t\right) = \mathcal {E}(\alpha _j t^{1/2})\textrm{e}\!\left( \beta t\right) \), and it is straightforward to check that \(\alpha _j^2-2i\beta = -2iQ_{\Lambda _{\Omega }^{\textbf{c}_j}}(\textbf{v})\), and thus \(\frac{\alpha _j}{4\pi i \beta \sqrt{\alpha _j^2-2i\beta }} = \kappa _{\Omega }^{\textbf{c}_j}(\textbf{v})\).\(\square \)
The following lemma will be needed to evaluate certain integrals.
Lemma 2.6
For any nonzero real number \(\alpha \),
Proof
Follows from the definition of \(\kappa _{\Omega }^{\textbf{c}_1,\textbf{c}_2}(\textbf{v},s)\).\(\square \)
2.3 Fourier series of a unipotent transform of an indefinite theta function
Consider the function of \(\xi \in \mathbb {R}\) (although \(\xi \) will be allowed to be complex later on) and \(t \in \mathbb {R}_{\ge 0}\),
Write this function as a Fourier series,
We are ultimately interested in the Mellin transform of this function,
where, as we will show,
Express , , , . Write
where \(h_j(\xi ,t)\) is the sum over the terms of (2.34) with \(n_2=j\), and \(\widetilde{h}(\xi ,t)\) is the sum over all the terms where \(n_2 \ne 0\). Write the Fourier series of \(\widetilde{h}(\xi ,t)\) as
At this point, we make some further restrictions on the characteristics \(\textbf{p}\) and \(\textbf{q}\). As we are trying to prove Theorem 1.8, we may assume that \(\textbf{q}=\textbf{0}\), so \(q_1=q_2=0\). Additionally, the identity \( \widehat{\zeta }_{\textbf{p}+{\textbf {a}},\textbf{0}}^{\textbf{c}_1,\textbf{c}_2}(\Omega ,s) = \widehat{\zeta }_{\textbf{p},\textbf{0}}^{\textbf{c}_1,\textbf{c}_2}(\Omega ,s) \) holds for any \({\textbf {a}} \in \mathbb {Z}^2\), so we may assume without loss of generality that \(0 \le p_1 < 1\); that is, \(p_1=\{p_1\}\).
First, calculate \(h_0(\xi ,t)\):
The \(n_1 = 0\) term of this sum vanishes.
We write, for \(n_2 \ne 0\),
The exponential sum \(\displaystyle \sum _{n_1=0}^{n_2-1} \textrm{e}\!\left( \frac{kn_1}{n_2}\right) \) evaluates to \(\left| n_2 \right| \) if \(n_2|k\), and to 0 otherwise. Thus, for all \(k\in \mathbb {Z}\) (including \(k=0\)),
Our convention here is that a sum over \(n_2|k\) ranges over both positive and negative \(n_2\), and over all integers when \(k=0\).
2.4 Shifting the contour vertically
Fix a positive real number \({\lambda }\) to be specified later. Let \(C^+\) (\(C^-\)) be the contour consisting of the horizontal line \({{\,\textrm{Im}\,}}(z) = {\lambda }\) (\({{\,\textrm{Im}\,}}(z) =-{\lambda })\), oriented towards the right half-plane. For each \(d_1,d_2 \in \mathbb {Z}\), \(d_2 \ne 0\), let \(C(d_1,d_2)\) be \(C^+\) if \(d_1d_2<0\) or \(d_1=0\) and \(d_2>0\); let \(C(d_1,d_2)\) be \(C^-\) if \(d_1d_2>0\) or \(d_1=0\) and \(d_2<0\). The integrands in (2.46) approach zero as \({{\,\textrm{Re}\,}}(\xi ) \rightarrow \pm \infty \), so we may rewrite this formula using contour integrals
2.5 Taking Mellin transforms term-by-term
To calculate the Mellin transform of \(h_0(\xi ,t)\), we need to check absolute convergence to justify reversing the order of summation/integration.
Proposition 2.7
If \(\sigma = {{\,\textrm{Re}\,}}(s) > \frac{1}{2}\), then
Proof
We bound the integral as follows.
The sum converges for \(\sigma > \frac{1}{2}\), and the integral converges for \(\sigma > 0\) (because the integrand approaches a constant at \(t \rightarrow 0\) and decays exponentially as \(t \rightarrow \infty \)).\(\square \)
Therefore, we can switch the sum and the integral. Using Lemma 2.6 and dropping the subscript on \(n_1\),
Next, we are going to calculate the Mellin transform of \(\widetilde{h}(\xi ,t)\). We need an absolute convergence result to justify our calculation here, too.
Proposition 2.8
Suppose \(\sigma = {{\,\textrm{Re}\,}}(s) > \frac{1}{2}\). Then,
Proof
Let
Set \(K:= \max \{K^+, K^-\}\). We have
The proposition is proved.\(\square \)
Now we may justify taking the Mellin transform of the Fourier series term-by-term. It follows from Proposition 2.8 that
where \(\displaystyle \beta _k(s):= \int _0^\infty b_k(t)t^s\,\frac{dt}{t}\). Define \(\displaystyle \widetilde{\beta }_k(s):= \int _0^\infty \widetilde{b}_k(t)t^s\,\frac{dt}{t}\); then,
Proposition 2.8 also implies that we can switch the order of integration to compute
2.6 Series manipulations
In this subsection, we set \(\xi =0\) in (2.62). We will manipulate the right-hand side of this equation to prove Theorem 1.8. First of all, we have
We will rewrite the sum of the \(\widetilde{\beta }_k(s)\) using the substitution \((d_1,d_2) = (\frac{k}{n_2},n_2)\). The following manipulation is legal by Proposition 2.8.
Split up the series into four pieces.
Now, move the contour integral outside the sums, and rewrite the series as
Setting \(s=1\) and using Corollary 2.5, and evaluating the sums over \(d_2\) using the power series for the logarithm, we obtain
We want to write this sum of logarithms as a logarithm of a product, but there is the issue of the choice of branch. In order to make a clear choice, let
for \(\xi \in \mathcal {H}\). This is a function on the upper half-plane which is never zero, and the upper half-plane is simply connected, so it has a choice of continuous logarithm. The product in (2.76) is absolutely and uniformly continuous as \(\xi \rightarrow i\infty \), and each term approaches 1 in that limit (because \(d+p_1>0\) and \(d-p_1>0\)). So
Let \(\left( {{\,\textrm{Log}\,}}\varphi _{p_1,p_2}\right) \!(\xi )\) be the branch such that
Here \(\log (1-\textrm{e}\!\left( p_2\right) )\) is the standard principal branch. (Note that \(p_2 \ne 0\) if \(p_1=0\).) Thus,
Adding back the other piece of \(\beta _0(1)\) into \(\displaystyle \widehat{\zeta }^{\textbf{c}_1,\textbf{c}_2}_{\textbf{p},\textbf{0}}(\Omega ,1)=\sum \nolimits _{k=-\infty }^\infty \beta _k(1)\), we obtain
2.7 Collapsing the contour onto the branch cuts
We could declare ourselves done at this point. Equation (2.80) is a formula for \(\widehat{\zeta }^{\textbf{c}_1,\textbf{c}_2}_{\textbf{p},\textbf{0}}(\Omega ,1)\), as we desired, and it appears very difficult to evaluate or simplify the contour integral in any way. However, (2.80) is not a useful formula for computation because the integral converges slowly. The integrand decays polynomially as \(\xi \rightarrow \pm \infty \) along the horizontal contour \(C^+\).
We will obtain a Kronecker limit formula with rapid convergence by shifting the contour so that the integrand decays exponentially. In doing so, we will also split up the formula as a difference of a \(\textbf{c}_1\)-piece and a \(\textbf{c}_2\)-piece. The movement of the contour is shown in Fig. 1.
Let \(\Lambda _\Omega ^\textbf{c}:= \Omega - \frac{i}{Q_M(\textbf{c})}M\textbf{c}\textbf{c}^{\!\top \!} M\) for \(\textbf{c}\in \{\textbf{c}_1,\textbf{c}_2\}\), as previously in Definition 1.7 and Corollary 2.5. Factor the quadratic polynomial in \(\xi \),
Since \(\Lambda _\Omega ^\textbf{c}\in \mathcal {H}_2^{(0)}\) by Kopp [4, Lemma 3.6], we know by Lemma 2.2 that we may choose \(\tau _1(\textbf{c})\) to be in the upper half-plane and \(\tau _2(\textbf{c})\) in the lower half-plane.
The complex function has branch cuts along the vertical ray from \(\tau _1(\textbf{c})\) to \(i\infty \) and the vertical ray from \(\tau _2(\textbf{c})\) to \(-i\infty \). We check that this function is holomorphic away from these branch cuts. Since has simple poles at the roots \(\xi = r_1,r_2\) of , we must check that the residues at the poles cancel when taking the difference . We have
and similarly, . These residues do not depend on \(\textbf{c}\), so they cancel, and is holomorphic at \(r_1\) and \(r_2\).
Move the contours of integration above the zeros of . Now we may safely split up the integral into a term for \(\textbf{c}_1\) and a term for \(\textbf{c}_2\). (See Fig. 1.)
Now we retract each integral onto the corresponding branch cut, as shown in Fig. 1. As \(\xi = \pm \tau ^\pm + \varepsilon \) and \(\varepsilon \rightarrow 0\), the denominator of the integrand blows up like \(\varepsilon ^{1/2}\), so the integral converges. The integrand changes sign when we cross the branch cut. Thus, (2.80) becomes
where
We have now proven Theorem 1.8. Theorem 1.9 follows by specialising the variables, setting \(\Omega = iM\) and restricting to \(\textbf{c}_1,\textbf{c}_2 \in \mathbb {R}^g\). Theorems 1.10 and 1.11 both follow by application of the functional equation (Theorem 1.6).
3 Example
We conclude with an example to show how to use the Kronecker limit formula for indefinite zeta functions to compute Stark units. This example was introduced in [4, Sect. 7.1].
Let \(K = \mathbb {Q}(\sqrt{3})\), so \(\mathcal {O}_K = \mathbb {Z}[\sqrt{3}]\), and let \(\mathfrak {c}= 5\mathcal {O}_K\). The ray class group \({{\,\textrm{Cl}\,}}_{\mathfrak {c}\infty _2}(\mathcal {O}_K) \cong \mathbb {Z}/8\mathbb {Z}\). The fundamental unit \(\varepsilon = 2+\sqrt{3}\) is totally positive: \(\varepsilon \varepsilon ' = 1\). It has order 3 modulo 5: \(\varepsilon ^3 = 26+15\sqrt{3} \equiv 1 \,\,\left( {\text {mod}}\, 5\right) \). In this section, we use the Kronecker limit formula for indefinite zeta functions to compute \(Z_I'(0)\), where I is the principal ray class of \({{\,\textrm{Cl}\,}}_{\mathfrak {c}\infty _2}(\mathcal {O}_K)\).
Let , and \(\textbf{c}_1\in \mathbb {R}^2\) any column vector with the property that \(\textbf{c}_1^{\!\top \!} M \textbf{c}_1 < 0\), such as . By Corollary 1.16 and the discussion in [4, Sect. 7.1], we have
where \(\Omega = iM\) and .
Now we want to use Theorem 1.11 to compute the right-hand side of (3.1). If we try to do so directly, we obtain , , , and . The root of in the upper half-plane (equivalently, the branch point of in the upper half-plane) is \(\xi = \frac{-2340+i\sqrt{3}}{4053}\), which is very close to the real axis. That means we’d need to use about \(\frac{\log (10)N}{2\pi \sqrt{3}/4053} \approx 857.5N\) terms in the product expansion of \(\varphi _{\{-q_1\},-q_2}(\xi )\) to compute \(Z_I'(0)\) to N decimal places of accuracy. We technically have exponential decay, but it is not very useful.
It is much more practical to break up the zeta function into pieces. We can also improve the rate of convergence by choosing \(\textbf{c}_1\) optimally; here, we will use in place of . We have
where , , and are obtained from the residues of the global units \(\varepsilon ^0, \varepsilon ^1, \varepsilon ^2\) modulo 5.
Now, we have and , with branch points in the upper half-plane at \(\xi = \frac{3+i\sqrt{3}}{6}\) and \(\xi = \frac{-3+i\sqrt{3}}{6}\), respectively. We thus need to use about \(\frac{\log (10)N}{2\pi \sqrt{3}/6} \approx 1.269N\) terms in the product expansion of each of the functions \(\varphi _{\{-q_1\},-q_2}(\xi )\), \(\varphi _{\{-q_1'\},-q_2'}(\xi )\), and \(\varphi _{\{-q_1''\},-q_2''}(\xi )\) to compute \(Z_I'(0)\) to N decimal places of accuracy by this method. For \(\textbf{q}, \textbf{q}', \textbf{q}''\), we computed the corresponding values of the integrals \(J(\textbf{c}), J'(\textbf{c}), J''(\textbf{c})\) and \(J(P\textbf{c}), J'(P\textbf{c}), J''(P\textbf{c})\) given by (1.20). The computation was performed in Mathematica using numerical integral of the first 40 terms of the product expansion of each \(\varphi \). For the differences of the two integrals, we obtain
For the ray class zeta value, we thus calculate using Theorem 1.11 that
This agrees (to 30 decimal digits) with the computations described in [4, Sect. 7.1]. The conjectural Stark unit is \(\exp (Z_I'(0)) \approx 3.89086171394307925533764395962\). This number appears to be the root of the polynomial
which we have verified lies in the appropriate class field.
Data Availability
Data sharing is not applicable to this article as no datasets were generated or analysed during the current study.
References
Duke, W., Imamoğlu, Ö., Tóth, Á.: Kronecker’s first limit formula, revisited. Res. Math. Sci. 5(2), 1–21 (2018)
Herglotz, G.: Über die Kroneckersche grenzformel für reelle, quadratische Körper. I, II. Ber. Verh. Sächs. Akad. Wiss. 75, 3–14, 31–37 (1923)
Kopp, G.S.: Indefinite Theta Functions and Zeta Functions. Ph.D thesis, University of Michigan, Ann Arbor (2017)
Kopp, G.S.: Indefinite zeta functions. Res. Math. Sci. 8(17), 1–34 (2021)
Liu, S.-C., Masri, R.: A Kronecker limit formula for totally real fields and arithmetic applications. Res. Number Theory 1(8), 1–20 (2015)
Posingies, A.: Kronecker limit formulas and scattering constants for Fermat curves (2011). arXiv preprint arXiv:1111.1132
Radchenko, D., Zagier, D.: Arithmetic properties of the Herglotz function. J. Reine Angew. Math. 797, 229–253 (2023)
Roehrig, C.: Siegel theta series for indefinite quadratic forms. Res. Number Theory 7(3), 1–28 (2021)
Roehrig, C.: Siegel theta series for quadratic forms of signature \((m-1,1)\) (2021). arXiv preprint arXiv:2106.05703
Roehrig, C., Zwegers, S.: Theta series for quadratic forms of signature \((n-1,1)\) with (spherical) polynomials. Int. J. Number Theory 18(07), 1491–1515 (2022)
Roehrig, C., Zwegers, S.: Theta series for quadratic forms of signature \((n-1,1)\) with (spherical) polynomials II (2022). arXiv preprint arXiv:2201.03986
Shintani, T.: On Kronecker limit formula for real quadratic fields. Proc. Jpn. Acad. 52(7), 355–358 (1976)
Shintani, T.: On a Kronecker limit formula for real quadratic fields. J. Fac. Sci. Univer. Tokyo 24(1), 167–199 (1977)
Shintani, T.: On certain ray class invariants of real quadratic fields. J. Math. Soc. Jpn. 30(1), 139–167 (1978)
Siegel, C.L.: Advanced Analytic Number Theory. Tata Institute of Fundamental Research (1980)
Stark, H.M.: Values of L-functions at \(s=1\). I. L-functions for quadratic forms. Adv. Math. 7(3), 301–343 (1971)
Stark, H.M.: L-functions at \(s=1\). II. Artin L-functions with rational characters. Adv. Math. 17(1), 60–92 (1975)
Stark, H.: L-functions at \(s=1\). III. Totally real fields and Hilbert’s twelfth problem. Adv. Math. 22(1), 64–84 (1976)
Stark, H.M.: L-functions at \(s=1\). IV. First derivatives at \(s=0\). Adv. Math. 35(3), 197–235 (1980)
Vignéras, M.-F.: Séries thêta des formes quadratiques indéfinies. Séminaire Delange-Pisot-Poitou. Théor. Nombres 17(1), 1–3 (1976)
Vignéras, M.-F.: Séries thêta des formes quadratiques indéfinies. In: Modular Functions of One Variable, vol. VI, pp. 227–239. Springer (1977)
Vlasenko, M., Zagier, D.: Higher Kronecker “limit’’ formulas for real quadratic fields. J. Reine Angew. Math. 679, 23–64 (2013)
Zagier, D.: A Kronecker limit formula for real quadratic fields. Math. Ann. 213, 153–184 (1975)
Zwegers, S.: Mock theta functions. Ph.D thesis, Universiteit Utrecht, Utrecht, The Netherlands (2002)
Acknowledgements
This research was partially supported by National Science Foundation (USA) Grants DMS-1401224, DMS-1701576, and DMS-1045119 and by the Heilbronn Institute for Mathematical Research (UK). This paper incorporates material from the author’s Ph.D thesis [3]. The author thanks Jeffrey C. Lagarias for advising his Ph.D and for many helpful conversations about the content of this paper. The author also thanks Marcus Appleby, Jeffrey C. Lagarias, Kartik Prasanna, and two anonymous referees for helpful comments and corrections.
Author information
Authors and Affiliations
Corresponding author
Additional information
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
Kopp, G.S. A Kronecker limit formula for indefinite zeta functions. Res Math Sci 10, 24 (2023). https://doi.org/10.1007/s40687-023-00384-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40687-023-00384-0