Number Theory [math.NT]

Partition-theoretic model of prime distribution, II

math.NT

math.CO

In recent work by Botkin, Dawsey, Hemmer, Just and the present author, a deterministic model of prime number distribution is developed based on properties of integer partitions that gives almost exact estimates for $\pi(n)$, the number of primes less than or equal to positive integer $n$, up to $n=10{,}000$. In this follow-up paper, the author summarizes the ideas behind this partition-theoretic model of primes and formulates a computational model that is practically exact in its estimates of $\pi(n)$ up to $n=100,000$.

Approximation Of Logarithm, Factorial And Euler Mascheroni Constant Using Odd Harmonic Series

math.NT

We have proved in this paper that natural logarithm of consecutive number ratio, x/(x-1) approximates to 2/(2x - 1) where x is a real number except 1. Using this relation, we, then proved, x approximates to double the sum of odd harmonic series having first and last terms 1/3 and 1/(2x - 1) respectively. Thereafter, not limiting to consecutive number ratios, we extended its applicability to all the real numbers. Based on these relations, we, then derived a formula for approximating the value of Factorial x. We could also approximate the value of Euler-Mascheroni constant. In these derivations, we used only and only elementary functions, thus this paper is easily comprehensible to students and scholars.

Maximal orders optimal embedding of central simple algebras over number fields

math.NT

math.RA

Given a number field $F$ and $R$ be the ring of integers of $F$, the problem of embedding a field extension $K/F$ into a central simple algebra $B$ is classical. This paper proves that when the central simple algebra has degree $p$, the $R$-order $S\subset K$ can be optimal embedded into all maximal $R$-orders $O\subset B$, unless satisfies the optimal selectivity condition.

Disproving the quasi-uniformity of the Halton sequences and some of Halton-type sequences

math.NT

In this short article, we prove that the Halton sequence, one of the most well-known low-discrepancy sequences, is not quasi-uniform in any dimension $d \ge 2$ with any pairwise relatively prime bases. We further disprove the quasi-uniformity of some Halton-type sequences, including the Faure sequence, which provides an alternative proof of the known results.

Evaluation of Bianchi Rigid Meromorphic Cocycles at Big ATR Points

math.NT

We develop the tools required to effectively evaluate the Bianchi rigid meromorphic cocycles introduced by Darmon-Gehrmann-Lipnowski at big ATR points, and use them to obtain the first numerical verification of the conjectured algebraicity of these special values. Moreover, our computations suggest that these special values exhibit behaviour analogous to that of the special values of Borcherds products on Hilbert modular surfaces at big CM points.

The automorphism groups of a maximal function field with the second largest genus and its algebraic geometry codes

math.NT

In this manuscript, we investigate the automorphism group of a maximal function field with the second largest possible genus over finite field of even characteristic, which is called the Abd\'on--Torres function field. As an application, we determine the automorphism groups of one-point algebraic geometry codes from such a maximal function field. It turns out that the automorphism groups of one-point algebraic geometry codes agree with that of the Abd\'on--Torres function field except for the trivial cases. Moreover, we provide a family of maximal function fields with explicit defining equations via considering fixed subfields with respect to some subgroups of automorphism group of the Abd\'on--Torres function field.

CM Drinfeld Modules, Self-isogenous Modular Polynomials, and Volcano Structure

math.NT

In this paper, we develop a view of self-isogenous modular polynomials and the $\mathfrak{l}$-cyclic isogeny graph for CM Drinfeld modules of arbitrary rank $r$. On the computational side, we give an explicit procedure to construct the modular polynomial $\Phi_{J,\mathfrak{a}}(X,X)$ for Drinfeld modules of rank $r\geqslant 3$ with $\mathfrak{a}$ a prime ideal of $\mathbb{F}_q[T]$. When $\mathfrak{a}=(T)$, we provide an algorithm to compute $\Phi_{J,\mathfrak{a}}(X,X)$; when $\mathfrak{a}=(T^2+T+1)$, we give an explicit degree bound on $\Phi_{J,\mathfrak{a}}(X,X)$. On the structural side, we formulate a generalized $\mathfrak{l}$-cyclic volcano structure and prove that the generalized volcano appears in a component of the full $\mathfrak{l}$-cyclic isogeny graph for rank-$r$ Drinfeld modules with complex multiplication.

