Number Theory [math.NT]

A Note on Diophantine Approximation with Restricted Denominators

math.NT

In this note we explore rational approximations to irrational numbers whose denominators are restricted to a subset of the natural numbers. We introduce a specific notion of density for such subsets and use it to establish a restricted analog of a theorem of Dirichlet's.

A Fibonacci theorem for Collatz trajectories via modular graph structure

math.NT

Let $T(n)=n/2$ if $n$ is even and $T(n)=(3n+1)/2$ if $n$ is odd. We prove that for each $m\ge1$, exactly $F(m+1)$ odd integers in $\{1,\ldots,2^m\}$ have the property that their orbit under $T$ avoids the residue class $4\pmod6$ during steps $2,\ldots,m$, where $F(m+1)$ is the $(m+1)$-th Fibonacci number; the proportion decays at rate $(\varphi/2)^m$, $\varphi=(1+\sqrt{5})/2$. The proof uses the directed graph $G$ of Collatz transitions modulo $6$ and its unique absorbing strongly connected component $G'=G[\{1,2,4,5\}]$. Removing vertex $4$ from $G'$ yields a subgraph of spectral radius $\varphi$, against $\rho(G')=2$; the Fibonacci count follows from this spectral gap. We construct an explicit bijection $\Psi_m:\{1,\ldots,6\cdot2^m\}\to\mathcal{P}_m(G)$ encoding integers as directed paths in $G$. We further show that no vertex of $G'$ is dispensable: removing any single vertex reduces the spectral radius strictly below $2$, with hierarchy $1<\sqrt{2}<\varphi<2$. In particular, every positive cycle of $T$ must visit residue class $2\pmod6$, and a flow conservation identity forces this class to account for more than $18\%$ of the steps in any such cycle.

Generalized polygonal number representations

math.NT

Let $r_n^{{k}}(N)$ be the number of representations of $N$ as the sum of $n$ generalized $k$-gonal numbers and $r_n^{\square}(N)$ be the number of representations of $N$ as the sum of $n$ squares. By modifying the Heath-Brown circle method, we prove a closed-form asymptotic relation between $r_n^{{k}}(N)$ and $r_n^{\square}(8(k-2)N+n(k-4)^2)$ for any $k\geq3$ and any $n\geq4$. Consequently, we determine the asymptotics of $\sum_{N\leq x}r_4^{{k}}(N)^2$ and, via a result of Bringmann, Jang, Kane, and Tse, prove a similar closed-form asymptotic relation between the number $r_{4,+}^{{k}}(N)$ of representations of $N$ as the sum of four ordinary $k$-gonal numbers and $r_4^{\square}(8(k-2)N+n(k-4)^2)$. We also show that if $4\mid k$, any strictly increasing infinite subsequence on which $r_{4,+}^{{k}}$ is bounded converges $2$-adically to $(k-4)^2/(4-2k)\in\mathbb{Z}_2$, supplementing a result of Meng and Sun, and if $4\nmid k$, there is no strictly increasing infinite subsequence on which $r_{4,+}^{{k}}$ is bounded.

Explicit generators of the space of modular forms

math.NT

Let $S_{\kappa}$ be the space of cusp forms of weight $\kappa$ and level one, and let $S_{\kappa}^{\ast}$ denote its dual space. In this paper, we find explicit spanning subsets of $S_{\kappa}$ consisting of Rankin-Cohen brackets of Eisenstein series and explicit subsets of periods that span $S_{\kappa}^{\ast}$.

On the Schematic and Analytic Constructions of the Local Langlands Category

math.NT

math.AG

We prove a folklore conjecture identifying two categorical enhancements of the automorphic side of the local Langlands correspondence. Concretely, we construct an equivalence for torsion coefficients between the category considered by Zhu and the one considered by Fargues-Scholze. To achieve this, we revisit Scholze's analytification functor and apply the first author's theory of kimberlites. We discuss unconditional applications to the splitting of the semi-orthogonal decomposition on BunG, and the compatibility with Eisenstein functors. Finally, we formulate a linearity conjecture for our functor with which we can show new vanishing statements for the cohomology of local Shimura varieties, and perverse exactness statements for Hecke operators.

On the Argument of the Lerch, Chowla--Selberg Formula and CM Values of $\eta(\tau)$

math.NT

We give a completely explicit Lerch, Chowla--Selberg formula without absolute values of the Dedekind eta function, and give some applications, in particular to the argument of individual CM values of the eta function. We also give precise conjectures on these CM values and a large table supporting them.

Diagonal Condition in Multiplication Table of $\displaystyle {\, \mathbb{Z} [i] / (\alpha) }$

math.NT

math.RA

Multiplication table of a ring with identity 1 is said to have the diagonal condition if 1s occur only on the main diagonal. In this paper, we study the diagonal condition in the ring of Gaussian integers $\mathbb{Z}[i]$. Furthermore, we also find the Gaussian integers $\alpha$ so that the rings of Gaussian integers modulo $\alpha$ satisfy the diagonal condition.

Planes in quadratic 4-space and associated shapes of lattices

math.NT

Let $Q=-x_1^1-x_2^2-x_3^2+x_4^2$ be the standard signature $(1,3)$ quadratic form. To each non-degenerate rational plane $L$ in the four-dimensional quadratic space $(\mathbb{Q}^4,Q)$ we can naturally attach a periodic geodesic on the Bianchi orbifold $\mathrm{SL}_2(\mathbb{Z}[i])\backslash \mathbb{H}^3$ which records the position of $L$ in the Grassmannian up to integer rotations. Moreover, each such plane $L$ defines a CM point and a periodic geodesic on the modular curve through restriction of $Q$ to $L$ and its orthogonal complement. Lastly, the local isomorphism between $\mathrm{SO}_{1,3}(\mathbb{R})$ and $\mathrm{SL}_2(\mathbb{C})$ gives rise to a further periodic geodesic on the Bianchi orbifold. In this article, we exhibit a natural coupling of all the above objects and prove simultaneous equidistribution under a Linnik-type splitting condition. The main ingredient is the classification of joinings of higher-rank diagonalizable actions on homogeneous spaces due to Einsiedler and Lindenstrauss.

Majorization and Gaussian-Mass Maximality for Construction-A Lattices from Binary Self-Dual Codes

math.NT

cs.IT

math.CO

math.IT

math.MG

Regev and Stephens-Davidowitz conjectured that the integer lattice maximizes Gaussian mass among integral lattices of a given rank. We prove this, including the equality case, for all unimodular Construction-A lattices arising from binary self-dual codes. The proof reduces the theta-series inequality to a sharp majorization statement for codes: if $C$ is a binary self-dual $[2k,k]$ code, then the half-weight distribution of $C$ is dominated in convex order by $\operatorname{Bin}(k,1/2)$, which is the corresponding distribution for the repetition-code model of $\mathbb{Z}^{2k}$. Indeed, after putting $C$ in systematic form $[I\mid A]$, self-duality gives $AA^T=I$ over $\mathbb{F}_2$, so for a uniformly random message $a$ the two weights $\wt(a)$ and $\wt(aA)$ have the same binomial law. The half-weight of the resulting codeword is their average, and Jensen's inequality then gives convex-order domination. Applied to the convex test functions that build the theta series, this yields a sum-of-squares formula for the Gaussian-mass gap; applied to hinge functions, it gives coefficientwise nonnegativity of the reduced gap polynomial.

The Fontaine operator at cusps of modular curves at infinite level

math.NT

We explicitly calculate Pan's geometric intertwining operator and the Fontaine operator on modular curves at infinite level via $q$-expansions, using Heuer's theory of cusps at infinite level. We prove that these two operators coincide on such expansions up to an explicit constant. As an application, we combine this result with $q$-expansion principles to provide a new proof of Pan's theorem that these operators are equal on the locally analytic vectors of completed cohomology of modular curves.

Pair correlation of $\alpha n^{\theta}$ for random $\theta$

math.NT

For fixed $\alpha>0$, we show that the sequence $\{\alpha n^{\theta}\}$ has Poissonian pair correlation for Lebesgue-almost all $\theta \in (0,\frac{3}{5})\cup(3,\infty)$. This improves a result of Technau and Yesha, who proved the same for almost all $\theta>7$. The approach of Technau and Yesha was based on a repulsion principle, which roughly allows one to estimate the variance of the pair correlation function using the fourth derivative of the phase. In our approach, we split the $\theta$-integration in the variance into many short intervals and show that most of the integrals can be estimated using the first derivative. The problem is then reduced to several counting estimates, which we prove using moments of the Riemann zeta function and exponent pairs.

A $q$-Analogue of a Supercongruence Related to Van Hamme's (B.2) Supercongruence

math.NT

Motivated by the recent work of Li and Wang on parametric generalizations of Van Hamme's $(C.2)$ supercongruence in the $q$-setting, we establish $q$-analogues of a supercongruence related to Van Hamme's $(B.2)$ supercongruence, recently obtained by the authors. In particular, we derive parametric extensions of these $q$-supercongruences by constructing suitable pairs of hypergeometric functions through the $q$-WZ method.

Some new results on determinants and permanents

math.NT

In this paper we confirm several conjectures on determinants and permanents. For example, we prove that for any prime $p\equiv3\pmod 4$ the number $2\det[a_{jk}]_{0\le j,k\le (p-1)/2}$ is congruent to a square modulo $p$, where $a_{jk}=(\frac{j+k}{p})+(\frac{j^2+k^2}{p})$ with $(\frac{\cdot}{p})$ the Legendre symbol. We also prove that ${\rm per}[j^{k-1}]_{1\leq j,k\leq n-1}\equiv0\pmod n$ for any integer $n>1$ with $n\not\equiv2\pmod 4$.

A note on partitions in the image of pre$_2$

math.CO

math.NT

Devnani and Eyyunni recently studied the maps pre$_k$ on integer partitions, which arise from applying elementary symmetric polynomials to the parts of a partition. They asked whether there exists $n \ge 1$ such that exactly one partition of $n$ lies in the image of pre$_2$. We show that this occurs only for $n$ in {1, 2, 4}, and that for all $n \ge 5$, at least two partitions of n are in the image of pre$_2$.

On maximal Dynkin friezes

math.CO

math.NT

math.RT

The maximal entries of Dynkin friezes over the positive integers have recently been determined for all finite Dynkin types except $B_n$ and $D_n$. In this note, we explicitly construct large positive integral points on affine cluster varieties of type $B_n$ (resp. $D_n$), giving rise to friezes of types $B_n$ (resp. $D_n$) over the positive integers with largest entries $F_{n+1} F_{n+2} - 1$ (resp. $F_n F_{n+1} - 1$) where $F_k$ is the $k$-th Fibonacci number. We conjecture that these are the maximal possible entries for their respective Dynkin types.

A conjecture of Glasby, Praeger, and Unger on permutations of $S_n$

math.CO

math.NT

We prove a conjecture of Glasby, Praeger, and Unger concerning the symmetric group $S_{n}$. Let $\pi_{n}$ denote the proportion of elements of $S_{n}$ that are pre-$p$-cycles for some prime $p\in[2, n-3]$. We prove that $\pi_{n} > 1/3$ for all $n\geq 8$.

On $\mathbb J$-strata with Parahoric Stabilizers in Affine Deligne-Lusztig Varieties

math.AG

math.NT

In this paper, we study the $\mathbb J$-stratification of basic affine Deligne-Lusztig varieties for a minuscule cocharacter $\mu$. This stratification was introduced by Chen-Viehmann and has been expected to serve as an interesting tool for studying basic loci in Shimura varieties. We parametrize the $\mathbb J$-strata whose stabilizers in the Frobenius-twisted centralizer group are parahoric by constructing a natural bijection to combinatorial invariants called small cocharacters. We further prove that the cardinality of these sets is equal to that of a certain subset of the Weyl group orbit of $\mu$. A relationship with the weakly fully Hodge-Newton decomposability of Chen-Tong is also discussed.

Cassini's identity for k-bonacci numbers

math.CO

cs.DM

math.NT

Efforts have been made to extend Cassini's identity (also known as Simson's identity) to the k-step or k-bonacci numbers for decades. These efforts have lacked both completeness of result and simplicity of proof, and this question remains open and relevant. In this note, we offer a definitive solution as well as the generalization of both Catalan's and Vajda's identities.

