https://arxiv.org/api/8TiWvLH6a9GOeSoDxKWY1reJglA 2026-06-21T20:18:24Z 49277 645 15 http://arxiv.org/abs/2605.22475v1 2026-05-21T13:35:29Z

Chapter $7$ of Langlands' monograph "On the functional equations satisfied by Eisenstein series" employs a sophisticated residue scheme to construct a portion of the discrete automorphic spectrum. We show, by examples, applications, and heuristics, that this construction is a straightforward regularization of cuspidal Eisenstein series at distinguished points, and that the regularization must track BOTH the zeros and the poles of these Eisenstein series. Unlike the one-variable case, the zero set and pole set of a several-complex-variable meromorphic function can intersect at a point. The distinguished points supporting the discrete spectrum are typically of this kind. The zeros of cuspidal Eisenstein series - largely invisible in the rank-one case - begin to play a starring role in higher rank situations, on equal footing with the poles. We redo Langlands' famous $G_{2}$ calculation and show that once zeros are tracked, the calculation reduces to elementary algebra. Drawing on rank-two examples, we introduce a program to re-think Langlands' construction from first principles, giving zeros and poles of cuspidal Eisenstein series equal standing from the very beginning. The program has the advantage of making the underlying phenomenon transparent, though carrying it out in full generality will require substantial further work.

2026-05-21T13:35:29Z 30 pages and 2 figures. Draft notes for the lectures given at the Tata Institute of Fundamental Research at Mumbai in Spring 2026. Comments and corrections will be gratefully acknowledged. Questions are welcome Devadatta G. Hegde http://arxiv.org/abs/2605.22466v1 2026-05-21T13:26:44Z

We study the arithmetic and geometric iterated monodromy groups associated to the postcritically finite (PCF) quadratic rational function $f(x)=\frac{2}{(x-1)^2}$ defined over a number field $k$, whose critical points are both strictly pre-periodic. We give explicit recursive descriptions of the topological generators of the geometric iterated monodromy group of $f$ and show that the arithmetic iterated monodromy group has Hausdorff dimension zero. We describe an explicit criterion to determine the values $a\in k$ for which the associated arboreal Galois group achieves its maximum possible size. In particular, we show that maximality of the arboreal Galois group can already be verified at level four, which is computationally accessible. Finally, we determine the intersection of the constant field of the arithmetic iterated monodromy group with $k(μ_{2^{\infty}})$, providing the first full study of a PCF quadratic map with non-abelian constant field.

2026-05-21T13:26:44Z Özlem Ejder Zofia Gołaska Yasemin Kara Leonie Nienhaus Özge Ülkem http://arxiv.org/abs/2409.11562v3 2026-05-21T13:25:36Z

In \cite{grku1}, Greither and Kurihara proved a theorem about the commutativity of projective limits and Fitting ideals for modules over the classical equivariant Iwasawa algebra $Λ_G=\mathbb{Z}_p[G][[T]]$, where $G$ is a finite, abelian group and $\Bbb Z_p$ is the ring of $p$--adic integers, for some prime $p$. In this paper, we generalize their result first to the Noetherian Iwasawa algebras $\mathcal O[[T_1, T_2, \dots, T_n]]$ and, most importantly, to non-Noetherian algebras $\mathcal O[[T_1, T_2, \dots, T_n, \dots]]$ of countably many generators, with more general rings of coefficients $\mathcal O$. The latter generalization is motivated by the recent work of Bley--Popescu on the Geometric Equivariant Iwasawa Conjecture for function fields, as well as by the emerging Iwasawa theory of Taelman class--modules associated to Drinfeld modules, where the Iwasawa algebras are not Noetherian, of the type described above. A sample application of our results to non--Noetherian geometric Iwasawa theory is given in Appendix B. Further number theoretic applications will be given in an upcoming paper.

2024-09-17T21:24:21Z 31 pages Cristian D. Popescu Wei Yin http://arxiv.org/abs/2605.22458v1 2026-05-21T13:21:51Z

A Heron triangle is a triangle whose side lengths and area are all positive integers. If the greatest common divisor of the three side lengths is $1$, it is called a primitive Heron triangle. In this paper, we give an equivalent condition for Heron triangles with all three sides being perfect squares, which reduces to finding non-trivial rational points on a family of algebraic curves of genus $3$. This leads us to believe that only finitely many Heron triangles with three perfect square sides exist. Using a specific elliptic curve, we completely characterize all Heron triangles with two sides that are perfect squares, and obtain a family of parametric solutions that yield primitive Heron triangles. This implies that there are infinitely many primitive Heron triangles having two sides as perfect squares.