Analogue of the Galois Theory for arbitrary finite field extensions

math.NT

math.AG

math.RA

This paper is a finishing touch to the (over 200 years) {\em classical} `Galois Theory' of {\em arbitrary} finite field extensions, i.e. the goal of it is to describe intermediate subfields of an arbitrary finite field extension via {\em invariants} of `natural/obvious' objects that are associated with subfields via two Galois-type correspondences. The classical Galois Theory covers the case of finite Galois field extensions. For finite Galois field extensions the objects are their Galois groups and their invariants. In \cite{GaloisTh-RingThAp}, we introduce a new (ring theoretic) approach to the Galois Theory which is based on the {\em principle of maximal symmetry}. In \cite{AnGaloisTh-NORMAL-Fields}, the maximal symmetry of {\em normal} finite field extensions yields an analogue of the Galois Theory for them. For a normal finite field extension $L/K$ the `natural/obvious' objects are the subalgebra $\CD (L/K)\rtimes G(L/K)$ of $\End (L/K)$ that is generated by the automorphism group $G(L/K)$ and the algebra $\CD (L/K)$ of differential operators on $L/K$ and its `invariants'. The `maximal symmetry' means the equality $\End (L/K)=\CD (L/K)\rtimes G(L/K)$ which turns out to be a characteristic property of {\em normal} finite field extensions, \cite{AnGaloisTh-NORMAL-Fields}. The aim of this paper is to obtain an analogue of the Galois Theory for {\em arbitrary} finite field extensions based on results and ideas of \cite{GaloisTh-RingThAp} and \cite{AnGaloisTh-NORMAL-Fields}.

Euler systems for $\mathrm{GSp}(4)$ over imaginary quadratic fields

math.NT

We construct an Euler system attached to general-type cohomological cuspidal automorphic representations of $\mathrm{GSp}(4)$ twisted by a Groessencharacter of an imaginary quadratic field. We then use this to bound strict Selmer groups under standard hypotheses. In addition, our approach gives a way of extending the $\mathrm{GSp}(4)\times\mathrm{GL}(2)$ Euler system of Hsu-Jin-Sakamoto to a motivic statement which also covers certain small weights omitted in op.cit..

A generalized Dumas irreducibility criterion

math.NT

math.AC

math.AG

As an extension of the classical irreducibility result of Dumas, a factorization result for polynomials over any valued field with a Krull valuation of arbitrary rank is proved. Further, a lower degree factor bound on factors of a given polynomial over a valued field with a Krull valuation is proved. These factorization results not only unify several known irreducibility results for polynomials over the said domains but also provide us sharp bounds on degrees of irreducible factors of the underlying polynomials.

On efficient approximation of quadratic irrationals

math.NT

We provide efficient algorithms to compute convergents of quadratic irrationals. We show that for square roots, provided Galois' refinement of Lagrange's theorem holds, certain decimations of the sequence of convergents are signed Chebyshev sequences, which can be also be generated by a Householder method.

Extendability of group actions on K3 or Enriques surfaces

math.NT

math.AG

Let $X$ be a K3 or Enriques surface with good reduction. Let $G$ be a finite group acting (not necessarily linearly) on $X$. We give a criterion for this group action to extend to a smooth model of $X$ in terms of the action of $G$ on the second $\ell$-adic cohomology groups. In particular, we generalize the result on the extendability of Galois actions on K3 surfaces by Chiarellotto, Lazda, and Liedtke. As an application, we prove that a symplectic linear group action is extendable if the residue characteristic does not divide its order. Lastly, we relate the good reduction of Enriques surfaces with that of their K3 double covers.

