Number Theory [math.NT]

On the Squarefree Values of Degree-$2q$ Polynomials

math.NT

In this work, we show that if $h(x)$ is an irreducible monic integer polynomial of degree $2q$ (with $q$ prime), whose defining field extension of $\mathbb{Q}$ contains a Galois extension of degree $q$, then there is a positive density of integers $n$ such that $h(n)$ is squarefree; in particular, $h(n)$ is squarefree for infinitely many integers $n$. As an application, we prove that the family of exceptional cubic fields contains an infinite subfamily whose unit shapes converge to the hexagonal lattice. To the best of our knowledge, this is the first example of a family of non-Galois totally real cubic fields whose unit shapes converge to the hexagonal lattice.

An omega result for the first sign change of coefficients of symmetric power $L$-functions of Hecke-Maass cusp forms

math.NT

Recently, Lamzouri proved a lower bound for the least positive integer $n_f$ for which the Hecke eigenvalue $\lambda_f(n_f)<0$, showing it satisfies $n_f \ge (\log k)^{1-o(1)}$ for many holomorphic Hecke cusp forms of even integral weight $k$. In this paper, we extend Lamzouri's result to Hecke-Maass forms without assuming the Generalized Ramanujan Conjecture, and further prove that similar results also hold for the coefficients of symmetric power $L$-functions of Hecke-Maass forms.

A proof of a weighted sum conjecture for finite multiple zeta values of level two

math.NT

M. Kaneko, T. Murakami and A. Yoshihara introduced finite multiple zeta values of level two and conjectured a weighted sum formula for indices whose components belong to $\{1,2\}$. In this paper, we use generating functions and linear recurrence relations to prove the conjecture. More precisely, we reduce the problem to a polynomial identity and solve the resulting second-order difference equation by identifying its specialized solutions with $_4F_3$ hypergeometric polynomials of Racah-type.

Average root numbers in two isotrivial families of elliptic curves

math.NT

We study root numbers in the isotrivial families $y^2=x^3+a$ and $y^2=x^3+ax$. For a broad class of fixed binary forms, we prove that the average root number over primitive pairs exists. Assuming finiteness of the relevant Tate--Shafarevich groups, we deduce Zariski density for certain del Pezzo surfaces of degree $1$ arising from separable binary sextics. We also establish explicit averages of root numbers for almost all polynomials of each fixed degree $d\geq2$, ordered by coefficient height. The proof develops a new quantitative transference principle for polynomial values.

Permutation polynomials from the trace functions

math.NT

We study necessary and sufficient conditions on $\gamma$ for several classes of polynomials of the form $X+\gamma \operatorname{Tr}_{q}^{q^n}(h(X))$ to be permutation polynomials over finite field $\mathbb{F}_{q^n}$, where $q$ is a prime power, $n$ is a positive integer, and $\operatorname{Tr}_{q}^{q^n}(\cdot)$ denotes the relative trace function from $\mathbb{F}_{q^n}$ to $\mathbb{F}_q$. In addition, we completely characterize the permutation polynomials of the form \( X+\gamma\operatorname{Tr}_{q}^{q^n}(h(X)) \) over $\mathbb{F}_{q^n}$, with their compositional inverses, where \( h(X)=c_1X+c_2X^2+X^2\operatorname{Tr}_{q}^{q^n}(X), \) $c_1,c_2\in\mathbb{F}_q.$

Bockstein Spectral Sequences and Applications to the Tame Fontaine Mazur Conjecture

math.NT

math.GR

For a number field $K$, a prime $p$ and a finite set of tame places $S$ we consider the groups $G_{K,S}$ - the Galois groups of the maximal pro-$p$ extension of $K$ unramified outside $S$. The tame Fontaine--Mazur Conjecture predicts that these groups have no nontrivial uniformly powerful pro-$p$ quotients. In this paper we develop a new approach to this problem using Bockstein spectral sequences and Lie-theoretic tools. This allows us to extend and refine an earlier method due to J.~Labute, who was only able to consider the case where $p^2\nmid N(\mathfrak{q})-1$ for each $\mathfrak{q}\in S$. Based on this we develop a method to verify the uniform Fontaine--Mazur property for many $G_{K,S}$ with $|S|=3$ arbitrary. Under mild conditions on $K$ we show that for infinitely many triples $S$, the groups $G_{K,S}$ have no nontrivial uniform quotients. We also exhibit a large class of these groups, which are infinite. Finally, we present numerical evidence indicating that the criteria developed here detect the uniform Fontaine--Mazur property with very high probability for $|S|=3$.

