Number Theory [math.NT]

On biquadratic fields: when 5 squares are not enough

math.NT

In this paper we study the Pythagoras number $\mathcal{P}(\mathcal{O}_K)$ for the rings of integers in totally real biquadratic fields $K$. We continue the work of Tinkov\'a towards proving the conjecture by Kr\'asensk\'y, Ra\v{s}ka and Sgallov\'a that a biquadratic $K$ satisfies $\mathcal{P}(\mathcal{O}_K)\geq 6$ if and only if it contains neither $\sqrt{2}$ nor $\sqrt{5}$, with only finitely many exceptions. We fully solve two out of three remaining classes of fields by proving that all but finitely many $K$ containing $\sqrt{6}$ or $\sqrt{7}$ satisfy $\mathcal{P}(\mathcal{O}_K)\geq 6$. Furthermore, we present ideas and computations which further support the conjecture also for $K$ containing $\sqrt{3}$. This enables us to refine the conjecture by explicitly listing the exceptional fields.

On Nathanson's Triangular Number Phenomenon

math.NT

math.CO

For a finite set $A\subseteq \mathbb{Z}$, the $h$-fold sumset is $hA := \{x_1+\dots+x_h:x_i\in A\}$. We interpret the beginning of the sequence of sumset sizes $(|hA|)_{h=1}^\infty$ in terms of the successive $L^1$-minima of a lattice. Consequently, we explain (but not provably) the appearance of triangular numbers in a recent experiment of Nathanson.

Diophantine Equations over $\mathbb Z$: Universal Bounds and Parallel Formalization

math.NT

cs.LO

This paper explores multiple closely related themes: bounding the complexity of Diophantine equations over the integers and developing mathematical proofs in parallel with formal theorem provers. Hilbert's Tenth Problem (H10) asks about the decidability of Diophantine equations and has been answered negatively by Davis, Putnam, Robinson and Matiyasevich. It is natural to ask for which subclasses of Diophantine equations H10 remains undecidable. Such subclasses can be defined in terms of universal pairs: bounds on the number of variables $\nu$ and degree $\delta$ such that all Diophantine equations can be rewritten in at most this complexity. Our work develops explicit universal pairs $(\nu, \delta)$ for integer unknowns, achieving new bounds that cannot be obtained by naive translations from known results over $\mathbb N$. In parallel, we have conducted a formal verification of our results using the proof assistant Isabelle. While formal proof verification has traditionally been applied a posteriori to known results, this project integrates formalization into the discovery and development process. In a final section, we describe key insights gained from this unusual approach and its implications for mathematical practice. Our work contributes both to the study of Diophantine equations and to the broader question of how mathematics is conducted in the 21st century.

Period relations for Rankin-Selberg convolutions for $\mathrm{GL}(n)\times\mathrm{GL}(n)$

math.NT

math.RT

In this paper, we study the special values of Rankin-Selberg L-functions as a continuation of [LLS24]. Utilizing the modular symbol approach, we prove the rationality and period relations for critical values of Rankin-Selberg L-functions for $\mathrm{GL}(n)\times\mathrm{GL}(n)$ over any number field that contains a CM field.

On coprimality of consecutive elements in certain sequences

math.NT

The study of finding blocks of primes in certain arithmetic sequences is one of the classical problems in number theory. It is also very interesting to study blocks of consecutive elements in such sequences that are pairwise coprime. In this context, we show that if $f$ is a twice continuously differentiable real-valued function on $[1, \infty)$ such that $f''(x) \to 0$ as $x \to \infty$ and $\limsup_{x \to \infty} f'(x) = \infty$, then there exist arbitrarily long blocks of pairwise coprime consecutive elements in the sequence $(\lfloor f(n) \rfloor)_n$. This result refines the qualitative part of a recent result by the first author, Drmota and M\"{u}llner. We also prove that there exists a subset $\mathcal{A} \subseteq \mathbb{N}$ having upper Banach density one such that for any two distinct integers $m, n \in \mathcal{A}$, the integers $\lfloor f(m) \rfloor$ and $\lfloor f(n) \rfloor$ are pairwise coprime. Further, we show that there exist arbitrarily long blocks of consecutive elements in the sequence $(\lfloor f(n) \rfloor)_n$ such that no two of them are pairwise coprime.

Coprimality of elements in regular sequences with polynomial growth

math.NT

The investigation of primes in certain arithmetic sequences is one of the fundamental problems in number theory and especially, finding blocks of distinct primes has gained a lot of attention in recent years. In this context, we prove the existence of long blocks of $k$-wise coprime elements in certain regular sequences. More precisely, we prove that for any positive integers $H \geq k \geq 2$ and for a real-valued $k$-times continuously differentiable function $f \in \mathcal{C}^k\left( [1, \infty)\right)$ satisfying $\lim_{x \to \infty} f^{(k)}(x) = 0$ and $\limsup_{x \to \infty} f^{(k-1)}(x) = \infty$, there exist infinitely many positive integers $n$ such that $$ \gcd\left( \lfloor f(n+i_1)\rfloor, \lfloor f(n+i_2)\rfloor, \cdots, \lfloor f(n+i_k)\rfloor \right) ~=~ 1 $$ for any integers $1 \leq i_1 < i_2 < \cdots < i_k \leq H$. Further, we show that there exists a subset $\mathcal{A} \subseteq \mathbb{N}$ having upper Banach density one such that $$ \gcd\left(\lfloor f(n_1) \rfloor, \lfloor f(n_2) \rfloor, \cdots, \lfloor f(n_k) \rfloor\right) ~=~ 1 $$ for any distinct integers $n_1, n_2, \cdots, n_k \in \mathcal{A}$.

