Number Theory [math.NT]

On certain bilinear sums with modular square roots and applications

math.NT

We extend bounds on additive energies of modular square roots by Dunn, Kerr, Shparlinski, Shkredov and Zaharescu and apply these results to obtain bounds on certain bilinear exponential sums with modular square roots. From here, we make partial progress on the large sieve for square moduli.

Determinants of modular Collatz graphs and variants

math.NT

math.CO

The determinants of modular Collatz graphs and the modular Conway amusical permutation graph are determined, and some interesting number theoretic properties are described.

Primes and almost primes between cubes

math.NT

In this paper we study the problem of detecting prime numbers between all consecutive cubes. Firstly, we use a large computation to show that there is always a prime between $n^3$ and $(n+1)^3$ for $n^3\leq 1.649\cdot 10^{40}$. In addition, we use this computation and a sieve-theoretic argument to show that there exists a number with at most 2 prime factors (counting multiplicity) between $n^3$ and $(n+1)^3$ for all $n\geq 1$. Our sieving argument uses a logarithmic weighting procedure attributed to Richert, which yields significant numerical improvements over previous approaches.

Non-universality of ternary quadratic forms over fields containing $\sqrt2$

math.NT

We prove Kitaoka's conjecture for all totally real number fields of degree 4 -- namely, there is no positive definite classical quadratic form in three variables which is universal. To achieve this, we study the fields (often without restricting the degree) where 2 is a square, because in this arguably most difficult case, the recent results connecting Kitaoka's conjecture to sums of integral squares do not apply. We also prove some other properties of ternary quadratic forms over fields containing $\sqrt2$, for example in relation to the lifting problems for universal quadratic forms and for criterion sets.

On the Zeros of the Riemann Zeta Function with Two Ordinate Shifts

math.NT

We prove that for any fixed real numbers y_1, y_2 not equal to 0, and constant C > 0, there exists a threshold T_* = T_*(y_1, y_2, C) > 0 such that for all T >= T_*, the interval [T, T(1 + epsilon)], with epsilon = exp(-C sqrt(log T)), contains at least one gamma satisfying zeta(1/2 + i gamma) = 0, zeta(1/2 + i (gamma + y_1)) != 0, and zeta(1/2 + i (gamma + y_2)) != 0. This extends earlier work by Banks (for a single shift y) to two distinct shifts y_1, y_2. Our argument is based on the behavior of zeta and L functions in zero-free regions via Perron's formula.

Maximal Fuchsian subgroups of the $d=2$ Bianchi group

math.NT

math.GT

Let $\Gamma$ denote the $d = 2$ Bianchi group $\operatorname{PSL}(2,\mathbb{Z}[\sqrt{-2}])$. We give an explicit description of all conjugacy classes of maximal nonelementary Fuchsian subgroups of $\Gamma$ as integral orders of certain indefinite quaternion algebras over $\mathbb{Q}$. Using this description, we also provide the covolumes corresponding to each conjugacy class. As an application, we compute the limit $\lim_{x\to\infty} \frac{\Pi(x)}{x}$ where $\Pi(x)$ counts the number of primitive totally geodesic immersed surfaces in the manifold $\Gamma\backslash\mathbb{H}^3$ with area less than $x$.

Visibility of Lattice Points across Polynomials

math.NT

The visibility of lattice points from the origin along a polynomial family of curves constitutes a significant generalization of visibility along straight lines. Following the classical notion, where the density equals 1/2, and its generalization to monomial curves of the form y = a x^b, where the density equals 1/(b+1), we study a family of polynomial curves defined by y = q(a_n x^n + ... + a_1 x), where q is a positive rational number. We introduce a new criterion based on a polynomial greatest common divisor condition that provides a lower bound on the number of visible lattice points in N^2. Conversely, we derive conditions under which a given lattice point becomes the next visible point along such a polynomial curve. Using the principle of inclusion-exclusion, we also obtain an exact double-sum formula for the number of pairs (a, b) less than or equal to N that are visible with respect to this polynomial family. Finally, we extend the framework to related problems and pose several open questions concerning gap distributions and quantitative bounds for non-visible points. This work provides a broader theoretical foundation for lattice point visibility beyond linear and monomial settings.

Rank of elliptic curves and class groups of real quadratic fields

math.NT

In this paper, we are going to prove the relation between rank of elliptic curves and the non-triviality of class groups of infinitely many real quadratic fields.