Distinguishing elliptic curves modulo $p$ and identifying images of product representations

math.NT

Given two elliptic curves defined over $\mathbb{Q}$ and a rational prime $p$, we study the product of their residual Galois representations. Using Goursat's lemma, we explicitly enumerate and completely characterize all possible images of such product representations. We also define associated invariants to these image groups, which we call \textit{witness ratios}, and we explain their computational utility and their relationship to the well-known Sturm bound for testing congruences between modular forms.

A canonical construction of signed $p$-adic $L$-functions for non-ordinary modular forms of weight $\leq p+1$

math.NT

Fix an odd prime $p$ and let $f$ be a $p$-non-ordinary cuspidal eigen-newform of weight $2\leq k\leq p+1$. We construct a pair of bounded $p$-adic $L$-functions associated to $f$ by decomposing the unbounded $p$-adic $L$-functions in terms of an explicit logarithm-type matrix whose definition does not require $p$-adic Hodge theory. Using this decomposition, we compute asymptotic formulas for the Iwasawa invariants of Mazur--Tate elements attached to non-ordinary forms of weight $\leq p+1$. As a corollary, we obtain a relation between the signed Iwasawa invariants of $p$-non-ordinary and $p$-congruent cuspforms of weights 2 and $p+1$, generalizing previous results in the $a_p=0$ case.

Equationless quadratic Chabauty for non-split Cartan modular curves

math.NT

math.AG

The aim of this article is to describe an equationless method for determining the rational points on the non-split Cartan curve $X_{\rm{ns}}^+(N)$ of prime level $N \geqslant 13$. Instead of using a projective model for the modular curve, our method uses the moduli interpretation of the curve, namely we work directly with elliptic curves and Cartan level structures. To accomplish this, we use the geometric version of the quadratic Chabauty method. We show that this can be combined with algorithms for divisor arithmetic developed by Makdisi and Mascot so as to apply to modular curves. As an illustration, we rederive the set of rational points on the curve $X_{\rm{ns}}^+(13)$.

A double-sum analogue of Whipple's summation formula and a restricted sum formula for multiple binomial sums

math.NT

math.CA

We prove a double-sum analogue of Whipple's ${}_3F_2$ summation formula. As an application, we establish a restricted sum formula for multiple binomial sums, which arise as special cases of Igarashi's parametrized multiple zeta series.

Kneserized Anticoncentration and Reverse Absorption for Graham's Rearrangement Conjecture

math.CO

math.NT

We establish a Kneser-based anticoncentration estimate for uniform subset sums in composite cyclic groups. The estimate contains a periodic loss and is weaker than its prime-modulus counterpart. Nevertheless, together with known small- and large-set results, it proves that, for every fixed $t\geq2$ such that $\mathbb Z_t$ is strongly sequenceable and every sufficiently large prime $p$, every subset of $\mathbb Z_{tp}\setminus\{0\}$ has a valid ordering, thus establishing the analogue of Graham's rearrangement conjecture for this family of composite cyclic groups. We then identify the structural source of this loss. An inverse theorem shows that failure of the stabilizer-free growth underlying prime-type anticoncentration forces almost all of the set into a proper subgroup or one of its cosets. We exploit this structure by \emph{reverse absorption}. Iterating the resulting dichotomy between non-periodic anticoncentration and structured concentration proves that every subset of \[ \mathbb Z_k\setminus\{0\}, \qquad k=\prod_{i=1}^{s}p_i^{e_i}, \qquad \sum_{i=1}^{s}e_i\leq L, \qquad p_1<\cdots

Classification of Fourier summation formulas on a horizontal strip

math.CA

math.CV

math.NT

