A note on extensions of $p$-adic representations of $\mathrm{GL}_2(\mathbb{Q}_p)$

2026-05-20T10:25:19Z

We compute extension groups in the category of duals of $p$-adic Banach space representations of $\mathrm{GL}_2(\mathbb{Q}_p)$. Focusing on representations arising from the $p$-adic local Langlands correspondence for generic Galois representations, we classify these extensions completely. These results are then applied to prove the vanishing of extensions between the duals of reducible representations and supercuspidal isotypic components of the ètale cohomology of the finite level Drinfeld spaces.

Dynamical systems defined by polynomials with algebraic properties

2026-05-20T09:17:40Z

Let (x_n; n\in Z) be a bisequence of elements x_n in the 1-dimensional torus R/Z, which is called a stream over R/Z. Let P(z)=a_k z^k+...+a_1 z+a_0 be a polynomial with integer coefficients. Define the set of streams over R/Z such that the convolution product P(z)\times(x_n; n\in Z)=(\sum_{i=0}^k a_i x_{n-i}; n\in Z)=(0; n\in Z), which is called the stream 0 of P. We study similarities between stream 0 of P and the roots of P(z)=0.

Precise Asymptotics and Exact Formulas for Tensor Product Energies of Fibonacci Lattices

2026-05-20T08:35:43Z

We consider the asymptotics of sums of the form $$ \frac1{F_n^σ} \sum_{m = 1}^{F_n-1} \frac{f(m/F_n)}{\left|{\sin(πm/F_n)}\right|^σ} \frac{f(F_{n-1}m/F_n)}{\left|{\sin(πF_{n-1}m/F_n)}\right|^σ} $$ where $(F_n)_{n \in \mathbb N} = (1, 1, 2, 3, 5, 8, 13, \dots)$ are the Fibonacci numbers. Such sums appear, for example, in the context of discrepancy theory and numerical integration methods reformulated as energy minimization problems. We show that for parameters $σ> 1$ and a large class of functions $f$ the above sum behaves asymptotically like $$ C n + D + O\left((1-\varepsilon)^{n}\right) $$ for some constants $C$ and $D$. These constants can be given via infinite series connected to the Dedekind zeta function over the algebraic number field $\mathbb Q(\sqrt5)$. In special cases we even observe simple closed-form expressions for such sums as above, explicitly proving that $$ \sum_{m=1}^{F_n-1} \frac1{\sin(πm/F_n)^2} \frac1{\sin(πF_{n-1} m/F_n)^2} = \frac{4n}{75} F_{2n} - \frac{17}{225}F_n^2 - (-1)^n \frac2{15} - \frac19. $$

Some Generalizations of Totient Function with Elementary Symmetric Sums

2026-05-20T05:22:06Z

We generalize certain totient functions using elementary symmetric polynomials and derive explicit product forms for the totient functions involving the second elementary symmetric sum. This work follows from the work of Toth [The Ramanujan Journal, 2022] where the totient function was generalized using the first and the kth elementary symmetric polynomial. We also provide some observations on the behavior of the totient function with an arbitrary jth elementary symmetric polynomial. We then outline a method for solving a certain the restricted linear congruence problem with a greatest common divisor constraint on a quadratic form, illustrated by a concrete example. Most importantly, we demonstrate the equivalence between obtaining product forms for generalized totient functions, counting zeros of specific polynomials over finite fields, and resolving a broad class of restricted linear congruence problems .

Beyond endoscopy for $\mathsf{GL}_2$ over $\mathbb{Q}$ with ramification 4: contribution of non-elliptic parts

2026-05-20T05:20:00Z

We continue our work on $\mathsf{GL}_2$ over $\mathbb{Q}$ in the ramified setting for \emph{Beyond Endoscopy}. We establish asymptotic formulas for each term of the trace formula when summing over $n

Limiting Distribution and Rate of Convergence for GL(3) Fourier Coefficients

2026-05-20T05:05:43Z