On the Identification of Elliptic Curves That Admit Infinitely Many Twists Satisfying the Birch-Swinnerton-Dyer Conjecture

math.NT

Recent work of Burungale-Skinner-Tian-Wan established the first infinite families of quadratic twists of non-CM elliptic curves over $\mathbb{Q}$ for which the strong Birch-Swinnerton-Dyer (BSD) conjecture holds. Building on their results, we encode the required hypotheses into an explicit algorithm and apply it to the database of elliptic curves in the $L$-functions and Modular Forms Database (LMFDB), identifying all elliptic curves $E$ of conductor at most $500{,}000$ that admit infinitely many quadratic twists satisfying the strong BSD conjecture. Our computations provide certain numerical evidence for a conjecture of Radziwi{\l}{\l} and Soundararajan predicting Gaussian behavior in the analytic order of the Shafarevich-Tate group, while also observing a systematic positive bias within the BSD-satisfying subfamily.

Algorithms for Algebraic and Arithmetic Attributes of Hypergeometric Functions

math.NT

cs.SC

We discuss algorithms for arithmetic properties of hypergeometric functions. Most notably, we are able to compute the p-adic valuation of a hypergeometric function on any disk of radius smaller than the p-adic radius of convergence. This we use, building on work of Christol, to determine the set of prime numbers modulo which it can be reduced. Moreover, we describe an algorithm to find an annihilating polynomial of the reduction of a hypergeometric function modulo p.

Fixed-point proportion of geometric iterated Galois groups

math.NT

math.DS

math.GR

In 1980, Odoni initiated the study of the fixed-point proportion of iterated Galois groups of polynomials motivated by prime density problems in arithmetic dynamics. The main goal of the present paper is to completely settle the longstanding open problem of computing the fixed-point proportion of geometric iterated Galois groups of polynomials. Indeed, we confirm the well-known conjecture that Chebyshev polynomials are the only complex polynomials whose geometric iterated Galois groups have positive fixed-point proportion. Our proof relies on methods from group theory, ergodic theory, martingale theory and complex dynamics. This result has direct applications to the proportion of periodic points of polynomials over finite fields. The general framework developed in this paper applies more generally to rational functions over arbitrary fields and generalizes, via a unified approach, previous partial results, which have all been proved with very different methods.

Density-based structural frameworks for prime numbers, prime gaps, and Euler products

math.NT

math.CV

We develop a unified density-based framework for primality, coprimality, and prime pairs, and introduce an intrinsic normalized model for prime gaps constrained by the Prime Number Theorem. Within this setting, a structural tension between Hardy-Littlewood, Cramer, and PNT predictions emerges, leading to quantitative estimates on the rarity of extreme gaps. Additive representations of even integers are reformulated as local density problems, yielding non-conjectural upper and lower bounds compatible with Hardy-Littlewood heuristics. Finally, the Riemann zeta function is analyzed via truncated Euler products, whose stability and oscillatory structure provide a coherent interpretation of the critical line and prime-based numerical criteria for the localization of non-trivial zeros.

Rationality of the trivial lattice rank weighted motivic height zeta function for elliptic surfaces

math.AG

math.NT

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$ from the height-moduli framework of Bejleri-Park-Satriano applied to $\overline{\mathcal{M}}_{1,1}\simeq \mathcal{P}(4,6)$. For $[E]\in \mathcal{W}_n^{\min}$, let $S \to \mathbb{P}^1_{k}$ be the associated elliptic surface with section. Motivated by the Shioda-Tate formula, we consider the trivariate motivic height zeta function \[ \mathcal{Z}(u,v;t):= \sum_{n\ge0}\Bigl(\sum_{[E]\in \mathcal{W}_n^{\min}} u^{T(S)}v^{\mathrm{rk}(E/K)}\Bigr)t^n \in K_0(\mathrm{Stck}_k)[u,v][[t]] \] which refines the height series by weighting each height stratum with the trivial lattice rank $T(S)$ and the Mordell--Weil rank $\mathrm{rk}(E/K)$. We prove rationality for the trivial lattice specialization $Z_{\mathrm{Triv}}(u;t)=\mathcal{Z}(u,1;t)$ by giving an explicit finite Euler product. We conjecture irrationality for the N\'eron-Severi $Z_{\mathrm{NS}}(w;t)=\mathcal{Z}(w,w;t)$ and the Mordell-Weil $Z_{\mathrm{MW}}(v;t)=\mathcal{Z}(1,v;t)$ specializations.

Overpartitions with repeated smallest non-overlined part