We extend the classification of Fourier summation formulas to the setting in which the measure $\mu$ is supported on a strip of finite width in $\mathbb{C}$. This broader framework encompasses important examples, including the Guinand--Weil explicit formulas for functions in the Selberg class, which lie beyond the scope of the previous classification. We study identities of the form \begin{align*} \sum_{n\geq0} a(\lambda_n)\varphi(\lambda_n)=\int_{\mathbb{R}} \widehat{\varphi}(t) \mathrm{d}\nu(t)+\sum_{\gamma\in A} b(\gamma)\widehat{\varphi}(\gamma), \end{align*} valid for every $\varphi\in \mathbb{C}^\infty_c(\mathbb{R})$, where $\widehat{\varphi}$ denotes the Fourier transform, $a:\{\lambda_n\}_{n\geq0}\subset\mathbb{R}\rightarrow\mathbb{C}$ is a function of finite exponential growth, $\nu$ is a Borel measure on $\mathbb{R}$ and $\eta=\sum_{\gamma\in A} b(\gamma)\delta_\gamma$ is a discrete measure supported on such a strip, with both $\nu$ and $\eta$ of polynomial growth. We prove that these summation formulas are in correspondence with almost periodic meromorphic Nevanlinna functions on the upper half-plane. More precisely, we characterize such formulas in terms of the singularities and boundary behavior of these functions, and conversely show that every function in this class gives rise to a unique Fourier summation formula of the above type.

Introduction to Universal Equations and Characteristic-free Resolution

math.AG

math.NT

Recently, we announced a proof of a characteristic-free resolution of singularities. This is a survey article on the proof. We motivate the approach, describe the new ideas, and introduce the proof in the work.

Mutation-preserving generalized cluster algebras and Laurent mutation invariants

math.RA

math.AC

math.NT

We introduce mutation-preserving generalized cluster algebras, for which the generalized cluster mutation in each direction is independent of the seed in the mutation equivalence class. We classify all the irreducible generalized cluster algebras with this property. Then, a Markov-type Diophantine equation $x^2+y^2+z^2+2yz=kxyz$ is studied, which has a structure of the mutation-preserving generalized cluster algebra. We prove that positive integer solutions exist if and only if $1\leq k\leq 5$ and determine all mutation orbits of these solutions. In particular, multiple orbits occur for each $k=1,3$, whereas the solutions form a single orbit for each $ k=2,4,5$. We also prove a conjecture proposed by Chen-Li on Laurent mutation invariants of rank $3$ cluster algebras with irreducible sign-equivalent exchange matrices, showing that every Laurent mutation invariant is essentially a polynomial in the corresponding basic invariant.

Finite monodromy groups in degenerating families and the stability degree of curves

math.AG

math.NT

We compute the stability degree of curves of genus g and show that it is equal to the classical Minkowsky bound. We also compute the stability degree of semi-abelian varieties with prescribed toric and abelian ranks. The proof uses a specialization result for finite monodromy groups in degenerating families, obtained from a variant of Krasner's lemma, together with an explicit construction at the prime 2.

Poincar\'e \`a la Makdisi

math.AG

math.NT

We show how to extend Makdisi's algorithms to compute explicitly with the Poincar\'e torsor on the Jacobian of an algebraic curve.

On properties of the generalized Davenport Expansion

math.NT

v2

We study the continuity properties of a generalized Davenport Fourier expansion we recently discovered, by imposing conditions on the coefficients. We also put our expansion into perspective from the position of Appell sequences.

On the natural density of integers $n$ for which $\sigma(kn+r_1) >\sigma(kn+r_2)$

math.NT

v3

For any positive integer $n$, let $\sigma(n)=\sum_{d\mid n} d$. In 2020, M. Kobayashi and T. Trudgian showed that the natural density of positive integers n with $\sigma(kn+r_1) \geq \sigma(kn+r_2)$ is between 0.053 and 0.055. In this paper, we extend their result. For integers $k>r_1>r_2\geq 0,$ we provide an estimate on the natural density of positive integers $n$ for which $\sigma(kn+r_1) > \sigma(kn+r_2)$. We also calculate some special cases with certain $k,r_1$ and $r_2$. We also compute explicit bounds for specific $k,r_1,r_2$ to illustrate the variation of density.