El mar que envuelve a las piedras: espacios de Stone, profinitos y su papel en la aritm\'etica contempor\'anea

math.GN

math.CT

math.NT

Stone duality establishes a contravariant equivalence between the category of Boolean algebras and the category of compact, Hausdorff, totally disconnected topological spaces (Stone spaces). These spaces are precisely the profinite spaces and form the natural environment for arithmetic objects such as the $p$-adic integers, absolute Galois groups, and profinite completions. In this article we give a rigorous and self-contained development of the construction of the Stone space associated to a Boolean algebra, prove Stone's representation theorem, and describe profinite spaces as inverse limits of finite systems. From there we introduce the Stone--\v{C}ech compactification via its universal property and discuss central arithmetic examples (such as $\beta\mathbb{N}$ and profinite completions), emphasizing their structural role in arithmetic geometry and in the framework of Condensed Mathematics of Clausen--Scholze. The text is aimed at advanced undergraduate and beginning graduate students, as well as readers interested in the interface between topology, number theory, and new categorical formulations of topology.

Spectrally indistinguishable pseudorandom graphs

math.CO

cs.DM

math.NT

We construct explicit families of graphs whose eigenvalues are asymptotically distributed according to Wigner's semicircle law; in other words, that are spectrally indistinguishable from random graphs. However, in other respects they are strikingly dissimilar from random graphs; for example, they are $K_{2,3}$-free graphs with almost the maximum possible edge density.

Evaluating the tame Brauer group of open varieties over local fields

math.AG

math.NT

In this document we let $U$ be a smooth variety of pure dimension $d$ over a local field $k_v$ with unit ball $\mathcal{O}_v$ and residue field $\mathbb{F}$ of characteristic $p>0$ and we set $n$ to be a positive integer such that $p\nmid n$. For various $u\in U(k_v)$ we study the evaluation map $u^*:\mathrm{H}^2(U,\mu_n)\to \mathrm{H}^2(k_v,\mu_n)$. We suppose that $U$ embeds as an open subscheme in a regular scheme $\mathcal{X}$ that is of finite type over $\mathcal{O}_v$. We assume that $Z:=\mathcal{X}\setminus U$ is a divisor and we endow it with its reduced scheme structure. We show that for $u_1,u_2\in U(k_v)$ that lift to $x_1,x_2\in \mathcal{X}(\mathcal{O}_v)$ we obtain the same evaluation map $u_1^*=u_2^*$ under the two conditions that first, there is an equality of reductions $\overline{x_1}=\overline{x_2}$ in $\mathcal{X}(\mathbb{F})$ and second, that $\mathrm{cl}(x_1\cap Z)=\mathrm{cl}(x_2\cap Z)$ holds in $\mathrm{H}^{2d}_{|\overline{x}|}(Z,\mu_n^{\otimes d})$.

New Obstacles to Multiple Recurrence

math.DS

math.CO

math.NT

We show that there is a set which is not a set of multiple recurrence despite being a set of recurrence for nil-Bohr sets. This answers Huang, Shao, and Ye's \enquote{higher-order} version of Katznelson's Question on Bohr recurrence and topological recurrence in the negative. Equivalently, we construct a set $S$ so that there is a finite coloring of $\mathbb{N}$ without three-term arithmetic progressions with common differences in $S$, but so that $S$ lacks the usual polynomial obstacles to arithmetic progressions.

ABC Conjecture: $ABC = 2^m p^n q^r$ with Fermat or Mersenne Primes

math.NT

v2