Upper bounds on class numbers of real quadratic fields

math.NT

We prove that, for any $\varepsilon>0$, the number of real quadratic fields $\mathbb{Q}(\sqrt{d})$ of discriminant $d

Counting biquadratic number fields with quaternionic and dihedral extensions

math.NT

We establish asymptotic formulae for the number of biquadratic number fields of bounded discriminant that can be embedded into a quaternionic or a dihedral extension. To prove these results, we express the solvability of these inverse Galois problems in terms of Hilbert symbols, and then apply a method of Heath-Brown to bound sums of linked quadratic characters.

Morphisms on the modular curve $X_0(p)$ and degree $6$ points

math.AG

math.NT

Let $p$ be a prime. We study the morphisms $f:X_0(p)_{\mathbb Q} \to Y$, where $Y/{\mathbb Q}$ is a curve of genus $\geq2$. We prove that for $p<3000$ such an $f$ must be isomorphic to the quotient map $X_0(p)\to X_0^+(p)$. This allows us to classify all points of degree $\leq 25$ on $X_0(p)$ that come from a map to some curve of genus $\geq 2$. As an application, we were able to determine all curves $X_0(p)$ with infinitely many points of degree $6$ over $\mathbb Q$, continuing the previous results on small degree points on $X_0(N)$.

An arithmetic analog of Klein's classification of finite subgroups of $\mathrm{SL}_2(\mathbb{C})$

math.AG

math.NT

Let $K$ be a number field with ring of integers $\mathcal{O}_K$. We describe and classify finite, flat, and linearly reductive subgroup schemes of $\mathrm{SL}_2$ over $\mathrm{Spec}\:\mathcal{O}_K$. We also establish finiteness results for these group schemes, as well as density results for the associated quotient singularities.

Embeddings of Certain Exceptional Shimura Varieties into Siegel Modular Varieties

math.AG

math.NT

We define a class of local Shimura varieties that contains some local Shimura varieties for exceptional groups, and for this class, we construct a functor from $\left(G, \mu\right)$-displays to $p$-divisible groups. As an application, we prove that for this class, the local Shimura variety is representable and perfectoid at the infinite level. Considering the global counterpart of this class, we embed certain exceptional Shimura varieties into Siegel modular varieties. In particular, we prove that they are perfectoid at the infinite level.

The Pythagoras number of fields of transcendence degree $1$ over $\mathbb{Q}$

math.AG

math.NT

We show that any sum of squares in a field of transcendence degree $1$ over $\mathbb{Q}$ is a sum of $5$ squares, answering a question of Pop and Pfister. We deduce this result from a representation theorem, in $k(C)$, for quadratic forms of rank $\geq 5$ with coefficients in $k$, where $C$ is a curve over a number field $k$.

Number of Equivalence Classes of Rational Functions over Finite Fields

math.NT

v2

Two rational functions $f,g\in\Bbb F_q(X)$ are said to be {\em equivalent} if there exist $\phi,\psi\in\Bbb F_q(X)$ of degree one such that $g=\phi\circ f\circ\psi$. We give an explicit formula for the number of equivalence classes of rational functions of a given degree in $\Bbb F_q(X)$. This result should provide guidance for the current and future work on classifications of low degree rational functions over finite fields. We also determine the number of equivalence classes of polynomials of a given degree in $\Bbb F_q[X]$.

Formalizing zeta and L-functions in Lean

math.NT

cs.FL

cs.LO

v4

The Riemann zeta function, and more generally the L-functions of Dirichlet characters, are among the central objects of study in number theory. We report on a project to formalize the theory of these objects in Lean's "Mathlib" library, including a proof of Dirichlet's theorem on primes in arithmetic progressions and a formal statement of the Riemann hypothesis

Hochschild (Co)homology of D-modules on rigid analytic spaces I

math.NT

math.AG

math.RA

math.RT

v2

We introduce a formalism of Hochschild (co)-homology for $\mathcal{D}$-cap modules on smooth rigid analytic spaces based on the homological tools of Ind-Banach $\mathcal{D}$-cap modules. We introduce several categories of $\mathcal{D}$-cap bimodules for which this theory is well-behaved. Among these, the most important example is the category of diagonal $\mathcal{C}$-complexes. We give an explicit calculation of the Hochschild complex for diagonal $\mathcal{C}$-complexes, and show that the Hochschild complex of $\mathcal{D}$-cap is canonically isomorphic to the de Rham complex of $X$. In particular, we obtain a Hodge-de Rham spectral sequence converging to the Hochschild cohomology groups of $\mathcal{D}$-cap. We obtain explicit formulas relating the Hochschild cohomology and homology of a given diagonal $\mathcal{C}$-complex.