Class numbers and integer points on some Pellian surfaces

math.NT

v2

We provide an estimate for the number of nontrivial integer points on the Pellian surface $t^2 - du^2 = 1$ in a bounded region. We give a lower bound on the size of fundamental solutions for almost all $d$ in a certain class, based on a recent conjecture of Browning and Wilsch about integer points on log K3 surfaces. We also obtain an upper bound on the average of class number in this class, assuming the same conjecture.

On the Iwasawa Invariants of Mazur--Tate elements of elliptic curves at additive primes

math.NT

v3

We investigate the $\lambda$-invariants of Mazur--Tate elements of elliptic curves defined over the field of rational numbers at primes of additive reduction. We explain their growth and how these invariants relate to other better understood invariants depending on the potential reduction type. We give examples and a conjecture for the additive potentially supersingular case, supported by computational data from Sage in this setting. Further, we extend our results to $\lambda$-invariants of Mazur--Tate elements of cuspidal Hecke eigenforms associated with potentially ordinary $p$-adic Galois representations.

Liouville function, von Mangoldt function and norm forms at random binary forms

math.NT

v2

We analyze the average behavior of various arithmetic functions at the values of degree $d$ binary forms ordered by height, with probability $1$. This approach yields averaged versions of the Chowla conjecture and the Bateman-Horn conjecture for random binary forms. Furthermore, we show that the rational Hasse principle holds for almost all Ch\^atelet varieties defined by a fixed norm form of degree $e$ and by varying binary forms of fixed degree $d$, provided $e$ divides $d$. This proves an average version of a conjecture of Colliot-Th\'el\`ene.

On the Effective Non-vanishing of Hecke--Maass $L$-functions at Special Points

math.NT

v2

In this paper, we consider the non-vanishing problem for the family of special Hecke--Maass $L$-values $ L (1/2+it_f, f) $ with $f (z)$ in an orthonormal basis of (even or odd) Hecke--Maass cusp forms of Laplace eigenvalue $1/4 + t_f^2$ ($t_f > 0$). We prove that 20% of $L (1/2+it_f, f)$ for $ t_f \leqslant T$ do not vanish as $T \rightarrow \infty$. For comparison, it is known that the non-vanishing proportion is at least 25% for the central $L$-values $L (1/2, f)$. Further, 20% may be raised to 50% conditionally on the generalized Riemann hypothesis. Moreover, we prove non-vanishing results on the short interval $|t_f-T| \leqslant T^{\mu}$ for any $0 < \mu < 1$.

On the $P(t)$-adic Littlewood Conjecture in Characteristics $\ell \equiv 3\pmod{4}$

math.NT

math.CO

math.DS

v3

Given a prime $p$, the $p$-adic Littlewood Conjecture stands as a well-known arithmetic variant of the celebrated Littlewood Conjecture in Diophantine Approximation. In the same way as the latter, it admits a natural function field analogue depending on the choice of an irreducible polynomial $P(t)$ with coefficients in a field $\mathbb{K}$. This analogue is referred to as the $P(t)$-adic Littlewood Conjecture ($P(t)$-LC for short). $P(t)$-LC is proved to fail for any choice of irreducible polynomial $P(t)$ over any ground field $\mathbb{K}$ with characteristic $ \ell \equiv 3\pmod{4}$. The counterexample refuting it is shown to present a local arithmetic obstruction emerging from the fact that -1 is not a quadratic residue modulo a prime $\ell\equiv 3\pmod{4}$. The theory developed elucidates and generalises all previous approaches towards refuting the conjecture. They were all based on the computer-assisted method initiated by Adiceam, Nesharim and Lunnon (2021) which has been able to establish that $P(t)$-LC fails in some small characteristics (essentially up to 11). This computer-assisted method is, however, unable to provide a general statement as it relies on ad hoc computer verifications which, provided they terminate, refute $P(t)$--LC in a given characteristic. This limitation is overcome by exhibiting an arithmetic obstruction to the validity of $P(t)$--LC in infinitely many characteristics. The existence of arithmetic obstructions within the context of $P(t)$--LC leaves the remaining case of odd characteristics $ \ell\equiv 1\pmod{4}$ dependent on their determination. This is shown to hold in an effective and explicit way.