An Iwasawa-type asymptotic formula for multiple $\mathbb{Z}_p$-coverings of graphs

math.CO

math.NT

For a possibly ramified $\mathbb{Z}_p^d$-covering of connected graphs, we establish an Iwasawa-type asymptotic formula for the growth of the $p$-adic valuations of the complexities. The formula is expressed as a polynomial in $n$ and $p^n$ with explicit leading coefficients $\lambda$ and $\mu$; in particular, we eliminate the error term of the form $O(p^{(d-1)n})$ appearing in earlier work. We then establish a Kida-type formula describing the behavior of $\lambda$ under a $p$-covering between $\mathbb{Z}_p^d$-coverings, assuming $\mu = 0$. Finally, for any fixed $p$ and integer $d \geq 2$, we construct an unramified $\mathbb{Z}_p^d$-covering of a bouquet with prescribed $\lambda$- and $\mu$-invariants.

On the prime field spherical restriction conjecture in four dimensions: breaking the Stein-Tomas exponent and applications

math.CA

math.CO

math.NT

We introduce a method based on horizontal slicing and a plane-then-line stopping-time decomposition for the prime field spherical restriction problem in four dimensions. The method is designed to overcome the Kloosterman obstruction in the spherical Bochner--Riesz kernel by decomposing each critical horizontal slice into rich-plane, rich-line-and-poor-plane, and poor-line-and-poor-plane components, which are then treated by distinct affine-geometric mechanisms. As a quantitative consequence of this structural method, we prove that \[ R_{S_j}^*(2\to r)\lesssim 1 \] for every nonzero sphere $S_j\subset\mathbb{F}^4$ and every $r>23/7$. As an application, we obtain the first improvement over the twenty-year-old $(d+1)/2$ threshold in the four-dimensional prime field Erd\H{o}s-Falconer distance problem.

