# A study of elliptic gamma function and allies

A study of elliptic gamma function and allies VICENT ¸ IU PAS¸OL AND WADIM ZUDILIN To Don Zagier, in admiration of his insights on modular, elliptic and polylogarithmic functions Abstract. We study analytic and arithmetic properties of the elliptic gamma function −1 m+1 n+1 1 − x q p , |q|,|p| < 1, m n 1 − xq p m,n=0 in the regime p = q; in particular, its connection with the elliptic dilogarithm and a formula of S. Bloch. We further extend the results to more general products by linking them to non-holomorphic Eistenstein series and, via some formulae of D. Zagier, to elliptic polylogarithms. 1. Introduction 2πiz 2πiτ For complex z and τ with Im τ > 0, set x = e and q = e . Transformation properties of the so-called short theta-function −1 m+1 m θ (z; τ) := (1 − x q )(1 − xq ) m=0 under the action of the modular group are well understood. In view of its transparent invariance under translation τ 7→ τ + 1, the main source of the modular action originates from the τ-involution z 1 z 7→ zˆ = , τ 7→ τˆ = − . (1) τ τ The related classical transformation of θ (z; τ) can be recorded as 1/12 −1/2 −πizzˆ 1/12 −1/2 q x θ (z; τ) = ie qˆ xˆ θ (zˆ; τˆ) (2) 0 0 2πizˆ 2πiτˆ (see, for example, [3, Section 2]), where we deﬁne xˆ = e and qˆ = e . Less is known about modular properties of the related product −1 m+1 m+1 (1 − x q ) θ (z; τ) := , m m (1 − xq ) m=0 Date: 31 December 2017. Revised: 25 April 2018. Key words and phrases. Theta function; elliptic gamma function; elliptic dilogarithm; elliptic polylogarithm. The ﬁrst author was partially supported by a grant of Romanian Ministry of Research and In- novation, CNCS – UEFISCDI, project number PN-III-P4-ID-PCE-2016-0157, within PNCDI III7. The second author is partially supported by Laboratory of Mirror Symmetry NRU HSE, RF gov- ernment grant, ag. no. 14.641.31.0001. arXiv:1801.00210v2 [math.NT] 26 Apr 2018 2 VICENT¸IU PAS¸OL AND WADIM ZUDILIN which naturally comes as the σ = τ specialisation of the elliptic gamma function −1 m+1 n+1 1 − x q p 2πiσ Γ(z; τ, σ) := , where p = e , m n 1 − xq p m,n=0 introduced by S. Ruijsenaars in [5] (see also [3, 4]). Namely, we have θ (z; τ) = θ (z; τ)Γ(z; τ, τ) = Γ(z + τ; τ, τ). 1 0 A known functional equation of the elliptic gamma function [3, Theorem 4.1] repre- sents an SL (Z) symmetry of Γ(z; τ, σ). The problem of determining its behaviour in the regime σ = τ under SL (Z) transformations is speciﬁcally addressed in [2], where the (logarithm of the) inﬁnite product is related to the elliptic dilogarithm via a formula of S. Bloch [1]. Our principal aim in this note is re-casting analytic and arithmetic (modular) properties of the function θ (z; τ) and its relatives, in particular, linking them to non-holomorphic Eisenstein series and the elliptic dilogarithm. This programme is carried out in Sections 2–4; it gives a new proof of Bloch’s formula and related results from [2]. In Section 5 we go further to discuss similar features of products that generalise ones for θ and θ ; their relationship with non-holomorphic Eisenstein 0 1 series and formulae from [7] allow us to link them to elliptic polylogarithms. For future record, notice that iterating the transformation (z, τ) 7→ (zˆ, τˆ) twice maps (z, τ) to (−z, τ) and that −1 θ (−z; τ) = and θ (−z; τ) = −x θ (z; τ). (3) 1 0 0 θ (z; τ) 2. Period functions A natural way of measuring failure of weight k modular behaviour under the transformation (z, τ) 7→ (zˆ, τˆ) for a function f(z, τ) is through the period function g(z, τ) = g (z, τ) := f(zˆ, τˆ) − τ f(z, τ). Lemma 1. We have k k k k τ g(zˆ, τˆ) + (−1) g(z, τ) = τ f(−z, τ) − (−1) f(z, τ) . Observe that the expression in the parentheses on the right-hand side measures the failure of k-parity of f(z, τ). ˆ ˆ Proof. We only use (zˆ, τˆ) = (−z, τ) and ττˆ = −1: k k k k k τ g(zˆ, τˆ) − g(z, τ) = τ f(−z, τ) − τˆ f(zˆ, τˆ) + (−1) f(zˆ, τˆ) − τ f(z, τ) k k = τ f(−z, τ) − (−1) f(z, τ) . The lemma and the parity relation for ln θ (z; τ) in (3) imply the following. Lemma 2. The function T (z; τ) = τ ln θ (z; τ) − ln θ (zˆ; τˆ) (4) 1 1 satisﬁes the functional equation −1 T (zˆ; τˆ) = τ T (z; τ). A STUDY OF ELLIPTIC GAMMA FUNCTION AND ALLIES 3 Furthermore, we can relate the function T (z; τ) to the the dilogarithm function dt Li (x) = − ln(1 − t) . Lemma 3. The function (4) admits the following representation: πi(τ − 2z)(1 + 2τz − 2z ) T (z; τ) = + z ln θ (z; τ) 12τ −1 m+1 m − Li (x q ) − Li (xq ) . 2 2 2πi m=0 Proof. As shown in the proof of Theorem 5.2 in [3], ln θ (z; τ) = ln θ (z; τ) + ln Γ(z; τ, τ) 1 0 θ (z; τ) = −πiλ(z; τ) + ln θ (zˆ; τˆ) ∞ ∞ −1 k k X X (xˆ qˆ) xˆ + (τˆ − zˆ) − zˆ k k k(1 − qˆ ) k(1 − qˆ ) k=1 k=1 ∞ ∞ k −1 k k k −1 k X X 1 xˆ − (xˆ qˆ) qˆ (xˆ − (xˆ qˆ) ) + − τˆ , 2 k k 2 2πi k (1 − qˆ ) k(1 − qˆ ) k=1 k=1 where z 2τ − 1 (τ − 1)(5τ − 1) (τ − 2)(2τ − 1) λ(z; τ) = − z + z − 2 2 2 3τ 2τ 6τ 12τ −1 and the assumptions |xˆ|,|xˆ qˆ| < 1 are made to ensure convergence. (The latter can be dropped in the ﬁnal result by appealing to the analytic continuation in z.) Recalling the transformation (2), using ∞ ∞ X X 1 qˆ mk mk = qˆ and = mqˆ , k k 2 1 − qˆ (1 − qˆ ) m=0 m=0 interchanging summation and summing over k, we obtain 1 z τ 1 z ln θ (z; τ) = −πi λ(z; τ) − + + − z + + 2 τ 6 6τ τ −1 m+1 m + zˆ ln(1 − xˆ qˆ ) + ln(1 − xˆqˆ ) m=0 −1 m+1 m − τˆ (m + 1) ln(1 − xˆ qˆ ) − m ln(1 − xˆqˆ ) m=0 −1 m+1 m − Li (xˆ qˆ ) − Li (xˆqˆ ) 2 2 2πi m=0 4 VICENT¸IU PAS¸OL AND WADIM ZUDILIN πi 2z(1 + z)(1 + 2z) = (1 + 2z) − + zˆln θ (zˆ; τˆ) − τˆ ln θ (zˆ; τˆ) 0 1 12 τ −1 m+1 m − Li (xˆ qˆ ) − Li (xˆqˆ ) . 2 2 2πi m=0 (This formula can be alternatively derived from logarithmically diﬀerentiating iden- tity (2) with respect to τ and further integrating the result with respect to z.) Substituting (z/τ,−1/τ) for (z, τ) translates the result into πi(τ − 2z)(1 + 2τz − 2z ) τ ln θ (z; τ) − ln θ (zˆ; τˆ) = + z ln θ (z; τ) 1 1 0 12τ −1 m+1 m − Li (x q ) − Li (xq ) , 2 2 2πi m=0 the desired relation. 3. Non-holomorphic modularity Denote z − z A = A(z, τ) := ∈ R, τ − τ so that zτ − zτ A = A(zˆ, τˆ) := ∈ R τ − τ and z = Aτ − A. Deﬁne m m+A B (A)/3 A Y 3 (1 − xq ) q θ (z; τ) B (A)/3 Q(z; τ) := q = , (5) −1 m+1 m+1−A (1 − x q ) θ (z; τ) m=0 3 1 3 2 where B (t) := t − t + t is the third Bernoulli polynomial, B (1 − t) = −B (t), 3 3 3 2 2 and F (z; τ) := ln Q(zˆ; τˆ) − τ ln Q(z; τ), F (z; τ) := ln Q(zˆ; τˆ) − τ ln Q(z; τ). + − It follows then from Lemma 1 and the parity relations (3) that τF (zˆ; τˆ) − F (z; τ) = τ ln Q(−z; τ) + ln Q(z; τ) + + 2πi = (B (−A) + B (A))τ + 2πiAzτ − πiAτ 3 3 = −πiA 2(Aτ − z) + 1 τ = −πiA(2A + 1)τ and τF (zˆ; τˆ) − F (z; τ) = τ ln Q(−z; τ) + ln Q(z; τ) − − 2πi = − (B (−A) + B (A))ττ − 2πiAzτ + πiAτ 3 3 = πiA 2(Aτ − z) + 1 τ = πiA(2A + 1)τ. We summarise our ﬁnding in the following claim. A STUDY OF ELLIPTIC GAMMA FUNCTION AND ALLIES 5 Lemma 4. We have τF (zˆ; τˆ) − F (z; τ) = −πiA(2A + 1)τ, + + τF (zˆ; τˆ) − F (z; τ) = πiA(2A + 1)τ. − − Lemma 3 leads to the following expansions of the functions F and F . + − Theorem 1. We have F (z; τ) = S(z, τ) − L(z, τ), 2πi 2πiτ(τ − τ) 1 1 F (z; τ) = − B (A) + S(z, τ) + U(z, τ) + L(z, τ), − 3 3 π 2πi where −1 m+1 m L(z, τ) := Li (x q ) − Li (xq ) , 2 2 m=0 −1 m+1 −1 m+1 m m U(z, τ) := ln|x q | Li (x q ) − ln|xq | Li (xq ) , 1 1 m=0 −πi 2 2 2 2 S(z, τ) := (2A − 1)(6z − 12Aτz + 6z + 8A τ − 2Aτ − 6Aτ + 1). Proof. For F substitute the expression of T (z; τ) from Lemma 3 into the compu- tation F (z; τ) = ln Q(zˆ; τˆ) − τ ln Q(z; τ) 2πi ˆ ˆ ˆ = B (A)τˆ − B (A)τ ) + A ln θ (zˆ; τˆ) − (A + z) ln θ (z; τ) 3 3 0 0 + τ ln θ (z; τ) − ln θ (zˆ; τˆ). 1 1 This leads to the formula F (z; τ) = S(z, τ) − L(z, τ) 2πi with 2πi τ τˆ 1 ˆ ˆ S(z, τ) = B (A)τˆ − B (A)τ + Aπi − + zzˆ− − z + zˆ 3 3 3 6 6 2 πi + (τ − 2z)(1 + 2τz − 2z ), 12τ and the latter simpliﬁes to the expression given in the statement of Theorem 1 by elementary manipulation. For F we proceed as follows. We have 2πiτB (A) −1 m+1 m ln Q(z; τ) = − (m + 1 − A) Li (x q ) − (m + A) Li (xq ) . 1 1 m=0 Multiply this expression by τ − τ = 2i Im τ and use A(τ − τ) = 2i Im z to get 2πiτ(τ − τ)B (A) 1 (τ − τ) ln Q(z; τ) = − U(z, τ). 3 π 6 VICENT¸IU PAS¸OL AND WADIM ZUDILIN Now, notice (τ − τ) ln Q(z; τ) = F (z; τ) − F (z; τ) − + to deduce the expression for F as in the theorem. A consequence of this expansion is the invariance of F (z; τ) + F (z; τ) + − F (z; τ) := = ln|Q(zˆ; τˆ)| − τ ln|Q(z; τ)| under translation τ 7→ τ + 1. Lemma 5. We have F (z; τ + 1) − F (z; τ) = − F (z; τ + 1) − F (z; τ) . + + − − Proof. The functions L(z, τ) and U(z, τ) (hence their complex conjugates) are clearly invariant under translation τ 7→ τ + 1. The result follows from noticing that 2πiτ(τ − τ) −πi(τ − τ) A(1 − A)(1 − 2A) 2 Re S(z, τ) + B (A) = 3 6 −πi(τ − τ) = B (A) is also invariant under the transformation. We summarise the results in this section as follows. Theorem 2. The weight 1 period function F (z; τ) = ln|Q(zˆ; τˆ)| − τ ln|Q(z; τ)| −1 m+1 m −1 m+1 m = ln|x q | Li (x q ) − ln|xq | Li (xq ) 1 1 2π m=0 πi(τ − τ) 1 −1 m+1 m − B (A) − Im Li (x q ) − Li (xq ) 3 2 2 6 2πi m=0 of ln|Q(z; τ)| satisﬁes τF (zˆ; τˆ) = F (z; τ) and F (z; τ) = F (z; τ + 1). In other words, it behaves like a Jacobi form of weight 1 on SL (Z). 4. Elliptic dilogarithm Theorem 2 provides a natural link between the period function F (z; τ) and the elliptic dilogarithm [7] X X m m −1 m+1 D(q; x) := D(xq ) = D(xq ) − D(x q ) m∈Z m=0 together with its companion log |q| log|x| m −1 m+1 J(q; x) := J(xq ) − J(x q ) + B , 3 log|q| m=0 A STUDY OF ELLIPTIC GAMMA FUNCTION AND ALLIES 7 where D(x) := ln|x| arg(1 − x) + Im Li (x) = − ln|x| Im Li (x) + Im Li (x) 2 1 2 denotes the Bloch–Wigner dilogarithm and J(x) := ln|x| ln|1 − x| = − ln|x| Re Li (x) its companion. Namely, the expansion in the theorem can be stated as F (z; τ) = D(q; x) + iJ(q; x) . (6) 2πi This is essentially the result discussed in [2, Section 1]. Viewing now z as an element of the lattice R + Rτ, so that A and A in the representation z = −A + Aτ are ﬁxed, we ﬁnd out that the τ-derivative 1 d d ln Q(z; τ) = q ln Q(z; τ) 2πi dτ dq is the Eisenstein series 2πi(mA+nA) i e 3 3 4π (mτ + n) m,n∈Z of weight 3, where the notation indicates omitting the term m = n = 0 from the summation. Integrating we obtain 2πi(mA+nA) ln Q(z; τ) = 2 2 4π m(mτ + n) m,n∈Z implying ln|Q(z; τ)| = ln Q(z; τ) + ln Q(z; τ) 1 1 2πi(mA+nA) = e − 2 2 2 8π m(mτ + n) m(mτ + n) m,n∈Z 1 i m Im τ (m Re τ + n) 2πi(mA+nA) = e 2 2 2 2π m(mτ + n) (mτ + n) m,n∈Z 2πi(mA+nA) i Im τ e (m Re τ + n) = . 2 4 2π |mτ + n| m,n∈Z ˆ ˆ This is equation (7) in [2]. Since zˆ = z/τ = A − A/τ = A + Aτˆ, it follows that 2πi(−mA+nA) i Im τˆ e (m Re τˆ + n) ln|Q(zˆ; τˆ)| = 2 4 2π |mτˆ + n| m,n∈Z 2πi(nA−mA) 2 i Im τ e (−m(Re τ)/|τ| + n) 2 2 4 2π |τ| |n − m/τ| m,n∈Z 8 VICENT¸IU PAS¸OL AND WADIM ZUDILIN 2πi(nA−mA) 2 i Im τ e (n|τ| − m Re τ) 2 4 2π |nτ − m| m,n∈Z 2πi(mA+nA) 2 i Im τ e (m|τ| + n Re τ) 2 4 2π |mτ + n| m,n∈Z X 2πi(mA+nA) Im τ e ((m Re τ + n)τi + (mτ + n) Im τ) 2 4 2π |mτ + n| m,n∈Z implying 2 2πi(mA+nA) (Im τ) e (mτ + n) ln|Q(zˆ; τˆ)| − τ ln|Q(z; τ)| = . 2 4 2π |mτ + n| m,n∈Z The latter is a (non-holomorphic) modular form of weight 1, and combined with equation (6), is the formula of Bloch mentioned previously. Theorem 3 (Bloch’s formula [1, 2, 7]). For z = Aτ − A, we have F (z; τ) = D(q; x) + iJ(q; x) 2πi 2 2πi(mA+nA) (Im τ) e (mτ + n) = . 2 4 2π |mτ + n| m,n∈Z 5. General weight A natural generalisation of the product in (5) is k k k B (A)/(k+2) m (m+A) −1 m+1 (−1) (m+1−A) k+2 Q (z; τ) := q (1 − xq ) (1 − x q ) , (7) m=0 where k = 0, 1, 2, . . . and B (t) stands for the kth Bernoulli polynomial. Then Q (z; τ) is an arithmetic normalisation of the short theta-function θ (z; τ) (a Siegel 0 0 modular unit) and Q (z; τ) coincides with (5). Following the earlier recipe, deﬁne k−2 F (z; τ) = F (z; τ) := ln Q (zˆ; τˆ) − τ ln Q (z; τ), + k,+ k k k−2 F (z; τ) = F (z; τ) := ln Q (zˆ; τˆ) − τ ln Q (z; τ) − k,− k k and F (z; τ) := F (z; τ) + F (z; τ) . Then from Lemma 1 we deduce the k k,+ k,− following generalisation of Lemma 4. Lemma 6. We have, for k ≥ 1, k k k k k τ F (zˆ; τˆ) + (−1) F (z; τ) = (−1) πiA (2A + 1)τ , + + k k k k k τ F (zˆ; τˆ) + (−1) F (z; τ) = −(−1) πiA (2A + 1)τ . − − Proof. Apply Lemma 1 and the relation k k k+1 B (−t) − (−1) B (t) = (−1) (k + 2)t . k+2 k+2 We further use that the τ-derivative of ln Q (z; τ) is an Eisenstein series. k A STUDY OF ELLIPTIC GAMMA FUNCTION AND ALLIES 9 Lemma 7. For k ≥ 1, k 2πi(mA+nA) (−1) k! e ln Q (z; τ) = , k+1 k+1 (2πi) m(mτ + n) m,n∈Z where z = −A + Aτ. ˜ ˆ ˆ ˆ Proof. Consider Q (A, A; τ) := Q (Aτ − A; τ) as a function of real variables A, A k k and complex variable τ. The τ-derivative 1 d d ˆ ˆ ˆ G (A, A; τ) := ln Q (A, A; τ) = q ln Q (A, A; τ) k+2 k k 2πi dτ dq is seen to be the Eisenstein series k+1 2πi(mA+nA) (−1) (k + 1)! e E (A, A; τ) := k+2 k+2 k+2 (2πi) (mτ + n) m,n∈Z of weight k + 2. This is true for k = 1 (see Section 4), while for k ≥ 1 we observe the functional equation ∂ ∂ ˆ ˆ E (A, A; τ) = E (A, A; τ). k+3 k+2 ∂τ ∂A ˆ ˆ The equality G (A, A; τ) = E (A, A; τ) then follows by induction on k using the k+2 k+2 fact that the constant terms of both functions at τ = ∞ (or q = 0) agree. Integrating we obtain k 2πi(mA+nA) (−1) k! e ln Q (A, A; τ) = . k+1 k+1 (2πi) m(mτ + n) m,n∈Z Since both sides continuously depend on A and A, the formula remains valid also for ln Q (z; τ). As in our computation in Section 4 we obtain (−1) k! 1 1 2πi(mA+nA) ln|Q (z; τ)| = e − k+1 k+1 k+1 2(2πi) m(mτ + n) m(mτ + n) m,n∈Z k 2πi(mA+nA) X X (−1) k! e (τ − τ) j k−j = (mτ + n) (mτ + n) k+1 k+1 k+1 2(2πi) (mτ + n) (mτ + n) m,n∈Z j=0 k 2πi(mA+nA) X X i k! Im τ e = − k+1 k−j+1 j+1 (2π) (mτ + n) (mτ + n) j=0 m,n∈Z 10 VICENT¸IU PAS¸OL AND WADIM ZUDILIN and k 2πi(−mA+nA) X X i k! Im τ e ln|Q (zˆ; τˆ)| = − k+1 2 j+1 k−j+1 (2π) |τ| (n − m/τ) (n − m/τ) j=0 m,n∈Z k 2πi(mA+nA) k−j j X X i k! Im τ e τ τ = − . k+1 k−j+1 j+1 (2π) (mτ + n) (mτ + n) j=0 m,n∈Z Thus, F (z; τ) = ln|Q (zˆ; τˆ)| − τ ln|Q (z; τ)| k k k k 2πi(mA+nA) X X i k! Im τ e k−j j j = τ (τ − τ ) k+1 j+1 k−j+1 (2π) (mτ + n) (mτ + n) j=0 m,n∈Z i k! k−j j j = τ (τ − τ )D (q; x) j+1,k−j+1 k k 2(2π) (τ − τ) j=1 i k! k−j j = τ Im(τ ) D (q; x), j+1,k−j+1 (4π Im τ) j=1 where a+b−1 2πi(mA+nA) (τ − τ) e D (q; x) := (8) a,b a b 2πi (mτ + n) (mτ + n) m,n∈Z for positive integers a and b. Finally, observe that the non-holomorphic Eisenstein series (8) can be identiﬁed with the elliptic polylogarithms using a formula of Zagier [7, Proposition 2]. This leads to the following general result. Theorem 4. For k ≥ 1 and z = Aτ − A, we have i k! k k−j j ln|Q (zˆ; τˆ)| − τ ln|Q (z; τ)| = τ Im(τ ) D (q; x), k k j+1,k−j+1 (4π Im τ) j=1 where a+b−1 (4π Im τ) m a+b −1 m+1 D (q; x) = D (xq ) + (−1) D (x q ) + B (A) a,b a,b a,b a+b (a + b)! m=0 and a+b−1 a+b−ℓ−1 ℓ − 1 (− ln|x|) a−1 a+b−ℓ−1 D (x) = (−1) 2 Li (x) a,b ℓ a − 1 (a + b − ℓ − 1)! ℓ=a a+b−1 a+b−ℓ−1 ℓ − 1 (− ln|x|) b−1 a+b−ℓ−1 + (−1) 2 Li (x). b − 1 (a + b − ℓ − 1)! ℓ=b A STUDY OF ELLIPTIC GAMMA FUNCTION AND ALLIES 11 6. Conclusion This ﬁnal (and very short!) part is devoted to highlighting some directions for further research. In spite of generalisability of the story in Sections 2–4 to the function F (z; τ) = ln|Q (zˆ; τˆ)| − τ ln|Q (z; τ)|, k k k where k ≥ 1 and the product Q (z; τ) is deﬁned in (7), the case k = 1 remains the only one, which is invariant under translation τ 7→ τ + 1. At the same time, Lemma 6 implies the transformation k k−1 τ F (zˆ, τˆ) = (−1) F (z, τ) for k = 1, 2, . . . . k k This consideration does not exclude, however, a possibility for modiﬁed products (7) and related functions F to exist such that the latter ones have true modular behaviour for each k ≥ 1. It sounds to us a nice problem to determine such modular objects. Several arithmetic problems related to the case k = 1 (originating from the elliptic gamma function) are still open. Our personal favourites include connection of (5) with the Mahler measure and mirror symmetry; see, for example, Observation in [6]. Acknowledgements We thank the anonymous referees for their careful reading of the manuscript and reporting valuable feedback. References [1] S. J. Bloch, Higher regulators, algebraic K-theory, and zeta functions of elliptic curves, Lec- ture notes (UC Irvine, 1977); CRM Monograph Ser. 11 (Amer. Math. Soc., Providence, RI, 2000). [2] W. Duke and O. Imamoglu, On a formula of Bloch, Funct. Approx. 37.1 (2007), 109–117. [3] G. Felder and A. Varchenko, The elliptic gamma function and SL(3,Z) ⋉ Z , Adv. Math. 156 (2000), no. 1, 44–76. [4] G. Felder and A. Varchenko, Multiplication formulae for the elliptic gamma function, in “Noncommutative geometry and representation theory in mathematical physics”, Contemp. Math. 391 (Amer. Math. Soc., Providence, RI, 2005), pp. 69–73. [5] S. Ruijsenaars, First order analytic diﬀerence equations and integrable quantum systems, J. Math. Phys. 38 (1997), 1069–1146. [6] J. Stienstra, Mahler measure variations, Eisenstein series and instanton expansions, in “Mir- ror symmetry V”, AMS/IP Stud. Adv. Math. 38 (Amer. Math. Soc., Providence, RI, 2006), pp. 139–150. [7] D. Zagier, The Bloch–Wigner–Ramakrishnan polylogarithm function, Math. Ann. 286 (1990), 613–624. Simion Stoilow Institute of Mathematics of the Romanian Academy, P.O. Box 1-764, 014700 Bucharest, Romania E-mail address: vicentiu.pasol@imar.ro Department of Mathematics, IMAPP, Radboud University, PO Box 9010, 6500 GL Nijmegen, Netherlands E-mail address: w.zudilin@math.ru.nl 12 VICENT¸IU PAS¸OL AND WADIM ZUDILIN School of Mathematical and Physical Sciences, The University of Newcastle, Callaghan, NSW 2308, Australia E-mail address: wadim.zudilin@newcastle.edu.au Laboratory of Mirror Symmetry and Automorphic Forms, National Research University Higher School of Economics, 6 Usacheva str., 119048 Moscow, Russia E-mail address: wzudilin@gmail.com http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Mathematical Physics arXiv (Cornell University)

