alphaFeedback

WorksMathematics

Theta Relations

AI contributions
Not recorded for this paper
View details

Abstract

Motivated by the classical quartic and cubic theta identities, we establish a product formula for Siegel–Jacobi theta series associated with rationally isometric positive-definite quadratic spaces. Our main theorem expresses a product of theta series of arbitrary Siegel degree as a finite double character sum over quotients of commensurable lattices. For the root lattice A2A_2, it yields a finite Fourier identity for cubes of cubic theta functions, a new proof of the two-variable cubic identity, and seven independent relations in degree two. A second specialization gives a new square analogue of the two-variable cubic identity. At the origin it reduces to a(q)a(q2)=b(q)b(q2)+c(q)c(q2)a(q)a(q^2)=b(q)b(q^2)+c(q)c(q^2); in degree two, the same seven relation patterns recur with each cube replaced by the corresponding product at ττ and 2τ2τ. We further extend the cubic identities on A2A_2 to ℓ\ell-th-power identities on Aℓ−1A_{\ell-1} for every ℓ≥3\ell\geq3, and to 2ℓ2\ell-th-power identities on Aℓ−1A_{\ell-1} for every ℓ≥2\ell\geq2, in arbitrary Siegel degree. The doubled-order construction recovers Jacobi's quartic identity and gives its analogues in arbitrary Siegel degree.

Introduction

For ∣q∣<1|q| < 1, define

ϑ2(q)=∑k∈Zq(k+1/2)2,ϑ3(q)=∑k∈Zqk2,ϑ4(q)=∑k∈Z(−1)kqk2.\vartheta_2(q)=\sum_{k\in\mathbb{Z}}q^{(k+1/2)^2},\qquad\vartheta_3(q)=\sum_{k\in\mathbb{Z}}q^{k^2},\qquad\vartheta_4(q)=\sum_{k\in\mathbb{Z}}(-1)^kq^{k^2}.

Jacobi [12 p. 90, Eq. (14)] proved the fundamental quartic identity

ϑ3(q)4=ϑ2(q)4+ϑ4(q)4.\vartheta_3(q)^4=\vartheta_2(q)^4+\vartheta_4(q)^4.

J. M. Borwein and P. B. Borwein [2] discovered a cubic counterpart naturally associated with the root lattice A2A_2. Let

Q(m,n)=m2+mn+n2,ω=exp⁡(2πi/3),Q(m,n)=m^2+mn+n^2,\qquad\omega=\exp(2\pi i/3),

and define

a(q)=∑m,n∈ZqQ(m,n),a(q)=\sum_{m,n\in\mathbb{Z}}q^{Q(m,n)},
b(q)=∑m,n∈Zωm−nqQ(m,n),b(q)=\sum_{m,n\in\mathbb{Z}}\omega^{m-n}q^{Q(m,n)},
c(q)=∑m,n∈ZqQ(m+1/3,n+1/3).c(q)=\sum_{m,n\in\mathbb{Z}}q^{Q(m+1/3,n+1/3)}.

The Borweins [2 Eq. (2.3)] proved that

a(q)3=b(q)3+c(q)3(1)a(q)^3=b(q)^3+c(q)^3 \tag*{(1)}

so the fourth-power relation for the classical one-dimensional theta functions is replaced by a third-power relation attached to A2A_2. This identity is fundamental in the theory of elliptic functions to the cubic base; see [2, 3, 9].

Schultz [15] introduced nine cubic theta functions in two complex variables, four of which play the role of the four classical theta functions. Following Schultz [15 pp. 621–622], let e(v):=exp⁡(2πiv)e(v):=\exp(2\pi iv), τ∈H1\tau\in\mathfrak{H}_1 (the upper half-plane), q=e(τ)q=e(\tau), u=(u1,u2)T∈C2\boldsymbol{u}=(u_1,u_2)^T\in\mathbb{C}^2, x=e(u1)x=e(u_1), and y=e(u2)y=e(u_2), and define

Θ1(u;q)=∑m,n∈Zω1+m−nqQ(m+1/3,n+1/3)xm+1/3yn+1/3,Θ2(u;q)=∑m,n∈ZqQ(m+1/3,n+1/3)xm+1/3yn+1/3,Θ3(u;q)=∑m,n∈ZqQ(m,n)xmyn,Θ4(u;q)=∑m,n∈Zωm−nqQ(m,n)xmyn.(2)\begin{aligned} \Theta_1(\boldsymbol{u};q)&=\sum_{m,n\in\mathbb{Z}}\omega^{1+m-n}q^{Q(m+1/3,n+1/3)}x^{m+1/3}y^{n+1/3},\\ \Theta_2(\boldsymbol{u};q)&=\sum_{m,n\in\mathbb{Z}}q^{Q(m+1/3,n+1/3)}x^{m+1/3}y^{n+1/3},\\ \Theta_3(\boldsymbol{u};q)&=\sum_{m,n\in\mathbb{Z}}q^{Q(m,n)}x^my^n,\\ \Theta_4(\boldsymbol{u};q)&=\sum_{m,n\in\mathbb{Z}}\omega^{m-n}q^{Q(m,n)}x^my^n. \tag*{(2)} \end{aligned}