2026-05-21T13:21:51Z 9 pages, 1 figures Yangcheng Li http://arxiv.org/abs/2605.22421v1 2026-05-21T12:42:20Z

The evaluation of the Riemann zeta function at negative integers is a classical result typically obtained through analytic continuation or contour integration. In this paper, we present a novel and concise derivation of these special values by employing the theory of Cesàro limit of distributions, a generalized limit concept developed by Estrada, Kanwal, and Fulling. We use this tool to give a quick proof of the result that \[ ζ(-n)=-\frac{B_{n+1}}{n+1}, \] for $n\in\mathbb{N}^+.$ We also give a short discussion on $ζ^{\prime }(α)$ and compute the value of $ζ^{\prime}(0)$.

2026-05-21T12:42:20Z Junfa Deng Yunyun Yang Hao Zhang http://arxiv.org/abs/2506.18299v3 2026-05-21T12:25:26Z

We survey some of the stratification theorems concerning exponential sums over finite fields, especially those due to Katz-Laumon and Fouvry-Katz, as well as some of their applications. Moreover, motivated partly by recent work of Bonolis, Pierce and Woo (arXiv:2505.11226), we prove that these stratification statements admit uniform variants in families, both algebraically and analytically. The paper includes an Appendix by Forey, Fresán and Kowalski (excerpted from arXiv:2109.11961), which provides an elementary intuitive introduction to trace functions in more than one variable over finite fields.

2025-06-23T05:33:11Z v3: 50 pages; 1 appendix by Forey, Fresán and Kowalski; updated following referee reports and other comments Dante Bonolis Emmanuel Kowalski Katharine Woo http://arxiv.org/abs/2605.22371v1 2026-05-21T12:02:33Z

Let $k$ be a positive integer and let $X_k$ be the cubic hypersurface defined by the equation $x^3-(y_1^2+\cdots+y_{4k}^2)z=0$. In this paper, we give an asymptotic formula for the counting function of semi-integral points on $X_k$. We also prove that this asymptotic formula agrees with Manin's conjecture for $\mathcal{M}$-points \cite[Conjecture~1.4]{Moe26a} on the $a$-invariant and the $b$-invariant.

2026-05-21T12:02:33Z Haruki Ito http://arxiv.org/abs/2503.09519v2 2026-05-21T11:39:20Z

We develop approximations for the Riemann zeta function that enable high-precision computation within the critical strip and other vertical strips. These approximations combine the main sum of the Riemann-Siegel formula with a simple approximation of the remainder term, which involves only elementary functions and certain precomputed coefficients obtained via Gaussian quadrature. Additionally, we provide approximations for the derivative of the Riemann zeta function and present extensive numerical evidence demonstrating the accuracy of these approximations.

2025-03-12T16:34:55Z 23 pages, 11 figures Alexey Kuznetsov http://arxiv.org/abs/2605.22888v1 2026-05-21T08:03:24Z

In this expository article we show explicitly how to compute Gamma(p/q) in terms of Beta function values which in turn are Kontsevich-Zagier Periods.

2026-05-21T08:03:24Z 6 pages Jan Lügering http://arxiv.org/abs/2605.22063v1 2026-05-21T06:59:09Z

In this paper, we investigate the structure of the fine Mordell-Weil groups over the intermediate subextensions of a given $\mathbb{Z}_p$-extension $F_\infty$ of $F$.

2026-05-21T06:59:09Z 15 pages Meng Fai Lim http://arxiv.org/abs/2605.22059v1 2026-05-21T06:47:53Z

We study the distribution of closed geodesics in short intervals on random hyperbolic surfaces of large genus, and compare it with the classical problem of primes in short intervals. Viewing the surface $M$ as a random point in moduli space equipped with the Weil--Petersson measure, we investigate the random variable $Ψ_M(x;H)$ counting closed geodesics with norms in the interval $[X, X+H]$, weighted by primitive length, where $H=o(X)$. This is analogous to the Chebyshev function in prime number theory. Our main result establishes that in the large genus limit, \[ \lim_{g\to \infty}\mathrm{Var}(Ψ_M(X;H)) \sim 2\,H \log X, \] when $X\to \infty$, $H=o(X)$. Goldston and Montgomery related the variance for primes in short intervals to the form factor associated with zeros of the Riemann zeta function, and conjectured that it is asymptotic to \[ H\log(X/H). \] We show that for automorphic L-functions of degree $d>1$, the early-time GUE form factor already follows from the Riemann Hypothesis, thereby recovering the variance $H\log X$ in the very short interval regime predicted by Bui, Keating and Smith. In the geometric setting, the appearance of $\log X$ reflects the much higher spectral density of Laplace eigenvalues relative to zeros of finite-degree $L$-functions, while the additional factor of $2$ is explained by the expected GOE statistics for the Laplace spectrum of generic hyperbolic surfaces.