Complete Families of Curves in the Moduli Space of Genus g Curves

math.AG

math.NT

Let $\mathcal{M}_g$ be the moduli space of smooth curves of genus $g$. The image of a non-constant morphism from a curve $T$ to $\mathcal{M}_g$ is a curve in $\mathcal{M}_g$. By work of Gonz\'alez D\'iez and Harvey, for every integer $g \geq 3$, there exists a complete curve in $\mathcal{M}_g$. Here we generalize the construction to produce new complete curves in $\mathcal{M}_g$. We also find a formula for the genus of each curve $T$ using Galois theory for function fields.

Half of finite abelian groups are unit groups

math.GR

math.NT

math.RA

A group is called realizable if it is the group of units in a ring with identity. The classification of realizable groups is a difficult open problem -- originally posed by L\'aszl\'o Fuchs -- and is an active area of research. Realizable groups seem rare, but their proportion within a fixed class of groups (cyclic, dihedral, finite abelian, etc.) varies. To quantify this proportion, we introduce the realizable density of a class of finite groups as an analog of natural density for subsets of the natural numbers. The realizable finite cyclic groups and the realizable finite abelian $p$-groups for $p$ odd have been classified; we prove that their realizable densities are 1/4 and 0, respectively. The realizable finite abelian 2-groups -- and more generally the realizable finite abelian groups -- have not been fully classified, and these special cases appear quite difficult. Nonetheless, we prove that the realizable density of finite abelian 2-groups is 1 and the realizable density of finite abelian groups is 1/2. Our work combines existing classification theorems for realizable groups with tools from analytic number theory.

