Arithmetic theta products and doubling at arbitrary level
Abstract
We prove an arithmetic doubling identity for the standard arithmetic theta series on X0(N) at arbitrary positive level, with constant ψ(N)/24 for the fixed genus-two Eisenstein series. The product comparison covers all pairs of integral indices. At rank zero, an explicit Epstein zeta correction agrees with the middle Bruhat orbit of the Eisenstein derivative. The common-component calculation combines integral CM adjunction, the cyclic difference divisor, and compact Green-current identities. It retains the different, conductor, internal contacts, and proportionality contacts at every prime, including dyadic and supersingular places. Finite intersections, curvature, and discriminant heights identify the nonpositive coefficients with an explicit modular completion. Uniform estimates for parameter derivatives give strong Fourier convergence. Green-energy estimates justify the double Petersson pairing. The full cusp lift exists as a Bochner integral and equals its Mordell--Weil projection. For ℤ/(2N)ℤ, explicit prime-power recursions determine the complete zero-component trace spectrum, including the dyadic factor. They give the scalar-to-vector Petersson norm correction and an isometric normalization on the active subspace. The Bruinier--Yang theorem then yields the scalar height formula on the specified Jacobi newform line. We also prove a double Rankin--Selberg criterion based on positive diagonal coefficients and record the paired analytic factorization with its ramified local integrals retained explicitly.
Related
- Finite Fourier Duality, Radial Values, and Arithmetic of a Mod Eight False Theta Quotient
- Indefinite theta vectors and generalized Nahm sums of arbitrary rank
- Exponential Growth of Mean Multiplicities in Length Spectra of Semi-Arithmetic Surfaces of Arbitrary Arithmetic Dimension
- Performance Evaluation of an Adaptive Quadrature and a Double Exponential Formula Using Arbitrary-Precision Floating-Point Arithmetic
- Period Relations for Theta Products and Elliptic Integral Moments
BibTeX
@misc{du2026arithmetic,
title = {{Arithmetic theta products and doubling at arbitrary level}},
author = {Tuoping Du},
howpublished = {arXiv},
year = {2026},
month = nov,
doi = {10.48550/arxiv.2611.08243},
eprint = {2611.08243},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2611.08243},
}
RIS
TY - UNPB
TI - Arithmetic theta products and doubling at arbitrary level
AU - Tuoping Du
PY - 2026
DA - 2026/11/05
PB - arXiv
DO - 10.48550/arxiv.2611.08243
UR - https://arxiv.org/abs/2611.08243
AB - We prove an arithmetic doubling identity for the standard arithmetic theta series on X_0(N) at arbitrary positive level, with constant ψ(N)/24 for the fixed genus-two Eisenstein series. The product comparison covers all pairs of integral indices. At rank zero, an explicit Epstein zeta correction agrees with the middle Bruhat orbit of the Eisenstein derivative. The common-component calculation combines integral CM adjunction, the cyclic difference divisor, and compact Green-current identities. It retains the different, conductor, internal contacts, and proportionality contacts at every prime, including dyadic and supersingular places. Finite intersections, curvature, and discriminant heights identify the nonpositive coefficients with an explicit modular completion. Uniform estimates for parameter derivatives give strong Fourier convergence. Green-energy estimates justify the double Petersson pairing. The full cusp lift exists as a Bochner integral and equals its Mordell--Weil projection. For ℤ/(2N)ℤ, explicit prime-power recursions determine the complete zero-component trace spectrum, including the dyadic factor. They give the scalar-to-vector Petersson norm correction and an isometric normalization on the active subspace. The Bruinier--Yang theorem then yields the scalar height formula on the specified Jacobi newform line. We also prove a double Rankin--Selberg criterion based on positive diagonal coefficients and record the paired analytic factorization with its ramified local integrals retained explicitly.
ER -