Number Theory [math.NT]

Order-3 pi-formulas, Apery-like kernels, and Clausen functoriality for Conservative Matrix Fields

math.NT

Raz, Shalyt, Leibtag, Kalisch, Weinbaum, Hadad, and Kaminer recently showed that formulas for $\pi$ can be organized by canonical polynomial recurrences and partially unified by a rank-$2$ Conservative Matrix Field (CMF). We prove that each order-$3$ recurrence explicitly printed in the public Appendix~B.6 of their paper is a shifted summation lift of an explicit order-$2$ kernel, and identify all three kernels: the two $\pi$-kernels are explicit rescalings of the sporadic Ap\'ery-like sequences $A036917$ and $A002895$ (Domb numbers, case~$(\alpha)$), while the Catalan kernel is a hypergeometric twist of the Gauss-square coefficient sequence at $(a,b,c)=(\tfrac12,1,\tfrac32)$. We place these kernels in a unified $\operatorname{Sym}^2$ framework: the first $\pi$-kernel and the Catalan kernel come directly from Gauss-square coefficient sequences, while the Domb kernel is recovered by recasting the classical degree-$3$ Belyi pullback $\phi(x)=108x^2/(1-4x)^3$ and the associated algebraic twist in CMF language. We write an explicit square-gauge matrix for the Gauss CMF, formulate the standard pullback--twist transport in CMF terms, and show that for rank-$2$ objects it is compatible with $\operatorname{Sym}^2$. We further prove an inverse classification: for a fixed $\operatorname{Sym}^2$-type Riemann scheme, the one-parameter family of Fuchsian operators contains a unique $\operatorname{Sym}^2(\mathrm{Gauss})$ point, cut out by the closed-form condition $\lambda_0=2\gamma_1\gamma_2(1-2\alpha)$ on the accessory parameter. Finally, a Belyi-pullback scan over $5040$ configurations produces $11$ additional integer sequences of the form $[x^n]\lambda^n\,{}_2F_1(a,b;c;\phi(x))^2$; we prove their integrality and place them in the same $\operatorname{Sym}^2$-pullback framework.

A comment on the equation $n!!=a_1!!\cdots a_t!!$

math.NT

We study the equation $a_1!!\cdots a_t!!=n!!$ and show that in certain special cases the explicit abc conjecture implies that it has only finitely many nontrivial solutions.

A formal proof of the Ramanujan--Nagell theorem in Lean 4

math.NT

cs.LO

We present a complete formalization, in the Lean interactive theorem prover with the Mathlib library, of the Ramanujan--Nagell theorem: the only integer solutions to the Diophantine equation $x^2 + 7 = 2^n$ are $(n,x) \in \{(3,\pm1),(4,\pm3),(5,\pm5),(7,\pm11),(15,\pm181)\}$. The formalization includes all dependencies, notably the computation of the ring of integers of the quadratic field $\mathbb{Q}(\sqrt{-7})$, its class number, and unit group. We describe the proof strategy, the architecture of the formalization, and the challenges encountered in bridging the gap between textbook proofs and their machine-checked counterparts, with particular attention to the algebraic number theory infrastructure required.

Low moments of random multiplicative functions twisted by Fourier coefficients of modular forms

math.NT

Let $\lambda(n)$ denote the Fourier coefficients of a fixed modular form and $h(n)$ a Steinhaus or Rademacher random multiplicative function. In this paper, we determine the order of magnitude of \[ \E|\sum_{n \leq x} h(n)\lambda(n)|^{2q} \] for real $x$, $q$ with $0 \leq q \leq 1$.

The Number of Solutions to $ax+by+cz=n$ for Fibonacci and Lucas triplets

math.NT

math.CO

In this work we develop exact formulas to the number of solutions of $ax+by+cz=n$ in some special cases. In 2020, Binner gave a formula for the number of non negative integer solutions, $N(a,b,c;n)$ in non-negative integer pairs $(x,y,z),$ of the equation $ax+by+cz=n$ assuming that $a,b,c$ and $n$ are natural numbers. However, his formula was in summations of floor functions. Moreover, he gave a reciprocity relation to solve these sums by generalising the Gauss reciprocity relation. Until now no exact formula has been found to solve these sums. We notice that these sums can be completely solved in some special cases, which lead us to find the number of solutions of the above equation in case of Fibonacci and Lucas triplets. In other words; If $a,b\ and\ c$ are chosen to be three consecutive Fibonacci or Lucas numbers then we determine the exact formula to the number of non-negative integer solutions $(x,y,z)$ of the equation $F_ix+F_{i+1}y+F_{i+2}z=n$ and $L_ix+L_{i+1}y+L_{i+2}z=n$ where i is fixed.

A note on small theta lift

math.NT

math.RT

In this note, we use certain sesquilinear form to realize small theta lift for even orthogonal-symplectic and unitary dual pairs over p-adic fields.

Remarks on Brauer-Manin obstruction for Weil restrictions

math.NT

Given a finite extension $K/k$ of number fields and a smooth quasi-projective variety $X$ over $K$. If the abelianized fundamental group of $X$ is trivial, we prove that there is a natural identification between Brauer-Manin sets of $X$ and its Weil restriction $R_{K/k}X$. If $X$ is projective and $Pic(X\times_{K}\overline{k})$ is a torsion-free abelian group, we prove that there is a natural identification between algebraic Brauer-Manin sets of $X$ and $R_{K/k}X$.