The Abel--Jacobi map over the twistor-$\mathbb{P}^1$ and real local class field theory

math.RT

math.AG

math.NT

We study the Abel--Jacobi map over the twistor-$\mathbb{P}^1$ in the context of Scholze's geometrisation of the real local Langlands correspondence. In a similar spirit to a result of Fargues over the Fargues--Fontaine curve, we prove that pullback along the Abel--Jacobi map induces an equivalence on Picard groupoids and use this to recover local class field theory for archimedean local fields.

On transformation formulas of $p$-adic hypergeometric functions

math.NT

v3

In this paper, we review hypergeometric functions $\mathscr{F}^{\rm Dw}_{\underline{a}}(t),$ $\mathscr{F}^{(\sigma)}_{\underline{a}}(t)$ and $\widehat{\mathscr{F}}^{(\sigma)} _{\mathbf{a}}(t)$ together with their conjectured transformation formulas, and show that one transformation formula implies the other.

Sumsets and entropy revisited

math.NT

math.CO

v3

The entropic doubling $\sigma_{\operatorname{ent}}[X]$ of a random variable $X$ taking values in an abelian group $G$ is a variant of the notion of the doubling constant $\sigma[A]$ of a finite subset $A$ of $G$, but it enjoys somewhat better properties; for instance, it contracts upon applying a homomorphism. In this paper we develop further the theory of entropic doubling and give various applications, including: (1) A new proof of a result of P\'alv\"olgyi and Zhelezov on the ``skew dimension'' of subsets of $\mathbf{Z}^D$ with small doubling; (2) A new proof, and an improvement, of a result of the second author on the dimension of subsets of $\mathbf{Z}^D$ with small doubling; (3) A proof that the Polynomial Freiman--Ruzsa conjecture over $\mathbf{F}_2$ implies the (weak) Polynomial Freiman--Ruzsa conjecture over $\mathbf{Z}$.