In a work of Heath-Brown, it is proved that in the Pilz divisor problem, the normalized error term $Δ_3(x)$ has a distribution function. In this paper, we prove an analogue of this result in the setting of GL(3). For a given self-dual GL(3) Hecke--Maass cusp form $f$ with normalized Fourier coefficients $A_f(n,m)$, let $Δ_f(x)=\sum_{n\leqslant x}A_f(n,1)$. We show that the function $x^{-1/3}Δ_f(x)$ has a distribution function and we obtain a quantitative rate of convergence for the limiting distribution.

Remarks on the disproof of the unit distance conjecture

2026-05-20T04:46:35Z

We present a short, digested, human-verified version of the recent OpenAI-generated counterexample to the Erdős unit distance conjecture, and a sequence of reflections on it. The argument relies crucially on ideas that may, at least in retrospect, be attributed to Ellenberg-Venkatesh, Golod-Shafarevich, and Hajir-Maire-Ramakrishna.

On discrepancy estimates for pseudorandom vectors constructed by the elliptic curve congruential generator

2026-05-20T02:19:42Z

This paper studies the problem of discrepancy estimates for pseudorandom vectors constructed by the elliptic curve congruential generator, particularly in the non-translational case. Two families of results are obtained. First, in a full-coset regime characterized by a relative maximal period condition (RMPC) on an induced one-dimensional linear congruential generator, one proves bounds of type $q^{1/2}/t$ for the discrepancy $D$, the serial discrepancy $D_s$, and, under the corresponding derived RMPC, the non-overlapping discrepancy $\widetilde D_s$. Second, in the general sub-period regime, one reduces bounds for $D$, $D_s$, and $\widetilde D_s$ to estimation of Fourier $\ell^1$ masses of admissible index sets attached to one-dimensional linear congruential generators. This isolates the arithmetic bottleneck for further improvement.

The pro-étale fundamental group of singular schemes

2026-05-20T01:21:31Z

We compute the pro-étale fundamental group of a connected Nagata J-2 scheme in terms of the étale fundamental groups of the normalizations of its irreducible components and a discrete free group. The result generalizes a formula of E. Lavanda for semi-stable curves and relies on a combination of proper descent techniques for étale morphisms and a combinatorial van Kampen construction for Noohi groups. As a by-product we characterize when a continuous representation of the pro-étale fundamental group factors through a discrete quotient.

Spherical representations of unitary groups at ramified places and the arithmetic inner product formula

2026-05-20T01:00:39Z

In this article, we study admissible representations of even unitary groups over local fields, where the quadratic extension is ramified, with invariant vectors under the action of the stabilizer of a unimodular lattice and some properties of the corresponding integral model of unitary Shimura varieties. As a direct application, we are able to improve the arithmetic inner product formula so that the places with local root number $(-1)$ are allowed to be ramified.

An explicit lower bound for the unit distance problem

2026-05-20T00:37:35Z

We show that there are sets of $n$ points in the plane with $n$ arbitrarily large that contain more than $n^{1.014}$ pairs of points separated by a distance exactly $1$. This improves on very recent work of a team at OpenAI, who proved the same result with an inexplicit exponent greater than $1$, drastically improving on the best previous lower bound and disproving a conjecture of Erdős. The method is number-theoretic, relying on constructing algebraic number fields of large degree and small discriminant with many primes of small norm via a Golod-Shafarevich criterion argument.

Nearby cycles on the local model for the $\mathrm{GU}(n-1,1)$ PEL Shimura variety over a ramified prime

2026-05-20T00:28:27Z

In this paper, we compute the cohomology sheaves of the $\ell$-adic nearby cycles on the local model of the PEL $\mathrm{GU}(n-1,1)$ Shimura variety over a ramified prime, with level given by the stabilizer of a self-dual lattice. This local model is known to have isolated singularities. If $n=2$ it has semi-stable reduction, and if $n\geq 3$ the blow-up at the singular point has semi-stable reduction. We compute the nearby cycles on the blow-up, then use proper base change to describe them on the original local model. As a result, we prove that the nearby cycles are trivial when $n$ is odd, and that only a single higher cohomology sheaf does not vanish when $n$ is even. In this case, we also describe the Galois action by computing the associated Frobenius eigenvalue.

