Number Theory [math.NT]

Irreducible Polynomials with Coefficients in an Affine Algebraic Set
math.NT


Neil Kolekar

In this paper, we give error bounds on the number of monic irreducible polynomials $a_0+a_1x+\dots+a_{n-1}x^{n-1}+x^n$ over a finite field $\mathbb{F}_q$ of degree $n$ with $(a_0, a_1, \dots, a_{n-1}, 1)$ lying in a fixed affine algebraic set $V$ of points in $\mathbb{F}_q^{n+1}$.

On the Zeros of $q$-Hankel Transform by Using P\'{o}lya-Hurwitz Partial Fraction Method
math.NT
math.CV


Mahmoud Annaby, Shimaa Elsayed-Abdullah

The technique of P\'{o}lya-Hurwitz of partial fractions is implemented to investigate the zeros of finite $q$-Hankel transforms, which are defined in terms of the third $q$-Bessel function of Jackson. The new approach, which is a $q$-counterpart of P\'{o}lya-Hurwitz technique relaxes the restrictive conditions imposed on $q$ in the previously obtained results. In the present study, we use the $q$-type sampling theorems of the $q$-Hankel transforms, which lead directly to $q$-partial fractions. Various experimental examples are established.

Integrality of Picard-Fuchs differential equations of Kobayashi geodesics and applications
math.NT


Gabriele Bogo

We prove that the holomorphic solutions of Picard-Fuchs differential equations associated with one-parameter families of abelian varieties with real multiplication admit power series expansions with $S$-integral coefficients at a maximal unipotent monodromy point. This extends classical integrality results for hypergeometric functions and Bouw-M\"oller's work on Teichm\"uller curves. The integral solutions are related to the non-ordinary locus of the modulo $p$ reduction of the family, whose cardinality we bound in terms of the Euler characteristic and Lyapunov exponents of the base curve. In some cases, the non-ordinary locus can be recovered by truncating the integral solutions, as in Igusa's classical observation for the Legendre family. We also establish $S$-integrality of expansions of modular forms at cusps in terms of a modular function for (not necessarily arithmetic) Fuchsian groups with modular embeddings, and deduce congruences. These results are applied in subsequent work to construct lifts of partial Hasse invariants for rational curves in Hilbert modular varieties.

Mixed moments of twisted $L$-functions
math.NT


Zhenpeng Tang, Xiaosheng Wu

We establish an asymptotic formula with a power-saving error term for the twisted mixed moment of Dirichlet $L$-functions and automorphic $L$-functions twisted by all primitive characters modulo $q$, valid for all admissible moduli. As a special case, this extends the asymptotic result of Blomer, Fouvry, Kowalski, Michel, and Mili\'cevi\'c to general moduli, achieving an error term as sharp as the best bound recently proved by Khan and Zhang for prime moduli.

Anabelian aspects of the outer automorphism groups of the absolute Galois groups of mixed-characteristic local fields
math.NT


Kaiji. Kondo

In the present paper, we study the outer automorphism groups of the absolute Galois groups of mixed-characteristic local fields from the point of view of anabelian geometry. In particular, we show that, under certain mild assumptions, the image of the natural homomorphism from the automorphism group of a mixed-characteristic local field to the outer automorphism group of the associated absolute Galois group is not a normal subgroup. Furthermore, we show that, for the absolute Galois group of a mixed-characteristic local field satisfying certain assumptions, there exist a continuous representation and a continuous automorphism of the group such that the former is irreducible, abelian, and crystalline, but the continuous representation obtained as the composite of the former with the latter is not even Hodge-Tate. These results significantly generalize previous works by Hoshi and Nishio. A key observation in obtaining these results is to focus on the analogy between the mapping class groups of topological surfaces and the outer automorphism groups of the absolute Galois groups of mixed-characteristic local fields. To the best of the author's knowledge, this is the first work applying results from the theory of mapping class groups to the anabelian geometry of mixed-characteristic local fields, going beyond a mere analogy between the two.

On the largest prime factors of shifted semiprime numbers
math.NT


Do Duc Tam

A natural number $n$ is called semi-prime if it is a product of two primes or a square of a prime. We denote $\mathbb{P}_2$ the set of all semi-primes. Our goal is to prove that for fixed integer number $a$ and sufficiently large $x$ the largest prime factor of number $$ \prod_{\substack{n\in \mathbb{P}_2\\n\leq x}}(n+a) $$ exceeds $x^{\theta}$, where $\theta= 0.5-\varepsilon,$ $0<\varepsilon\leq 0.01$ is arbitrarily small.

A parallelogram height inequality for Drinfeld modules
math.NT


Liam Baker, Richard Griffon, Fabien Pazuki

We prove inequalities relating the Taguchi heights, respectively the graded heights, of four Drinfeld modules arranged in a ``parallelogram of isogenies''. This inequality is the analogue for Drinfeld modules of the parallelogram inequality of R\'emond (2022) for abelian varieties over number fields and of Griffon--Le Fourn--Pazuki (2025) for abelian varieties over function fields.

Explicit valuation of elliptic nets for elliptic curves with complex multiplication
math.NT


