A KRONECKER LIMIT FORMULA FOR INDEFINITE ZETA FUNCTIONS GENE S. KOPP 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. 1. Introduction In a previous paper [5], we introduced indefinite zeta functions as Mellin transforms of (1) certain indefinite theta functions associated to the intermediate Siegel half-space Hg , 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 Section 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 [14]. 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 ζ(s; A)|namely, standard and twisted real analytic Eisenstein series (see [13] for details). We will discuss a generalisation of these arXiv:2010.16371v2 [math.NT] 12 Jul 2021 Kronecker limit formulas, which correspond to the positive definite case, in [3]. Kronecker limit formulas applicable to real quadratic fields were developed by Hecke, Her- glotz, 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 [21] (see also [1, 8]) and the formulas of Shintani [10, 11, 12] use partial zeta functions defined by summing over a cone. Analogues of Date: July 13, 2021. Key words and phrases. Kronecker limit formula, real quadratic field, indefinite quadratic form, indefinite theta function, Epstein zeta function, Stark conjectures. 1 2 GENE S. KOPP the Kronecker limit formulas in other settings have been found by Liu and Masri [6], Posingies [7], and Vlasenko and Zagier [20], 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 [5], 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 Section 1.3|require a lot of no- tation, defined in Section 1.1 and Section 1.2. The proofs of the indefinite Kronecker limit formulas are provided in Section 2. 1.1. Notational conventions. We list some notational conventions used in the paper. • e(z) := exp(2πiz) is the complex exponential, and this notation is used for z 2 C not necessarily real. •H := fτ : Im τ > 0g is the complex upper half-plane. • Non-transposed vectors v 2 Cg are always column vectors; the transpose v> is a row vector. • If M is a g × g matrix, then M > is its transpose, and (when M is invertible) M −> is a shorthand for (M −1)>. 1 > • QM (v) denotes the quadratic form QM (v) := 2 v Mv, where M is a g × g matrix, and v is a g × 1 column vector. • f(c)jc2 := f(c ) − f(c ), where f is any function taking values in an additive group. c=c1 2 1 v1 2 2 v1 • If v = ( v2 ) 2 C and f is a function of C , we may write f(v) as f( v2 ) rather than v1 f(( v2 )). • We often express Ω = iM + N where M; N are real g × 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(τ) is any nonvanishing holomorphic function on the upper half plane H, there is some holomorphic function (Log f)(τ) such that exp ((Log f)(τ)) = f(τ), because H is simply connected. Specifying a single value (or the limit as τ approaches some element of R [ f1g) specifies Log f uniquely. It won't necessarily be true that (Log f)(τ) = log(f(τ)). Conventions for square roots, when not specified, follow [5]. See Section 2.3 and Section 3.2 therein for details. We recall the definition of the Siegel intermediate half-space, as defined in [5]. Definition 1.1. For 0 ≤ k ≤ g, we define the Siegel intermediate half-space of genus g and index k to be (k) > Hg := fΩ 2 Mg(C) : Ω = Ω and Im(Ω) has signature (g − k; k)g: (1.1) (k) The Hg are the open orbits of the action of Sp2g(R) by fractional linear transformations (0) on the space of complex symmetric matrices. In particular, Hg is the usual Siegel upper half-space. 1.2. Indefinite theta and zeta functions. We review the relevant definitions from [5]. A KRONECKER LIMIT FORMULA FOR INDEFINITE ZETA FUNCTIONS 3 Definition 1.2. For any complex number α, define the function Z α E(α) := e−πu2 du; (1.2) 0 where the integral runs along any contour from 0 to α. Definition 1.3. Let Ω = iM + N be a complex symmetric matrix whose imaginary part (1) has signature (g − 1; 1); that is, Ω 2 Hg . Define the (nonholomorphic) indefinite theta function 0 1 c2 c> Im(Ωn + z) 1 c1;c2 X > > Θ (z; Ω) := E@q A e n Ωn + n z ; (1.3) g 1 > 2 n2Z − 2 c Im(Ω)c c=c1 g g > > where z 2 C , c1; c2 2 C , c1 Mc1 < 0, and c2 Mc2 < 0. Nonholomorphic indefinite theta functions were first studied by Vign´eras[18, 19] and were rediscovered by Zwegers [22]. Zwegers's theta function is defined for real cj when N is a scalar multiple of M. More precisely, if M is real symmetric matrix of signature (g − 1; 1), τ 2 H, g c1;c2 and c1; c2 2 R , then Θ (Mz; τM) is equal up to an exponential factor to the function c1;c2 #M (z; τ) introduced by Zwegers on page 27 of [22]. Our theta functions extend Zwegers's to the Siegel modular setting; a related generalisation has also been studied by Roehrig [9]. (1) Definition 1.4. Let Ω = iM + N 2 Hg . Define the indefinite theta null with charac- teristics p; q 2 Rg: 1 Θc1;c2 (Ω) := e q>Ωq + p>q Θc1;c2 (p + Ωq; Ω) : (1.4) p;q 2 g > > where c1; c2 2 C , c1 Mc1 < 0, and c2 Mc2 < 0. We define the indefinite zeta function using a Mellin transform of the indefinite theta function with characteristics. (1) Definition 1.5. Let Ω = iM + N 2 Hg . The completed indefinite zeta function is Z 1 dt c1;c2 c1;c2 s ζbp;q (Ω; s) := Θp;q (tΩ)t ; (1.5) 0 t g g > > where p; q 2 R , and c1; c2 2 C are parameters satisfying c1 Mc1 < 0 and c2 Mc2 < 0. The completed indefinite zeta function has an analytic continuation and satisfies a func- tional equation, which is Theorem 1.1 of [5]. c1;c2 Theorem 1.6 (Analytic continuation and functional equation for ζbp;q (Ω; s)). The function c1;c2 ζbp;q (Ω; s) may be analytically continued to an entire function on C. It satisfies the functional equation g e(p>q) c1;c2 Ωc1;Ωc2 −1 ζb Ω; − s = ζb−q;p −Ω ; s : (1.6) p;q 2 pdet(−iΩ) 4 GENE S. KOPP 1.3. Kronecker limit formulas for indefinite zeta functions. The Kronecker limit for- mula 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 c function κΩ(v), which is the square root of a rational function and will appear as a factor in the integrand. (1) 2 > 2 Definition 1.7. Suppose Ω = iM + N 2 H2 , c 2 C satisfying c Mc < 0, v 2 C , and s 2 . Let Λc := Ω − i Mcc>M. Then, we define C Ω QM (c) c>Mv κc (v) := : (1.7) Ω p q 4πi −Q (c)Q (v) −2iQ c (v) M Ω ΛΩ We now state the formula. (1) Theorem 1.8 (Indefinite Kronecker limit formula at s = 1).