Erd\H{o}s-Wintner theorem for linear recurrent bases

math.NT

v3

Let $(G_n)_{n\geqslant 0}$ be a linear recurrence sequence defining a numeration system and satisfying mild structural hypotheses. For real-valued G-additive functions (additive in the greedy G-digits), we establish an Erd\H{o}s-Wintner-type theorem: convergence of two canonical series (a first-moment series and a quadratic digit-energy series) is necessary and sufficient for the existence of a limiting distribution along initial segments of the integers. In that case, the limiting characteristic function admits an explicit infinite-product factorization whose local factors depend only on the underlying digit system. We also indicate conditional extensions of this two-series criterion to Ostrowski numeration systems with bounded partial quotients and to Parry $\beta$-expansions with Pisot-Vijayaraghavan base $\beta$.

Discovering hypergeometric series with harmonic numbers via Wilf-Zeilberger seeds

math.NT

math.CO

v2

By extracting coefficients from Wilf-Zeilberger pairs with respect to auxiliary parameters, we discover many nontrivial hypergeometric series involving harmonic numbers. In particular, we obtain a rapidly convergent series for the depth-two multiple zeta value $\zeta(5,3)$, which appears to be the first result of its kind in the literature. We also experiment with the Hilbert-Poincare series attached with a WZ-seed and conjecture that it admits a remarkably simple form, suggesting the presence of an underlying graded algebra structure behind WZ-seeds.

Congruences between Klingen-Eisenstein series and cusp forms on $\mathrm{U}_{n,n}$

math.NT

v3

In this paper, we study congruences of Hecke eigenvalues between Hermitian Klingen-Eisenstein series and cusp forms on the unitary group $\mathrm{U}_{n,n}$ defined over the rational number field $\mathbb{Q}$. We also prove the rationality of the space of Hermitian automorphic forms and the integrality of their Hecke eigenvalues.

Proportion of periodic points in reduction of polynomials

math.NT

v2

In 2014, Juul, Kurlberg, Madhu and Tucker asked the following: given $K$ a number field and $f$ a rational function with coefficients in $K$, if $f_\mathfrak{p}$ denotes the reduction of $f$ modulo a prime ideal $\mathfrak{p}$ in the ring of integers of $K$, what is the limit inferior of the proportion of periodic points of $f_\mathfrak{p}$ when the norm of $\mathfrak{p}$ goes to infinity? Recent results of Fari\~na-Asategui and the author show that when $f$ is a polynomial of degree $d \geq 2$ non-linearly conjugate over $\mathbb{C}$ to a Chebyshev polynomial then the limit is zero. In this article, we address the remaining cases to give a complete classification of the problem in the case of polynomials.

Iwasawa invariants of Bertolini--Darmon theta elements

math.NT

v2

In this article we study the Iwasawa invariants of Bertolini--Darmon theta elements in the anticyclotomic $\mathbb{Z}_p$-extension of an imaginary quadratic field $K$ for weight two modular forms $f\in S_2(\Gamma_0(N))$. We cover both the cases of ordinary and non-ordinary reduction at a prime $p$. Our results extend the known results of Pollack--Weston and Gajek-Leonard--Lei in the cyclotomic setting.

Harder's conjecture and Hermitian automorphic forms

math.NT

v2

Let $k\geq 4$ and $j\geq 2$ be integers with $j$ even. Harder's conjecture predicts a congruence between a primitive elliptic Hecke cusp form of weight $2k+j-2$ and a degree $2$ vector-valued Siegel Hecke cusp form of weight ${\det}^{k}\mathrm{Sym}^{j}$. In this paper, we prove this conjecture under several explicit arithmetic hypotheses on a congruence prime and an auxiliary imaginary quadratic field. We construct Hermitian spin lifts from degree $2$ Siegel cusp forms to Hermitian cusp forms on $\mathrm{U}_{2,2}$, and use congruences between Hermitian Klingen-Eisenstein lifts and Hermitian cusp forms to obtain the congruence predicted by Harder's conjecture.