Introducing and Applying S.C.E Model Under Dusart's Inequality to Prove Goldbach's Strong Conjecture for 74 Typical Structures out of All 75 Structural Types of Even Number

2026-05-19T21:13:19Z

In this paper, we present a relative proof for Goldbach's strong conjecture. To this end, we first present a heuristic model for representing even numbers called Semi-continuous Model for Even Numbers or briefly S.C.E Model, and then by using this model we categorize all even numbers into 75 distinct typical structures. Also in this direction, we employ this model along with the following inequality to obtain the relative proof \begin{equation} \frac{x}{\ln x} \leq_{x \geq 17} π(x) \leq_{x>1} 1.2251 \frac{x}{\ln x} \end{equation} where $π(x)$ denotes the number of all primes smaller than and equal to $x$. This inequality is presented by Pierre Dusart in his paper [P. Dusart, Explicit estimates of some functions over primes, Ramanujan J. 45 (2016), No. 1, 227-251]. In fact, by relative proof we mean that 74 typical structures out of 75 ones satisfy Goldbach's strong conjecture. Also, since the last typical structure is the dominant structure over all even numbers, we come up with three unproven inequalities for elements of S.C.E model using each of which, we can prove Goldbach's strong conjecture for this structure too. It is necessary to say that, we guess theses three inequalities can be proved the same as to Dusart's inequality.

Eigenvalue Distribution of $p$-adic Random Matrices Among Algebraic Extensions, with an Analogue for $p$-adic Random Polynomials

2026-05-19T19:56:04Z

We study the distribution of eigenvalues of Haar-random matrices over $\mathbb{Z}_p$ among algebraic extensions of $\mathbb{Q}_p$. Our results give $p$-adic analogues of the real-eigenvalue counting results of Edelman-Kostlan-Shub for the real Ginibre ensemble, but with a different degree behavior: while real eigenvalues form only a vanishing proportion in the real Ginibre ensemble, $p$-adic eigenvalues are asymptotically evenly distributed among possible extension degrees. We also show that the maximal unramified extension $\mathbb{Q}_p^{\mathrm{un}}$ captures all but a bounded expected number of eigenvalues, and that the expected number of eigenvalues outside $\mathbb{Q}_p^{\mathrm{un}}$ has a finite positive limit with an explicit upper bound. The proof uses correlation function formulas from the author's previous joint work with Van Peski (arXiv:2601.06283), together with uniform estimates over varying finite extensions. We also prove analogous results for roots of random Haar polynomials over $\mathbb{Z}_p$, using the correlation function formulas of Caruso (arXiv:2110.03942). These polynomial results are $p$-adic analogues of the real-root counting results of Edelman-Kostlan, again with behavior different from the real setting.

Gross lattices of supersingular elliptic curves

2026-05-19T18:23:51Z

Let $p$ be a prime, $E$ be a supersingular elliptic curve defined over $\bar{\mathbb{F}}_p$, and $\mathscr{O}$ be its (geometric) endomorphism ring. Earlier results of Chevyrev-Galbraith and Goren-Love have shown that the successive minima of the Gross lattice of $\mathscr{O}$ characterize the isomorphism class of $\mathscr{O}$. In this paper, we extend this work and show that the value of the third successive minimum $D_3$ of the Gross lattice gives necessary and sufficient conditions for the curve to have its $j$-invariant in the field $\mathbb{F}_p$ or in the set $\mathbb{F}_{p^2} \setminus \mathbb{F}_p$, as well as finer information about the endomorphism ring of $E$ when its $j$-invariant belongs to $\mathbb{F}_p$ and $p \equiv 3 \pmod{4}$. We end our article with an investigation of the geometry of Gross lattices of supersingular elliptic curves.