For $p$ and $q$ any two distinct Fermat or Mersenne primes, $m,n,r$ as positive integers and $\mu = \pm 1$ satisfying any diophantine relation, $\mbox{(i)}\; 2^m + \mu = p^nq^r, \mbox{(ii)} \; 2^mp^n + \mu = q^r \mbox{ or } \mbox{(iii)} \; p^n + \mu q^r = 2^m$, it is shown that the number of triplets $\{A, B, C \}$ with $\gcd(A,B) = 1$ and $C = A + B$, for which their product is of the form $ABC = 2^mp^nq^r$ and which satisfy $C > \mathrm{rad}(ABC)^{1 + \varepsilon}$ for any real $\varepsilon > 0$, is finite. For the triplet $\{2^{y+1}, 2^{2y}+1, (2^y+1)^2\}$, a solution to (iii) with positive integer $y$ such that $2^y+1$ and $2^{2y}+1$ are primes, $\mathrm{rad}(ABC)^{1 + \varepsilon} > C$ holds for any $\varepsilon > 0$. Furthermore, finiteness of the number of solutions of (iii) when $n$ is even, is demonstrated elsewhere (Ref. [64]). All other solutions are enumerated.

Spence-Kummer's trilogarithm functional equation and its underlying geometry

math.NT

math.AG

math.GT

v3

In this paper, we investigate the underlying geometry of the Spence--Kummer functional equation for the trilogarithm. Our geometry determines a certain path system on the projective line minus three points, connecting the standard tangential base point to the nine variables of the $Li_{3}$ terms in the equation, which reflects the geometry of the so-called non-Fano arrangement. Consequently, we derive a precise form of the Spence--Kummer equation together with its $\ell$-adic Galois analogue by using algebraic relations between polylogarithm generating series arising from the path system. We apply the tensor and homotopy criteria for functional equations of iterated integrals due to Zagier and Nakamura--Wojtkowiak. To compute the lower-degree terms of the functional equation in both the complex and the $\ell$-adic Galois cases, we also focus on a diagram of three geometric objects: the moduli space $M_{0,5}$, the complement to the Coxeter arrangement of type ${\rm B_3}$, and the complement to the non-Fano arrangement.

On Galois Extensions of Local Fields with a Single Wild Ramification Jump

math.NT

v4

For a given positive integer $n$ and $K/\mathbb{Q}_p$ a finite extension of ramification degree $e$, we determine the number of finite Galois extensions $L/K$ with inertia degree $f$ and a single nonnegative ramification jump at $n$ as long as $(p,e)$ is outside of a finite set. This builds upon the tamely ramified case, which is a classical consequence of Serre's Mass Formula, exhibiting a more restrictive behavior than in the tamely ramified case because the degrees of such extensions are bounded. We do this by working in a fixed Lubin-Tate extension and exploiting the surjectivity of a map corresponding to the ramification jump to reconstruct the $U^1$ part of the norm subgroup (coming from local class field theory) from its fibers and then by understanding how the fibers interact by studying them in terms of properties of the formal logarithm and partitions.

Mordell--Weil groups over large algebraic extensions of fields of characteristic zero

math.NT

v2

We study the structure of the Mordell--Weil groups of semiabelian varieties over large algebraic extensions of a finitely generated field of characteristic zero. We consider two types of algebraic extensions in this paper; one is of extensions obtained by adjoining the coordinates of certain points of various semiabelian varieties; the other is of extensions obtained as the fixed subfield in an algebraically closed field by a finite number of automorphisms. Some of such fields turn out to be new examples of Kummer-faithful fields which are not sub-$p$-adic. Among them, we find both examples of Kummer-faithful fields over which the Mordell--Weil group modulo torsion can be free of infinite rank and not free.

On the structure of the Bloch--Kato Selmer groups of modular forms over anticyclotomic $\mathbf{Z}_p$-towers

math.NT

v2

Let $p$ be an odd prime number and let $K$ be an imaginary quadratic field in which $p$ is split. Let $f$ be a modular form with good reduction at $p$. We study the variation of the Bloch--Kato Selmer groups and the Bloch--Kato--Shafarevich--Tate groups of $f$ over the anticyclotomic $\mathbf{Z}_p$-extension $K_\infty$ of $K$. In particular, we show that under the generalized Heegner hypothesis, if the $p$-localization of the generalized Heegner cycle attached to $f$ is primitive and certain local conditions hold, then the Pontryagin dual of the Selmer group of $f$ over $K_\infty$ is free over the Iwasawa algebra. Consequently, the Bloch--Kato--Shafarevich--Tate groups of $f$ vanish. This generalizes earlier works of Matar and Matar--Nekov\'a\v{r} on elliptic curves. Furthermore, our proof applies uniformly to the ordinary and non-ordinary settings.

