Number Theory [math.NT]

On Lower Bounds for sums of Fourier Coefficients of Twist-Inequivalent Newforms

math.NT

In this article, we address the lower bounds for the sums $a_f(p)+a_g(p)$ of the $p$-th Fourier coefficients of two twist-inequivalent, non-CM normalized newforms $f$ and $g$. Our main result shows that for such forms with integer Fourier coefficients, the largest prime factor of $a_f(p)+a_g(p)$ satisfies $P(a_f(p)+a_g(p)) > (\log p)^{1/14} (\log \log p)^{3/7-\epsilon}$ for almost all primes $p$ and for any $\epsilon > 0$. Beyond primes, we apply Brun's sieve to show that a similar phenomenon holds for a set of positive integers with natural density one. The main result is further strengthened under the Generalized Riemann Hypothesis, where we establish exponential growth for the absolute value of $a_f(p)+a_g(p)$ in terms of $p$.Additionally, we derive an interesting result related to the multiplicity one theorem, demonstrating that if the sum $a_f(p)+a_g(p)$ is small for a positive-density subset of primes, then $f$ and $g$ must be twist-equivalent by a quadratic character.

Universal sums of generalized polygonal numbers of almost prime length

math.NT

In this paper, we consider universal sums of generalized polygonal numbers. Fixing $m\in\mathbb{N}_{\geq 3}$, we show two finiteness theorems for universal sums of generalized polygonal numbers whose inputs have a restricted number $L$ of prime divisors (counting multiplicity) away from an finite set of exceptional primes. In the first theorem, we fix $m$ and uniformly bound the finite check independent of $L\geq 900$, and in the second theorem, we give an optimal bound for the finiteness check if $L$ is larger than a constant times $\log(m)$.

Proofs for Andrews' Conjectures 5 and 6 on $v_1(q)$

math.NT

Folsom, Males, Rolen, and Storzer recently proved Andrews' Conjecture~4 for the coefficients of \[ v_1(q)=\sum_{n\ge 0}\frac{q^{n(n+1)/2}}{(-q^2;q^2)_n}=\sum_{n\ge 0}V_1(n)q^n. \] They also proved a refined density-one version of Andrews' Conjecture~3. In this paper we prove Andrews' Conjectures~5 and~6. Our proof relies on an investigation of the simple zeros of the trigonometric factor in the Folsom--Males--Rolen--Storzer asymptotic and showing that the relevant quadratic sequence stays a positive distance from the integers infinitely often. The argument is unconditional.

A Liouville-Type Inequality for Values of Mahler M-Functions

math.NT

We establish a Liouville-type inequality for the values, at a common nonzero algebraic point, of arbitrary Mahler Mq-functions. As an application, we prove that no such value is a Liouville number, or even a U -number. This solves a long-standing problem in the field.

Resurgence of high-energy string amplitudes

hep-th

math-ph

math.AG

math.MP

math.NT