Hochschild (Co)homology of D-modules on rigid analytic spaces II

math.NT

math.AG

math.RA

math.RT

v2

Let $X$ be a smooth $p$-adic Stein space with free tangent sheaf. We use the notion of Hochschild cohomology for sheaves of Ind-Banach algebras developed in our previous work to study the Hochschild cohomology of the algebra of infinite order differential operators $\mathcal{D}_X$-cap. In particular, we show that the Hochschild cohomology complex of $\mathcal{D}_X$-cap is a strict complex of nuclear Fr\'echet spaces which is quasi-isomorphic to the de Rham complex of $X$. We then use this to compare the first Hochschild cohomology group of $\mathcal{D}_X$-cap with a wide array of Ext functors. Finally, we investigate the relation of the Hochschild cohomology of $\mathcal{D}_X$-cap with the deformation theory of $\mathcal{D}_X(X)$-cap. Assuming some finiteness conditions on the de Rham cohomology of $X$, we define explicit isomorphisms between the first Hochschild cohomology group of $\mathcal{D}_X$-cap and the space of bounded outer derivations of $\mathcal{D}_X(X)$-cap, and between the second Hochschild cohomology group of $\mathcal{D}_X$-cap and the space of infinitesimal deformations of $\mathcal{D}_X(X)$-cap.

Half-Iterates of $x$exp$(x)$, $x+1/x$ and arcsinh$(x)$

math.NT

cs.DM

v2

Given $\theta(x)$, one method (EJ) for solving Abel's equation $g(\theta(x)) = g(x) \pm 1$ is significantly faster than a rival method (ML). On the other hand, ML evaluates a limit characterizing the principal solution $g(x)$ directly while EJ finds $g(x) + \delta$, where $\delta$ is possibly nonzero but independent of $x$. If an exact expression for $\delta$ is known, then the "intrinsicality" of ML carries over and relative quickness of EJ is preserved. We study $\delta$, as determined by $\theta$, and continue tangentially our earlier exploration of compositional square roots.

From Trial Division to Smooth Prime Indicators

math.NT

v2

This work introduces a flexible framework for constructing smooth (C-infinity) analogues of classical arithmetic functions, based on the smoothing of a trigonometric representation of trial division. A foundational function P: R -> R of class C^1 is first presented, whose zeros for x > 2 correspond precisely to the odd primes. The limitations of this function motivate its generalization into a versatile framework. This framework is then applied to construct two novel functions: a smooth analogue of the divisor-counting function, P_tau, and a smooth analogue of the sum-of-divisors function, P_sigma. Both functions are proven to be of class C-infinity. It is shown that these new constructions possess a complete prime-zero property for all integers x >= 2. The robustness of this property for real numbers is analyzed for each function. It is demonstrated that P_tau provides a robust prime indicator for all real numbers, while the properties of P_sigma in this regard lead to an open question concerning the existence of non-integer zeros. The construction methodology, properties, and potential of these functions are discussed in detail.

Motivic p-adic tame cohomology

math.AG

math.KT

math.NT

v3

We construct a comparison functor between ($\mathbf{A}^1$-local) tame motives and ($\overline{\square}$-local) log-\'etale motives over a field $k$ of positive characteristic. This generalizes Binda--Park--{\O}stv{\ae}r's comparison for the Nisnevich topology. As a consequence, we construct an $E_\infty$-ring spectrum $H\mathbb{Z}/p^m$ representing mod $p^m$ tame motivic cohomology: the existence of this ring spectrum and the usual properties of motives imply some results on tame motivic cohomology, which were conjectured by H\"ubner--Schmidt.

On Monochromatic Solutions of Linear Equations Using At Least Three Colors

math.CO

math.NT

v3

We study the number of monochromatic solution to linear equation in $\{1,\dots,n\}$ when we color the set by at least three colors. We consider the $r$-commonness for $r\geq 3$ of linear equation with odd number of terms, and we also prove that any $2$-uncommon equation is $r$-uncommon for any $r\geq 3$.

Zeta function and entropy for non-archimedean subhyperbolic dynamics

math.DS

math.NT

v2

Let $K$ be a complete non-archimedean field of characteristic $0$ equipped with a discrete valuation. We establish the rationality of the Artin-Mazur zeta function on the Julia set for any subhyperbolic rational map defined over $K$ with a compact Julia set. Furthermore, we conclude that the topological entropy on the Julia set of such a map is given by the logarithm of a weak Perron number. Conversely, we construct a (sub)hyperbolic rational map defined over $K$ with compact Julia set whose topological entropy on the Julia set equals the logarithm of a given weak Perron number. This extends Thurston's work on the entropy for postcritically finite interval self-maps %of the unit interval to the non-archimedean setting.