an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org
New this week
164 papers in math.NT from 6 November to 12 November 2026.
Includes papers cross-listed here; the counts on the field chips are by primary category.
showing 1–25 of 164, newest first RSS
We prove that all mod $2$ Galois representations of a global field lift modulo $4$. In contrast, for every odd prime $p$, we exhibit examples of global Galois representations modulo $p$ that do not lift modulo $p^2$. Our methods also allow us to prove liftability of generalized quaternion groups and hence to complete the classification of liftable finite groups initiated by Khare and Merkurjev.
Let $f=E_1(χ_1,χ_2)$ be an irregular Eisenstein series of weight one, that is, with $χ_1(p)=χ_2(p)$, and consider the generically cuspidal ordinary family passing through it. When $χ_1$, $χ_2$ and $χ_1χ_2^{-1}$ are primitive of the same conductor, we show that the specialization at $f$ of the modular-symbol $p$-adic $L$-function of this family, with periods taken in the cohomology of the compactified modular curves, factors as a product of two Kubota--Leopoldt $p$-adic $L$-functions attached to $χ_1$ and $χ_2$. Since there are no complex critical values in weight one, the factorization is obtained directly from the cohomological construction: we compute the tame-twisted modular measure by means of the localized Sharifi map and explicit reciprocity, and show that tame twisting identifies the compact period modules at weight one. This gives a weight-one analogue of the factorization of…
For $c>0$ let $f_c(n)$ be the largest size of a set $A\subseteq\{1,\dots,\lfloor cn\rfloor\}$ such that $n$ is not a sum of distinct elements of $A$. Erdős and Graham asked whether $f_c(n)$ depends on $n$ in an irregular way (Erdős Problem \#361). We prove that $f_c(n)=\lfloor cn\rfloor-\lceil n/2\rceil$ for $c\ge 1$, while for $0<c<1$ the ratio $f_c(n)/n$ has $\limsup$ equal to $c/2$, attained along odd $n$, and, along the integers $n$ whose least non-divisor equals a prime power $q$, tends to \[ \max\Bigl\{\frac cq,\; c-\frac12+\frac{1-c}{q}\Bigr\} \qquad\text{whenever } 2^{q-2}\min\{c,1-c\}\le 1 . \] Consequently $f_c(n)/n$ converges if and only if $c\ge1$; for $0<c<1$ it has at least two limit points, and arbitrarily many as $c\to0^+$ or $c\to1^-$. For $c=1/2$ the set of limit points is exactly $\{1/6,1/4\}$. The upper bounds follow from an inverse theorem of independent interest…
For $(x,y)\in\mathbb{R}^2$ and $Q\ge 1$, set $F_Q(x,y)=Q\min_{1\le q\le Q}\lVert qx\rVert\lVert qy\rVert$, where $q$ ranges over positive integers and $\lVert\cdot\rVert$ denotes distance to the nearest integer. The set on which the uniform Littlewood constant $L=\limsup_{Q\to\infty}F_Q$ is positive has full Hausdorff dimension. We prove that for every fixed $c>0$ the superlevel set $\{L\ge c\}$ has Hausdorff dimension strictly less than two. More precisely, the Lebesgue measure of $\{(x,y)\in[0,1]^2:F_Q(x,y)\ge c\}$ is $O_c(Q^{-κ(c)})$ for some $κ(c)>0$ and all $Q\ge 2$. The proof combines large deviations for one diagonal action on the space of unimodular lattices with effective equidistribution of expanding horospheres for another.
We study the multidimensional polynomial Szemerédi theorem over prime fields. Let $P_1,\dots,P_m\in\F_p[t]^k$ be block independent vector polynomials of degree at most $d$, with $P_i(0)=0$ for every $i$. We prove that there is a constant $c=c(k,m,d)>0$ such that, for every sufficiently large prime $p$, every set $A\subset\F_p^k$ with $|A|\ge p^{k-c}$ contains a configuration $x,x+P_1(t),\dots,x+P_m(t)$ with $t\in\F_p\setminus\{0\}$.
Alexander Kozachinskiy, Hector Pasten, Xavier Vidaux
We give a Diophantine definition of the integers in the rational numbers conditional on the $abc$ conjecture, Dickson's conjecture, and finiteness of $2$-primary parts of Shafarevich--Tate groups. We also discuss some consequences of the existence of a Diophantine definition of the integers in the rational numbers. The goal of this work is to serve as an entry point to recent developments around Hilbert's tenth problem for the rational numbers.
We exhibit a congruence subgroup $Γ\subset\operatorname{SL}(2,\mathbb{Z})$ of level $120$ and index $23040$ whose modular curve $X_Γ$ has genus $1777$ and whose Jacobian is isogenous over $\overline{\mathbb{Q}}$ to a product of elliptic curves. This surpasses the previous record of a completely decomposable complex Jacobian of dimension $1297$ found by Ekedahl and Serre in $1993$.
Let $q$ be a prime power and let $\ell$ be a divisor of $q-1$. We classify the permutation polynomials of $\mathbb F_q$ of polynomial index exactly $\ell$ up to quasi-multiplicative equivalence $G(X)\equiv uF(vX^d)\pmod{X^q-X}$, where $u,v\in\mathbb F_q^*$ and $\gcd(d,q-1)=1$, and we count the classes. For polynomials vanishing at $0$, the classes are the orbits of an explicit finite group on vectors of values at the $\ell$-th roots of unity. Through the permutation it induces on the roots of unity, each orbit lies over a double coset of the symmetric group $S_\ell$ with respect to its translation subgroup and an explicit affine group, and the stabilizers are explicit. For polynomials with nonzero constant term the action is free. Burnside's lemma, Möbius inversion over the coefficient support and congruences along the cycles of affine permutations give an exact formula for the number…
Rohrbach's conjecture holds for finite groups. In fact, there is an absolute constant $C$ such that, for every finite group $G$, every positive integer $h$, and all nonnegative real numbers $α_1,\ldots,α_h$ with $α_1+\cdots+α_h=1$, there are subsets $A_1,\ldots,A_h\subseteq G$ satisfying \[ G=A_1\cdots A_h, \qquad |A_1|\leq |G|^{α_1}, \qquad |A_i|\leq C|G|^{α_i}\quad(2\leq i\leq h). \] Consequently, for every $h$ there is a constant $c_h$ such that every finite group $G$ has a subset $A$ with \[ A^h=G\qquad\text{and}\qquad |A|\leq c_h|G|^{1/h}. \]
We introduce lower-truncated $p$-adic multiple zeta-star values and construct their harmonic regularizations. We show that they are independent of the branch of the $p$-adic logarithm and satisfy harmonic product relations. We express finite multiple harmonic sums as alternating convolutions of harmonic-regularized $p$-adic multiple zeta values and lower-truncated $p$-adic multiple zeta-star values. This gives a $p$-adic analogue of the classical truncation identity, which reduces to the inversion relation between ordinary and star harmonic-regularized values when the truncation point is $1$. For truncation point $p$, it relates finite multiple zeta values to $p$-adic multiple zeta values.
We study the action of vector fields on the Drinfeld symmetric spaces on de Rham classes of the generic Drinfeld module. The resulting Kodaira-Spencer map is an isomorphism, and is described by the Jacobian matrix \(J := (\frac{\partial g_{j}}{\partial ω_{i}})_{1 \leq i,j \leq r}\), where the \(g_{j}\) are the basic coefficient modular forms of rank \(r\). We show that \(J\) is the matrix inverse of the period matrix \(P\) that results from the de Rham theory of Drinfeld modules. We define the notion of Drinfeld modular differential form, which generalizes the transformation behavior of Drinfeld modular forms from functions to differential \(n\)-forms on the Drinfeld symmetric space \(Ω^{r}\). The algebra \(\mathbf{M}^{(*)} = \bigoplus_{0 \leq n < r} \mathbf{M}^{(n)}\) of all such is provided with a Serre derivation \(D \colon \mathbf{M}^{(n)} \to \mathbf{M}^{(n+1)}\) from \(n\)-forms…
The trace map of a finite group gives a perfect duality between conjugacy classes and irreducible complex representations. For reductive $p$-adic groups, an analogous duality holds due to the classical work of Bernstein, Deligne and Kazhdan. In this paper, we study this trace map for modular representations of reductive $p$-adic groups in characteristic $\ell\ne p$. The failure of the duality is measured by the kernel of the trace map on the cocenter of the ``big Hecke algebra''. Our main theorem expresses this kernel in terms of corresponding kernels for finite-dimensional Hecke algebras associated with normalizers of parahoric subgroups in suitable central quotients of Levi subgroups, reducing a problem on infinite-dimensional algebras to finite-dimensional ones. We also show that projective representations provide a natural complementary subspace on the compact part of the cocenter.…
Let $p$ be an odd prime, $a,m\in\Bbb Z_{(p)}$ and $a(a+1)m\not\equiv 0\pmod p$. In this paper, we deduce the congruence for $(\sum_{k=0}^{p-1}\frac{\binom{2k}k\binom ak\binom{-1-a}k}{m^k}) (\sum_{k=0}^{p-2}\frac{\binom{2k}k\binom ak\binom{-1-a}k}{m^k(k+1)})$ modulo $p^3$. As applications we obtain many congruences for \begin{align*}&\sum_{k=0}^{(p-1)/2}\frac{\binom{2k}k^3} {m^k(k+1)^r},\quad \sum_{k=0}^{p-2}\frac{\binom{2k}k^2\binom{4k}{2k}}{m^k(k+1)^r}, \quad \sum_{k=0}^{p-2}\frac{\binom{2k}k\binom{3k}k\binom{6k}{3k}} {m^k(k+1)^r}\quad(r=1,2,3) \\&\sum_{k=0}^{(p-1)/2}k^j\frac{\binom{2k}k^3} {m^k},\quad \sum_{k=0}^{p-1}k^j\frac{\binom{2k}k^2\binom{4k}{2k}}{m^k}, \quad \sum_{k=0}^{p-1}k^j\frac{\binom{2k}k\binom{3k}k\binom{6k}{3k}} {m^k}\quad(j=2,3) \end{align*} modulo $p^3$, which confirm the author's conjectures and improve previous results modulo $p^2$.
When solving a number of additive problems with almost equal summands, along with estimating short trigonometric sums with primes of the form $$ S_k(α;x,y)=\sum_{x-y<n\le x}Λ(n)e(αn^k), $$ on the minor arcs, estimates of these sums on the major arcs are also needed, except in a small neighborhood of their centers, as well as an asymptotic formula in a small neighborhood of the center of the major arcs. In this paper, using the second moment of Dirichlet $L$-functions on the critical line, for $S_k(α;x,y)$ on the major arcs $\mathfrak{M}(\mathscr{L}^b)$, $τ=y^5x^{-2}\mathscr{L}^{-b_1}$, $\mathscr{L} =\ln xq$, except in a small neighborhood of their centers $|α-\frac{a}{q}|>\left(2πk^2x^{k-2}y^2\right)^{-1}$, for $y\ge x^{1-\frac{1}{2k-1+η_k}}\mathscr{L}^{c_k}$, $$ η_k=\frac{2}{4k-5+2\sqrt{(2k-2)(2k-3)}}, \qquad c_k=…
Let $Γ\subset\mathrm{O}^+(n,2)$ be a rational arithmetic group with $n\geq 3$. A non-constant modular form for $Γ$ is called strongly reflective if its zero divisor is a reduced union of mirrors of reflections in $Γ$. We show that, up to conjugation and multiplication by a nonzero scalar, there are only finitely many strongly reflective modular forms. As a consequence, we establish the finiteness of holomorphic automorphic products of singular weight. These results answer a question posed by Borcherds in 1995 and settle a conjecture of Gritsenko--Nikulin from 1998. As an application, up to conjugation, we prove the finiteness of $Γ$ whose corresponding algebra of modular forms is freely generated. The key ingredient is a uniform upper bound on the covolume of $Γ$, obtained by adapting the higher-rank lattice convergence theorem of Abért et al. to the study of the degrees of reflective…
For an odd prime $p,$ consider the affine varieties $X_k: \sum\limits_{i=1}^{k}(x_i+x_i^{-1})=0$ over the finite field $\F_p.$ In this paper, a key feature of our work is arithmetic interpretation between the higher power moments of Kloosterman sums, modular forms and arithmetic geometry of the varieties $X_5$ and $X_6$ through their rational point counts. Our main results provide two distinct explicit formulas for the point count $\#X_5(\F_p).$ In the first formula, we express $\#X_5(\F_p)$ in terms of Fourier coefficients of modular forms and a certain weighted average of fourth power twisted Kloosterman moments, where the average is taken over multiplicative characters. We further establish an identity expressing this weighted average of fourth power moment of twisted Kloosterman sums in terms of fifth power quadratic twisted Kloosterman moment, together with Fourier coefficients of…
Using quartic Gauss sums in place of the cubic Gauss sums in OpenAI's original proof, we prove that the Dedekind $ζ$-function $ζ_{\mathbb Q(i)}(s)$ of $\mathbb Q(i)$ has no zeros in the half-plane $\Re s>599/600$, thereby obtaining the same zero-free half-plane for the Riemann $ζ$-function.We obtain the upper bound for the smoothed sum by applying Poisson summation twice and using the functional equation of the quartic Kubota series of angular weight $1$.In the Mellin representation, a zero-density bound for the family of quartic characters controls the terms from nonprincipal characters,and a residue and a lattice average over fourth powers give the main term.
Sutirtha Datta, Sourav Ghosh, Aniruddha Maji +1 more
Let $k$ be a fixed positive integer and $p$ be an odd prime such that $\gcd(p-1,k)=1$. For sufficiently large primes $p$, we show that the equation $AX^k+BY^k=C$ has solutions $X,Y \in \mathrm{GL}(2, \mathbb{F}_p)$, where $A$ and $B$ are fixed matrices in $\mathrm{GL}(2, \mathbb{F}_p)$, and $C$ is a fixed matrix in $\mathrm{M}(2,\mathbb{F}_p).$ Our proof relies on Fourier analysis over $\mathrm{GL}(2, \mathbb{F}_p).$
Shreyas Pai, Kaneenika Sinha, Naman Thakkar
The Frobenius angles of non-CM elliptic curves and the Hecke angles of non-CM newforms are equidistributed with respect to the Sato--Tate measure, while for Kloosterman angles, this is known on average over natural families. We study the fluctuations around these laws in large families, for smooth test functions. We prove an unconditional central limit theorem for Frobenius angles of elliptic curves for a much larger class of test functions than previously considered; earlier results assumed the Riemann hypothesis for $L$-functions of Hecke eigenforms of full level. This result follows from a general framework, developed here, which yields Gaussian moments for statistics of sequences in $[0,1]$ varying over families. In this framework, independence is replaced by two quantitative conditions: approximate independence at distinct indices, and convergence of the family averages to the Weyl…
The interval result of Evertse and Ferretti (2013) concerns a tuple $L$ of linear forms and one tuple $c$ of weights. It says that the parameters $Q$ for which the twisted height $H_{L,c,Q}$ has a small value outside an exceptional subspace $T(L,c)$ lie in $O(δ^{-2}\logδ^{-1})$ intervals $[Q_i,Q_i^ω)$. We prove this for a whole set $\mathcal{C}$ of weights with the same forms. At most $J$ subspaces $T(L,c)$ occur, where $J$ depends only on the dimension and on the number of places, and one family of $O(δ^{-2}\logδ^{-1})$ intervals serves every $c\in\mathcal{C}$ at once. Neither count depends on $\mathcal{C}$. In applications of Bugeaud-Evertse type the solutions are sorted into about $\varepsilon^{-1}$ classes with the same forms and different weights, and one application now serves all classes. We deduce three complexity bounds. For a real algebraic irrational number $ξ$, the number…
Let $X$ be a smooth projective curve of genus $g$ over an algebraically closed field $k$ of characteristic $p>2$. We give upper bounds for the $a$-number $a(X)$ when $X$ is hyperelliptic or, more generally, a tame cyclic cover of the projective line. For hyperelliptic curves, writing $g=pm+r$ with $0\le r<p$ and $n=(p-1)/2$, we prove the sharp bound $a(X)\le nm+\min\{n,r\}$. For tame cyclic covers, we refine previously known upper bounds and give curves attaining the resulting bound in infinitely many genera in characteristics $3$ and $5$. The proofs combine an alternating pairing on the bundle of locally exact differentials, originally due to Raynaud, with an explicit polynomial description of the Cartier operator. We also produce an explicit locus of hyperelliptic curves $X$ with $a(X)\ge a_g$, where $\frac{a_g}{g}$ converges to $\frac{p-1}{2p}$ as $g$ goes to $\infty$, whose…
We construct a p-adic height pairing for curves with split degenerate stable reduction over the prime p using the higher class field theory of Kato-Saito. We then show this pairing coincide with the standard Coleman-Gross p-adic height pairing when extended to the semistable reduction case using methods by Besser and Vologodsky.
We study exact recovery of the Hasse--Weil zeta numerator from repeated noisy observations of a randomized Euler product. For a genus-two curve over $\mathbb{F}_q$, we attach independent symmetric signs to its closed points and observe the logarithm of the resulting product at $t_q=c/\sqrt q$, where $0<c<1/\sqrt{12}$ is fixed. For every fixed, known additive noise density $f$ satisfying $\sqrt{f}\in H^1(\mathbb{R})$, we prove that the minimax number of independent observations required for exact recovery with error probability at most $δ$ has order $q^4\log(1/δ)$. No moment condition is imposed on the noise, so the result includes Cauchy readout. The upper bound estimates the phase of an empirical characteristic function and uses the separation of the integral Weil coefficients. The matching lower bound compares the full observation laws for two actual curves with ordinary, absolutely…
A rational map of degree at least two is postcritically finite (PCF) if every critical point has a finite forward orbit. For the unicritical family $f_{d,c}(z)=z^d+c$ with $d\ge2$, we call $c$ a PCF parameter if $f_{d,c}$ is PCF. As discussed by Baker and DeMarco, these parameters are analogous to $j$-invariants of elliptic curves with complex multiplication. For every $d\ge2$, we determine which PCF parameters lie in a CM field. The same list gives all PCF parameters over the maximal abelian extension of $\mathbb{Q}$. This extends the classifications of Noytaptim and Petsche over the maximal totally real extension of $\mathbb{Q}$ and of Ferraguti and Pagano over quadratic number fields. The proof uses the totally real classification in degree two, orbit bounds, Kronecker's theorem, Goksel's unit theorem, Lam--Leung's short-sum classification, cyclotomic averages, and known…
Let $\mathcal{P}$ be a bounded Kleinian circle packing with symmetry group $Γ$, and let $N_{\mathcal{P}}(T)$ denote the number of circles in $\mathcal{P}$ of radius at least $T^{-1}$. We obtain an asymptotic formula for $N_{\mathcal{P}}(T)$ in which the eigenvalues of the Laplace operator below the continuous spectrum contribute a finite sum of main terms, with an error term having the same exponent as in the counting theorem of Lax--Phillips for $Γ$-orbits in $\mathbb H^3$.