The fractional powers are interpreted through the additive variables τ,u1,u2\tau,u_1,u_2. These four functions are the cubic analogues of the four classical Jacobi theta functions in the sense developed by Schultz [15]. Schultz [15 Corollary 4.3] proved that

Θ1(u;q)3+Θ3(u;q)3=Θ2(u;q)3+Θ4(u;q)3(3)\Theta_1(\boldsymbol{u};q)^3+\Theta_3(\boldsymbol{u};q)^3=\Theta_2(\boldsymbol{u};q)^3+\Theta_4(\boldsymbol{u};q)^3 \tag*{(3)}

The definitions give

Θ1(0;q)=0,Θ2(0;q)=c(q),Θ3(0;q)=a(q),Θ4(0;q)=b(q).\Theta_1(0;q)=0,\qquad\Theta_2(0;q)=c(q),\qquad\Theta_3(0;q)=a(q),\qquad\Theta_4(0;q)=b(q).

Thus (1.3) specializes to (1.1). The identity (1.3) was subsequently revisited by Chan, Chan, Liu, and Zudilin [4], who gave two further proofs and several related identities. Zhu [17 Theorem 7.12] gave a computational proof of this identity. Zhu [17 Theorem 7.11] also proved an analogous identity for the D4D_4 lattice.

Our main result is a general theta-series identity whose matrix specializations yield all the identities above, among others.

To describe the scope, let MM be a symmetric positive-definite rational matrix of size mm, let n≥1n \ge1, and let a,b∈Rm,na,b \in\mathbb{R}^{m,n}. We consider the Siegel–Jacobi theta series

ΘM,n[a,b](τ,z)=∑g∈Zm,ne⁡(12τ(g+a)TM(g+a)+(g+a)TM(z+b)),\Theta_{M,n}[a,b](\tau,z)=\sum_{g\in\mathbb{Z}^{m,n}}\operatorname{e}\left(\frac{1}{2}\tau(g+a)^{T}M(g+a)+(g+a)^{T}M(z+b)\right),

for (τ,z)∈Hn×Cm,n(\tau,z)\in\mathfrak{H}_{n}\times\mathbb{C}^{m,n}. For the notation, see Subsection 1.2. Ziegler [18] studied theta series of this type from the viewpoint of Jacobi forms of higher degree; see Subsection 2.2 for the basic properties used here.

The main result is Theorem 2.7; we first state a simplified version. Let n,m,μn,m,\mu be positive integers, let M1,M2M_1,M_2 be symmetric positive-definite rational matrices of size mm, and let τ∈Hn\tau\in\mathfrak{H}_{n} and ai,bi∈Rm,na_i,b_i\in\mathbb{R}^{m,n}, zi∈Cm,nz_i\in\mathbb{C}^{m,n}, for i=1,2,…,μi=1,2,\ldots,\mu. Suppose that A∈GL⁡mμ(Q)A\in\operatorname{GL}_{m\mu}(\mathbb{Q}) satisfies ATM1(μ)A=M2(μ)A^{T}M_1^{(\mu)}A=M_2^{(\mu)}. Define

(a1′T,…,aμ′T)=(a1T,…,aμT)A−T,(a_1^{\prime T},\ldots,a_\mu^{\prime T})=(a_1^{T},\ldots,a_\mu^{T})A^{-T},
(b1′T,…,bμ′T)=(b1T,…,bμT)A−T,(b_1^{\prime T},\ldots,b_\mu^{\prime T})=(b_1^{T},\ldots,b_\mu^{T})A^{-T},
(w1T,…,wμT)=(z1T,…,zμT)A−T.(w_1^{T},\ldots,w_\mu^{T})=(z_1^{T},\ldots,z_\mu^{T})A^{-T}.

Then

