Number Theory [math.NT]

On the counting function of square-full numbers

math.NT

We study the distribution of square-full numbers under the assumptions of Riemann hypothesis and that the zeros of $\zeta(s)$ are simple. Thus the error term is improved to a considerable extent with an extra main term.

Regularised double shuffle relations for planar Arborified Zeta Values

math.NT

math.CO

We endow spaces of decorated planar rooted trees with new dendriform and tridendrifrom algebra structures and provide their combinatorial description. We then show that the planar counterparts of Arborified Zeta Values are algebra morphisms for these shuffle and quasi-shuffle products of planar rooted trees. We also prove an arborified version of Hoffman's regularisation relation for Arborified Zeta Values. We conjecture that those give every rational relation between Arborified Zeta Values and show that this conjecture implies the regularised double shuffle conjecture for Multiple Zeta Values.

On the Growth of Denominators of Simultaneous Best Diophantine Approximations in the Euclidean Norm

math.NT

For $n$-dimensional simultaneous best Diophantine approximations in the Euclidean norm, $n\geq2$, we prove $q_{k+2^n}\geq q_k+\min\{q_{k+2^{n-1}},2q_{k+1}\}$. This yields $g_n(\alpha):=\liminf_{m\to\infty}(q_m)^{1/m}\geq\varphi^{1/2^{n-1}}$, where $\varphi=(1+\sqrt{5})/2$. Consequently, $G(n)\geq\varphi^{1/2^{n-1}}$ and $\underline{\mathcal D}_n(\alpha)\leq\left\lfloor 2^{n-1}\frac{\log2}{\log\varphi}\right\rfloor+1$, where $\underline{\mathcal D}_n(\alpha)$ is a quantity related to multidimensional versions of the three-distance theorem. In particular, $g_2(\alpha)\geq\sqrt\varphi$, $g_3(\alpha)\geq\sqrt[4]{\varphi}$, $\underline{\mathcal D}_2(\alpha)\leq3$, and $\underline{\mathcal D}_3(\alpha)\leq6$.

Large values of cubic and quartic Dirichlet $L$-functions of prime moduli

math.NT

In this paper, we apply the resonator method to exhibit large values at the central point of the families of cubic and quartic Dirichlet $L$-functions of prime moduli under the generalized Riemann hypothesis.

A Two-Variable Zeta Function for a Parity-Perturbed Hofstadter Q-Recursion: The Exceptional t = -1 Slice and Gaussian Boundary Layers

math.NT

math.CO

We study the parity-perturbed Hofstadter $Q$-recursion $$ \widetilde Q(1)=\widetilde Q(2)=1,\qquad \widetilde Q(n)=\widetilde Q(n-\widetilde Q(n-1)) +\widetilde Q(n-\widetilde Q(n-2))+(-1)^n, $$ and the associated two-variable Dirichlet series $$ Z_{\widetilde Q}(s,t)=\sum_{n\ge1}n^{-s}\widetilde Q(n)^{-t}. $$ The estimate $\widetilde Q(n)=n/2+O(n/\sqrt{\log n})$ gives the exact domain of absolute convergence $\operatorname{Re}(s+t)>1$. With $w=s+t$, we separate the universal term $2^t\zeta(w)$ and derive exact transport, frequency-position, and dyadic renormalization identities. The main result concerns $t=-1$. For $E(n)=2\widetilde Q(n)-n$ and $A(X)=\sum_{n\le X}E(n)$, the binary-arch clock yields $$ A(X)=X\log_2X+X\Omega\!\left(\log_2\frac{3X}{32}\right) +O\!\left(\frac{X}{\sqrt{\log X}}\right), $$ where $\Omega$ is an explicit continuous periodic function. This continues the normalized correction to $\operatorname{Re}w>0$ and yields a boundary resonance lattice: a double resonance at $w=0$ and simple resonances at $2\pi i m/\log2$. After subtracting the full-slice order-$X$ skeleton, we analyze the negative-even arch channel. Its companion-forest layers have a weak Gaussian limit, and a canonical subsequence realizes the optimal $n/\sqrt{\log n}$ pointwise scale with an explicit signed constant. The negative-arch mass satisfies $$ A_r=\frac{512}{9\sqrt{2\pi}}\frac{16^r}{\sqrt r} \left(1-\frac{13}{16r}+O(r^{-2})\right). $$ We do not claim a full-slice continuation across $\operatorname{Re}w=0$.

The Hasse norm principle for $A_4$-quartic extensions of global function fields

math.NT

math.AG

