Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.04099

Moments and Large Geometric Monodromy for Linearly Constrained Kloosterman Families

Hamed Ebadi
View original source ↗Read source document ↗Export metadata ↓

Abstract

We determine the connected geometric monodromy of the top-weight sheaves attached to linearly constrained Kloosterman families in every dimension n >= 4 and every characteristic p > max(2,n). The quantitative input is a fourth-moment identity whose auxiliary geometry depends on the moment degree rather than on the ambient family dimension. After an exact decoupling, the generic stratum is controlled by plane sections of the Cayley cubic, and a projective-ray argument gives the required power saving uniformly in each fixed dimension. On the geometric side, a local Fourier-transform calculation and Rojas-Leon's multiplicative-convolution formula produce a nonidentity unipotent boundary element. The fourth moment, reductivity, infinitude, and Larsen's alternative then give G_geom^0(W_n) = SL_r(n) without finite-group classification or numerical exceptional-case certificates. For comparison, we retain the independent Guralnick-Tiep route, including its sixth-moment and exact finite computations, but it is not used in the proof of the main theorem.

Explore related subjects

math.NTmath.AGmath.RT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Hamed Ebadi. 2026-10-02. Moments and Large Geometric Monodromy for Linearly Constrained Kloosterman Families. https://arxiv.org/abs/2610.04099

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

KEEP EXPLORING

Related papers

arXiv2026

New Results for Euler Sums

We present a large number of analytic evaluations of Euler sums, namely sums such as \begin{align} M(m,n_0,n_1,n_2, \ldots, n_t) &= \sum_{k=1}^\infty \frac{H(k)^m}{k^{n_0} (k+1)^{n_1} (k+2)^{n_2} \cdots (k+t)^{n_t}}, \nonumber \end{align} for nonnegative integers $m$ and $(n_i)$, with $m \geq 1$ and $n_0 + n_1 + \cdots + n_t \geq 2$, where $H(k) = \sum_{j=1}^k 1/j$ is the harmonic function. These results were obtained either by algebraic manipulations, or else by very high-precision numerical evaluations combined with an integer relation algorithm to obtain the analytic formulas. We show how many of these results can be derived from a few basic facts, and that these techniques are applicable to Euler sums of even more general forms than the above cases. We then show that these results permit the calculation of constants for Euler sums resembling the Stieltjes $γ$ constants arising in the theory of the Riemann zeta function, and we also present some preliminary results on the asymptotic behavior of these constants. A sign error has been corrected in eq. 98.

math.NT↗
arXiv2026

The moments of split greatest common divisors

Sequences of the form $(\gcd(u_n,v_n))_{n \in \mathbb N}$, with $(u_n)_n$, $(v_n)_n$ sums of $S$-units, have been considered by several authors. The study of $\gcd(n,u_n)$ corresponds, after Silverman, to divisibility sequences arising from the algebraic group $\mathbb G_{\mathrm{a}} \times \mathbb G_{\mathrm{m}}$; in this case, Sanna determined all asymptotic moments of the arithmetic function $\log\,\gcd (n,u_n)$ when $(u_n)_n$ is a Lucas sequence. Here, we characterize the asymptotic behavior of the moments themselves $\sum_{n \leq x}\,\gcd(n,u_n)^λ$, thus solving the moment problem for $\mathbb G_{\mathrm{a}} \times \mathbb G_{\mathrm{m}}$. We give both unconditional and conditional results, the latter only relying on standard conjectures in analytic number theory.

math.NT↗