Primitive Quadratic Polynomials in Additive Coset Families

math.NT

v2

Let \(q\) be an odd prime power. For \(\mu\in\mathbb F_q^\times\) and an additive coset \(\bar\alpha\in\mathbb F_{q^2}/\mathbb F_q\), consider the family \[ \{x^2+\mu x-\alpha:\alpha\in\bar\alpha\}, \] where each polynomial is regarded over its coefficient field \(\mathbb F_q(\alpha)\). We prove that, for \[ q\notin{7,11,13,19,29,31,41,43}, \] every such family contains a primitive polynomial. For the zero coset, the result follows from Cohen's prescribed-trace theorem. For a nonzero coset, after a natural normalization the roots are parameterized by two smooth projective conics arising from the two \(q^2\)-Frobenius eigenspaces in \(\mathbb F_{q^4}\). Their affine \(\mathbb F_q\)-point counts, \(q-1\) and \(q+1\), correspond respectively to the reducible and irreducible members of the family. On the irreducible root conic, \(q^2\)-Frobenius induces a fixed-point-free involution on rational points. Passing to the quotient conic allows the relative norm of the root function to descend to a rational function. Tensor induction then yields order-sensitive character-sum bounds with constants \(6,8\) on the root conic and the sharper constants \(2,4\) after norm descent. Combining these estimates with a double-core prime sieve and an exact residue-cover verification completes the finite range. As consequences, Gow and McGuire's Conjecture~1 holds for every odd prime power \(q\ne13\), while their Conjectures~2 and~3 hold for every odd prime power \(q>43\); the threshold \(43\) is sharp.

A family of level-transitive groups with positive fixed-point proportion and positive Hausdorff dimension

math.GR

math.NT

v3

This article provides a method to calculate the fixed-point proportion of any iterated wreath product acting on a $d$-regular tree. Moreover, the method applies to a generalization of iterated wreath products acting on a $d$-regular tree, which are not groups. As an application of this generalization, a family of groups of finite type of depth $2$ acting on a $d$-regular tree with $d \geq 3$ and $d \neq 2 \pmod{4}$ is constructed. These groups are self-similar, level-transitive, have positive Hausdorff dimension, and exhibit a positive fixed-point proportion. Unlike other groups with a positive fixed-point proportion known in the literature, the fixed-point proportion of this new family can be calculated explicitly. Furthermore, the iterated Galois group of the polynomial $x^d + 1$ with $d \geq 2$ appears in this family, so its fixed-point proportion is calculated.

Bialgebraic varieties of the Gamma function

math.CV

math.NT

v2

We characterize the bialgebraic varieties of the $\Gamma$ function, that is, if $V,W\subseteq\mathbb{C}^n$ are irreducible affine algebraic variety which satisfy $\dim V =\dim W$ and $\Gamma(V)\subseteq W$, then the equations defining $V$ (and hence also $W$) either give an equality between coordinates, or set some coordinates to be constant. We also classify the case where $V$ and $W$ have the same dimension as varieties over the field of algebraic functions.

Non-projective K3 surfaces with real or Salem multiplication

math.AG

math.CV

math.DS

math.NT

v2

We determine the Hodge endomorphism algebras of non-projective complex K3 surfaces (and more generally, hyperk\"ahler manifolds). We show that they are either totally real fields or number fields generated by Salem numbers. This is unlike the projective case, where the endomorphism fields are either totally real or CM. We also develop precise existence criteria and explore the relations to number theory and dynamics.

Branch iterated Galois groups with positive fixed-point proportion and positive Hausdorff dimension

math.GR

math.NT

v3

In this article we prove that the arithmetic profinite iterated monodromy group of a post-critically infinite unicritical polynomial is regular branch (and so of positive Hausdorff dimension), and has positive fixed-point proportion when the degree is odd. The examples are instances of a bigger family of regular branch groups constructed in this article, whose fixed-point proportion can be computed explicitly and is positive in many cases. This gives the first examples outside the binary rooted tree where a level-transitive group has positive Hausdorff dimension and positive fixed-point proportion, answering in the negative a question of Jones (2008).