Hyper-algebraic invariants of $p$-adic algebraic numbers

math.NT

v3

Let $p\geq 3$ be a prime. The hyper-algebraic elements in the $p$-adic Mal'cev-Neumann field $\mathbb{L}_p$ form an algebraically closed subfield $\mathbb{L}_p^{\operatorname{ha}}$. In this article, we clarify the relations among the fields $\mathbb{L}_p^{\operatorname{ha}}$, $\overline{\mathbb{Q}}_p$ and $\mathbb{C}_p$. We introduce two arithmetic invariants (hyper-tame index and hyper-inertia index) of hyper-algebraic elements and study the relation between these invariants and classical arithmetic invariants of $p$-adic algebraic numbers. Finally, we give a criterion for hyper-algebraic elements to be tamely ramified over $\mathbb{Q}_p$.

A proof of Sugawara's conjecture on Hasse-Weber ray class invariants

math.NT

v5

In this paper a proof is given of Sugawara's conjecture from 1936, that the ray class field of conductor $\mathfrak{f}$ over an imaginary quadratic field $K$ is generated over $K$ by a single primitive $\mathfrak{f}$-division value of the $\tau$-function, first defined by Weber and then modified by Hasse in his 1927 paper giving a new foundation of complex multiplication.

On unsolvable equations of prime degree

math.NT

math.HO

v3

Kronecker observed that either all roots or only one root of a solvable irreducible equation of odd prime degree with integer coefficients are real. This gives a possibility to construct specific examples of equations not solvable by radicals. A relatively elementary proof without using the full power of Galois theory is due to Weber. We give a rather short proof of Kronecker's theorem with a slightly different argument from Weber's. Several modern presentations of Weber's proof contain inaccuracies, which can be traced back to an error in the original proof. We discuss this error and how it can be corrected.

On $\mu$-invariants and isogenies for abelian varieties over function fields

math.NT

math.AG

v3

We give several formulas for how Iwasawa $\mu$-invariants of abelian varieties over unramified $\mathbb{Z}_{p}$-extensions of function fields change under isogeny. These are analogues of Schneider's formula in the number field setting. We also prove that the validity of the Birch--Swinnerton-Dyer conjecture (including the leading coefficient formula) over function fields is invariant under isogeny, without using the result of Kato--Trihan.

Vanishing of Witten zeta function at negative integers

math.NT

math.CA

v5

We introduce a new analytic method for studying Witten zeta function of a root system $\Phi$, based on a refined manipulation of an integral representation involving the Hurwitz zeta function. As an application, we prove high-order vanishing at negative even integers. This technique also describes non-trivially, the arithmetic nature of the leading term, in which the highest root of $\Phi$ makes a surprising appearance.

Galois Action and Localization in Number Fields

math.NT

math.AC

v5

For a Galois number field $K$, the Galois group $\text{Gal}(K/\mathbb{Q})$ acts on the class group $\text{Cl}_K$ in a very natural way: $\sigma\cdot[I]=[\sigma(I)]$ for any $\sigma \in \text{Gal}(K/\mathbb{Q})$, $[I]\in \text{Cl}_K$. In this paper, we will explore how the unique properties of this group action work together to elucidate the relationship between these two groups -- developing and expanding upon some known results from a new perspective. To this end, we explore the class groups of localizations of the ring of integers $\mathcal{O}_K$. These turn out to be powerful tools for understanding $\text{Cl}_K$ and overrings of $\mathcal{O}_K$. The paper concludes with some interesting observations about normset arithmetic and complexity -- topics intimately related to this action.

Superelliptic degree sets over Henselian fields

math.NT

math.AG

v3

Let $K$ be a discretely valued Henselian field. Creutz and Viray show that the degree set of a curve $C$ over a $p$-adic field can miss infinitely many multiples of the index of $C$, a phenomenon that cannot occur over finitely generated fields. For curves $C/K$ with a cyclic cover of $\mathbb{P}^1$ of prime degree, under mild assumptions, we completely characterize how and when this behavior can occur, and give a method for computing degree sets of curves of this type.