On the Chevalley-Bass number of a field

math.NT

We give upper and lower bounds on the Chevalley-Bass number of a field of characteristic zero, whenever this quantity is well-defined. We also describe an algorithm which computes the Chevalley-Bass number of a field, provided its maximal abelian subextension is known. As a primary application, we improve the value of a constant related to exponential diophantine equations.

Conjectural decomposition of symmetric powers of automorphic representations for $\mathrm{GL}(n)$

math.NT

Let $\pi$ be a cuspidal automorphic representation for $\mathrm{GL}(n)$ over a number field. We establish a conditional upper bound on the number of cuspidal isobaric summands in the symmetric $k$-th power lift of $\pi$, assuming that the symmetric $m$-th power lift of $\pi$ is automorphic and cuspidal for all $m \leq k-1$, along with other specified Langlands functoriality conjectures. For sufficiently large $k$, the resulting bound is independent of the specific value of $k$. We further extend our study to cases in which the cuspidality assumptions on the symmetric power lifts are relaxed.

Beatty solutions of almost Golomb equations

math.NT

The almost Golomb equation of order $2$ asks for a nondecreasing sequence whose value at the sum of two consecutive terms always recovers the index. Its greedy solution is 2-regular. We prove that a second monotone solution exists, of a completely different nature: an inhomogeneous Beatty sequence with slope $1/\!\sqrt{2}$. We show that this Beatty solution is unique among sequences of its type, yet belongs to a continuous family of solutions of a weaker, triple-nested equation. We determine the exact interval of parameters and prove that every shift in this interval yields a solution. The identity is proved for windows of size $2$, $3$, $5$, all odd perfect squares, and all non-square values up to $30$ (by Walnut certification in Ostrowski numeration). It fails for even perfect squares.

Regular ternary sums of generalized polygonal numbers

math.NT

In this article, we provide an explicit constant $C$ such that there is no regular ternary sum of generalized $m$-gonal numbers for any integer $m$ greater than $C$.

Local square mean in the hyperbolic circle problem and sums of Sali\'e sums

math.NT

Let $\Gamma\subseteq PSL(2, \mathbb R)$ be a finite volume Fuchsian group. The hyperbolic circle problem is the estimation of the number of elements of the $\Gamma$-orbit of $z$ in a hyperbolic circle around $w$ of radius $R$, where $z$ and $w$ are given points of the upper half plane and $R$ is a large number. An estimate with error term $e^{\frac 23R}$ is known, and this has not been improved for any group. Recently, taking $ z=w$ and considering $\Gamma = PSL(2, \mathbb Z)$, we have shown the estimate $ e^{\left(\frac 9{14}+\epsilon\right)R}$ for the local $L^2$-norm of the error term, which is better than the pointwise bound. Here we improve the exponent $\frac 9{14}$, conditionally on a twisted Linnik-Selberg-type conjecture for sums of Sali\'e sums.

A Fixed-Prime Criterion for Reciprocals in Missing-Digit Sets

math.NT

We prove a structural upper bound on the $p$-adic valuation of denominators of rationals belonging to a missing-digit set $K_{m,D}$, generalizing a key step in recent work of Lin, Wu, and Yang [arXiv:2603.24614] on reciprocals of factorials. For a rational $\frac{r}{Q}$ with $\gcd(Q,m)=1$ and a fixed prime $p_0\nmid m$, membership in $K_{m,D}$ forces $\nu_{p_0}(Q)$ to be controlled by the $p_0$-adic valuation of the multiplicative order of $m$ modulo the radical of $Q$, with explicit overhead depending only on $m$ and $D$. Because the obstruction is stated at the level of a single denominator, a pair of sequence-specific valuation estimates converts it into an effective finiteness criterion for $\left\{\frac{1}{a_n}:n\in\mathbb{N}\right\}\cap K_{m,D}$. Specializing to the case in which $Q$ is the part of $n!$ coprime to $m$ recovers the fixed-prime step in the Lin--Wu--Yang argument. As applications, we treat reciprocals of superfactorials, products of polynomial values, and products of Fibonacci numbers. We also exhibit an exponential family -- products of $(m^k-1)$ -- for which the full structural criterion applies but a coarser largest-prime-factor formulation does not.

Branched covers of $\mathbb{P}^1$ and divisibility in class group

math.NT

math.AG

We start with $n$-torsions in the Jacobian of an $m$-gonal curve and produce $n$-torsions in the class group of certain number field $K$.

The solvability of the inverse volcano problem over non-prime finite fields

math.NT

For a finite field $\mathbf{F}_{p^k}$ and a prime $\ell \neq p$, consider the graph $G$ of $\ell$-isogenies between ordinary elliptic curves over $\mathbf{F}_{p^k}$. Kohel proved that the connected components of $G$ have a remarkable structure, now called an $\ell$-volcano graph. Bambury, Campagna, and Pazuki investigated the inverse volcano problem: given a volcano graph $V$, can one find it as a connected component of $G$ over $\mathbf{F}_{p^k}$? They gave a complete positive answer over $\mathbf{F}_p$, and described a specific counterexample over $\mathbf{F}_{p^2}$. In this paper, we generalise the results of Bambury-Campagna-Pazuki by providing a precise framework for the inverse volcano problem over $\mathbf{F}_{p^k}$. The solvability of the problem for an $\ell$-volcano graph $V$ of depth $d$ is typically determined by the relation between $d$ and the $\ell$-valuation $r$ of $k$. When $r$ is small in comparison to $d$, we prove that there are infinitely many primes $p$ solving the inverse problem for $V$. The situation where $r$ is large in comparison to $d$ is more delicate: in many cases we prove that the inverse problem for $V$ is unsolvable; in a few other cases the problem appears to be solvable, but our proof of this is conditional on a variant of the Cohen-Lenstra heuristics for class groups of imaginary quadratic fields. We provide some computational evidence in support of these modified heuristics.