# A study of elliptic gamma function and allies

, Volume 2018 (1801) – Dec 30, 2017
12 pages

Loading next page...

/lp/arxiv-cornell-university/a-study-of-elliptic-gamma-function-and-allies-qdo80qx2yH
ISSN
2522-0144
eISSN
ARCH-3337
DOI
10.1007/s40687-018-0158-9
Publisher site
See Article on Publisher Site

### Abstract

VICENT ¸ IU PAS¸OL AND WADIM ZUDILIN To Don Zagier, in admiration of his insights on modular, elliptic and polylogarithmic functions Abstract. We study analytic and arithmetic properties of the elliptic gamma function −1 m+1 n+1 1 − x q p , |q|,|p| < 1, m n 1 − xq p m,n=0 in the regime p = q; in particular, its connection with the elliptic dilogarithm and a formula of S. Bloch. We further extend the results to more general products by linking them to non-holomorphic Eistenstein series and, via some formulae of D. Zagier, to elliptic polylogarithms. 1. Introduction 2πiz 2πiτ For complex z and τ with Im τ > 0, set x = e and q = e . Transformation properties of the so-called short theta-function −1 m+1 m θ (z; τ) := (1 − x q )(1 − xq ) m=0 under the action of the modular group are well understood. In view of its transparent invariance under translation τ 7→ τ + 1, the main source of the modular action originates from the τ-involution z 1 z 7→ zˆ = , τ 7→ τˆ = − . (1) τ τ The related classical transformation of θ (z; τ) can be recorded as 1/12 −1/2 −πizzˆ 1/12 −1/2 q x θ (z; τ) = ie qˆ xˆ θ (zˆ; τˆ) (2) 0 0 2πizˆ 2πiτˆ (see, for example, [3, Section 2]), where we deﬁne xˆ = e and qˆ = e . Less is known about modular properties of the related product −1 m+1 m+1 (1 − x q ) θ (z; τ) := , m m (1 − xq ) m=0 Date: 31 December 2017. Revised: 25 April 2018. Key words and phrases. Theta function; elliptic gamma function; elliptic dilogarithm; elliptic polylogarithm. The ﬁrst author was partially supported by a grant of Romanian Ministry of Research and In- novation, CNCS – UEFISCDI, project number PN-III-P4-ID-PCE-2016-0157, within PNCDI III7. The second author is partially supported by Laboratory of Mirror Symmetry NRU HSE, RF gov- ernment grant, ag. no. 14.641.31.0001. arXiv:1801.00210v2 [math.NT] 26 Apr 2018 2 VICENT¸IU PAS¸OL AND WADIM ZUDILIN which naturally comes as the σ = τ specialisation of the elliptic gamma function −1 m+1 n+1 1 − x q p 2πiσ Γ(z; τ, σ) := , where p = e , m n 1 − xq p m,n=0 introduced by S. Ruijsenaars in [5] (see also [3, 4]). Namely, we have θ (z; τ) = θ (z; τ)Γ(z; τ, τ) = Γ(z + τ; τ, τ). 1 0 A known functional equation of the elliptic gamma function [3, Theorem 4.1] repre- sents an SL (Z) symmetry of Γ(z; τ, σ). The problem of determining its behaviour in the regime σ = τ under SL (Z) transformations is speciﬁcally addressed in [2], where the (logarithm of the) inﬁnite product is related to the elliptic dilogarithm via a formula of S. Bloch [1]. Our principal aim in this note is re-casting analytic and arithmetic (modular) properties of the function θ (z; τ) and its relatives, in particular, linking them to non-holomorphic Eisenstein series and the elliptic dilogarithm. This programme is carried out in Sections 2–4; it gives a new proof of Bloch’s formula and related results from [2]. In Section 5 we go further to discuss similar features of products that generalise ones for θ and θ ; their relationship with non-holomorphic Eisenstein 0 1 series and formulae from [7] allow us to link them to elliptic polylogarithms. For future record, notice that iterating the transformation (z, τ) 7→ (zˆ, τˆ) twice maps (z, τ) to (−z, τ) and that −1 θ (−z; τ) = and θ (−z; τ) = −x θ (z; τ). (3) 1 0 0 θ (z; τ) 2. Period functions A natural way of measuring failure of weight k modular behaviour under the transformation (z, τ) 7→ (zˆ, τˆ) for a function f(z, τ) is through the period function g(z, τ) = g (z, τ) := f(zˆ, τˆ) − τ f(z, τ). Lemma 1. We have k k k k τ g(zˆ, τˆ) + (−1) g(z, τ) = τ f(−z, τ) − (−1) f(z, τ) . Observe that the expression in the parentheses on the right-hand side measures the failure of k-parity of f(z, τ). ˆ ˆ Proof. We only use (zˆ, τˆ) = (−z, τ) and ττˆ = −1: k k k k k τ g(zˆ, τˆ) − g(z, τ) = τ f(−z, τ) − τˆ f(zˆ, τˆ) + (−1) f(zˆ, τˆ) − τ f(z, τ) k k = τ f(−z, τ) − (−1) f(z, τ) . The lemma and the parity relation for ln θ (z; τ) in (3) imply the following. Lemma 2. The function T (z; τ) = τ ln θ (z; τ) − ln θ (zˆ; τˆ) (4) 1 1 satisﬁes the functional equation −1 T (zˆ; τˆ) = τ T (z; τ). A STUDY OF ELLIPTIC GAMMA FUNCTION AND ALLIES 3 Furthermore, we can relate the function T (z; τ) to the the dilogarithm function dt Li (x) = − ln(1 − t) . Lemma 3. The function (4) admits the following representation: πi(τ − 2z)(1 + 2τz − 2z ) T (z; τ) = + z ln θ (z; τ) 12τ −1 m+1 m − Li (x q ) − Li (xq ) . 2 2 2πi m=0 Proof. As shown in the proof of Theorem 5.2 in [3], ln θ (z; τ) = ln θ (z; τ) + ln Γ(z; τ, τ) 1 0 θ (z; τ) = −πiλ(z; τ) + ln θ (zˆ; τˆ) ∞ ∞ −1 k k X X (xˆ qˆ) xˆ + (τˆ − zˆ) − zˆ k k k(1 − qˆ ) k(1 − qˆ ) k=1 k=1 ∞ ∞ k −1 k k k −1 k X X 1 xˆ − (xˆ qˆ) qˆ (xˆ − (xˆ qˆ) ) + − τˆ , 2 k k 2 2πi k (1 − qˆ ) k(1 − qˆ ) k=1 k=1 where z 2τ − 1 (τ − 1)(5τ − 1) (τ − 2)(2τ − 1) λ(z; τ) = − z + z − 2 2 2 3τ 2τ 6τ 12τ −1 and the assumptions |xˆ|,|xˆ qˆ| < 1 are made to ensure convergence. (The latter can be dropped in the ﬁnal result by appealing to the analytic continuation in z.) Recalling the transformation (2), using ∞ ∞ X X 1 qˆ mk mk = qˆ and = mqˆ , k k 2 1 − qˆ (1 − qˆ ) m=0 m=0 interchanging summation and summing over k, we obtain 1 z τ 1 z ln θ (z; τ) = −πi λ(z; τ) − + + − z + + 2 τ 6 6τ τ −1 m+1 m + zˆ ln(1 − xˆ qˆ ) + ln(1 − xˆqˆ ) m=0 −1 m+1 m − τˆ (m + 1) ln(1 − xˆ qˆ ) − m ln(1 − xˆqˆ ) m=0 −1 m+1 m − Li (xˆ qˆ ) − Li (xˆqˆ ) 2 2 2πi m=0 4 VICENT¸IU PAS¸OL AND WADIM ZUDILIN πi 2z(1 + z)(1 + 2z) = (1 + 2z) − + zˆln θ (zˆ; τˆ) − τˆ ln θ (zˆ; τˆ) 0 1 12 τ −1 m+1 m − Li (xˆ qˆ ) − Li (xˆqˆ ) . 2 2 2πi m=0 (This formula can be alternatively derived from logarithmically diﬀerentiating iden- tity (2) with respect to τ and further integrating the result with respect to z.) Substituting (z/τ,−1/τ) for (z, τ) translates the result into πi(τ − 2z)(1 + 2τz − 2z ) τ ln θ (z; τ) − ln θ (zˆ; τˆ) = + z ln θ (z; τ) 1 1 0 12τ −1 m+1 m − Li (x q ) − Li (xq ) , 2 2 2πi m=0 the desired relation. 3. Non-holomorphic modularity Denote z − z A = A(z, τ) := ∈ R, τ − τ so that zτ − zτ A = A(zˆ, τˆ) := ∈ R τ − τ and z = Aτ − A. Deﬁne m m+A B (A)/3 A Y 3 (1 − xq ) q θ (z; τ) B (A)/3 Q(z; τ) := q = , (5) −1 m+1 m+1−A (1 − x q ) θ (z; τ) m=0 3 1 3 2 where B (t) := t − t + t is the third Bernoulli polynomial, B (1 − t) = −B (t), 3 3 3 2 2 and F (z; τ) := ln Q(zˆ; τˆ) − τ ln Q(z; τ), F (z; τ) := ln Q(zˆ; τˆ) − τ ln Q(z; τ). + − It follows then from Lemma 1 and the parity relations (3) that τF (zˆ; τˆ) − F (z; τ) = τ ln Q(−z; τ) + ln Q(z; τ) + + 2πi = (B (−A) + B (A))τ + 2πiAzτ − πiAτ 3 3 = −πiA 2(Aτ − z) + 1 τ = −πiA(2A + 1)τ and τF (zˆ; τˆ) − F (z; τ) = τ ln Q(−z; τ) + ln Q(z; τ) − − 2πi = − (B (−A) + B (A))ττ − 2πiAzτ + πiAτ 3 3 = πiA 2(Aτ − z) + 1 τ = πiA(2A + 1)τ. We summarise our ﬁnding in the following claim. A STUDY OF ELLIPTIC GAMMA FUNCTION AND ALLIES 5 Lemma 4. We have τF (zˆ; τˆ) − F (z; τ) = −πiA(2A + 1)τ, + + τF (zˆ; τˆ) − F (z; τ) = πiA(2A + 1)τ. − − Lemma 3 leads to the following expansions of the functions F and F . + − Theorem 1. We have F (z; τ) = S(z, τ) − L(z, τ), 2πi 2πiτ(τ − τ) 1 1 F (z; τ) = − B (A) + S(z, τ) + U(z, τ) + L(z, τ), − 3 3 π 2πi where −1 m+1 m L(z, τ) := Li (x q ) − Li (xq ) , 2 2 m=0 −1 m+1 −1 m+1 m m U(z, τ) := ln|x q | Li (x q ) − ln|xq | Li (xq ) , 1 1 m=0 −πi 2 2 2 2 S(z, τ) := (2A − 1)(6z − 12Aτz + 6z + 8A τ − 2Aτ − 6Aτ + 1). Proof. For F substitute the expression of T (z; τ) from Lemma 3 into the compu- tation F (z; τ) = ln Q(zˆ; τˆ) − τ ln Q(z; τ) 2πi ˆ ˆ ˆ = B (A)τˆ − B (A)τ ) + A ln θ (zˆ; τˆ) − (A + z) ln θ (z; τ) 3 3 0 0 + τ ln θ (z; τ) − ln θ (zˆ; τˆ). 1 1 This leads to the formula F (z; τ) = S(z, τ) − L(z, τ) 2πi with 2πi τ τˆ 1 ˆ ˆ S(z, τ) = B (A)τˆ − B (A)τ + Aπi − + zzˆ− − z + zˆ 3 3 3 6 6 2 πi + (τ − 2z)(1 + 2τz − 2z ), 12τ and the latter simpliﬁes to the expression given in the statement of Theorem 1 by elementary manipulation. For F we proceed as follows. We have 2πiτB (A) −1 m+1 m ln Q(z; τ) = − (m + 1 − A) Li (x q ) − (m + A) Li (xq ) . 1 1 m=0 Multiply this expression by τ − τ = 2i Im τ and use A(τ − τ) = 2i Im z to get 2πiτ(τ − τ)B (A) 1 (τ − τ) ln Q(z; τ) = − U(z, τ). 3 π 6 VICENT¸IU PAS¸OL AND WADIM ZUDILIN Now, notice (τ − τ) ln Q(z; τ) = F (z; τ) − F (z; τ) − + to deduce the expression for F as in the theorem. A consequence of this expansion is the invariance of F (z; τ) + F (z; τ) + − F (z; τ) := = ln|Q(zˆ; τˆ)| − τ ln|Q(z; τ)| under translation τ 7→ τ + 1. Lemma 5. We have F (z; τ + 1) − F (z; τ) = − F (z; τ + 1) − F (z; τ) . + + − − Proof. The functions L(z, τ) and U(z, τ) (hence their complex conjugates) are clearly invariant under translation τ 7→ τ + 1. The result follows from noticing that 2πiτ(τ − τ) −πi(τ − τ) A(1 − A)(1 − 2A) 2 Re S(z, τ) + B (A) = 3 6 −πi(τ − τ) = B (A) is also invariant under the transformation. We summarise the results in this section as follows. Theorem 2. The weight 1 period function F (z; τ) = ln|Q(zˆ; τˆ)| − τ ln|Q(z; τ)| −1 m+1 m −1 m+1 m = ln|x q | Li (x q ) − ln|xq | Li (xq ) 1 1 2π m=0 πi(τ − τ) 1 −1 m+1 m − B (A) − Im Li (x q ) − Li (xq ) 3 2 2 6 2πi m=0 of ln|Q(z; τ)| satisﬁes τF (zˆ; τˆ) = F (z; τ) and F (z; τ) = F (z; τ + 1). In other words, it behaves like a Jacobi form of weight 1 on SL (Z). 4. Elliptic dilogarithm Theorem 2 provides a natural link between the period function F (z; τ) and the elliptic dilogarithm [7] X X m m −1 m+1 D(q; x) := D(xq ) = D(xq ) − D(x q ) m∈Z m=0 together with its companion log |q| log|x| m −1 m+1 J(q; x) := J(xq ) − J(x q ) + B , 3 log|q| m=0 A STUDY OF ELLIPTIC GAMMA FUNCTION AND ALLIES 7 where D(x) := ln|x| arg(1 − x) + Im Li (x) = − ln|x| Im Li (x) + Im Li (x) 2 1 2 denotes the Bloch–Wigner dilogarithm and J(x) := ln|x| ln|1 − x| = − ln|x| Re Li (x) its companion. Namely, the expansion in the theorem can be stated as F (z; τ) = D(q; x) + iJ(q; x) . (6) 2πi This is essentially the result discussed in [2, Section 1]. Viewing now z as an element of the lattice R + Rτ, so that A and A in the representation z = −A + Aτ are ﬁxed, we ﬁnd out that the τ-derivative 1 d d ln Q(z; τ) = q ln Q(z; τ) 2πi dτ dq is the Eisenstein series 2πi(mA+nA) i e 3 3 4π (mτ + n) m,n∈Z of weight 3, where the notation indicates omitting the term m = n = 0 from the summation. Integrating we obtain 2πi(mA+nA) ln Q(z; τ) = 2 2 4π m(mτ + n) m,n∈Z implying ln|Q(z; τ)| = ln Q(z; τ) + ln Q(z; τ) 1 1 2πi(mA+nA) = e − 2 2 2 8π m(mτ + n) m(mτ + n) m,n∈Z 1 i m Im τ (m Re τ + n) 2πi(mA+nA) = e 2 2 2 2π m(mτ + n) (mτ + n) m,n∈Z 2πi(mA+nA) i Im τ e (m Re τ + n) = . 2 4 2π |mτ + n| m,n∈Z ˆ ˆ This is equation (7) in [2]. Since zˆ = z/τ = A − A/τ = A + Aτˆ, it follows that 2πi(−mA+nA) i Im τˆ e (m Re τˆ + n) ln|Q(zˆ; τˆ)| = 2 4 2π |mτˆ + n| m,n∈Z 2πi(nA−mA) 2 i Im τ e (−m(Re τ)/|τ| + n) 2 2 4 2π |τ| |n − m/τ| m,n∈Z 8 VICENT¸IU PAS¸OL AND WADIM ZUDILIN 2πi(nA−mA) 2 i Im τ e (n|τ| − m Re τ) 2 4 2π |nτ − m| m,n∈Z 2πi(mA+nA) 2 i Im τ e (m|τ| + n Re τ) 2 4 2π |mτ + n| m,n∈Z X 2πi(mA+nA) Im τ e ((m Re τ + n)τi + (mτ + n) Im τ) 2 4 2π |mτ + n| m,n∈Z implying 2 2πi(mA+nA) (Im τ) e (mτ + n) ln|Q(zˆ; τˆ)| − τ ln|Q(z; τ)| = . 2 4 2π |mτ + n| m,n∈Z The latter is a (non-holomorphic) modular form of weight 1, and combined with equation (6), is the formula of Bloch mentioned previously. Theorem 3 (Bloch’s formula [1, 2, 7]). For z = Aτ − A, we have F (z; τ) = D(q; x) + iJ(q; x) 2πi 2 2πi(mA+nA) (Im τ) e (mτ + n) = . 2 4 2π |mτ + n| m,n∈Z 5. General weight A natural generalisation of the product in (5) is k k k B (A)/(k+2) m (m+A) −1 m+1 (−1) (m+1−A) k+2 Q (z; τ) := q (1 − xq ) (1 − x q ) , (7) m=0 where k = 0, 1, 2, . . . and B (t) stands for the kth Bernoulli polynomial. Then Q (z; τ) is an arithmetic normalisation of the short theta-function θ (z; τ) (a Siegel 0 0 modular unit) and Q (z; τ) coincides with (5). Following the earlier recipe, deﬁne k−2 F (z; τ) = F (z; τ) := ln Q (zˆ; τˆ) − τ ln Q (z; τ), + k,+ k k k−2 F (z; τ) = F (z; τ) := ln Q (zˆ; τˆ) − τ ln Q (z; τ) − k,− k k and F (z; τ) := F (z; τ) + F (z; τ) . Then from Lemma 1 we deduce the k k,+ k,− following generalisation of Lemma 4. Lemma 6. We have, for k ≥ 1, k k k k k τ F (zˆ; τˆ) + (−1) F (z; τ) = (−1) πiA (2A + 1)τ , + + k k k k k τ F (zˆ; τˆ) + (−1) F (z; τ) = −(−1) πiA (2A + 1)τ . − − Proof. Apply Lemma 1 and the relation k k k+1 B (−t) − (−1) B (t) = (−1) (k + 2)t . k+2 k+2 We further use that the τ-derivative of ln Q (z; τ) is an Eisenstein series. k A STUDY OF ELLIPTIC GAMMA FUNCTION AND ALLIES 9 Lemma 7. For k ≥ 1, k 2πi(mA+nA) (−1) k! e ln Q (z; τ) = , k+1 k+1 (2πi) m(mτ + n) m,n∈Z where z = −A + Aτ. ˜ ˆ ˆ ˆ Proof. Consider Q (A, A; τ) := Q (Aτ − A; τ) as a function of real variables A, A k k and complex variable τ. The τ-derivative 1 d d ˆ ˆ ˆ G (A, A; τ) := ln Q (A, A; τ) = q ln Q (A, A; τ) k+2 k k 2πi dτ dq is seen to be the Eisenstein series k+1 2πi(mA+nA) (−1) (k + 1)! e E (A, A; τ) := k+2 k+2 k+2 (2πi) (mτ + n) m,n∈Z of weight k + 2. This is true for k = 1 (see Section 4), while for k ≥ 1 we observe the functional equation ∂ ∂ ˆ ˆ E (A, A; τ) = E (A, A; τ). k+3 k+2 ∂τ ∂A ˆ ˆ The equality G (A, A; τ) = E (A, A; τ) then follows by induction on k using the k+2 k+2 fact that the constant terms of both functions at τ = ∞ (or q = 0) agree. Integrating we obtain k 2πi(mA+nA) (−1) k! e ln Q (A, A; τ) = . k+1 k+1 (2πi) m(mτ + n) m,n∈Z Since both sides continuously depend on A and A, the formula remains valid also for ln Q (z; τ). As in our computation in Section 4 we obtain (−1) k! 1 1 2πi(mA+nA) ln|Q (z; τ)| = e − k+1 k+1 k+1 2(2πi) m(mτ + n) m(mτ + n) m,n∈Z k 2πi(mA+nA) X X (−1) k! e (τ − τ) j k−j = (mτ + n) (mτ + n) k+1 k+1 k+1 2(2πi) (mτ + n) (mτ + n) m,n∈Z j=0 k 2πi(mA+nA) X X i k! Im τ e = − k+1 k−j+1 j+1 (2π) (mτ + n) (mτ + n) j=0 m,n∈Z 10 VICENT¸IU PAS¸OL AND WADIM ZUDILIN and k 2πi(−mA+nA) X X i k! Im τ e ln|Q (zˆ; τˆ)| = − k+1 2 j+1 k−j+1 (2π) |τ| (n − m/τ) (n − m/τ) j=0 m,n∈Z k 2πi(mA+nA) k−j j X X i k! Im τ e τ τ = − . k+1 k−j+1 j+1 (2π) (mτ + n) (mτ + n) j=0 m,n∈Z Thus, F (z; τ) = ln|Q (zˆ; τˆ)| − τ ln|Q (z; τ)| k k k k 2πi(mA+nA) X X i k! Im τ e k−j j j = τ (τ − τ ) k+1 j+1 k−j+1 (2π) (mτ + n) (mτ + n) j=0 m,n∈Z i k! k−j j j = τ (τ − τ )D (q; x) j+1,k−j+1 k k 2(2π) (τ − τ) j=1 i k! k−j j = τ Im(τ ) D (q; x), j+1,k−j+1 (4π Im τ) j=1 where a+b−1 2πi(mA+nA) (τ − τ) e D (q; x) := (8) a,b a b 2πi (mτ + n) (mτ + n) m,n∈Z for positive integers a and b. Finally, observe that the non-holomorphic Eisenstein series (8) can be identiﬁed with the elliptic polylogarithms using a formula of Zagier [7, Proposition 2]. This leads to the following general result. Theorem 4. For k ≥ 1 and z = Aτ − A, we have i k! k k−j j ln|Q (zˆ; τˆ)| − τ ln|Q (z; τ)| = τ Im(τ ) D (q; x), k k j+1,k−j+1 (4π Im τ) j=1 where a+b−1 (4π Im τ) m a+b −1 m+1 D (q; x) = D (xq ) + (−1) D (x q ) + B (A) a,b a,b a,b a+b (a + b)! m=0 and a+b−1 a+b−ℓ−1 ℓ − 1 (− ln|x|) a−1 a+b−ℓ−1 D (x) = (−1) 2 Li (x) a,b ℓ a − 1 (a + b − ℓ − 1)! ℓ=a a+b−1 a+b−ℓ−1 ℓ − 1 (− ln|x|) b−1 a+b−ℓ−1 + (−1) 2 Li (x). b − 1 (a + b − ℓ − 1)! ℓ=b A STUDY OF ELLIPTIC GAMMA FUNCTION AND ALLIES 11 6. Conclusion This ﬁnal (and very short!) part is devoted to highlighting some directions for further research. In spite of generalisability of the story in Sections 2–4 to the function F (z; τ) = ln|Q (zˆ; τˆ)| − τ ln|Q (z; τ)|, k k k where k ≥ 1 and the product Q (z; τ) is deﬁned in (7), the case k = 1 remains the only one, which is invariant under translation τ 7→ τ + 1. At the same time, Lemma 6 implies the transformation k k−1 τ F (zˆ, τˆ) = (−1) F (z, τ) for k = 1, 2, . . . . k k This consideration does not exclude, however, a possibility for modiﬁed products (7) and related functions F to exist such that the latter ones have true modular behaviour for each k ≥ 1. It sounds to us a nice problem to determine such modular objects. Several arithmetic problems related to the case k = 1 (originating from the elliptic gamma function) are still open. Our personal favourites include connection of (5) with the Mahler measure and mirror symmetry; see, for example, Observation in [6]. Acknowledgements We thank the anonymous referees for their careful reading of the manuscript and reporting valuable feedback. References [1] S. J. Bloch, Higher regulators, algebraic K-theory, and zeta functions of elliptic curves, Lec- ture notes (UC Irvine, 1977); CRM Monograph Ser. 11 (Amer. Math. Soc., Providence, RI, 2000). [2] W. Duke and O. Imamoglu, On a formula of Bloch, Funct. Approx. 37.1 (2007), 109–117. [3] G. Felder and A. Varchenko, The elliptic gamma function and SL(3,Z) ⋉ Z , Adv. Math. 156 (2000), no. 1, 44–76. [4] G. Felder and A. Varchenko, Multiplication formulae for the elliptic gamma function, in “Noncommutative geometry and representation theory in mathematical physics”, Contemp. Math. 391 (Amer. Math. Soc., Providence, RI, 2005), pp. 69–73. [5] S. Ruijsenaars, First order analytic diﬀerence equations and integrable quantum systems, J. Math. Phys. 38 (1997), 1069–1146. [6] J. Stienstra, Mahler measure variations, Eisenstein series and instanton expansions, in “Mir- ror symmetry V”, AMS/IP Stud. Adv. Math. 38 (Amer. Math. Soc., Providence, RI, 2006), pp. 139–150. [7] D. Zagier, The Bloch–Wigner–Ramakrishnan polylogarithm function, Math. Ann. 286 (1990), 613–624. Simion Stoilow Institute of Mathematics of the Romanian Academy, P.O. Box 1-764, 014700 Bucharest, Romania E-mail address: vicentiu.pasol@imar.ro Department of Mathematics, IMAPP, Radboud University, PO Box 9010, 6500 GL Nijmegen, Netherlands E-mail address: w.zudilin@math.ru.nl 12 VICENT¸IU PAS¸OL AND WADIM ZUDILIN School of Mathematical and Physical Sciences, The University of Newcastle, Callaghan, NSW 2308, Australia E-mail address: wadim.zudilin@newcastle.edu.au Laboratory of Mirror Symmetry and Automorphic Forms, National Research University Higher School of Economics, 6 Usacheva str., 119048 Moscow, Russia E-mail address: wzudilin@gmail.com

### Journal

Mathematical PhysicsarXiv (Cornell University)

Published: Dec 30, 2017

### There are no references for this article.

Access the full text.

Sign up today, get DeepDyve free for 14 days.