Edison H L Au-Yeung

Division polynomials associated to an elliptic curve $E/K$ are polynomials $\phi_n, \psi_n^2$ that arise from the sequence of points $\{nP\}_{n \in \mathbb{N}}$ on this curve. If one wishes to study $\mathbb{Z}$--linear combination of points on $E(K)$, we can use net polynomials $\Phi_{v}, \Psi_{v}^2$ which are higher--dimensional analogue of division polynomials. It turns out they are also elliptic nets, an $n$--dimensional array with values in $K$ satisfying the same nonlinear recurrence relation that division polynomials do as well. Now further assume the elliptic curve $E/K$ has complex multiplication by an order of a quadratic imaginary field $F \subseteq K$, we will prove a formula for the common valuation of $\Phi_{v}$ and $\Psi_{v}^2$ associated to multiples of points by elements of an order in $F$. As an application, we will use the formula to show that elliptic divisibility sequences associated to multiples of points indexed by elements of an order also satisfy a recurrence relation when indexed by elements of an order, subject to certain conditions on the indices. Additionally, we also expect that the formula may also be used in computing $\mathcal{O}_K$--integral points of an elliptic curve of rank $2$ with complex multiplication (this is future work).

Diophantine approximation with mixed powers of Piatetski-Shapiro primes
math.NT


S. I. Dimitrov

Let $[\,\cdot\,]$ denote the floor function. In this paper, we show that whenever $\eta$ is real and the constants $\lambda _i$ satisfy some necessary conditions, then for any fixed $\frac{63}{64}<\gamma<1$ and $\theta>0$, there exist infinitely many prime triples $p_1,\, p_2,\, p_3$ satisfying the inequality \begin{equation*} |\lambda _1p_1 + \lambda _2p_2 + \lambda _3p^2_3+\eta|<\big(\max \{p_1, p_2, p^2_3\}\big)^{{\frac{63-64\gamma}{52}}+\theta} \end{equation*} and such that $p_i=[n_i^{1/\gamma}]$,\;\;$i=1,\,2,\,3$.

Jacob's ladders, our old formula (1985) and new $\zeta$-equivalent of the Fermat-Wiles theorem on two-parametric set of lemniscates of Bernoulli
math.NT


Jan Moser

In our paper from 1985 we have constructed two integrals of the Riemann's function $Z^2(t)$ over two disconnected sets with asymptotically equal measures such that these two integrals differ by considerably big excess. In the present paper we use the formula for that excess to construct a new $\zeta$-equivalent of the Fermat-Wiles theorem on a two-parametric set of lemniscates of Bernoulli.

A classification of reduction types of curves
math.AG
math.NT


Tim Dokchitser

The aim of this paper is to classify reduction types of algebraic curves. Reduction types capture the discrete invariants of fibres in one-dimensional families of curves, and they have been described in genus 1, 2 and 3. For fixed genus g>1, they form finitely many families, and we explain how to construct them, and introduce a naming convention.

The de Jong fundamental group of $\mathbb{P}^1_C$ depends on $C$ and is not always topologically countably generated
math.AG
math.NT


Sean Howe

For $C/\mathbb{Q}_p$ a complete algebraically closed field, we construct a collection of non-isomorphic rank two $\mathbb{Q}_p$-local systems on $\mathbb{P}^1_C$ indexed by $C$. This implies that the de Jong fundamental group $\pi_{1,\mathrm{dJ}}(\mathbb{P}^1_C)$ depends on $C$ and, if $C$ has cardinality $>2^{\mathbb{N}}$, that $\pi_{1,\mathrm{dJ}}(\mathbb{P}^1_C)$ is not topologically countably generated. The argument in fact applies to any connected rigid analytic variety over $C$ with a non-constant function to $\mathbb{P}^1_C$.

The geometric Sen morphism is the unique lift of the Kodaira--Spencer morphism
math.AG
math.NT


Sean Howe

We show that the geometric Sen morphism of a de Rham torsor over a smooth rigid analytic variety over a $p$-adic field is the unique lift, along a natural map, of the Kodaira--Spencer morphism of the associated filtered torsor with integrable connection. This extends previous computations in the minuscule case, and implies that the geometric Sen morphism is the derivative of the lattice Hodge period map. The computation applies, in particular, to non-minuscule period domains generalizing local Shimura varieties, furnishing new examples of towers satisfying He's stalkwise perfectoidness.

Signed $p$-adic $L$-functions of Bianchi modular forms
math.NT
v4


Mihir Deo