Almost Free Non-Archimedean Banach Spaces and Relation to Large Cardinals

math.LO

math.NT

Let $k$ be a complete valuation field. We formulate a free Banach $k$-vector space as a Banach $k$-vector space with an orthonormal Schauder basis, and an almost free Banach $k$-vector space as a non-Archimedean analogue of an almost free Abelian group. As non-Archimedean analogues of the classical facts that an almost free Abelian group is free under the assumption of the $\aleph_1$-strong compactness or the weak compactness of the cardinality, we show that an almost free Banach $k$-vector space is free under similar assumptions.

Character values and conductors of low-rank groups of Lie type

math.RT

math.GR

math.NT

Let $\chi$ be a complex irreducible character of a finite group $G$. The conductor of $\chi$, denoted $c(\chi)$, is the smallest positive integer $n$ such that $\chi(x)\in \mathbb{Q}(\exp({2\pi i/n}))$ for all $x\in G$. We show that for certain rank $1$ finite groups of Lie type, the conductor $c(\chi)$ is realized at a single group element; that is, there exists $g\in G$ such that $c(\chi)=c(\chi(g))$. This phenomenon was recently noted by the second author as a possible strengthening of a well-known conjecture of W.~Feit. Our approach uses techniques from algebraic number theory together with the known character tables of these groups.

Cusp Form Dimensions, Lattice Uniqueness, and LP Sharpness for Sphere Packing in Dimensions 8 and 24

math.CO

math.NT

The Cohn-Elkies linear programming (LP) bound for sphere packing is known to be sharp in dimensions 8 and 24 but in no other dimension above 2. We investigate why by examining three independent necessary conditions for LP sharpness, drawn from number theory, lattice theory, and conformal field theory. The first condition, dim S_{d/2}(SL_2(Z)) <= 1, bounds the freedom in theta series and rules out all d >= 48. The second, derived from Cohn and Triantafillou's dual LP obstruction via cusp forms for the congruence subgroup Gamma_0(2), explains why LP sharpness fails in dimensions 16 and 32 despite the first condition being satisfied. The third, via the Hartman-Mazac-Rastelli correspondence between LP bounds and the modular bootstrap for Narain conformal field theories, reinterprets LP sharpness as the existence of an extremal CFT. We formulate a conjecture that these three conditions are equivalent for d congruent to 0 mod 8, and observe that the Bost-Connes quantum statistical system provides a natural algebraic framework in which all three perspectives are connected through the Hecke algebra.

Geometrization of the Schr\"odinger Model for the Minimal Representation of an Even Orthogonal Group: The de Rham Setting

math.RT

math.NT

math.RA

We construct and compare three D-module models for the minimal representation of the conformal group of an even-dimensional quadratic space. Let $V$ be a quadratic space over a field $\kappa$ of characteristic $0$, let $C$ be the isotropic cone in $V^*$, and let $G$ be the conformal group of $V$. We prove an equivalence between the category of modules over the Grothendieck differential operator algebra $D_C$, a Kazhdan--Laumon glued category attached to the smooth locus of the cone, and a category of "harmonic" twisted D-modules on a flag variety $G/P$. Along the way, we construct a quadric Fourier transform on $D_C$, provide a geometric proof that the algebra $D_C$ is finitely generated despite the singularity of $C$, and explain the quasi-classical analogue of this minimal representation.

Algorithms on the Pyasetskii involution on local Langlands parameters of classical groups

math.RT

math.NT