\'Equivalences de Fontaine multivariables Lubin-Tate et plectiques pour un corps local $p$-adique

math.NT

v2

Let $\Delta$ be a finite set. We adapt the techniques of Carter-Kedlaya-Z\'abr\'adi to obtain a multivariable Fontaine equivalence which relates continuous finite dimensional $\mathbb{F}_q$-representations of $\prod_{\alpha \in \Delta} \mathcal{G}_{\mathbb{F}_q(\!(X)\!)}$ to multivariable $\varphi$-modules over a $\mathbb{F}_q$-algebra which is a domain. From this, we deduce a multivariable Lubin-Tate Fontaine equivalence for continuous finite type $\mathcal{O}_K$-representations of $\prod_{\alpha \in \Delta} \mathcal{G}_K$, where $K|\mathbb{Q}_p$ is a finite extension. We also obtain a plectic Fontaine equivalence and two equivalences for the subgroup $\mathcal{G}_{K,\mathrm{glec}}$ of the plectic Galois group.

Moment of Derivatives of Quadratic Twists of Modular $L$-Functions

math.NT

v2

We prove an asymptotic for the moment of derivatives of quadratic twists of two distinct modular $L$-functions. This was previously known conditionally on GRH by the work of Ian Petrow.

A conjecture in Schanuel style for 1-motives

math.NT

math.AG

v2

Schanuel Conjecture contains all ``reasonable" statements that can be made on the values of the exponential function. In particular it implies the Lindemann-Weierstrass Theorem. In my Ph.D. I showed that Schanuel Conjecture has a geometrical origin: it is equivalent to the Grothendieck-Andr\'e periods Conjecture applied to a 1-motive without abelian part. In this paper, we state a conjecture in Schanuel style, which will imply conjectures in Lindemann-Weierstrass style, for the semi-elliptic exponential function, that is for the exponential map of an extension G of an elliptic curve E by a multiplicative group. We propose the semi-elliptic Conjecture, which concerns the exponential function, the Weierstrass $\wp,$ $\zeta$ functions and Serre functions. The case of a trivial extension has been treated in \cite{BW}, where we introduced the split semi-elliptic Conjecture. As in Schanuel's case, we expect that the semi-elliptic Conjecture contains all ``reasonable" statements that can be made on the values of the exponential function, of the Weierstrass $\wp$, $\zeta$ functions and of Serre functions. We show that the semi-elliptic Conjecture has a geometrical origin (as Schanuel Conjecture): it is equivalent to the Grothendieck-Andr\'e periods Conjecture applied to a 1-motive whose underlying abelian part is an elliptic curve. We prove the Grothendieck-Andr\'e periods Conjecture for 1-motives defined by an elliptic curve with algebraic invariants and complex multiplication and by torsion points. We introduce the $\sigma$-Conjecture which involves the Weierstrass $\wp$, $\zeta$ and $\sigma$ functions and we show that this conjecture is a consequence of the Grothendieck-Andr\'e periods Conjecture applied to an adequate 1-motive.

On the decimal and octal digits of $1/p$

math.NT

v5

Let $p$ be a prime $\equiv 3$ mod 4, $p>3$, and suppose that 10 has the order $(p-1)/2$ mod p. Then $1/p$ has a decimal period of length $(p-1)/2$. We express the frequency of each digit $0,\ldots,9$ in this period in terms of the class numbers of two imaginary quadratic number fields. We also exhibit certain analogues of this result, so for the case that 10 is a primitive root mod $p$ and for the octal digits of $1/p$.

Superelliptic degree sets over Henselian fields

math.NT