∏i=1μΘM1,n[ai,bi](τ,zi)=∑α,βcα,β∏i=1μΘM2,n[ai′+αi,bi′+βi](τ,wi),(4)\prod_{i=1}^{\mu}\Theta_{M_1,n}[a_i,b_i](\tau,z_i)=\sum_{\alpha,\beta}c_{\alpha,\beta}\prod_{i=1}^{\mu}\Theta_{M_2,n}[a_i'+\alpha_i,b_i'+\beta_i](\tau,w_i), \tag*{(4)}

where (α1T,…,αμT):=αT(\alpha_1^{T},\ldots,\alpha_\mu^{T}):=\alpha^{T} and (β1T,…,βμT):=βT(\beta_1^{T},\ldots,\beta_\mu^{T}):=\beta^{T}. Here α\alpha and β\beta range over certain finite subsets of Qmμ,n\mathbb{Q}^{m\mu,n}, and the coefficients cα,βc_{\alpha,\beta} are constant. See Theorem 2.7 for the precise statement.

References

  1. [1]A. N. Andrianov and V. G. Zhuravlev. Modular forms and Hecke operators, volume 145 of Translations of Mathematical Monographs. American Mathematical Society, Providence, RI, 1995. Translated from the 1990 Russian original by Neal Koblitz.
  2. [2]J. M. Borwein and P. B. Borwein. A cubic counterpart of Jacobi’s identity and the AGM. Trans. Amer. Math. Soc., 323(2):691–701, 1991.DOI
  3. [3]J. M. Borwein, P. B. Borwein, and F. G. Garvan. Some cubic modular identities of Ramanujan. Trans. Amer. Math. Soc., 343(1):35–47, 1994.DOI
  4. [4]Heng Huat Chan, Song Heng Chan, Zhi-Guo Liu, and Wadim Zudilin. On Schultz’s generalization of Borwein’s cubic identity. Adv. Math., 495:Paper No. 110967, 29, 2026.DOI
  5. [5]Fabien Cléry, Gerard van der Geer, and Samuel Grushevsky. Siegel modular forms of genus 2 and level 2. Int. J. Math., 26(5):1550034, 51, 2015. With an appendix by Shigeru Mukai.
  6. [6]Eberhard Freitag. Singular modular forms and theta relations, volume 1487 of Lecture Notes in Mathematics. Springer-Verlag, Berlin, 1991.DOI
  7. [7]Eberhard Freitag. Complex analysis. 2. Universitext. Springer, Heidelberg, 2011. Riemann surfaces, several complex variables, abelian functions, higher modular functions.
  8. [8]Valery Gritsenko and Haowu Wang. Orbits of Jacobi forms and theta relations. Sci. China Math., 68(5):1015–1030, 2025.arxiv.org/abs/2312.13864
  9. [9]Michael Hirschhorn, Frank Garvan, and Jon Borwein. Cubic analogues of the Jacobian theta function θ(z, q). Canad. J. Math., 45(4):673–694, 1993.DOI
  10. [10]Jun-ichi Igusa. Theta functions. Die Grundlehren der mathematischen Wissenschaften, Band 194. Springer-Verlag, New York-Heidelberg, 1972.DOI
  11. [11]Jun-ichi Igusa. On the ring of modular forms of degree two over ℤ. Amer. J. Math., 101(1):149–183, 1979.DOI
  12. [12]Carl Gustav Jacob Jacobi. Fundamenta nova theoriae functionum ellipticarum. Cambridge Library Collection—Mathematics. Cambridge University Press, Cambridge, 2012. Reprint of the 1829 original.
  13. [13]Herbert Lange. Abelian varieties over the complex numbers—a graduate course. Grundlehren Text Editions. Springer, Cham, 2023.
  14. [14]SageMath. The sage mathematics software system (version 10.7). The Sage Developers, 2026.
  15. [15]Daniel Schultz. Cubic theta functions. Adv. Math., 248:618–697, 2013.DOI
  16. [16]Haiyang Zhou, Tianze Wang, and Hongwen Lu. On dimension formulas for Jacobi forms. Math. Z., 264(3):709–725, 2010.DOI
  17. [17]Xiao-Jie Zhu. Taylor expansions of Jacobi forms and linear relations among theta series. Dissertationes Math., 590:66, 2023.arxiv.org/abs/2204.08262
  18. [18]C. Ziegler. Jacobi forms of higher degree. Abh. Math. Sem. Univ. Hamburg, 59:191–224, 1989.DOI

Paper details

vlnc:W_tjxehba8
v1 · latestHistory (1)

published · Fresh — added to the Hub within the last 30 days

added ·

Usage

views · 0

downloads · 0

A view counts once per browser per day, a download each time the PDF is requested.

CC BY 4.0

Original source

  • Mathematics

Not recorded for this paper · View statement →

Looking for related papers…
Contents