An Enhanced Higher Green's Function on the Modular Curve
Abstract
The higher Green's functions Gk/2(z,w) on the modular curve are real-valued eigenfunctions of the hyperbolic Laplacian in each variable, with logarithmic singularities along the diagonal. Gross and Zagier conjectured that their values at CM points, after multiplication by suitable powers of the discriminants, are logarithms of absolute values of algebraic numbers. The conjecture was proved by Li, Bruinier, and Yang. Mellit proposed a complex refinement of this conjecture, predicting that the normalized CM values of a complex lift of the Green function are logarithms of algebraic numbers modulo periods. For Γ=SL2(ℤ) and k∈4,6,8,10,14, we follow Zagier's construction of CM invariants from Eichler integrals of the Eisenstein series E4. By applying Maass raising operators in both variables to a normalized iterated Eichler integral of a Bergman-type kernel, we obtain a complex-valued extension 𝒢k/2•(z,w) whose real part is a constant multiple of Gk/2(z,w). We study the normalized CM values of 𝒢k/2• and describe their dependence on the choice of representatives of quadratic form classes. In particular, we show that replacing the quadratic form corresponding to the first variable by an equivalent one changes the exponential of the normalized value only by a root of unity. We also prove the algebraicity of these exponentials in the special case where the second CM point is w*=(1+i√d)/2, with d>3 and d≡3pmod4, and the class of the quadratic form corresponding to the first variable is equal to its inverse.
Related
- Lattice Green's function of the hyperkagome lattice: modular uniformization at level 30 from an orthogonal differential Galois group
- Drinfeld modular forms of higher rank from a lattice-oriented point of view
- Higher Accuracy Modular Data Assimilation for the Navier-Stokes Equations
- Explicit height bounds on modular polynomials for the elliptic j-invariant, cube root of j, and Weber modular function f
- COFI-DQI: Curve-based Optimal Function Intersection via Decoded Quantum Interferometry
BibTeX
@misc{sakharova2026enhanced,
title = {{An Enhanced Higher Green's Function on the Modular Curve}},
author = {Nina Sakharova},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.17258},
eprint = {2610.17258},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.17258},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - An Enhanced Higher Green's Function on the Modular Curve
AU - Nina Sakharova
PY - 2026
DA - 2026/10/12
PB - arXiv
DO - 10.48550/arxiv.2610.17258
UR - https://arxiv.org/abs/2610.17258
AB - The higher Green's functions G_k/2(z,w) on the modular curve are real-valued eigenfunctions of the hyperbolic Laplacian in each variable, with logarithmic singularities along the diagonal. Gross and Zagier conjectured that their values at CM points, after multiplication by suitable powers of the discriminants, are logarithms of absolute values of algebraic numbers. The conjecture was proved by Li, Bruinier, and Yang. Mellit proposed a complex refinement of this conjecture, predicting that the normalized CM values of a complex lift of the Green function are logarithms of algebraic numbers modulo periods. For Γ=SL_2(ℤ) and k∈4,6,8,10,14, we follow Zagier's construction of CM invariants from Eichler integrals of the Eisenstein series E_4. By applying Maass raising operators in both variables to a normalized iterated Eichler integral of a Bergman-type kernel, we obtain a complex-valued extension 𝒢_k/2^•(z,w) whose real part is a constant multiple of G_k/2(z,w). We study the normalized CM values of 𝒢_k/2^• and describe their dependence on the choice of representatives of quadratic form classes. In particular, we show that replacing the quadratic form corresponding to the first variable by an equivalent one changes the exponential of the normalized value only by a root of unity. We also prove the algebraicity of these exponentials in the special case where the second CM point is w_*=(1+i√d)/2, with d>3 and d≡3pmod4, and the class of the quadratic form corresponding to the first variable is equal to its inverse.
ER -