We analyze the fixed-angle high-energy ($\alpha' \to \infty$) structure of $n$-point tree-level string amplitudes from complementary perspectives: locally via saddle-point expansions, algebraically via difference equations and their asymptotic structure, analytically via Aomoto-Gauss-Manin connection and Mellin-Barnes representation, and geometrically via twisted intersection theory and Lefschetz thimbles. Using, in turn, saddle-point analysis and finite-difference equations in the kinematic variables, we show that the perturbative coefficients in the resulting asymptotic series in $1/\alpha'$ are organized by Bernoulli-number data, rather than by the multiple zeta values characteristic of the low-energy $\alpha' \to 0$ regime. Resurgence theory allows upgrading these divergent series to transseries whose Stokes data capture the analytic continuation between unphysical and physical kinematic regions in the form of non-perturbative monodromy contributions. We derive the transseries for four-point open string amplitudes explicitly. We also construct a differential and Mellin formulation which place their low- and high-energy expansions in a common analytic framework and unifies them as asymptotic sectors of the same underlying object. We extend the difference-equation analysis to $n \geq 5$, where it yields perturbative high-energy asymptotic expansions and leads naturally to a higher-rank connection problem. Finally, translating our asymptotic analysis into the language of twisted de Rham theory, we derive an alternative double-copy representation of the high-energy limit of closed-string amplitudes in terms of Lefschetz thimbles for any $n$.

Lifting banal representations of classical groups

math.RT

math.NT

Let $\mathrm{G}$ be a symplectic or a split orthogonal group over a local non-archimedean field $\mathrm{F}$. A prime $\ell$ is called banal with respect to $\mathrm{G}$ if it does not divide the cardinality of the $k$-points of $\mathrm{G}$, where $k$ is the residue field of $\mathrm{F}$. In this paper we show that for every banal prime $\ell$, any smooth irreducible $\overline{\mathbb{F}}_\ell$-representation of $\mathrm{G}(\mathrm{F})$ admits a lift to $\overline{\mathbb{Q}}_\ell$. We also state similar results for more general classical groups of symplectic, orthogonal or unitary type. As an application we prove Howe-duality in the strongly banal case for symplectic-orthogonal or unitary dual pairs.

L-modules are mixed

math.RT

math.NT

Let X be the locally symmetric space associated to a reductive $\mathbb Q$-group G and an arithmetic subgroup $\Gamma$. An L-module M is a combinatorial model of a constructible complex of sheaves on $\widehat X$, the reductive Borel-Serre compactification of X whose strata $X_P$ are indexed by $\Gamma$-conjugacy classes of parabolic $\mathbb Q$-subgroups P of G. We show that any L-module M is "mixed" in the sense it is an iterated mapping cone of maps to or from shifted weighted cohomology L-modules on strata $X_P$ of $\widehat X$ with coefficients in V, an irreducible regular $L_P$-module. These weighted cohomology "building blocks" are indexed (up to multiplicity) by V in the weak micro-support of M which is a computable local invariant. As an application we prove that the intersection cohomology of $\widehat X$ is isomorphic to the weighted cohomology of $\widehat X$, at least excluding $\mathbb Q$-types D, E, and F.

On a descent conjecture of Wittenberg

math.AG

math.NT

A descent conjecture of Wittenberg predicts that if all the twists of a rationally connected torsor over a smooth base satisfy weak approximation with Brauer--Manin obstruction, then the base also has weak approximation with Brauer--Manin obstruction. We give a proof of Wittenberg's conjecture via Cao's descent formula.

A gamma function in two variables

math.NT

v2

We introduce a gamma function $\Ga(x,z)$ in two complex variables which extends the classical gamma function $\Ga(z)$ in the sense that $\lim_{x\to 1}\Ga(x,z)=\Ga(z)$. We will show that many properties which $\Ga(z)$ enjoys extend in a natural way to the function $\Ga(x,z)$. Among other things we shall provide functional equations, a multiplication formula, and analogues of the Stirling formula with asymptotic estimates as consequences.

Beukers-like proofs of irrationality for $\zeta{(2)}$ and $\zeta{(3)}$

math.NT

v3

In this note, I develop step-by-step proofs of irrationality for $\,\zeta{(2)}\,$ and $\,\zeta{(3)}$. Though the proofs follow closely those based upon unit-square integrals proposed originally by Beukers, I introduce some modifications which certainly will be useful for those interested in understanding this kind of proof and/or trying to extend it to higher zeta values, Catalan's constant, or other related numbers.

Perfectoid overconvergent Siegel modular forms and the overconvergent Eichler--Shimura morphism

math.NT

v3

The aim of this paper is twofold. We first present a construction of the overconvergent automorphic sheaves for Siegel modular forms by generalising the perfectoid method, originally introduced by Chojecki--Hansen--Johansson for automorphic forms on compact Shimura curves over $\mathbf{Q}$. The global sections of these automorphic sheaves are precisely the overconvergent Siegel modular forms. In particular, one can compare these automorphic sheaves with the ones constructed by Andreatta--Iovita--Pilloni. Secondly, we establish an (explicit) overconvergent Eichler--Shimura morphism for Siegel modular forms, generalising the result of Andreatta--Iovita--Stevens for the elliptic modular forms.

Locally analytic completed cohomology

math.NT

v4

We compute the geometric Sen operator for arbitrary Shimura varieties in terms of equivariant vector bundles of flag varieties and the Hodge-Tate period map. As an application, we obtain the rational vanishing of completed cohomology in the Calegari-Emerton conjectures.

Large prime factors of well-distributed sequences

math.NT

v4

We study the distribution of large prime factors of a random element $u$ of arithmetic sequences satisfying simple regularity and equidistribution properties. We show that if such an arithmetic sequence has level of distribution $1$ the large prime factors of $u$ tend to a Poisson-Dirichlet process, while if the sequence has any positive level of distribution the correlation functions of large prime factors tend to a Poisson-Dirichlet process against test functions of restricted support. For sequences with positive level of distribution, we also estimate the probability the largest prime factor of $u$ is greater than $u^{1-\epsilon}$, showing that this probability is $O(\epsilon)$. Examples of sequences described include shifted primes and values of single-variable irreducible polynomials. The proofs involve (i) a characterization of the Poisson-Dirichlet process due to Arratia-Kochman-Miller and (ii) an upper bound sieve.

Critical values of $L$-functions of residual representations of $\mathrm{GL}_4$

math.NT

v3

In this paper we prove rationality results of critical values for $L$-functions attached to representations in the residual spectrum of $\mathrm{GL}_4(\mathbb{A})$. We use the Jacquet-Langlands correspondence to describe their partial $L$-functions via cuspidal automorphic representations of the group $\mathrm{GL}_2'(\mathbb{A})$ over a quaternion algebra. Using ideas inspired by results of Grobner and Raghuram we are then able to compute the critical values as a Shalika period up to a rational multiple.

Integral models of Shimura varieties with parahoric level structure, II

math.NT

math.AG

v3

We construct integral models of Shimura varieties of abelian type with parahoric level structure over odd primes. These models are \'etale locally isomorphic to corresponding local models.

Cofinality of Galois Cohomology within Purely Quadratic Graded Algebras

math.NT

v2

Let $p$ be a prime number. For a field $F$ containing a root of unity of order $p$, let $H^\bullet(F)=H^\bullet(F,\mathbb{F}_p)$ be the mod-$p$ Galois cohomology graded $\mathbb{F}_p$-algebra of $F$. By the Norm Residue Theorem, $H^\bullet(F)$ is a purely quadratic graded-commutative algebra, and is therefore determined by the cup product $\cup\colon H^1(F)\times H^1(F)\to H^2(F)$. We prove that the class of all Galois cohomology algebras $H^\bullet(F)$ is cofinal in the class of all purely quadratic graded-commutative $\mathbb{F}_p$-algebras $A_\bullet$, in the following sense: For every $A_\bullet$ there exists $F$ such that the bilinear map $A_1\times A_1\to A_2$, which determines $A_\bullet$, embeds in the cup product bilinear map $\cup\colon H^1(F)\times H^1(F)\to H^2(F)$. We further provide examples of $\mathbb{F}_p$-bilinear maps which are not realizable by fields $F$ in this way. These are related to recent results by Snopce-Zalesskii and Blumer-Quadrelli-Weigel on the Galois theory of pro-$p$ right-angled Artin groups, as well as to a conjecture by Marshall on the possible axiomatization of quadratic form theory of fields.

Modular Periodicity of Random Initialized Recurrences

math.NT

math.CO

v5

Classical studies of the Fibonacci sequence focus on its periodicity modulo $m$ (the Pisano periods) with canonical initialization. We investigate instead the complete periodic structure arising from all $m^2$ possible initializations in $(\mathbb{Z}/m\mathbb{Z})^2$. We discover perfect mirror symmetry between the Fibonacci recurrence $a_n = a_{n-1} + a_{n-2}$ and its parity transform $a_n = - a_{n-1} + a_{n-2}$ and observe fractal self-similarity in the extension from prime to prime power moduli. Additionally, we classify prime moduli based on their quadratic reciprocity and demonstrate that periodic sequences exhibit weight preservation under modular extension. Furthermore, we define a minima distribution $P(n)$ governed by Lucas ratios, which satisfies the symmetric relation $P(n)=P(1-n)$. For cyclotomic recurrences, we propose explicit counting functions for the number of distinct periods with connections to necklace enumeration. These findings imply potential connections to Viswanath's random recurrence, modular forms and L-functions.

Average shifted convolution sum for $GL(d_1)\times GL(d_2)$

math.NT

v3

We study the average shifted convolution sum $$ B(H,N):= \frac{1}{H} \sum_{h \sim H} \sum_{n \sim N} A_{\pi_1}(n)\, A_{\pi_2}(n+h), $$ where $A_{\pi_i}(n)$ denotes the Fourier coefficients of a Hecke--Maass cusp form $\pi_i$ for $\mathrm{SL}(d_i,\mathbb{Z})$ with $d_i\ge 4$, $i=1,2$. We establish a nontrivial power-saving bound of $B(H,N)$ for the range of the shift $H\ge N^{1-\frac{4}{d_1+d_2}+\varepsilon}$ for any $\varepsilon>0$. For the cases $d_1 = d_2 + 1$ and $d_1 = d_2$, our result extends a result that can be derived from a theorem of Friedlander and Iwaniec. In particular, when $d_1 = d_2$, we reach the critical threshold $H\ge N^{1-2/d+\varepsilon}$ such that any further improvement in this range yields a subconvexity bound for the corresponding standard $L$-function in the $t$-aspect.

Additive Rigidity for Images of Rational Points on Abelian Varieties

math.NT

math.AG

v2

We study the interaction between the group law on an abelian variety and the additive structure induced on its image under a morphism to projective space. Let $A/F$ be a simple abelian variety, $f:A \rightarrow \mathbb{P}^n$ be a morphism which is finite onto its image, and $\Gamma \subseteq A(F)$ be a finite-rank subgroup. We show that for any affine chart $\mathbb{A}^n \subseteq \mathbb{P}^n$ and any finite subset $X \subseteq f(\Gamma) \cap \mathbb{A}^n$, the energy satisfies $E(X) \ll \lvert X \rvert^2$ and the sumset satisfies $\lvert X+X \rvert \gg \lvert X \rvert^2$. We then ask whether the same additive rigidity holds for arbitrary abelian varieties, and prove that this is indeed the case when the morphism $f$ is compatible with the decomposition of $A$ into simple factors. The proof uses the uniform Mordell-Lang conjecture.

Arithmetic sums and products of infinite multiple zeta-star values

math.NT

v2

Multiple zeta-star values are variants of multiple zeta values which allow equality in the definition. Similar to the theory of continued fractions, every real number which is greater than $1$ can be realized as an unique infinite multiple zeta-star values in a natural way. In this paper, we investigate the arithmetic sums and products of infinite multiple zeta-star values with restricted indices. Moreover, inspired by the theory of continued fractions and Cantor set, we propose a series of conjectures concerning the algebraic points and arithmetic sums and products of infinite multiple zeta-star values with certain indices.

ABC implies that Ramanujan's tau function misses almost all primes

math.NT

v2

Lehmer conjectured that Ramanujan's tau-function never vanishes. In a related direction, a folklore conjecture asserts that infinitely many primes arise as absolute values of Ramanujan's tau-function. Recently, Xiong showed that these prime values form a subset of the primes with density at most $2/11$. Assuming the $abc$ Conjecture, we prove the stronger upper bound \[ S(X):=\#\{\ell\le X:\ \ell\ \text{prime and } |\tau(n)|=\ell \text{ for some } n\ge 1\} = O(X^{13/22}), \] which implies that Ramanujan's tau-function misses a density 1 subset of the primes. We give a heuristic suggesting that $S(X)$ should nevertheless be infinite, with predicted order of magnitude \[ S(X)\asymp \frac{C X^{\frac{1}{11}}}{(\log X)^2}. \] The main engine in this note was formalized and produced automatically in Lean/Mathlib by AxiomProver from a natural-language statement of the problem.

Stable cohomology of congruence subgroups

math.AT

math.GR

math.KT

math.NT

v2

We describe the $\mathbb{F}_p$-cohomology of the congruence subgroups $SL_n(\mathbb{Z}, p^m)$ in degrees $* < p-1$, for all large enough $n$, establishing a formula proposed by F. Calegari. Along the way, we also establish a formula for the stable cohomology of $SL_n(\mathbb{Z}/p)$ with certain twisted coefficients.

On the arithmetic of the join rings over finite fields

math.RA

math.NT

v3

Given a collection $\{ G_i\}_{i=1}^d$ of finite groups and a ring $R$, we have previously introduced and studied certain foundational properties of the join ring $\mathcal{J}_{G_1, G_2, \ldots, G_d}(R)$. This ring bridges two extreme worlds: matrix rings $M_n(R)$ on one end, and group rings $R[G]$ on the other. The construction of this ring was motivated by various problems in graph theory, network theory, nonlinear dynamics, and neuroscience. In this paper, we continue our investigations of this ring, focusing more on its arithmetic properties. We begin by constructing a generalized augmentation map that gives a structural decomposition of this ring. This decomposition allows us to compute the zeta function of the join of group rings. We show that the join of group rings is a natural home for studying the concept of simultaneous primitive roots for a given set of primes. This concept is related to the order of the unit group of the join of group rings. Finally, we characterize the join of group rings over finite fields with the property that the order of every unit divides a fixed number. Remarkably, Mersenne and Fermat primes unexpectedly emerge within the context of this exploration.

Hypersurfaces passing through the Galois orbit of a point

math.AG

math.NT

v2

Asgarli, Ghioca, and Reichstein proved that if $K$ is a field with $|K|>2$, then for any positive integers $d$ and $n$, and separable field extension $L/K$ with degree $m=\binom{n+d}{d}$, there exists a point $P\in \mathbb{P}^n(L)$ which does not lie on any degree $d$ hypersurface defined over $K$. They asked whether the result holds when $|K| = 2$. We answer their question in the affirmative by combining various ideas from arithmetic geometry. More generally, we show that for each positive integer $r$ and separable field extension $L/K$ with degree $r$, there exists a point $P \in \mathbb{P}^n(L)$ such that the vector space of degree $d$ forms over $K$ that vanish at $P$ has the expected dimension. We also discuss applications to linear systems of hypersurfaces with special properties.

Holographic Equidistribution

hep-th

math.NT

v2

Hecke operators acting on modular functions arise naturally in the context of 2d conformal field theory, but in seemingly disparate areas, including permutation orbifold theories, ensembles of code CFTs, and more recently in the context of the AdS$_3$/RMT$_2$ program. We use an equidistribution theorem for Hecke operators to show that in each of these large $N$ limits, an entire heavy sector of the partition function gets integrated out, leaving only contributions from Poincar\'e series of light states. This gives an immediate holographic interpretation as a sum over semiclassical handlebody geometries. We speculate on further physical interpretations for equidistribution, including a potential ergodicity statement.