Fourier coefficients of Eisenstein series on ${\rm SO}(3,n+1)$

math.NT

math.RT

v5

We explicitly compute Fourier coefficients of Eisenstein series on the special orthogonal group $G={\rm SO}(3,n+1)$ over $\mathbb{Q}$ with $n\ge 2$ which splits everywhere at finite places. We show that it has a bounded denominator.

Prime ideal divisors of parametric recurrence sequences

math.NT

v2

We prove new arithmetic results for parametric linear recurrence sequences specialized at roots of unity, denoted by $(U_n(\zeta))_{n\geq 0}$. In particular, we obtain effective lower bounds for the largest prime ideal divisor and norm of the radical of the principal ideal generated by $U_n(\zeta)$. We further derive an effective upper bound for the $S$-part of $U_n(\zeta)$, showing that it is strictly smaller than a fixed power of its absolute norm for sufficiently large $n$.

An omega result for the least negative Hecke eigenvalue

math.NT

v2

We establish the existence of many holomorphic Hecke eigenforms $f$ of large weight $k$ for the full modular group, for which the least positive integer $n_f$ such that $\lambda_f(n_f)<0$ satisfies $n_f \ge (\log k)^{1-o(1)}.$ This is believed to be best possible up to the $o(1)$ term in the exponent, and improves on a result of Kowalski, Lau, Soundararajan and Wu, who showed that, when restricted to primes, the least prime $p$ such that $\lambda_f(p)<0$ can be as large as $(\log k)^{1/2+o(1)}$. We also discuss an extension of our result to primitive holomorphic cusp forms of weight $k$ and squarefree level $N\geq 1$.

On indefinite integral ternary quadratic forms

math.NT

v2

We resolve two problems pertaining to indefinite integral ternary quadratic forms, one highlighted by Margulis and the other initiated by Serre, both from 1990. To do so we develop tools for dealing with high ramification in problems involving sums over classes of such forms weighted by their diophantine invariants.

Arithmetic Bias in Mersenne Prime Exponents and the Divisor Structure of p-1

math.NT

v4

According to the classical Wagstaff heuristic, the probability that a Mersenne number $M_p=2^p-1$ is prime depends primarily on the size of the exponent $p$. We investigate whether the divisor structure of $p-1$ produces detectable secondary variations within this asymptotic framework. We introduce the normalized divisor parameter $S(p)=\log \tau(p-1)/\log\log p$, which measures the divisor complexity of p-1, including prime multiplicities. Using the currently known Mersenne prime exponents (excluding small cases), we compare $S(p)$ against nearby prime controls of comparable size. Across several complementary distribution-free methods, including percentile analysis, conditional likelihood estimation, and permutation tests, Mersenne prime exponents consistently exhibit elevated values of $S(p)$. To interpret this effect, we develop a heuristic framework based on the cyclotomic decomposition $2^{p-1}-1=\prod_{d|(p-1)}\Phi_d(2)$, in which divisors of $p-1$ generate effective modular constraint layers. This motivates a heuristic refinement of the Wagstaff model of the form $\Pr(M_p\ \text{prime}) \approx C(\log p)^{S(p)}/p$. The proposed refinement preserves the classical Wagstaff scale in the typical regime $S(p)\approx 1$, while suggesting that the finite-scale distribution of Mersenne prime exponents exhibits a weak arithmetic bias linked to the divisor structure of $p-1$.

Bogomolov property for modular Galois representations with nontrivial nebentypus

math.NT

v3

A field in which the (logarithmic) Weil height is bounded from below by a strictly positive constant is said to have the Bogomolov property (property (B)). Given a normalized eigenform $f\in S_k(\Gamma_0(N))$ Amoroso and Terracini proved (B) for the field "cut out" by the adelic representation associated to $f$ under some assumptions on $f$, generalizing the earlier work of Habegger on elliptic curves. In this paper we extend this result to the case of normalized eigenforms with nontrivial nebentypus character. We also introduce the notion of ADZ field, inspired by earlier work of Amoroso, David and Zannier, exhibiting a class of fields in which property (B) is preserved under (arbitrary) composition.

Lacunary recurrences and 2-adic properties of Eisenstein series

math.NT

v2