math.AG

v2

Let $K$ be a discretely valued Henselian field. Creutz and Viray show that the degree set of a curve $C$ over a $p$-adic field can miss infinitely many multiples of the index of $C$, a phenomenon that cannot occur over finitely generated fields. For curves $C/K$ with a cyclic cover of $\mathbb{P}^1$ of prime degree, under mild assumptions, we completely characterize how and when this behavior can occur, and give a method for computing degree sets of curves of this type.

Right Splitting, Galois Correspondence, Galois Representations and Inverse Galois Problem

math.GR

math.NT

math.RT

v2

In this article, we realize some groups as Galois groups over rational numbers and finite extension of rational numbers by studying right splitting of some exact sequences, Galois correspondence and algebraic operations on Galois representations.

Bounded distance equivalence of cut-and-project sets and equidecomposability

math.DS

math.NT

v3

We show that given a lattice $\Gamma \subset \mathbb{R}^m \times \mathbb{R}^n$, and projections $p_1$ and $p_2$ onto $\mathbb{R}^m$ and $\mathbb{R}^n$ respectively, cut-and-project sets obtained using Jordan measurable windows $W$ and $W'$ in $\mathbb{R}^n$ of equal measure are bounded distance equivalent only if $W$ and $W'$ are equidecomposable by translations in $p_2(\Gamma)$. As a consequence, we obtain an explicit description of the bounded distance equivalence classes in the hulls of simple quasicrystals. A corrigendum is appended at the end of the paper.

On some non-principal locally analytic representations induced by cuspidal Lie algebra representations

math.RT

math.NT

v2

Let $G$ be a split reductive $p$-adic Lie group. This paper is the first in a series on the construction of locally analytic $G$-representations which do not lie in the principal series. Here we consider the case of the general linear group $G=GL_{n+1}$ and locally analytic representations which are induced by cuspidal modules of the Lie algebra. We prove that they are ind-admissible and satisfy the homological vanishing criterion in the definition of supercuspidality in the sense of Kohlhaase. In the case of $n=1$ we give a proof of their topological irreducibility for certain cuspidal modules of degree 1.

Additive structures imply more distances in $\mathbb{F}_q^d$

math.CO

math.CA

math.NT

v2

For a set $E \subseteq \mathbb{F}_q^d$, the distance set is defined as $\Delta(E) := \{\|\mathbf{x} - \mathbf{y}\| : \mathbf{x}, \mathbf{y} \in E\}$, where $\|\cdot\|$ denotes the standard quadratic form. We investigate the Erd\H{o}s--Falconer distance problem within the flexible class of $(u, s)$--Salem sets introduced by Jonathan M. Fraser, with emphasis on the even case $u = 4$. By exploiting the exact identity between $\|\widehat{E}\|_4$ and the fourth additive energy $\Lambda_4(E)$, we prove that quantitative gains in $\Lambda_4(E)$ force the existence of many distances. In particular, for a $(4, s)$--Salem set $E\subset \mathbb{F}_q^d$ with $d \geq 2$, if \[ |E|\gg q^{\min\left\{\frac{d+2}{4s+1}, \frac{d+4}{8s}\right\}}, \] then $E$ determines a positive proportion of all distances. This strictly improves Fraser's threshold of $\frac{d}{4s}$ and the Iosevich-Rudnev bound of $q^{\frac{d+1}{2}}$ in certain parameter ranges. As applications, we obtain improved thresholds for multiplicative subgroups and sets on arbitrary varieties, and establish a sharp incidence bound for Salem sets that is of independent interest in incidence geometry. Moreover, our methods give sharp lower bounds for the number of distinct distances determined by two different sets. We also propose a unified conjecture for $(4, s)$--Salem sets that reconciles known bounds and pinpoints the odd-dimensional sphere regime: in odd dimensions $d \geq 3$, the often-cited $\frac{d-1}{2}$ threshold does not follow without additional structures. This provides a clear picture of the spherical distance conjecture.