We give an algorithm to compute the Pyasetskii involution for $\mathrm{Sp}_{2n}$, $\mathrm{SO}_{2n+1}$ and $\mathrm{O}_{2n}$. The algorithm is a combination of Moeglin-Waldspurger's algorithm for the Pyasetskii involution for $\mathrm{GL}_n$ ([MW86]) and Lanard-M${\'i}$nguez's algorithm for the Aubert-Zelevinsky involution of bad parity representations for classical groups ([LM25]). In particular, we give a geometric interpretation of the bad parity case of Lanard-M${\'i}$nguez's algorithm.

Pro-$p$ Iwahori-Hecke modules in semisimple rank one and singularity categories

math.RT

math.NT

Let $\mathfrak{F}$ be a non-archimedean local field of residue characteristic $p$ and $G$ be one of the groups $\mathrm{GL}_2(\mathfrak{F})$, $\mathrm{SL}_2(\mathfrak{F})$ or $\mathrm{PGL}_2(\mathfrak{F})$. Let $\mathcal{H}_G$ denote the pro-$p$ Iwahori-Hecke algebra of $G$ over $\overline{\mathbb{F}}_p$. We study the homotopy category $\mathrm{Ho}(\mathcal{H}_G)$ of Hovey's Gorenstein projective model structure on the category of $\mathcal{H}_G$-modules and relate it to the singularity category $\mathrm{Sing}(X_{q,\mathbf{G}})$ of an explicit scheme. When $G=\mathrm{GL}_2(\mathfrak{F})$, this scheme was first introduced by Dotto-Emerton-Gee \cite{DEG22}. We obtain in that case an equivalence $\mathrm{Ho}(\mathcal{H}_{\mathrm{GL}_2})\simeq \mathrm{Sing}(X_{q,\mathrm{GL}_2})$ and recover from this Grosse-Kl\"onne's mod-$p$ Langlands correspondence for Hecke modules \cite{GK20}, building on work of P\'epin-Schmidt \cite{PeSch25_2}. We furthermore describe $\mathrm{Ho}(\mathcal{H}_G)$ completely explicitly when $G=\mathrm{SL}_2(\mathfrak{F})$ or $\mathrm{PGL}_2(\mathfrak{F})$, and make additional computations in the $\mathrm{GL}_2$ case.

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

math.RT

math.AG

math.NT

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$.

Combinatorial multiple Eisenstein series

math.NT

math.CO

math.QA

v5

We construct a family of $q$-series with rational coefficients satisfying a variant of the extended double shuffle equations, which are a lift of a given $\mathbb{Q}$-valued solution of the extended double shuffle equations. These $q$-series will be called combinatorial (bi-)multiple Eisenstein series, and in depth one they are given by Eisenstein series. The combinatorial multiple Eisenstein series can be seen as an interpolation between the given $\mathbb{Q}$-valued solution of the extended double shuffle equations (as $q\rightarrow 0$) and multiple zeta values (as $q\rightarrow 1$). In particular, they are $q$-analogues of multiple zeta values closely related to modular forms. Their definition is inspired by the Fourier expansion of multiple Eisenstein series introduced by Gangl-Kaneko-Zagier. Our explicit construction is done on the level of their generating series, which we show to be a so-called symmetril and swap invariant bimould.

Chabauty--Kim, finite descent, and the Section Conjecture for locally geometric sections

math.NT

math.AG

v2

Let $X$ be a smooth projective curve of genus $\geq2$ over a number field. A natural variant of Grothendieck's Section Conjecture postulates that every section of the fundamental exact sequence for $X$ which everywhere locally comes from a point of $X$ in fact globally comes from a point of $X$. We show that $X/\mathbb{Q}$ satisfies this version of the Section Conjecture if it satisfies Kim's Conjecture for almost all choices of auxiliary prime $p$, and give the appropriate generalisation to $S$-integral points on hyperbolic curves. This gives a new "computational" strategy for proving instances of this variant of the Section Conjecture, which we carry out for the thrice-punctured line over $\mathbb{Z}[1/2]$.

Prime isogenous discriminant ideal twins

math.NT

v2

Let $E_{1}$ and $E_{2}$ be elliptic curves defined over a number field $K$. We say that $E_{1}$ and $E_{2}$ are discriminant ideal twins if they are not $K$-isomorphic and have the same minimal discriminant ideal and conductor. Such curves are said to be discriminant twins if, for each prime $\mathfrak{p}$ of $K$, there are $\mathfrak{p}$-minimal models for $E_{1}$ and $E_{2}$ whose discriminants are equal. This article explicitly classifies all prime-isogenous discriminant (ideal) twins over $\mathbb{Q}$. We obtain this classification as a consequence of our main results, which constructively gives all $p$-isogenous discriminant ideal twins over number fields where $p\in\left\{ 2,3,5,7,13\right\} $, i.e., where $X_0(p)$ has genus $0$. In particular, we find that up to twist, there are finitely many $p$-isogenous discriminant ideal twins if and only if $K$ is $\mathbb{Q}$ or an imaginary quadratic field. In the latter case, we provide instructions for finding the finitely many pairs of $j$-invariants that result in $p$-isogenous discriminant ideal twins. We prove our results by considering the local data of parameterized $p$-isogenous elliptic curves.

Pluckerians twisted with linear forms and Druzkowski maps

math.NT

math.FA

v5

We introduce a class of so-called Pl$\ddot{\mathrm{u}}$cker polynomials with respect to $2l\times l$ matrices, which varies the standard quadratic Pl$\ddot{\mathrm{u}}$cker expression by increased power and twisted linear forms. Besides general interests exhibited by novel algebraic identities and delicate nested structures, these polynomials fit into Dru$\dot{z}$kowski's well-known reduction of the Jacobian Conjecture. The core jacobian condition therein breaks into homogeneous linear equations with polynomial coefficients, and the Pl$\ddot{\mathrm{u}}$cker polynomials are applied to study both existence and expression of their nontrivial solutions.

On a level analog of Selberg's result on $S(t)$

math.NT

v3

Let $S(t,f)=\pi^{-1}\arg L(1/2+it, f)$, where $f$ is a holomorphic Hecke cusp form of weight $2$ and prime level $q$. In this paper, we establish an unconditional asymptotic formula for the moments of $S(t,f)$, providing a level aspect analogue of Selberg's classical work on $S(t)$. As a consequence, we derive a weighted central limit theorem for the distribution of $S(t,f)$ normalized by $\sqrt{\log\log q}$. To this end, we develop a precise approximation for $S(t,f)$ via a truncated Dirichlet series and employ a weighted zero-density estimate for the corresponding family of $L$-functions.

On curious properties of the general size-biased distribution

math.NT

v3

We offer further results on a general size-biased distribution related to the Riemann xi-function we presented in [9] using the work of Ferrar. Curious properties associated with its expected value are presented, which are related to special functional equations. We also relate our observations to some recent developments related to the Riemann hypothesis.

Local fields, iterated extensions, and Julia Sets

math.NT

math.DS

v2

Let $K$ be a field complete with respect to a discrete valuation $v$ of residue characteristic $p$. For $\alpha \in K$, let $K_\infty$ be the extension obtained by adjoining all iterated preimages of $\alpha$ under a unicritical polynomial $f_c(z)=z^\ell - c \in K[z]$. We study the extension $K_\infty/K$ and show that its qualitative behavior depends only on the valuation of $c$. This removes the previous restrictions on $\ell$ in work of Anderson--Hamblen--Poonen--Walton and completes the classification for all $\ell \ge 2$. We also relate the ramification to the structure of the Berkovich Julia set of $f_c$.

Representing an integer and its powers in two unrelated number systems

math.NT

v2

Let $\alpha$ be a fixed quadratic irrational. Consider the Diophantine equation \[ y^a\ =\ q_{N_1} + \cdots + q_{N_K},\quad N_1 \geq \cdots \geq N_{K} \geq 0,\quad a, y \geq 2 \] where $(q_N)_{N\,\geq\,0}$ is the sequence of convergent denominators to $\alpha$. We find two effective upper bounds for $y^a$ which depend on the Hamming weights of $y$ with respect to its radix and Zeckendorf representations, respectively. The latter bound extends a recent result of Vukusic and Ziegler. En route, we obtain an analogue of a theorem by Kebli, Kihel, Larone and Luca.

Further Applications of Cubic $q$-Binomial Transformations

math.NT

math.CO

v3

Consider \begin{align*} G(N,M;\alpha,\beta,K,q) = \sum\limits_{j\in\mathbb{Z}}(-1)^jq^{\frac{1}{2}Kj((\alpha+\beta)j+\alpha-\beta)}\left[\begin{matrix}M+N\\N-Kj\end{matrix}\right]_{q}. \end{align*} In this paper, we prove the non-negativity of coefficients of some cases of $G(N,M;\alpha,\beta,K,q)$. For instance, for non-negative integers $n$ and $t$, we prove that\\ \begin{align*} G\left(n,n;\frac{4}{3}+\frac{3(3^t-1)}{2},\frac{5}{3}+\frac{3(3^t-1)}{2},3^{t+1},q\right) \end{align*} and \begin{align*} G\left(n-\frac{3^t-1}{2},n+\frac{3^t+1}{2};\frac{8}{3}+2(3^t-1),\frac{4}{3}-(3^t-1),3^{t+1},q\right)\\ \end{align*} are polynomials in $q$ with non-negative coefficients. Using cubic positivity preserving transformations of Berkovich and Warnaar and some known formulae arising from Rogers-Szeg\"{o} polynomials, we establish new identities such as\\ \begin{align*} \sum\limits_{0\le 3j\le n}\dfrac{(q^3;q^3)_{n-j-1}(1-q^{2n})q^{3j^2}}{(q;q)_{n-3j}(q^6;q^6)_{j}} = \sum\limits_{j=-\infty}^{\infty}(-1)^jq^{6j^2}{2n\brack n-3j}_q. \end{align*}

Non-trivial Solutions of $Aa^p+Bb^p=Cc^3$ over Number Fields

math.NT

v2

In this paper, we investigate solutions to the Diophantine equation $ A a^p + B b^p = C c^3 $ over number fields using the modular method. Assuming certain standard modularity conjectures, we first establish an asymptotic result for general number fields satisfying an appropriate $S$-unit condition. In particular, we verify that this condition holds for several imaginary quadratic fields. Beyond the asymptotic setting, we also obtain an effective result. Specifically, for the equation $a^p + d b^p = c^3$ over $ K = \mathbb{Q}(\sqrt{-d}) $ with $ d \in \{7, 19, 43, 67\} $, we determine an explicit bound (depending on $ d $) such that no solutions of a certain type exist whenever $ p $ exceeds this bound.

Eisenstein cohomology and congruences for the ratios of Rankin--Selberg $L$-functions

math.NT

v2

A well-known principle states that a congruence between objects should give rise to a corresponding congruence between the special values of $L$-functions attached to these objects. In this article, using the machinery of Eisenstein cohomology after refining it for integral cohomology, we prove an instance of this principle for the ratios of critical values for Rankin--Selberg $L$-functions attached to pairs of holomorphic cuspforms.

Orderings of k-Markov Numbers

math.NT

math.CO

v2

The $k$-Markov numbers, introduced by Gyoda and Matsushita, are those which appear in positive integral solutions to $x^2 + y^2 + z^2 + k(xy + xz + yz) = (3+3k)xyz$. When $k =0$, this recovers the ordinary Markov numbers. A long-standing question in the theory of Markov numbers is Frobenius's unicity conjecture, concerning whether every Markov number is the maximum in a unique solution triple. Aigner gave a series of weaker, related conjectures which were confirmed to be true by Lee, Li, Rabideau, and Schiffler using techniques from the theory of cluster algebras. We show here that $k$-Markov numbers also satisfy Aigner's conjectures.

Unconditional estimates on the argument of Dirichlet $L$-functions with applications to low-lying zeros

math.NT

v2

We make explicit a result of Selberg on the argument of Dirichlet $L$-functions averaged over non-principal characters modulo a prime $q$. As a corollary, we show for all sufficiently large prime $q$ that the height of the lowest non-trivial zero of the corresponding family of $L$-functions is less than $1075\cdot \frac{2\pi}{\log q}$. Here the scaling factor $\frac{2\pi}{\log q}$ is the average spacing between consecutive low-lying zeros with height at most 1, say. We also obtain a lower bound on the proportion of $L$-functions whose first zero lies within a given multiple of the average spacing. These appear to be the first explicit unconditional results of their kinds.

Rank metric codes from Drinfeld modules

math.NT

cs.IT

math.CO

math.IT

v2

We establish a connection between Drinfeld modules and rank-metric codes, focusing on the case of semifield codes. Our method constructs rank-metric codes from linear subspaces of endomorphisms of a Drinfeld module acting on torsion submodules. We show that Sheekey's construction [She20] fits naturally into this framework, yielding a short conceptual proof of one of his main results. We then give a new construction of infinite families of semifield codes arising from Drinfeld modules defined over finite fields.

Hurwitz spaces and Inverse Galois Theory

math.NT

math.AG

v2

Hurwitz spaces which parametrize branched covers of the line play a prominent role in inverse Galois theory. This paper surveys fifty years of works in this direction with emphasis on recent advances. Based on the Riemann-Hurwitz theory of covers, the geometric and arithmetic setup is first reviewed, followed by the semi-modern developments of the 1990--2010 period: large fields, compactification, descent theory, modular towers. The second half of the paper highlights more recent achievements that have reshaped the arithmetic of Hurwitz spaces, notably via the systematic study of the ring of components. These include the construction of components defined over ${\mathbb Q}$, and the Ellenberg-Venkatesh-Westerland approach to rational points over finite fields, applied to the Cohen-Lenstra heuristics and the Malle conjecture over function fields ${\mathbb F}_q(T)$.

Two dimensional covering systems and possible prime producing $a^m-b^n$

math.NT

v2

We exhibit a new application of two dimensional covering systems, examples of integer pairs $a,b$ for which $a^m-b^n$ has a prime divisor from some given finite set of primes, for every pair of integers $m,n\geq 0$. This leads us to conjecture what are the only possible obstructions to $|a^m-b^n|$ taking on infinitely many distinct prime values.

Lower Bounds for Densities of Transcendental Gamma-Function Derivatives

math.NT

v3

In recent work, we showed that for all $q\in\tfrac{1}{2}\mathbb{Z}\setminus\mathbb{Z}_{\leq0}$ the sequence $\left\{\Gamma^{\left(n\right)}\left(q\right)\right\} _{n\geq1}$ contains transcendental elements infinitely often, with the density of transcendental $\Gamma^{\left(n\right)}\left(q\right)$ among $n\in\left\{1,2,\ldots,N\right\}$ bounded below by $\beta\left(N\right)=\max\left\{0,\sqrt{N}-5/2\right\}/N$. For both fixed and variable $n$, we now study the transcendence of $\Gamma^{\left(n\right)}\left(q\right)$ at both positive lattice points $q=m\in\left\{1,2,\ldots\right\}$ and rationally shifted lattice points $q=\widetilde{m}\in\left\{\kappa,\pm1+\kappa,\pm2+\kappa,\ldots\right\}$ (for $\kappa\in\left(0,1\right)\cap\mathbb{Q}$ such that $\Gamma\left(\kappa\right)$ is transcendental). For $n\in\mathbb{Z}_{\geq2}$, we find there are at most $n-1$ algebraic $\Gamma^{\left(n\right)}\left(m\right)$, and for $n\in\mathbb{Z}_{\geq1}$, there are at most $n$ algebraic $\Gamma^{\left(n\right)}\left(\widetilde{m}\right)$ for each one-sided shifted lattice (i.e., $\widetilde{m}\geq\kappa$ or $\widetilde{m}\leq\kappa$). These results form the basis for constructing lower bounds for the densities of transcendental $\Gamma^{\left(n\right)}\left(m\right)$ among $m\in\left\{1,2,\ldots,M\right\}$ and transcendental $\Gamma^{\left(n\right)}\left(\widetilde{m}\right)$ among either $\widetilde{m}\in\left\{\kappa,1+\kappa,2+\kappa,\ldots,M+\kappa\right\}$ or $\widetilde{m}\in\left\{\kappa,-1+\kappa,-2+\kappa,\ldots,-M+\kappa\right\}$. Allowing $n$ to vary, we derive lower bounds for the bivariate densities of both transcendental $\Gamma^{\left(n\right)}\left(m\right)$ among $\left(n,m\right)\in\left\{2,3,\ldots,N\right\}\times\left\{1,2,\ldots,M\right\}$ and transcendental $\Gamma^{\left(n\right)}\left(\widetilde{m}\right)$ among one-sided shifted-lattice analogues.

On The Hausdorff Dimension of Weighted Badly Approximable Vectors

math.NT

v3

Let $\boldsymbol{\tau}=(\tau_1,\dots,\tau_m)\in \mathbb{R}_{\ge 0}^m$ satisfy $\sum_{i=1}^m \tau_i>1$ and $\tau_1\ge \cdots \ge \tau_m$ Let $\Psi_{\boldsymbol\tau}=(\psi_1,\dots,\psi_m)$ be given by $$ \psi_i(q)=q^{-\tau_i}, \qquad i=1,\dots,m,$$ and denote by $\mathcal{A}_m(\Psi_{\boldsymbol\tau})$ the set of $\Psi_{\boldsymbol\tau}$-approximable vectors in $[0,1]^m$. The associated set of weighted $\Psi_{\boldsymbol\tau}$-badly approximable vectors is defined by $$\mathcal{B}_m(\Psi_{\boldsymbol\tau}) = \mathcal{A}_m(\Psi_{\boldsymbol\tau}) \setminus \bigcap_{0<1}\mathcal{A}_m(c\Psi_{\boldsymbol\tau}).$$ The main result of this paper is that, for every ball $B\subseteq [0,1]^m$, \[ \dim_{\mathcal{H}}\bigl(B\cap \mathcal{B}_m(\Psi_{\boldsymbol\tau})\bigr) = \dim_{\mathcal{H}}\mathcal{A}_m(\Psi_{\boldsymbol\tau}). \] The proof extends the Cantor-type construction and mass distribution arguments of Koivusalo, Levesley, Ward, and Zhang from the unweighted to the weighted setting, and is independent of recent results on weighted exact approximation.

On factorial reciprocals in Cantor sets

math.NT

v2

Let $C$ be the middle-third Cantor set. We show that \[\left\{\frac{1}{n!}: n\in\mathbb{N}\right\}\cap C=\left\{1, \frac{1}{5!}\right\}.\] This answers a question recently posed by Jiang [J. Lond. Math. Soc., 2026, published online]. Our approach generalizes to general missing-digit sets, showing that, in any such set, there are only finitely many elements of the form $\frac{1}{n!}$, all of which can be effectively determined.

Plectic Heegner classes

math.NT

v2

We introduce a new collection of partially global Galois cohomology classes subsuming both plectic Heegner points and mock plectic invariants. The former are recovered as localizations of plectic Heegner classes, while the latter arise as eigenspace projections with respect to a "partial Frobenius"-action. By overcoming some limitations of previous constructions, plectic Heegner classes are expected to provide finer control over the arithmetic of higher rank elliptic curves. We are able to perform our construction via a systematic use of certain automorphic functions whose coefficients are p-adic measures valued in Galois cohomology. As we produce these functions through the uniformization of Shimura curves -- rather than higher dimensional quaternionic Shimura varieties -- our results are compatible with a plectic refinement of Tate's conjectures.

Various conjectural series identities

math.NT

math.CO

v3

In this paper we collect over 150 new series identities (involving binomial coefficients) conjectured by the author in 2026. The values involved are related to $\pi$ or Riemann's zeta function or Dirichlet's $L$-function. For example, we conjecture that $$\sum_{k=0}^\infty\frac{16k+3}{(-202^2)^k}\binom{2k}kT_k(19,-20)T_{2k}(9,-5)=\frac{43\sqrt{101}}{75\pi},$$ where $T_n(b,c)$ denotes the coefficient of $x^n$ in the expansion of $(x^2+bx+c)^n$. The conjectures in this paper might interest some readers and stimulate further research.

Series for $1/\pi$ arising from Cauchy product

math.NT

v2

In this note, we evaluate a series for $1/\pi$ conjectured by Sun. Our proof uses the Cauchy product and hypergeometric transformations. From this result, we derive two additional analogous series for $1/\pi$ involving polynomials of degree $3$. Further identities can be proved using our method; these are presented in a table at the end of the note.

Algebraic actions II. Groupoid rigidity

math.DS

math.NT

math.OA

v2

We establish rigidity for partial transformation groupoids associated with algebraic actions of semigroups: If two such groupoids (satisfying appropriate conditions) are isomorphic, then the globalizations of the initial algebraic actions rationally embed in each other. For specific example classes arising for instance from toral endomorphisms, actions from rings, or actions from commutative algebra, this mutual embedability can be improved in various ways to obtain surprisingly strong rigidity phenomena. This is witnessed in a particularly striking fashion for actions arising from algebraic number theory: We prove that the groupoids associated with the action of the multiplicative monoid of non-zero elements in a ring of algebraic integers on the additive group of the ring remembers the initial algebraic action up to isomorphism, which in turn remembers the isomorphism class of the ring. This resolves an open problem about isomorphisms of Cartan pairs and leads to a dynamical analogue of the Neukirch--Uchida theorem using topological full groups.

Multiplicity of non-acyclic ${\rm SL}_2$-representations and L-functions of the odd-twisted Whitehead links

math.GT

math.NT

v2

We study the divisor of the Reidemeister torsion on the variety of irreducible ${\rm SL}_2\mathbb{C}$-characters of certain knots and links, and provide a geometric interpretation of them. We focus in particular on the family of odd-twisted Whitehead links $W_{2n-1}$ and prove that these divisors have multiplicity two. Furthermore, we apply these results to the study of the $L$-functions of the universal deformations of representations over fields with characteristic $p>2$ of these link groups.

Existence of a Sidon set for the distinct distance constant

math.CO

math.NT

v2

We highlight a certain compactness of Sidon sets and $B_2[g]$-sets and provide several applications. Notably, we prove the existence of such sets that maximize certain functions. In particular, we show the existence of a Sidon set whose reciprocal sum is equal to the distinct distance constant. We also improve the best known bounds for this constant.

The spaces of rational curves on del Pezzo surfaces via conic bundles

math.AG

math.NT

v3

Using the homological sieve method developed by Das--Lehmann--Tosteson and the author, we prove Peyre's all height approach to Manin's conjecture for split quintic del Pezzo surfaces defined over $\mathbb F_q(t)$ assuming $q$ is sufficiently large. We also establish lower bounds of correct magnitude for the counting function of rational curves on split low degree del Pezzo surfaces defined over $\mathbb F_q$ assuming $q$ is large.

On separating sets of polynomial invariants of finite abelian group actions

math.AC

math.NT

v2

Let $G$ be a finite group acting on a finite dimensional complex vector space $V$ via linear transformations. Let $\mathbb{C}[V]^G$ be the algebra of polynomials that are invariant under the induced $G$-action on the polynomial ring $\mathbb{C}[V]$. A subset $S\subseteq\mathbb{C}[V]^G$ is a separating set if it separates the orbits of the group action. If $G$ is abelian, then there exist finite separating sets consisting of monomials. In this paper we investigate properties of separating sets from four different points of view, including the monoid theoretical properties of separating sets consisting of monomials, the minimal size of separating sets consisting of monomials, the exact value of the separating Noether number $\sepbeta(G)$ of abelian groups of rank $4$, and the inverse problem of $\sepbeta(G)$ for abelian groups of rank $2$.

On Glaisher's Partition Theorem

math.CO

math.NT

v3

Glaisher's theorem states that the number of partitions of $n$ into parts which repeat at most $m-1$ times is equal to the number of partitions of $n$ into parts which are not divisible by $m$. The $m=2$ case is Euler's famous partition theorem. Recently, Andrews, Kumar, and Yee gave two new partition functions $C(n)$ and $D(n)$ related to Euler's theorem. Lin and Zang extended their result to Glaisher's theorem by generalizing $C(n)$. We generalize $D(n)$ and prove an analogous partition identity for the $m=3$ case. We also provide a new series equal to Glaisher's product both in the finite and infinite cases.

Igusa Stack for some exceptional Shimura Varieties

math.AG

math.NT

v2

We study the integral models of meta-unitary Shimura varieties through the lens of Scholze's fiber product conjecture. Reformulating Bultel's original construction in terms of moduli stacks of Shtukas and Igusa stacks, we prove the validity of the fiber product formula for this class of non-abelian type Shimura varieties, thereby generalizing the works of Zhang and Daniels, Van Hoften, Kim, and Zhang. We utilize this geometric description to derive local-global compatibility results and, adapting the strategy of Zhu and Yang, apply the unipotent categorical local Langlands correspondence to prove a general vanishing theorem for the generic part of the cohomology of meta-unitary Shimura varieties.

Motivic height zeta function rationality and Kudla-Millson modularity for elliptic surfaces

math.AG

math.NT

v4

Let $k$ be a perfect field with $\mathrm{char}(k)\neq 2,3$, set $K=k(t)$, and let $\mathcal{W}_n^{\min}$ be the moduli stack of minimal elliptic curves over $K$ of Faltings height $n$, constructed via the height-moduli framework of Bejleri-Park-Satriano applied to $\overline{\mathcal{M}}_{1,1}\simeq\mathcal{P}(4,6)$. The Shioda-Tate formula $\rho(S)=T(S)+\mathrm{rk}(E/K)$ decomposes the Picard rank of the associated elliptic surface into the trivial lattice rank, which is local (determined by Kodaira fiber types), and the Mordell-Weil rank, which is global. We prove that these two invariants are governed by fundamentally different arithmetic: the motivic height zeta function weighted by trivial lattice rank is approximately rational in $s=t^{1/12}$ in the dimensionally completed Grothendieck ring, combining exact Euler products on isotrivial loci with a motivic discriminant stabilization adapting Vakil-Wood to $\Delta=4a_4^3+27a_6^2$; over $k=\mathbb{C}$, this yields bidegree-wise Hodge number stabilization. In sharp contrast, the Kudla-Millson theta correspondence shows that the distribution of new Mordell-Weil sections by canonical height is determined by modular forms of weight $6n-2$ for $\mathrm{SL}_2(\mathbb{Z})$, transcendental over $\mathbb{C}(q)$. We establish through Shepherd-Barron that the Kodaira-Spencer map is transverse to every Heegner hyperplane and that infinitely many canonical heights are geometrically realized by sections.

Problems and results on intersections of product sets and sumsets in semigroups

math.CO

math.GR

math.NT

v2

For every subset $A$ of a semigroup $S$, let $A^h$ be the set of all products of $h$ elements of $S$. If $(A)_{q\in Q}$ is a family of subsets of $S$, then $A = \bigcap_{q \in Q} A_q$ satisfies $A^h \subseteq \bigcap_{q \in Q} A_q^h$. The product intersection set $H(A_q) = \left\{h \in \mathbf{N}: A^h = \bigcap_{q \in Q} A_q^h \right\}$ is investigated.

A Simpler Approach to a Descent Conjecture of Wittenberg

math.AG

math.NT

v2

A descent conjecture of Wittenberg [Wit24, Conjecture 3.7.4] predicts that if all the twists of a rationally connected torsor over a smooth base satisfy weak approximation with Brauer-Manin obstruction, then so does the base. We give an alternative proof of Wittenberg's conjecture for certain torsors under connected linear groups via Cao's descent formula.