For a finite extension of global fields $K/k$, the norm map $N_{K/k} : K^\times \to k^\times$ extends to a map on id\`ele groups. The Hasse norm principle holds if every element of $k^\times$ that is a norm everywhere locally is also a norm globally. In this paper, we study the statistics of the Hasse norm principle in a setting that is out of reach in the number field context, namely that of $A_4$-quartic extensions. We show that failures of the Hasse norm principle are generally rare for $A_4$-quartic extensions of global function fields $\mathbb{F}_q(t)$. We achieve this by introducing a decorated Hurwitz space parametrising the failures of the Hasse norm principle and then using the Chebotarev density theorem to estimate their frequency.

Improved Weyl bounds on short intervals

math.NT

For an integer $d\ge 3$, put $\Delta_d=\min{2^{d-1},d(d-1)}$. Let $a/q$ be reduced, let $P(X)=\frac{a}{q}X^d+\alpha_{d-1}X^{d-1}+\cdots+\alpha_0$, and let $\mathcal{I}$ be an interval of $H\le q$ consecutive integers. We prove $\left|\sum_{n\in\mathcal{I}}e(P(n))\right|\ll_{d,\varepsilon}q^{1/d}H^\varepsilon+H^{1-1/\Delta_d+\varepsilon}$. Consequently, for every prime $p>d$, every degree-$d$ polynomial $P\in\mathbb{F}p[X]$, and every interval $\mathcal{I}$ of $H$ consecutive integers with $p^{1/d}

On the occurrence of congruence multiplicities between Ramanujan's theta functions

math.NT

Recently, the first and third authors initiated a study of arithmetical relationships between Ramanujan's theta functions $\varphi(-q)$ and $\psi(q)$. In this work, we prove eight families of internal congruences modulo arbitrary powers of $3$ and $5$ for infinite series related to the two theta functions. We also show that there exist isomorphisms between the congruence families for $\varphi(-q)$ and $\psi(q)$, which can be realized by the study of congruence multiplicities previously studied by Garvan, Sellers, and the second author. We believe that such equivalences are exclusive, at least on the congruence subgroups $\Gamma_0(6)$ and $\Gamma_0(10)$. In the end, we show how a simple manipulation of function field extensions allows us to predict whether additional isomorphisms to our congruences occur.

On divergence related to Riemann--von Mangoldt's explicit formula of the prime-counting function

math.NT

An explicit formula for the prime-counting function $\pi(x)$, usually attributed to Riemann and von Mangoldt, is prominently stated as the equation $\pi(x)=R(x)-\sum_\rho R(x^\rho)$, where the sum runs over all zeros $\rho$ of the Riemann $\zeta$-function, the non-trivial ones being ordered by increasing absolute value of their imaginary parts and counted with multiplicity. This particularly entails the claim that the partial sums over the non-trivial zeros, $\Sigma R_T(x):=\sum_{0<|\Im m(\rho)|\le T} R(x^\rho)$ converge as ${T\to\infty}$. Writing $\Theta:=\sup\{\Re e(\rho):\ \zeta(\rho)=0,\ 0<\Re e(\rho)<1\},$ for what has recently been called ``Riemann's constant'', we prove that, for every fixed $x>1$ and every $\theta<\Theta$, the sums $\Sigma R_T(x)$ are not $O(T^\theta)$. As a consequence, $\limsup_{{T\to\infty}}|\Sigma R_T(x)|=\infty$ and $\sum_\rho R(x^\rho)$ diverges. We conclude the paper by showing that an adapted, but simpler strategy also gives the divergence of the contribution of the trivial zeros to $\sum_\rho R(x^\rho)$.

Adelic points and unmramified Brauer approximation for classifying stacks

math.NT

Let $k$ be a number field and let $G$ be a connected linear algebraic group over $k$. We compare three approaches to strong approximation for the classifying stack $BG$ with respect to its full Brauer group: the homogeneous-space method of \cite{DhillonClassifying}, Kottwitz's local--global sequence, and, for reductive groups, Borovoi's localization theorem. Under the natural identification \[ Br(BG)/Br(k)\simeq Pic(G), \] we identify the Kottwitz and Borovoi obstruction maps with Brauer evaluation. The three approaches therefore give the same exact description of the localization image as the projected full Brauer--Manin set. We then study strong approximation with respect to the ordinary unramified Brauer group. We prove \[ Br^{un}(BG)/ Br(k)\simeq Sha^1_{\mathrm{cyc}}(k,\widehat G), \qquad \widehat G=X^*(G_{\bar{k}}), \] and give an exact local criterion for unramified Brauer approximation off a finite set of places. Examples show that this approximation can fail even when a finite place is omitted, and exhibit a torus for which the unramified Brauer group cuts out the global image as a proper subset of the adelic space.

Petersson-Rigid Lattices in a Census of 100 Rank-Three Root Bases

math.NT

math.RT

The first paper worked out one family of four lattices in full -- $|\det| = 12, 24, 36$ and $72$. This paper generalizes it. We enumerate the 44 symmetrizable rank-three hyperbolic Cartan matrices and their 56 depth-one edits, 100 root bases in all, and compute the obstruction space $S_{5/2}(\rho_L)$ of the 98 within our weight-$5/2$ budget: 10 vacuous, 34 unobstructed, 54 obstructed. The vacuous ten are the lattices Bruinier, Ehlen and Freitag call simple, read in signature $(2,3)$. Of their fifteen, our ten realize five; of the rest, five need more than three generators and cannot be the discriminant form of a rank-three lattice at all, three fail $|\det L| = 2k^2$, and two are simply not root bases. Within the rank-three hyperbolic world the simple lattices are exactly the Feingold-Frenkel neighbours of index $k \le 4$. The discriminant group $L'/L$ carries a finite quadratic form, and the finite group of its isometries acts on the weight-$3/2$ cusp forms for $\rho_L$, the bottom antisymmetric rung. We survey the lattices on which that action is absolutely irreducible of dimension at least two, so that the Petersson pairing there is pinned down up to a single scalar. The condition alone cuts the census to three: $L_4$ of the first paper, and two new ones at $|\det| = 40$ and $88$. The quaternion discriminants that occur are 6, 10 and 22, the three for which the Shimura curve $X^D$ has genus zero. Rigidity uses no quaternion input, so we record it as an observation, not a characterisation. Both invariants of the first paper -- the shadow norm $\|\Xi\|^2$ and the Petersson scalar $t$ -- were single points there. Three rigid lattices instead of one are where their special faces come off: $\|\Xi\|^2$ generalizes against $L(f,1)$ where the first paper read $L(f,2)$, and $t$ against an elliptic curve's imaginary period where it read $\Gamma(1/3)$. Both numerically, to 26-58 digits.

A new proof that more than $2/3$ of the zeros of the Riemann zeta function are simple and on the critical line

math.NT

math.CV

We obtain a new, conceptually simpler, unconditional proof that more than $67.25\%$ of the non-trivial zeros of the Riemann zeta function are simple and on the critical line, and that at least $83.62\%$ of the non-trivial zeros are distinct. A proof of these results was very recently produced by an internal research version of Claude developed by Anthropic and subsequently verified by Alp\"oge and Furman. This argument is technically intricate, and its main mechanism is not immediately transparent. It combines several ingredients from linear algebra, including a finite-dimensional matrix representation of Weil's Hermitian form and a rank-trace inequality for Hermitian matrices, with a second moment calculation over the zeros using the explicit formula. Our new proof is shorter and proceeds by replacing the entire finite-dimensional matrix framework by a Hilbert space inequality, which allows for a direct application of Montgomery's theorem on the pair correlation of zeros of the zeta function, in the unconditional form obtained by Baluyot, Goldston, Suriajaya and Turnage-Butterbaugh.

Iterated-sumset spectra: The complete exponent law and its rank geometry

math.CO

math.NT

For integers $h,k\geq 1$, let $hA$ be the $h$-fold sumset of $A$ and put $\mathcal{R}(h,k)=\{|hA|:A\subset\mathbb{Z}, |A|=k\}$. Previously, the fixed-cardinality exponent law was known only for $k\leq 3$; every fixed $k\geq 4$ remained open. We settle the problem in full by determining the complete fixed-cardinality exponent law: $|\mathcal{R}(h,k)|=\begin{cases}1,&k\leq 2,\\ h,&k=3,\\ h^{k-1+o_k(1)},&k\geq 4\end{cases}$. Here $o_k(1)\to 0$ as $h\to\infty$ with $k$ fixed. More sharply, for fixed $k\geq 4$, an interval of length $\Theta_k(h^{k-1})$ contains at least $h^{k-1-o_k(1)}$ attainable values. At $k=4$ we prove $|\mathcal{R}(h,4)|=\Theta(h^3)$ with positive lower density in its ambient interval, disproving Nathanson's proposed $o(h^3)$ and $O(h^2)$ bounds. One bounded addition-table geometry drives these results, coupling Hilbert-energy amplification to optimal finite-observation compression. Every ordered real $k$-set ($k\geq 2$) has an integer model in $[0,O_k(h^{k-2})]$ preserving every sum equality and strict comparison through degree $h$; the exponent $k-2$ is sharp. The universal label-realization length is therefore $\Theta_k(h^{k-2})$, one power sharper than Nathanson's $O_k(h^{k-1})$ bound. For $h\geq 2$ and $k\geq 3$, minimum active rank equals realization-frequency codimension, exponent-shape codimension, and sampling-rarity exponent; a full-exponent family has maximal-rank witnesses with Cohen-Macaulay toric coordinate rings. At rank zero, for $h\geq 2$, it proves the conjectural OEIS A227589 formula $\binom{h+2}{2}+\mathbf{1}_{\{2\nmid h\}}$ for the least normalized diameter of a four-point $B_h$-set. It also gives exact fixed-$(h,k)$ popularity laws for $k$-subsets of $\{1,\ldots,q\}$ as $q\to\infty$, resolving Nathanson's Problems 9 and 10.

Sparse $k$-AP Covering Sets and the Arithmetic Kakeya Conjecture

math.CO

math.NT

A subset $A\subseteq \mathbb N_0$ is $k$-AP covering if there exists a constant $n_0$ such that for every integer $x>n_0$, there exists $d\in\mathbb N_0$ such that $x-d, x-2d,\dots,x-(k-1)d$ are all in $A$. Disproving a conjecture of Kiss, S\'andor, and Yang, we prove that for every integer $k\geq 6$, there exists a constant $\varepsilon=\varepsilon_k>0$ and a $k$-AP covering set $A$ such that $|A\cap \{0,1,\dots,n\}| < n^{\frac{k-2}{k-1}-\varepsilon}$ for all sufficiently large $n$. We also relate this problem to the Arithmetic Kakeya Conjecture by Katz and Tao.

$\mathfrak{sl}_2$-action on the uri Lie algebra

math.QA

math.NT

We construct an $\mathfrak{sl}_2$-action by derivations on the Lie algebra $\mathfrak B$ of swap invariant alternil bimoulds with the uri bracket of K\"uhn and Schneps. This Lie algebra plays the role for formal multiple Eisenstein series which Racinet's double shuffle Lie algebra $\mathfrak{dm}_0$ plays for multiple zeta values. The kernel $\mathfrak m$ of the lowering operator is a Lie subalgebra, $\mathfrak B$ is the direct sum of its iterates under the raising operator, and this gives Rankin-Cohen type operators on $\mathfrak m$. We define a Lie subalgebra $\mathfrak d$ of $\mathfrak B$ and show that it is isomorphic to $\mathfrak{dm}_0$ extended by an additional element in weight one.

A finiteness theorem for geodesic Leech wheels

math.CO

math.NT

Let f be a labeling of the edges of a finite graph G by positive integers, and let the weight of a path be the sum of the labels of its edges. The labeling is a geodesic Leech labeling if the weights of the geodesics are exactly 1, 2, ..., t_gp(G), each occurring once, where t_gp(G) is the geodesic path number of G. Let W_n be the wheel on n vertices, a hub joined to an (n-1)-cycle. Our main result is an upper bound: if n >= 5 and W_n is geodesic Leech, then n <= 40. The proof quantifies, via a finite Fourier kernel, the Sidon-type structure of the spoke labels, in which only the cyclically adjacent pairs are allowed as defects, and closes the last three cases with a six-variable Parseval argument. In the other direction, explicit labelings of W_7, ..., W_13, found by a computer search, answer in the negative a problem of Lakshmanan S. and Manattu, who had found labelings of W_5 and W_6 and expected every W_n with n >= 7 to be a non-geodesic Leech graph. Writing E for the set of n >= 5 for which W_n is geodesic Leech, we obtain {5, 6, ..., 13} is contained in E, which is contained in {5, 6, ..., 40}.

Fourteen lonely runners

math.CO

math.NT

We prove the Lonely Runner Conjecture for fourteen runners by a computer-assisted extension of the finite-checking framework of Sungkawichai and Trakulthongchai. With one runner stationary, their thirteen-runner result supplies the induction input, and their reduction leaves finitely many modular calculations indexed by primes. We certify 111 such prime gates with $\sum_p \log p>681.5292$, exceeding the required threshold $\log B_{13}<670.3498$ by more than $11.17$. For each gate, an exhaustive generator constructs the level-one improper family, a sequence of exact binary lift filters eliminates all but two multiplicative orbits, and an exact branch-and-bound computation treats each remaining fiber of $7^{13}$ lifts at the mixed level $14$. Every no-witness completion remaining at that level has all coordinates divisible by $7$ and is therefore proper by the gcd clause in the framework definition. The same two persistent orbits occur at every closed gate; this is an empirical universality finding, not a theorem beyond the verified gate set. Per-gate certificates and a separate audit of all 111 closed gates support the computation. We also report every gate at which the chosen pipeline failed to close.

Finite extensions of abelian schemes and duality for commutative group stacks

math.AG

math.NT

Let $R$ be a discrete valuation ring. We prove that every proper flat finitely presented commutative $R$-group scheme $P$ fits into an exact sequence \[ 0\longrightarrow E\longrightarrow P\longrightarrow B\longrightarrow0, \] where $E$ is finite flat and $B$ is an abelian scheme. For a quasiabelian model---that is, a proper flat finitely presented $R$-group scheme with abelian generic fibre---we prove a finer structure theorem: its normalization is an abelian scheme, and the model is obtained from it by a pushout involving finite flat group schemes. An analogous abelian quotient exists for proper flat commutative group stacks with finite flat inertia. These structure theorems give explicit quotient presentations for duals. Over an arbitrary base, we show that the dual of a proper flat finitely presented commutative group algebraic space is algebraic, proper, flat, and finitely presented, and biduality holds. When $2$ is invertible, the corresponding result for group stacks proves Brochard's duality conjecture. As an application over a discrete valuation ring, Polishchuk's kernel-algebra Fourier--Mukai argument gives equivalences between the unbounded derived categories of quasi-coherent sheaves on every proper flat finitely presented commutative group scheme and its dual, and between their bounded derived categories of coherent sheaves, with no tameness or residue-characteristic hypothesis. For a quasiabelian model, the dual category is a finite-flat equivariant category on its abelian normalization.

Modular regulators and multiple Eisenstein values

math.NT

math.AG

math.KT

v2

We introduce a new methodology for length reduction of multiple modular values as developed by Brown; it involves an interpolation of multiple Eisenstein values and differentiation with respect to their continuous elliptic parameters. We apply our method to computing explicitly the Goncharov regulator integral associated to $K_4$ classes on modular curves in terms of $L$-values of modular forms. We use this expression to connect it with the Beilinson regulator integral. Our general approach reveals new interesting arithmetic phenomena and prospects for the general $K$-groups of modular curves.

Quantitative level lowering for weight two Hilbert modular forms

math.NT

v2

We generalize a result of Ribet and Takahashi on the parametrization of elliptic curves by Shimura curves to the Hilbert modular setting. In particular, we study the behaviour of the parametrization of modular abelian varieties by Shimura curves associated to quaternion algebras $D$ over a totally real field $F$, as we vary $D$. As a consequence, we obtain that on these Shimura curves, the cohomological congruence module is equal to the ring theoretic congruence module even in cases where we do not have multiplicity one, thereby extending results of Manning and B\"ockle-Khare-Manning.

Geometric realizations of representations for $\text{PSL}(2, \mathbb{F}_p)$ and Galois representations arising from defining ideals of modular curves

math.NT

math.AG

math.RT

v3

We construct a geometric realization of representations for $\text{PSL}(2, \mathbb{F}_p)$ by the defining ideals of rational models $\mathcal{L}(X(p))$ of modular curves $X(p)$ over $\mathbb{Q}$, which gives rise to a Rosetta stone for geometric representations of $\text{PSL}(2, \mathbb{F}_p)$. The defining ideal of a modular curve, i.e., an anabelian counterpart of the Eisenstein ideal, is the anabelianization of the Jacobian of this modular curve and is a reification of the fundamental group $\pi_1$. We show that there exists a correspondence among the defining ideals of modular curves over $\mathbb{Q}$, reducible $\mathbb{Q}(\zeta_p)$-rational representations $\pi_p: \text{PSL}(2, \mathbb{F}_p) \rightarrow \text{Aut}(\mathcal{L}(X(p)))$ of $\text{PSL}(2, \mathbb{F}_p)$, and $\mathbb{Q}(\zeta_p)$-rational Galois representations $\rho_p: \text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) \rightarrow \text{Aut}(\mathcal{L}(X(p)))$ as well as their modular and surjective realization. It is an anabelian counterpart of the global Langlands correspondence for $\text{GL}(2, \mathbb{Q})$ by the \'{e}tale cohomology of modular curves as well as an anabelian counterpart of Artin's conjecture, Serre's modularity conjecture, the Fontaine-Mazur conjecture and the $p$-adic local Langlands correspondence for $\text{GL}(2, \mathbb{Q}_p)$. It is an ideal theoretic (i.e. nonlinear) counterpart of Grothendieck's section conjecture and an ideal theoretic (i.e. nonlinear) reification of ``arithmetic theory of $\pi_1$'' expected by Weil for modular curves.It is also an anabelian counterpart of the theory of Kubert-Lang and Mazur-Wiles on the cuspidal divisor class groups and the Eisenstein ideals of modular curves.

Distribution of Farey fractions with $k$-free denominators

math.NT

v3

We investigate the distributional properties of the sequence of Farey fractions with $k$-free denominators in residue classes, defined as \[\mathscr{F}_{Q,k}^{(m)}:=\left\{\frac{a}{q}\ |\ 1\leq a\leq q\leq Q,\ \gcd(a,q)=1,\ q\ \text{is}\ k\text{-free}\ \&\ q\equiv b\pmod{m} \right\}.\] We show that $\left(\mathscr{F}_{Q,k}^{(m)}\right)_{Q\ge 1}$ is equidistributed modulo one, and prove analogues of the classical results of Franel, Landau, and Niederreiter for $\left(\mathscr{F}_{Q,k}^{(m)}\right)_{Q\ge 1}$, particularly, deriving an equivalent form of the generalized Riemann hypothesis (GRH) for Dirichlet $L$-functions in terms of the distribution of $\left(\mathscr{F}_{Q,k}^{(m)}\right)_{Q\ge 1}$. Beyond examining the global distribution, we also study the local statistics of these sequences. We establish formulas for all levels ($\nu\ge 2$) of correlation measure. Specifically, we show the existence of the limiting pair ($\nu=2$) correlation function and provide an explicit expression for it. Our results are based upon the estimation of weighted Weyl sums and weighted lattice point counting in restricted domains.

Moments of the zeros of Faber polynomials of the Miller basis

math.NT

v2

We study the zeros of modular forms in the Miller basis, a natural basis for the space of modular forms. We show that the zeros of their Faber polynomials have linear moments. By analyzing the moments we can extend the known range of the forms in the Miller basis for which at least one of the zeros is not on the arc - the circular part of the boundary of the fundamental domain. Additionally, for forms in the Miller basis of an index asymptotically linear in the weight such that all zeros are on the arc, we compute the limit distribution of the zeros, which depends on the asymptotic ratio of the index to the weight.

Arithmetic duality for finite Galois modules over two-dimensional local fields of mixed characteristic

math.NT

v3

A field $K$ is $d$-local if there exist fields $K=k_d,\dots,k_0$ where each $k_{i+1}$ is a complete discrete valuation field with residue field $k_i$, and $k_0$ is a finite field of characteristic $p$. By work of Deninger and Wingberg, the Galois cohomology of such fields with coefficients in finite Galois modules satisfies a duality generalizing Tate duality when either $d=0$, $\mathrm{char} k_1=0$ or the coefficients have no $p$-torsion. Based on recent progress by Kato and Suzuki, we obtain duality statements for arbitrary finite Galois modules, under the weaker assumption that either $d\leq 1$ or $\mathrm{char} k_2=0$. We also get duality for the \'etale cohomology of $K$-varieties with coefficients in finite \'etale groups, in the style of Artin-Verdier duality. These dualities are stated in terms of condensed structures (in fact, locally compact Hausdorff topologies) on the cohomology groups. More generally we obtain results for any perfect $k_0$, endowing the totally unramified cohomology groups of $K$ with the structure of ind-pro-quasi-algebraic $k_0$-groups.

Homological Methods in the Generalization of Drinfeld Modules

math.NT

v3

We introduce and study a natural class of Anderson t- modules, called triangular t-modules, characterized by having Drinfeld modules as their $\tau$-composition factors. They form a homologically meaningful generalization of Drinfeld modules and exhibit rich arithmetic structure.\smallskip We establish criteria for purity, strict and almost strict, and develop a reduction procedure that lowers the degrees of the defining biderivations. As a consequence, every almost strictly pure triangular t-module becomes strictly pure after a finite base extension. We then investigate morphisms and isogenies between triangular t-modules, provide a characterization of triangular isogenies, and describe the algebra of endomorphisms, including a criterion for commutativity. On the analytic side, we show that all triangular t- modules are uniformizable and establish finiteness and purity criteria with consequences for Taelman's conjecture. Finally, we develop a duality theory for triangular t- modules and their biderivations, proving compatibility with $\tau$-composition series and establishing analogues of the Cartier-Nishi theorem and the Weil-Barsotti formula.

On the Landen formula for multiple polylogarithms and its $\ell$-adic Galois analogue

math.NT

v2

In the present paper, we provide an algebraic and geometric proof of the Landen formula for complex multiple polylogarithms originally established by Okuda and Ueno. Our approach employs a chain rule of complex KZ solutions arising from the symmetry $z \mapsto \frac{z}{z-1}$ of $\mathbb{P}^1 \backslash \{0,1,\infty\}$. Furthermore, by replacing complex KZ solutions with $\ell$-adic Galois 1-cocycles in this proof, we obtain the Landen formula for $\ell$-adic Galois multiple polylogarithms. This formula involves lower weight terms specific to the $\ell$-adic Galois setting, which originate from the higher-order terms of the Baker-Campbell-Hausdorff sum ${\rm log}({\rm exp}(-e_1){\rm exp}(-e_0))$. These lower weight terms are explicitly described by an integral involving Goldberg polynomials.

On a conjecture due to Kanade related to Nahm sums

math.NT

v3

Kanade explored the construction of modular companions to $q$-series identities, using the asymptotics of Nahm sums, and Mizuno [Ramanujan J. 66 (2025), Article 62, 31 pp.] recently obtained a generalization of Kanade's asymptotic formula for symmetrizable Nahm sums. A related conjecture from Kanade concerning the dilogarithm function and related to the work of Kur\c{s}ung\"oz on Andrews--Gordon-type series [Ann. Comb. 23 (2019), 835--888] has remained open. In this paper, we prove Kanade's conjecture, through an application of dilogarithm identities due to Kirillov together with a dilogarithm ladder due to Loxton and Lewin. Inspired by Kanade's result, we extend this to prove two new related dilogarithm identities.

A statistical investigation of a divisor-sum function

math.NT

v2

The sum of proper divisors function $s(n)$ has been studied for more than 2000 years. In this paper we study statistical properties of the related function $S_s(n) \coloneqq \sum_{d \mid n} s(d)$. This function arises from a generalization of the practical numbers. Although $S_s(n)$ is neither additive nor multiplicative, we prove that $S_s(n)/n$ has a continuous asymptotic distribution function, and that its values are dense in the interval $[0,\infty)$. We evaluate its mean and establish the existence of all higher moments. Moreover, if $\mu_k$ denotes the $k^{th}$ moment of $S_s(n)/n$, we show that $$\mu_k^{1/k} \sim e^{2\gamma} (\log k)^2$$ as $k \rightarrow \infty$, where $\gamma$ is the Euler-Mascheroni constant.

Adelic framed form class groups and explicit class field theory

math.NT

v2

Let $D$ be a negative discriminant, and let $K=\mathbb{Q}(\sqrt{D})$. Let $\mathcal{Q}(D)$ denote the set of primitive positive definite binary quadratic forms over $\mathbb{Z}$ of discriminant $D$. We introduce the set of adelic framed forms \begin{equation*} \widehat{\mathcal{Q}}(D)= \left\{(Q,\,\gamma)\in \mathcal{Q}(D)\times\mathrm{SL}_2(\widehat{\mathbb{Z}})~|~ Q\left(\gamma\begin{bmatrix}1\\0\end{bmatrix}\right)\in \widehat{\mathbb{Z}}^\times\right\} \end{equation*} and its orbit space $\widehat{C}(D)$ under the natural action of $\mathrm{SL}_2(\mathbb{Z})$. We define an explicit adelic analogue of the Gauss-Dirichlet composition law on $\widehat{C}(D)$ and endow $\widehat{C}(D)$ with the quotient topology induced by the subspace topology on $\widehat{\mathcal{Q}}(D)$ inherited from the product topology on $\mathcal{Q}(D)\times\mathrm{SL}_2(\widehat{\mathbb{Z}})$, where $\mathcal{Q}(D)$ is discrete and $\mathrm{SL}_2(\widehat{\mathbb{Z}})$ has its profinite topology. We then prove that there is an isomorphism of topological groups \begin{equation*} \widehat{C}(D)\simeq\mathrm{Gal}\left(K^\mathrm{ab}(\mathfrak{t}^{1/\infty})/K(\mathfrak{t})\right), \end{equation*} where the Galois group is endowed with the Krull topology, $\mathfrak{t}$ is a positive transcendental real number, and $\mathfrak{t}^{1/\infty}=\{\sqrt[N]{\mathfrak{t}}~|~N\geq1\}$. Moreover, we identify an explicitly defined subgroup of $\widehat{C}(D)$ with $\mathrm{Gal}(K^\mathrm{ab}/K)$ and describe the corresponding Galois action on special values of modular functions. In this way, classical Gauss composition, finite-level form class groups, and Shimura reciprocity are brought together within a single adelic framework. Finally, we show that the abstract group structure of $\widehat{C}(D)$ uniquely determines the imaginary quadratic field $K$.

Mild p-Class Tower Groups of Imaginary Quadratic Fields

math.NT

v3

Let $K$ be an imaginary quadratic number field, let $p$ be an odd prime, and let $G=G_{\varnothing}(K)(p)$ be the Galois group of the maximal everywhere unramified pro-$p$ extension of $K$. To each mod-$p$ character $x$ of $G$ we associate a linear map $D_x$ from $\mathrm{Cl}(K)[p]$ to $\mathrm{Cl}(K)/p$; a formula of Ahlqvist and Carlson expresses it through the class of a norm ideal in the unramified cyclic degree-$p$ extension attached to $x$. These maps determine all triple Massey products on $H^1(G,\mathbb F_p)$, and with them the cubic initial relations of $G$. Suppose that the $p$-class rank $d=\dim_{\mathbb F_p}\mathrm{Cl}(K)/p$ is at least three. The $(d-1)\times(d-1)$ minors of the family $x\mapsto D_x$ define a subscheme $\Sigma_D$ of $\mathbb P^{d-1}_{\mathbb F_p}$, an invariant of $K$, the norm-degeneracy scheme. We prove: if the rank condition $\mathrm{rk}\,D_x=d-2$ holds transversally at a point of $\Sigma_D$, over some finite extension of $\mathbb F_p$, then $G$ is mild, and hence of cohomological dimension 2. For $p>3$ transversality means that $\Sigma_D$ is smooth of dimension $d-3$ at the point; at $p=3$ the kernel of the Bockstein map enters as an additional constraint. We treat every imaginary quadratic field of $p$-class rank at least three with $|D_K|<2^{30}$. Only $p=3$, 5, and 7 occur. The criterion decides 206 of the 207 fields at $p=5$ and 7, and 505 of the 12 750 fields at $p=3$, where the Bockstein condition restricts its reach. A direct computation with the cubic initial relations settles the remaining field at $p=5$ and a further 11 765 at $p=3$, 26 of them not mild, while 480 remain undecided. In all, the $p$-class tower group is proved mild for 12 451 of the 12 957 fields. These appear to be the first number fields for which the full maximal everywhere unramified pro-$p$ Galois group is proved to be mild, and hence of cohomological dimension 2.

Weil positivity in compact windows: a finite reduction, certified two-sided bounds, and a Landau-Widom decay law

math.NT

math.SP

v2

Weil's criterion states that the Riemann Hypothesis (RH) is equivalent to the non-negativity of an explicit quadratic form Q(f) on test functions. For f supported in [-L,L] we study the normalized infimum lambda_min(L) = inf Q(f)/||f||^2 from both sides. Lower bounds (unconditional): positivity on bounded support is classical for supp f in [-(log 2)/2,(log 2)/2] (Yoshida; Connes-Consani). We prove by certified computation that Q(f) >= 8.9e-18 ||f||^2 for all supp f in [-0.8,0.8], i.e. autocorrelation support 1.6, 2.3 times the classical range. The proof rests on a one-stroke reduction: a pointwise envelope for the Weil symbol, with a comb constant shown optimal by Weyl equidistribution, converts positivity on the whole window into positive semidefiniteness of a single finite matrix. The odd parity sector shows that the certified positivity holds for arbitrary complex test functions of support 1.6, and that the window ground state is simple and even, the spectral hypothesis required by the operator-theoretic program of Connes, Consani, Moscovici and van Suijlekom. Upper bounds (unconditional): variational bounds are evaluated on the geometric side in interval arithmetic, with no appeal to zeros or RH, down to 3.2e-283 at L=2. They follow the empirical law -ln lambda_min(L) ~ 2 pi^2 N(T*)/ln N(T*), T* = 2 pi e^{2L}, with N the zero-counting function; 2 pi^2 matches the Landau-Widom eigenvalue-plunge rate. Under RH, lambda_min(L) <= exp(-L e^L) for all large L. Synthesis: at L=0.8 the two halves enclose the profile, 8.9e-18 <= lambda_min(0.8) <= 2.27e-17, both certified. We show why the positivity route cannot reach RH unassisted: any one-stroke certificate must resolve frequencies up to 2 pi e^{A_L}, A_L ~ 4e^L, a doubly exponential threshold that no pointwise bound on the prime comb lowers, while the spectral margin collapses at the Landau-Widom rate.

Oscillation of partial sums of the M\"obius function and zeros of Riemann's zeta function

math.NT

v2

The oscillation of M(x), the partial sum of the M\"obius function has been in the focus of researchers in the theory of primes since the famous conjecture of Mertens in 1905 (formulated in a weaker form by Stieltjes in 1885 in a letter to Hermite). The average order of the modulus of M(x) in an interval of type [0,Y] is clearly in connection with the distribution of primes. The author proved at the beginning of 1980's that this average tends unconditionally to infinity with Y. The present work shows that (similarly to the average order of the error term of the Prime Number Theorem) this average agrees with great accuracy for large values of Y with the largest error term of the Riemann-von Mangoldt prime number formula for the value Y.

Intermediate-Range Estimates for Short Weyl Sums and Waring's Problem with Almost Proportional Summands

math.NT

v2

We obtain a uniform pointwise estimate for short Weyl sums of degree $n\geq3$ in the intermediate rational-approximation range $$ \frac{1}{qx^{n-2}y}\ll|\lambda| \ll\frac{1}{qy^{n-1}}. $$ This range arises from a second application of Dirichlet's rational approximation theorem in estimating the residual integral that occurs in the derivation of an asymptotic formula for Waring's problem with almost proportional summands. For $r=2^n+1$ and fixed positive numbers $\mu_1,\ldots,\mu_r$ satisfying $$ \mu_1+\cdots+\mu_r=1, $$ we derive an asymptotic formula for the number of representations $$ x_1^n+\cdots+x_r^n=N, \qquad |x_i^n-\mu_iN|\leq H,\qquad 1\le i \le r, $$ valid for $$ N^{1-\theta(n,r)+\varepsilon}\le H \le \frac{N}{\ln N}, \quad \theta(n,r)= \frac{2}{n\bigl((r-1)(n-1)+2\bigr)}. $$ The resulting admissible lower bound for $H$ improves the previously known bound for every $n\geq3$.

Stable Solutions to Generalizations of Fibonacci Relations of Higher Order

math.NT

v2

We reformulate and discuss the conditions for the initial values in which a generalized Fibonacci sequence is eventually strictly monotonic. We then extend this exploration to the generalized \(k\)-bonacci sequence. We also give a lower bound on when an eventually strictly monotone generalized \(k\)-bonacci sequence becomes monotone.

Smooth Diffeomorphisms and Mahler's Problem on Liouville Numbers

math.NT

v2

A classical theorem of Maillet asserts that every nonconstant rational function over $\mathbb{Q}$ maps Liouville numbers to Liouville numbers. In 1984, Mahler asked whether a transcendental entire function can have the same property. We prove a strong smooth counterpart: writing $\mathscr{L}$ for the set of Liouville numbers, there exist orientation-preserving $C^\infty$ diffeomorphisms $f:\mathbb{R}\to\mathbb{R}$, arbitrarily close to the identity and transcendental over $\mathbb{R}(x)$, such that for every real number field $K\subset\mathbb{R}$, every $n\geq 1$, and every $m\geq 0$, \[ D^m(f^{\circ n})(K)\subseteq K, \qquad D^m(f^{\circ n})(\mathscr{L})\subseteq\mathscr{L}. \] In fact, the non-analyticity locus may be prescribed as any nonempty compact perfect nowhere-dense set disjoint from the real algebraic and Liouville numbers. The proof combines Maillet's theorem with an arithmetic refinement of K\"orner's smooth polynomial sewing method and a rational-germ construction.

Ten unknowns for Hilbert's tenth problem over the integers

math.NT

math.LO

v2

Hilbert's Tenth Problem over the integers was solved negatively by Y. Matiyasevich in 1970. In this paper, we prove that there is no algorithm to determine for any polynomial equation $P(z_1,\ldots,z_{10})=0$ (with integer coefficients and ten unknowns) whether it has integer solutions. This improves the previous 11 unknowns theorem.

The multilinear circle method and a question of Bergelson

math.DS

math.CA

math.NT

v4

Let $k\in \mathbb Z_+$ and $(X, \mathcal B(X), \mu)$ be a probability space equipped with a family of commuting invertible measure-preserving transformations $T_1,\ldots, T_k \colon X\to X$. Let $P_1,\ldots, P_k\in\mathbb Z[\rm n]$ be polynomials with integer coefficients and distinct degrees. We establish pointwise almost everywhere convergence of the multilinear polynomial ergodic averages \[ \frac{1}{N}\sum_{n=1}^Nf_1\big(T_1^{P_1(n)}x\big)\cdots f_k\big(T_k^{P_k(n)}x\big), \qquad x\in X, \] as $N\to\infty$ for any functions $f_1, \ldots, f_k\in L^{\infty}(X)$. Besides a couple of results in the bilinear setting $k=2$, and then only in the single transformation case $T_1 = T_2$, this is the first pointwise result for general polynomial multilinear ergodic averages in arbitrary measure-preserving systems. This answers a question of Bergelson from 1996 in the affirmative for any polynomials with distinct degrees, and makes progress on the Furstenberg--Bergelson--Leibman conjecture. In this paper, we build a versatile \emph{multilinear circle method} by developing the Ionescu--Wainger multiplier theorem for the set of canonical fractions, which gives a positive answer to a question of Ionescu and Wainger from 2005. We also establish multilinear $L^p$-improving bounds and an inverse theorem in higher order Fourier analysis for averages over polynomial corner configurations, which we use to establish a multilinear analogue of Weyl's inequality and its real counterpart, a Sobolev smoothing estimate.

Universality of rational canonical form for random matrices over a finite field

math.PR

math.NT

v3

In this note, we study the distribution of the rational canonical form of a random matrix over the finite field $\mathbb{F}_p$, whose entries are independent and $\epsilon$-balanced with $\epsilon\in(0,1-1/p]$. We show that, as the matrix size tends to infinity, the statistics converge to independent Cohen-Lenstra distributions, demonstrating the universality of this asymptotic behavior. In particular, we recover, as a special case, the uniform setting proved by Fulman in his thesis in 1997. Our proof uses the fact that the rational canonical form data of $A_n$ and the $\mathbb{F}_p[t]$-module structure of the function field cokernel $\Cok(tI_n-A_n)$ determine each other uniquely. Consequently, our question can be reformulated, equivalently, as the asymptotic distribution problem for this cokernel, which has been established by Cheong-Yu (arXiv:2303.09125).

An analogue of irreducible cuspidal representations for the group $PGL(2)$ over a two-dimensional local field

math.RT

math.AG

math.NT

v2

Let $F$ be a local non-archimedian field of odd residue characteristic and let $G=PGL(2)$. In this paper we study an analog of irreducible cuspidal representations of the group $G(F)$ when $F$ is replaced by the field $K=F((t))$. The story turns out to be similar to the classical case, but also with some differences. We present a construction of such representations essentially (up to a small subtlety) starting from a quadratic extension $L$ of $K$ and a character $\theta:L^*/K^*\to \mathbb C^*$ which is not Galois invariant. We also show that the restriction of the representations we construct to the group $P(K)$ (here $P$ is a Borel subgroup of $PGL(2)$) is irreducible. However, contrary to the classical case it turns out that these restrictions are not isomorphic to the "standard" irreducible cuspidal representation of $P(K)$. In the Appendix we propose a notion of cuspidality for smooth representations of the group $H(K)$ for an arbitrary split reductive group $H$.