math.CO

math.NT

Inspired by Andrews' and Bachraoui's work on partitions with repeated smallest part, we extend the concept to overpartitions.

Lucas sequences, Pell's equations, and automorphisms of K3 surfaces

math.AG

math.NT

We have the correspondences between Lucas sequences, Pell's equations, and the automorphisms of K3 surfaces with Picard number 2. Using these correspondences, we determine the intersections of some Lucas sequences.

Arithmetic Properties of Colored Partitions Restricted by Parity of the Parts

math.CO

math.NT

Let $a_{r,s}(n)$ denote the number of mutlicolored partitions of $n$, wherein both even parts and odd parts may appear in one of $r$-colors and $s$-colors, respectively, for fixed $r,s\ge 1$. The paper aims to study arithmetic properties satisfied by $a_{r,s}(n)$, using elementary generating function manipulations and classical $q$-series techniques.

Pointwise Ergodic Averages Along the Omega Function in Number Fields

math.DS

math.NT

We show the failure of the pointwise convergence of averages along the Omega function in a number field. As a consequence, we show, for instance, that the averages \[ \frac{1}{N^2}\sum_{1\leq m,n \leq N} f(T^{\Omega(m^2+n^2)}x)\] do not converge pointwise in ergodic systems, addressing a question posed by Le, Moreira, Sun, and the second author. On the other hand, using number-theoretic methods, we establish the pointwise convergence of averages along the $\Omega$ function defined on the ideals of a number field in uniquely ergodic systems. Using this dynamical framework, we also derive several natural number-theoretic consequences of independent interest.

Towards the Colmez Conjecture

math.NT

math.AG

v2

We prove a collection of results involving Colmez's periods and the Colmez Conjecture. Using Colmez's theory of periods of CM abelian varieties, we propose a definition for the height of a partial CM-type and prove that the Colmez conjecture follows from an arithmetic period formula for surfaces. We give an explicit conjecture for the form of this period formula, which relates the height of special points on a Shimura surface with special values of $L$-functions. Further, we relate the heights of periods given by Colmez to arithmetic degree of Hermitian line bundles and thus give a formulation of Colmez's full conjecture in geometric terms.

Determining $t$-motives and dual $t$-motives in Anderson's theory

math.NT

math.RA

v2

Anderson t-modules are analogs of abelian varieties in positive characteristic. Associated to such a t-module, there are its t-motive and its dual t-motive. When dealing with these objects, several questions occur which one would like to solve algorithmically. For example, for a given t-module one would like to decide whether its t-motive is indeed finitely generated free, and determine a basis. Reversely, for a given object in the category of t-motives one would like to decide whether it is the t-motive associated to a t-module, and determine that t-module. In this article, we positively answer such questions by providing the corresponding algorithms. As it turned out, the main part of all these algorithms stem from a single algorithm in non-commutative algebra, and hence the first part of this article doesn't deal with Anderson's objects at all, but are results on finitely generated modules over skew polynomial rings.

Formalising the Bruhat-Tits Tree

math.NT

cs.LO

v2

In this article we describe the formalisation of the Bruhat-Tits tree - an important tool in modern number theory - in the Lean Theorem Prover. Motivated by the goal of connecting to ongoing research, we apply our formalisation to verify a result about harmonic cochains on the tree.

On the Markoff spectrum on the Hecke group of index six

math.NT

math.DS

v2

The discrete part of the Markoff spectrum on the Hecke group of index 6 was determined by A.~Schmidt. In this paper, we study its Markoff and Lagrange spectra after the smallest accumulation point $4/\sqrt3$. We show that both the Markoff and Lagrange spectra below $4/\sqrt{3} + \epsilon$ have positive Hausdorff dimension for any positive $\epsilon$. We also find maximal gaps and an isolated point in the spectra.

The approach of cluster symmetry to Diophantine equations

math.NT

math.AC

math.CO

math.RA

math.RT

v3

This paper aims to employ a cluster-theoretic approach to provide a class of Diophantine equations whose solutions can be obtained by starting from initial solutions through mutations. We establish a novel framework bridging cluster theory and Diophantine equations through the lens of cluster symmetry. On the one hand, we give the necessary and sufficient condition for Laurent polynomials to remain invariant under a given cluster symmetric map. On the other hand, we construct a discriminant algorithm to determine whether a given Laurent polynomial has cluster symmetry and whether it can be realized in a generalized cluster algebra. As applications, we solve Markov-cluster equations, describe some invariant Laurent polynomial rings, and resolve the questions posed by Gyoda and Matsushita.