Let $p\geq 3$ be a prime number and $K$ be a quadratic imaginary field in which $p$ splits as $\mathfrak{p}\overline{\mathfrak{p}}$. Let $\mathcal{F}$ be a cuspidal Bianchi eigenform over $K$ of weight $(k,k)$, where $k\geq 0$ is an integer, level $\mathfrak{m}$ coprime to $p$, and non-ordinary at both of the primes above $p$. We assume $\mathcal{F}$ has trivial nebentypus. For $\mathfrak{q}\in\{\mathfrak{p}, \overline{\mathfrak{p}}\}$, let $a_{\mathfrak{q}}$ be the $T_{\mathfrak{q}}$ Hecke eigenvalue of $\mathcal{F}$ and let $\alpha_{\mathfrak{q}},\beta_{\mathfrak{q}}$ be the roots of polynomial $X^{2} -a_{\mathfrak{q}}X+ p^{k+1}$. Then we have four $p$-stabilizations of $\mathcal{F}$: $\mathcal{F}^{\alpha_{\mathfrak{p}},\alpha_{\overline{\mathfrak{p}}}}, \mathcal{F}^{\alpha_{\mathfrak{p}},\beta_{\overline{\mathfrak{p}}}}, \mathcal{F}^{\beta_{\mathfrak{p}},\alpha_{\overline{\mathfrak{p}}}},$ and $ \mathcal{F}^{\beta_{\mathfrak{p}},\beta_{\overline{\mathfrak{p}}}}$ which are Bianchi cuspforms of level $p\mathfrak{m}$. By the works of Williams, to each $p$-stabilization $\mathcal{F}^{*,\dagger}$, we can attach a locally analytic distribution $L_{p}(\mathcal{F}^{*,\dagger})$ over the ray class group $\text{Cl}(K,p^{\infty})$. On viewing $L_{p}(\mathcal{F}^{*,\dagger})$ as a two-variable power series with coefficients in some $p$-adic field having unbounded denominators satisfying certain growth conditions, we decompose this power series into a linear combination of power series with bounded coefficients in the spirit of Pollack, Sprung, and Lei--Loeffler--Zerbes.

On $p$-adic Asai $L$-functions of Bianchi modular forms at non-ordinary primes and their decomposition into bounded $p$-adic $L$-functions
math.NT
v2


Mihir Deo

Let $p$ be an odd prime integer, $F/\mathbb{Q}$ be an imaginary quadratic field, and $\Psi$ be a small slope cuspidal Bianchi modular form over $F$ which is non-ordinary at $p$. In this article, we first construct a $p$-adic distribution $L^{\mathrm{As}}_{p}(\Psi)$ that interpolates the twisted critical $L$-values of Asai (or twisted tensor) $L$-function of $\Psi$, generalizing the works of Loeffler--Williams from the ordinary case to the non-ordinary case. To obtain this distribution, we construct some polynomials using Asai--Eisenstein elements: the Betti analogue of the Euler system machinery, developed by Loeffler--Williams. We use some techniques analogous to those of Loeffler--Zerbes for interpolating the twists of Beilinson--Flach elements arising in the Euler system associated with Rankin--Selberg convolutions of elliptic modular forms. We also use the interpolation method developed by Amice--V\'elu, Perrin-Riou, and B\"uy\"ukboduk--Lei in the construction. Furthermore, under some assumptions, we decompose these unbounded $p$-adic distributions into the linear combination of bounded measures as done by Pollack, Sprung, and Lei--Loeffler--Zerbes in the elliptic modular forms case.

Geometric Properties of Periodic Lattices in Function Fields
math.NT
math.MG
v3


Noy Soffer Aranov

Periodic lattices are natural generalizations of lattices, which arise naturally in diophantine approximations with rationals of bounded denominators. In this paper, we prove analogues of classical theorems in geometry of numbers for periodic lattices in function fields. Moreover, we use special matrices to compute the covering and packing radii of special periodic lattices.

Metric Diophantine approximation on fractals
math.NT
v2


James Wyatt

Inspired by a problem proposed by Mahler, we will address the following related question, 'How well can irrationals in a missing digit set be approximated by rationals with polynomial denominators?' and prove some related results. To achieve this, we will be closely looking at Khintchine's theorem, particularly the convergence case and aim to prove a Khintchine-like convergence theorem for missing digit sets with large bases and rationals with polynomial denominators.

The Brauer Group of $\mathscr{Y}_0(2)$
math.AG
math.NT
v4


Niven Achenjang, Deewang Bhamidipati, Aashraya Jha, Caleb Ji, Rose Lopez

We determine the Brauer group of the Deligne-Mumford stack $\mathscr{Y}_0(2)$, the moduli space of elliptic curves with a marked $2$-torsion subgroup over bases of arithmetic interest. Antieau and Meier determine the Brauer group for $\mathscr{M}_{1,1}$, the moduli stack of elliptic curves by exploiting the fact it is covered by the Legendre family and using the Hochschild-Serre spectral sequence. Over an algebraically closed field, Shin uses the coarse space map to determine the Brauer group of $\mathscr{M}_{1,1}$. We combine techniques from both papers to determine the Brauer group of $\mathscr{Y}_0(2)$.

Roth-type theorems in additive combinatroics
math.CO
math.NT
v2


Weiwen Zhang

In this article we will introduce a central problem in additive combinatorics, which arised from the famous van der Waerden theorem and an early conjecture of Erd\H{o}s and Tur\'{a}n. The first important theorem was due to Roth in 1953. There were a number of generalized or improved results afterwards, which we call Roth-type theorems. We will list them and try to give concise expositions to the ideas in some of the proofs without much prior knowledge.