2026-05-21T06:47:53Z Zeev Rudnick http://arxiv.org/abs/2603.15197v2 2026-05-21T06:43:57Z

We improve a result of Lau and Zhao on the variance of Fourier coefficients of primitive cuspidal modular forms for SL2(Z) in arithmetic progressions. This is achieved by using bounds on the first moment of Rankin-Selberg L-functions in the height aspect and non-trivial estimates for shifted convolution sums.

2026-03-16T12:36:40Z Laurent Montaigu UB http://arxiv.org/abs/2605.21939v1 2026-05-21T03:18:50Z

Prescribed trace/norm estimates and Soto-Andrade-type sums control whole fibers or related global character sums. We prove a coset-refined trace theorem for cubic norm-one tori. Let $B/\mathbb{F}_q$ be finite étale cubic, $\operatorname{char}\mathbb{F}_q\ne2,3$, and let $T_B=\ker(\operatorname{N}_{B/\mathbb{F}_q}:\operatorname{Res}_{B/\mathbb{F}_q}\mathbb{G}_m\to\mathbb{G}_m)$. For every subgroup $H\subset T_B(\mathbb{F}_q)$ of index $m$, every coset $gH$, every $γ\in B^\times$, and every smooth fiber $\operatorname{Tr}(γh)=s$, $s^3\ne27\operatorname{N}(γ)$, we prove $N_{gH,B}(s;γ)=m^{-1}N_B(s,\operatorname{N}γ)+E_{gH,B}(s;γ)$, with $|E_{gH,B}(s;γ)|\le3(1-1/m)\sqrt q$. The geometric input is a Picard-Kummer kernel calculation: no nontrivial torus character becomes geometrically constant on a smooth trace/norm curve, so nontrivial coset character sums have square-root cancellation. On the nodal boundary $s^3=27\operatorname{N}(γ)$, the kernel degenerates exactly to a cyclic cubic Kummer kernel. Its Frobenius-fixed part is the sole source of order-$q$ bias; after removing that explicit projection, remaining characters again have square-root cancellation up to bounded normalization/node correction. The same geometry gives local branch theory for $\operatorname{Tr}_A(γη^n)=c$ over finite étale cubic $\mathbb{Z}_p$-algebras, $p\ge5$. The logarithmic tangent and trace-dual codifferent coordinates identify singular branches: nondegenerate classes have quadratic Hensel models, while the genuinely affine degenerate class has a cubic first-obstruction model; in full norm-fiber orbits singular branch counting reduces to one cubic norm equation.

2026-05-21T03:18:50Z 79 pages Henry Shin http://arxiv.org/abs/2602.10769v2 2026-05-21T03:03:56Z

We investigate explicit modular forms of weights $1/2$ and $3/2$-classical, minus, and fermionic theta series-arising from the classical Weil representation associated to $\operatorname{SL}_2(\mathbb{R})$ via the $2$-cocycles of Rao, Kudla, Perrin, Lion--Vergne and Satake--Takase. We reorganize these forms using (tensor) induction, and subsequently extend our study to the similitude group $\operatorname{GL}_2(\mathbb{R})$.

2026-02-11T11:59:00Z 111 pages, comments welcome! Chun-Hui Wang http://arxiv.org/abs/2605.21876v1 2026-05-21T01:38:50Z

We prove new results on the additive theory of reversed primes $\overleftarrow{p}$; that is, primes $p$ which are written backwards in a fixed base $b\geq 2$. In particular, we study a variant of Goldbach's conjecture, looking at representations of integers as the sum of primes and reversed primes. We show that: (1) Every large odd integer is the sum of a prime and two reversed primes ($N=p_1+\overleftarrow{p_2}+\overleftarrow{p_3}$). (2) Every large odd integer is the sum of two primes and a reversed prime ($N=p_1+p_2+\overleftarrow{p_3}$). (3) Almost all even integers are the sum of a prime and a reversed prime ($N=p_1+\overleftarrow{p_2}$). (4) All large integers are the sum of a reversed prime and a square-free number ($N=\overleftarrow{p}+η$, $μ^2(η)=1$). To obtain our results, along with associated asymptotics, we apply the Hardy--Littlewood circle method and a novel refinement of the ``Zsiflaw--Legeis" theorem on the distribution of reversed primes in arithmetic progressions. Notably, our variant of the Zsiflaw--Legeis theorem does not require one to fix the digit length unlike previous versions.

2026-05-21T01:38:50Z 34 pages Michael Harm Daniel R. Johnston