arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.32825

Traces of Green's functions on $\mathbb{H}^q$ over point-hypersurface pairs

Claudia Alfes·Jens Funke·Sebastián Herrero·Özlem Imamoglu
View original source ↗Read source document ↗Export metadata ↓

Abstract

The famous algebraicity conjecture of Gross and Zagier for the values at CM points of higher Green's functions was recently proven by Bruinier, Li and Yang. Motivated by this the values of the automorphic Green's function at pairs of special points in hyperbolic $3$-space $\mathbb{H}^3$ were studied by Herrero, Imamoglu, von Pippich and Schwagenscheidt, and an analogous algebraicity result for traces of Green's functions was established. In this paper, we consider higher automorphic Green's functions $G_{s}(P,Q)$ on hyperbolic $q$-space $\mathbb{H}^q$ for $q\geq 2$ when the spectral parameter $s$ is a positive even integer, and prove an explicit finite formula for their traces over geodesic hypersurfaces in one of the variables. This formula provides a geometric interpretation of the traces of Green's functions for every choice of a point in $\mathbb{H}^q$ for the second variable. As an application, we obtain rationality results when the second variable is evaluated at a special point providing further evidence that such results for traces of Green's functions do not depend on any underlying complex structure.

Explore related subjects

math.NT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Claudia Alfes, Jens Funke, Sebastián Herrero, Özlem Imamoglu. 2026-10-23. Traces of Green's functions on $\mathbb{H}^q$ over point-hypersurface pairs. https://arxiv.org/abs/2610.32825

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Series expansions by generalized Bessel functions for functions related to the lattice point problems for the $p$-circle

The lattice point problems of the $p$-circle (for example, the astroid), which a generalized circle for positive real numbers $p$, have been solved for approximately $p$ more than 3, based on the series representation of the error term using the generalized Bessel functions by E. Krätzel and the results of G. Kuba. On the other hand, for the cases $0<p<2$, the method via this series representation cannot make progress. Therefore, in such cases, it is necessary to consider another method. In this paper, we prove that certain functions closely related to the problems can be displayed as series by newly generalized Bessel functions based on the property $p$-radial, generalization of spherical symmetry, and highlight the possibility that attempts to solve the problems via this display are suitable especially for the cases $0<p\leq1$. This study is based on the harmonic-analytic method by S. Kuratsubo and E. Nakai, using certain functions generalizing the error term of the circle problem by variables and series representation of the functions by the Bessel functions.

math.NT↗
arXiv2026

The first moment of central value of primitive quartic $L$-functions with fixed genus

We investigate the mean value of the first moment of primitive quartic $L$-functions over $\mathbb{F}_q(T)$ in the non-Kummer setting. Specifically, we study the sum \begin{equation*} \sum_{\substack{χ primitive\ quartic\\ χ^2 primitive\\ genus(χ)=g}}L_q(\frac{1}{2}, χ), \end{equation*} where $L_q(s,χ)$ denotes the $L$-function associated with primitive quartic character $χ$. Using double Dirichlet series, we derive an error term of size $q^{(\frac{3}{5}+\varepsilon)g}$.

math.NT↗
arXiv2026

Geodesic clustering of zeros of Eisenstein series for congruence groups

We consider a set of generators for the space of Eisenstein series of varying even weight $k$ for any fixed congruence group $Γ$ and study the set of all of their zeros taken for all $Γ(1)$-conjugates of $Γ$ in the standard fundamental domain for $Γ(1)$. We describe (a) an upper bound $κ_Γ+ O(1/k)$ for their imaginary part; (b) a finite configuration of geodesics segments to which all zeros converge in Hausdorff distance as $k \rightarrow \infty$; (c) a finite set containing all algebraic zeros for all weights. The bound in (a) depends on the (non-)vanishing of a new generalization of Ramanujan sums. The proof of (b) originates in a method used to study phase transitions in statistical physics. The proof of (c) relies on the theory of complex multiplication. The results can be made quantitative for specific groups. For $Γ=Γ(N)$ with $4 \nmid N$, $κ_Γ=1$ and the zeros tend to the unit circle, whereas if $4 \mid N$, $κ_Γ=2$ and the limit configuration includes parts of vertical geodesics and circles of radius $2$. In both cases, for sufficiently large $k$, the only algebraic zeros are at $\mathrm{i}$ and $\exp(2π\mathrm{i}/3)$, and, for $4 \mid N$, at $2\mathrm{i}$. For $Γ(N)$ with $N$ odd, we use finer estimates to prove a trichotomy for the exact `convergence speed' of the zeros to the unit circle, as well as angular equidistribution of the zeros as $k \rightarrow + \infty$, implying weak convergence of the normalized zero counting measure on $Y(1)$ to the image of the argument measure on the lower arc of the fundamental domain.

math.NT↗