We study the rational coefficients that arise when the Eisenstein series $G_k$ is expressed as a polynomial in $G_4$ and $G_6$, proving a conjecture that gives an exact formula for their minimal 2-adic valuation in terms of the binary expansion of the weight. The proof uses lacunary recurrences for Eisenstein series and yields refined information about the first valuation levels. As an application, we prove irreducibility results for Faber polynomials associated to dyadic linear combinations of powers of Eisenstein series.

Lines in the prime number graph

math.NT

v3

The prime number graph is the set of points $(n,p_n)$ where $p_n$ denotes the $n^{\rm th}$ prime. Let $L(n)$ be the minimum number of straight line segments needed to cover the first $n$ points in this set. Let $B(n)$ be the largest number of points $(k,p_k)$ with $k\le n$ covered by a single line. Recently Sloane conjectured that $L(n) = O(n/\log n)$. We show that $L(n)=O(n \log \log n / \log n)$ and $B(n)\ge c\log n$ for a constant $c>0$ and all large $n$. Under RH we show that for large $n$ we have $B(n)=O(n^{3/4}(\log n)^{1/2})$ and $ L(n)\ge c' n^{1/4} (\log n) ^{-1/2}$ for some constant $c'>0.$

The Northcott Property for Composites of Number Fields of Bounded Degree

math.NT

v2

We prove that infinite Galois extensions of number fields with Galois group of finite exponent have the Northcott property. The main novelty of our approach lies in the application of a theorem of Segal on profinite groups.

On cyclotomic matrices related to Kloosterman sums over finite fields

math.NT

v2

Let $p$ be an odd prime and $\mathbb{F}_p$ be the finite field with $p$ elements. For any $a,b\in\mathbb{F}_p$, it is known that the Kloosterman sum $$K_p(a,b)=\sum_{x\in\mathbb{F}_p\setminus\{0\}}e^{\frac{2\pi i}{p}(ax+\frac{b}{x})}$$ can be viewed as a finite field analogue of certain Bessel function. In this paper, using the arithmetic properties of character sums over $\mathbb{F}_p$, we study some cyclotomic matrices involving Kloosterman sums. For example, we prove that the matrix $[K_p(1,i^2+j^2)]_{1\le i,j\le (p-1)/2}$ is singular if and only if $p\ge11$.

On the unit equation $\varepsilon+\delta=n$ in cubic fields

math.NT

v2

Let $n$ be an integer not equal to $-2$, $0$ or $2$. We consider the unit equation $\varepsilon + \delta = n$ in units $\varepsilon, \delta$ of cubic fields. We show that this equation has no solutions for 100% of cubic fields, when ordered by discriminant. This is consistent with a recent conjecture of the authors.

On the Quantum K-theory of Quiver Varieties at Roots of Unity

math.AG

hep-th

math-ph

math.MP

math.NT

math.RT

v4

Let $\Psi(\textbf{z},\textbf{a},q)$ a the fundamental solution matrix of the quantum difference equation of a Nakajima variety $X$. In this work, we prove that the operator $$ \Psi(\textbf{z},\textbf{a},q) \Psi\left(\textbf{z}^p,\textbf{a}^p,q^{p^2}\right)^{-1} $$ has no poles at the primitive complex $p$-th roots of unity $q=\zeta_p$. As a byproduct, we show that the iterated product of the operators ${\bf M}_{\mathcal{L}}(\textbf{z},\textbf{a},q )$ from the $q$-difference equation on $X$: $$ {\bf M}_{\mathcal{L}} (\textbf{z} q^{(p-1)\mathcal{L}},\textbf{a},q) \cdots {\bf M}_{\mathcal{L}} (\textbf{z} q^{\mathcal{L}},\textbf{a},q) {\bf M}_{\mathcal{L}} (\textbf{z} ,\textbf{a},q) $$ evaluated at $q=\zeta_p$ has the same eigenvalues as ${\bf M}_{\mathcal{L}} (\textbf{z}^p,\textbf{a}^p,q^p)$. Upon a reduction of the quantum difference equation of $X$ to the quantum differential equation over the field of finite characteristic, the above iterated product transforms into a Grothendiek-Katz $p$-curvature of the corresponding quantum connection whreas ${\bf M}_{\mathcal{L}} (\textbf{z}^p,\textbf{a}^p,q^p)$ becomes a certain Frobenius twist of that connection. In this way, we give an explicit description of the spectrum of the $p$-curvature of quantum connection for Nakajima varieties.