Cup product of inhomogeneous Tate cochains, and application to tori over local fields that split over cyclic extensions

math.NT

math.GR

math.RT

v3

In this note we give formulas for cup product in Tate cohomology in terms of inhomogeneous cochains. Using one of these formulas, for a torus T defined over a non-archimedean local field K and splitting over a cyclic extension of K, we compute explicit cocycles representing all cohomology classes in H^1(K,T).

Fundamental Lemma for Rank One Spherical Varieties of Classical Types

math.NT

v2

According to the relative Langlands functoriality conjecture, an admissible morphism between the $L$-groups of spherical varieties should induce a functorial transfer of the corresponding local and global automorphic spectra. Via the relative trace formula approach, two basic problems are the local transfer and the fundamental lemma on the geometric side of the relative trace formulae. In this paper, we consider the rank one spherical variety case, where the admissible morphism between the $L$-groups is the identity morphism, in which case, Y. Sakellaridis has already established the local transfer. We formulate the statement of the fundamental lemma for the general rank one spherical variety case and prove the fundamental lemma for the rank one spherical varieties of classical types.

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

math.NT

v2

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

Two algebraic proofs of the transcendence of $\mathrm{e}$ based on formal power series

math.NT

v5

We remind the classical analytical proof of the transcendence of $\mathrm{e}$ due to Hilbert. Then, using formal power series, we give two algebraic semiformal proofs of this result. The first proof is a specialization of the proof of the Lindemann-Weierstrass theorem found by Beukers, B\'ezivin and Robba [2]. The second proof uses improper integrals of formal power series and is due to this author. We explain what ``semiformal'' means.

Berkovich Motives

math.AG

math.KT

math.NT

v3

We construct a theory of (etale) Berkovich motives. This is closely related to Ayoub's theory of rigid-analytic motives, but works uniformly in the archimedean and nonarchimedean setting. We aim for a self-contained treatment, not relying on previous work on algebraic or analytic motives. Applying the theory to discrete fields, one still recovers the etale version of Voevodsky's theory. Two notable features of our setting which do not hold in other settings are that over any base, the cancellation theorem holds true, and under only minor assumptions on the base, the stable $\infty$-category of motivic sheaves is rigid dualizable.

Geometrization of the local Langlands correspondence, motivically

math.AG

math.NT

math.RT

v2

Based on the formalism of rigid-analytic motives of Ayoub--Gallauer--Vezzani, we extend our previous work with Fargues from $\ell$-adic sheaves to motivic sheaves. In particular, we prove independence of $\ell$ of the $L$-parameters constructed there.

The rationality problem for multinorm one tori

math.AG

math.NT

math.RA

v3

In this paper, we study the rationality problem for multinorm one tori, a natural generalization of norm one tori. For multinorm one tori that split over finite Galois extensions with nilpotent Galois group, we prove that stable rationality and retract rationality are equivalent, and give a criterion for the validity of the above two conditions. This generalizes the result of Endo (2011) on the rationality problem for norm one tori. To accomplish it, we introduce a generalization of character groups of multinorm one tori. Moreover, we establish systematic reduction methods originating in work of Endo (2001) for an investigation of the rationality problem for arbitrary multinorm one tori. In addition, we provide a new example for which the multinorm principle holds.

Six-Functor Formalisms

math.AG

math.AT

math.CT

math.NT

v2

These are lecture notes for a course in Winter 2022/23, updated and completed in October 2025. The goal of the lectures is to present some recent developments around six-functor formalisms, in particular: the abstract theory of 6-functor formalisms; the 2-category of cohomological correspondences, and resulting simplifications in the proofs of Poincar\'e--Verdier duality results; the relation between 6-functor formalisms and ``geometric rings''; many examples of 6-functor formalisms, both old and new.

$A_3$-formality for Demushkin groups at odd primes

math.GR

math.AT

math.KT

math.NT

v2

We study a weak form of formality for differential graded algebras, called $A_3$-formality, for the cohomology of pro-p Demushkin groups at odd primes p. We show that the differential graded $\mathbb{F}_p$-algebras of continuous cochains of Demushkin groups with q-invariant not equal 3 are $A_3$-formal, whereas Demushkin groups with q-invariant 3 are not $A_3$-formal. We prove these results by an explicit computation of the Benson-Krause-Schwede canonical class in Hochschild cohomology.