Number Theory [math.NT]

On the Brauer class of Modular Endomorphism Algebras

math.NT

math.AG

We investigate the Brauer class of the endomorphism algebra of the motive attached to a non-CM form. The ramification of the algebra is shown in many cases to be controlled by the normalized slopes of the form.

Magnetic orthogonal modular forms

math.NT

In this note we show that certain meromorphic orthogonal modular forms are magnetic, i.e.\ their Fourier coefficients satisfy special divisibility criteria. These meromorphic orthogonal modular forms are counterparts to the orthogonal cusp forms considered by Oda. We show that the seminal of work of Borcherds implies the magneticity of these forms.

On the asymptotic behavior of the integral T(x)

math.NT

In this paper, we estimate the integral T(x) mentioned in the title, where {t} denotes the fractional part of the real number t, and x is any positive real number.

Bicomplex Algebraic Numbers

math.NT

We investigate bicomplex analogues of fundamental notions from classical algebraic number theory. In particular, we show that the primitive element theorem admits a natural generalization to bicomplex extensions, giving rise to two distinct classes of extensions depending on the nature of the generating element. We further establish a key decomposition property for bicomplex extensions, which serves as a foundation for studying their rings of integers. We also observe that prime elements in the ring of integers of a number field may become semiprime in the rings of integers of suitable bicomplex extensions. Finally, we present two explicit examples of finite bicomplex extensions.

Constructing genus 2 curves with given refined Humbert invariants

math.NT

math.AG

In 1994, Kani introduced an algebraic version of the Humbert invariant, known as the refined Humbert invariant. This invariant q_C is a positive definite quadratic form attached to a smooth curve C of genus 2. It serves as a vital tool, as many geometric properties of C are reflected in the arithmetic properties of q_C. When the Jacobian J_C of a genus 2 curve C is isogenous to a product of an elliptic curve with complex multiplication, the forms q_C have been completely classified recently. In this paper, building upon this classification, we present a constructive algorithm that produces J_C and a divisorial representative of a curve C of genus 2 such that its refined Humbert invariant q_C is equivalent to a given integral ternary quadratic form.

Minimal zero-free regions for results on primes between consecutive perfect $k$th powers

math.NT

We compute minimal zero-free regions for the Riemann zeta-function of the Littlewood form which ensure there is always a prime between consecutive perfect $k$th powers. Our computations cover powers $k\geq 70$ and quantify how far we are away from proving certain milestones toward an infamous open problem (Legendre's conjecture).

Short intervals for the Romanoff-type sumset

math.NT

Let $X$ be large and let $\mathcal P$ denote the set of primes. Fix positive real parameters $r_1,\dots,r_s$ and a parameter $\lambda>0$ determined by a balancing relation, and let $\mathcal A_\lambda(X)\subset[1,2X]$ be the associated lacunary set generated by sums of powers of $2$ with polynomially growing exponents. Set $\mathcal S_\lambda:=\mathcal P+\mathcal A_\lambda(X)$. Fix $\varepsilon>0$, choose $\theta$ with $2/15+\varepsilon<\theta<1-\delta_0$, where $\delta_0>0$ is an absolute constant, and set $h=X^\theta$. We prove that for all but $O_\varepsilon\left(X\exp\left(-c_\varepsilon(\log X)^{1/4}\right)\right)$ values of $x\in[X,2X]$, the short interval $(x,x+h]$ contains between $c_\varepsilon h$ and $C_\varepsilon h$ integers of the form $p+a$ with $p\in\mathcal P$ and $a\in\mathcal A_\lambda(X)$.

Tribonacci Numbers That Are Products of Two Lucas Numbers

math.NT

Let $T_{k}$ be the $k^{\textrm{th}}$ Tribonacci number and $L_{n}$ be the $n^{\textrm{th}}$ Lucas number defined by their respective recurrence relation $T_{k}=T_{k-1}+T_{k-2}+T_{k-3}$ and $L_{n}=L_{n-1}+L_{n-2}$. In this study, we solve the Diophantine equation $T_{k} = L_{m}L_{n}$ for positive integer unknowns $m$, $n$, and $k$ and prove our results.

$L$-functions and linear periods for $\mathbf{GL}_4 \times \mathbf{GL}_2$ and $\mathbf{GU}_{2,2}\times \mathbf{GL}_2$

math.NT

math.RT

We give a new integral representation of the $\wedge^2 \otimes \mathrm{std}_2$ $L$-function of generic cusp forms on $\mathbf{GU}_{2,2}\times \mathbf{GL}_2$ and $\mathbf{GL}_4 \times \mathbf{GL}_2$ and we use it to prove a relation between its central $L$-value and the non-spherical period over $\mathbf{GL}_2 \times_{\mathrm{det}} \mathbf{GL}_2$. Exploiting the theta correspondence for $(\mathbf{GL}_4,\mathbf{GL}_4)$, we obtain a relation between the central value of the $L$-function attached to the strongly tempered spherical pair $(\mathbf{GL}_4 \times \mathbf{GL}_2,\mathbf{GL}_2 \times \mathbf{GL}_2)$ and its associated period. In the case of cusp forms on $\mathbf{GL}_4 \times \mathbf{GL}_2$ that are unramified everywhere, our formula gives new evidence towards a conjecture of Wan-Zhang.

Completing the classification of torsion subgroups for rational elliptic curves over sextic fields

math.NT

We complete the classification of torsion subgroups $E(K)_{\text{tors}}$ that can occur for an elliptic curve $E/\mathbb{Q}$ over a sextic number field $K$. Previous work determined the complete set of these groups, leaving the existence of only one group in question: $C_3 \oplus C_{18}$. We prove that this group does not occur. Our proof relies on the theory of Galois representations attached to elliptic curves. The assumed existence of a $C_3 \oplus C_{18}$ torsion subgroup would impose strong, simultaneous constraints on the mod-$2$ and $3$-adic Galois representations of the curve. By applying the recent classification of $\ell$-adic Galois images for elliptic curves over $\mathbb{Q}$, we translate these arithmetic constraints into a problem of Diophantine geometry: the $j$-invariant of such a curve must correspond to a rational point on one of the finitely many modular curves. We then analyze these curves using classical methods and show that none have the necessary rational points corresponding to elliptic curves without complex multiplication, thereby proving our main result.

Linear independence of theta series of positive-definite, unimodular even lattices

math.NT

We show that the minimal $g$ for which the degree $g$ theta series of positive-definite, unimodular even lattices of rank $m\geq24$ are linearly independent is bounded between $\frac{m}{2}$ and $\frac{3m}{4}$.

The Tetrahedral (or $6j$) Symbol

math.NT

math.RT

We will attach a scalar invariant to a tetrahedron whose edges are labelled by irreducible representations of a ternary orthogonal group $\mathrm{SO}_3$ over a local field. This generalizes the $6j$ symbol whose theory was developed by Racah, Wigner, and Regge. We give several formulas for this invariant, including in terms of hypergeometric-type integrals and functions, and show that it admits a symmetry by the the $23040$-element Weyl group of $\mathrm{Spin}_{12}$. We then interpret these results in terms of relative Langlands duality, where the dual story comes from the action of $\mathrm{Spin}_{12}$ on a $16$-dimensional cone of spinors.

NP-hardness of p-adic linear regression

cs.CC

math.NT

$p$-adic linear regression is the problem of finding coefficients $\beta$ that minimise $\sum_i |y_i - x_i^\top\beta|_p$. We prove that computing an optimal solution is NP-hard via a polynomial-time reduction from Max Cut using a regularisation gadget.

Branch iterated Galois group with positive fixed-point proportion and positive Hausdroff dimension

math.GR

math.NT

In this article we prove that the arithmetic profinite iterated monodromy group of a post-critically infinite unicritical polynomial is regular branch (and so of positive Hausdorff dimension), and has positive fixed-point proportion when the degree is odd. The examples are instances of a bigger family of regular branch groups constructed in this article, whose fixed-point proportion can be computed explicitly and is positive in many cases. This gives the first examples outside the binary rooted tree where a level-transitive group has positive Hausdorff dimension and positive fixed-point proportion, answering in the negative a question of Jones (2008).

Expanding groups with large diameter

math.GR

math.CO

math.NT

We study how the spectral gap and diameter of Cayley graphs depend strongly on the choice of generating set. We answer a question of Pyber and Szab\'o (2013) by exhibiting a sequence of finite groups $G_n$ with $|G_n| \to \infty$ admitting bounded generating sets $X_n,Y_n$ such that $\operatorname{Cay}(G_n,X_n)$ is an expander while $\operatorname{Cay}(G_n,Y_n)$ has super-polylogarithmic diameter. The construction uses the semidirect product $G_n = C_p^{n-1} \rtimes S_n$ with $p$ exponentially large in $n$, and the analysis reduces to bounding some exponential sums of permutational type.

Arnold Scholz: Between Mathematics and Politics

math.HO

math.NT

This article provides information on the life and work of the number theorist Arnold Scholz. It is an English translation with modifications of an introduction to the correspondence of Hasse, Scholz and Taussky published in 2016.

Double Artin-Schreier extensions of rational function fields with many lifted automorphisms

math.AG

math.NT

In this paper we investigate algebraic function fields in positive characteristic mainly obtained as double Artin-Schreier extensions of rational function fields with a plane model. The goal is to extend to such extensions large automorphism groups of the rational function field. In this way, we construct some new families of ordinary function fields and determine their full automorphism groups. Such groups are large with respect to the genus, compared with the known upper bounds on the size of the automorphism group of an ordinary function field.

A class of Tribin functions related to $s$-symbol encodings of numbers with a zero redundancy

math.FA

math.NT

In this paper, we consider a continuum class of continuous nowhere monotonic functions that generalize certain non-differentiable functions, including the Bush function, Wunderlich function, continuous Cantor projectors, Tribin function, etc. We consider a construction of the function related to $s$-symbol representations of numbers with a zero redundancy that are topologically equivalent to the classical $s$-adic representation (a value of the function has a two-symbol representation). Moreover, the condition on the first digit of a representation for the value of the function is more general than conditions considered before. The main object of study is a continuous function defined by equality \begin{gather*} f(\Delta^{s^*}_{\alpha_1\alpha_2\ldots\alpha_n\ldots}) = \Delta^{2^*}_{\beta_1\beta_2\ldots\beta_n\ldots}, \quad \alpha_n \in \{ 0, 1, 2, \ldots, s - 1 \} \equiv A_s, \beta_1 = \begin{cases} 0 & \text{if $\alpha_1 \in A_0$}, 1 & \text{if $\alpha_1 \in A_1$}, \end{cases} \quad \beta_{n+1} = \begin{cases} \beta_n & \text{if $\alpha_{n+1} = \alpha_n$}, 1 - \beta_n & \text{if $\alpha_{n+1} \neq \alpha_n$}. \end{cases} \end{gather*} where $\Delta^{s^*}_{\alpha_1\alpha_2\ldots\alpha_n\ldots}$ is an $s$-symbol representation of a number $x \in [0, 1]$ that is topologically equivalent to the classical $s$-adic representation, $\Delta^{2^*}_{\beta_1\beta_2\ldots\beta_n\ldots}$ is a two-symbol representation that is topologically equivalent to the classical binary representation, and $A_0 \cup A_1 = A_s$, $A_0 \neq A_s \neq A_1$.

Exceptional supercuspidal representations in small residue characteristic

math.RT

math.NT

In this paper, in residue characteristic 2 and 3, we extend the construction of epipelagic representations of Reeder--Yu to produce new supercuspidals of higher depth, building on work of Gastineau. In particular, we produce examples of epipelagic representations that do not arise from the construction of Reeder--Yu.

Modular generalized Nahm sums with arbitrary rank $r$

math.CO

math.NT

In this paper, we construct two families of generalized Nahm sums of arbitrary rank $r\geq 2$ with the symmetrizers ${\rm diag} ({2,\ldots, 2},1)_{r\times r}$. Specifically, the cases corresponding to $r = 2$ and $r = 3$ of these two families have been previously demonstrated by Mizuno, Warnaar, and B. Wang-L. Wang. Additionally, we establish a family of Rogers-Ramanujan type identities associated with the index $({1,\ldots, 1},2)_{r\times r}$ for any rank $r\geq 2$. Building upon these three families, combined with another family of generalized Nahm sums (with the symmetrizers ${\rm diag} ({1,\ldots, 1},2)_{r\times r}$) established by B. Wang and L. Wang, we construct two vector-valued automorphic forms, one of which is a vector-valued modular function when $r$ is odd.

Touchard's identity and a detailed determination of the radius of convergence of the Catalan series

math.CO

math.NT

While the value of the radius of convergence of the generating series of the Catalan numbers is well-known, obtaining it solely from recurrence relations is less immediate. It is sometimes considered that no known proof establishes that the radius $R$ equals 1/4 without relying on the explicit closed formula for the Catalan numbers. In particular, it has been shown that one can obtain, at the cost of substantial technical effort and without resorting to the main Segner recursion relation or to the explicit formula for the Catalan number, the lower bound $R\geq 1/6$. In this work, we prove that Touchard's recurrence alone yields the optimal exponential upper bound $\limsup_{n\to\infty} C_n^{1/n} \le 4$, which implies $R \ge 1/4$. Combined with the classical lower estimate $\limsup_{n\to\infty} C_n^{1/n} \ge 4$, obtained from central binomial coefficients, this gives $R = 1/4$.

Relative Character Asymptotics Beyond Stability for $\mathrm{PGL}_2 \times \mathrm{GL}_1$

math.RT

math.NT

The asymptotics of relative characters for real Lie groups were studied for representations $(\pi, \sigma)$ arising from Gan-Gross-Prasad pairs $(G,H)$ by Nelson and Venkatesh. They successfully compute the asymptotics of relative characters whenever the conductor of the associated Rankin-Selberg $L$-function $L(\pi \boxtimes \sigma^\vee)$ lies in a stable locus, i.e. away from conductor dropping. In this paper, we express asymptotics for relative characters in the non-archimedean setting for $(\mathrm{PGL}_2, \mathrm{GL}_1)$. The key new innovation is that our method overcomes the stability hypothesis and allows for significant conductor dropping.

Semigroups from full lattices in commutative ${\mathbb Q}$-algebras

math.RA

math.NT

math.RT

The full lattices in a finite dimensional commutative ${\mathbb Q}$-algebra form a commutative semigroup. In the case of an algebraic number field the top part of a certain quotient semigroup is the class group. For a separable algebra some basic results, especially the Jordan-Zassenhaus theorem, are known for this quotient semigroup. This paper considers also algebras which are not separable. It studies the commutative semigroup of full lattices in such an algebra and also the quotient semigroup. This leads in this commutative, but not separable situation to a certain extension of the Jordan-Zassenhaus theorem. One application concerns $GL_n({\mathbb Z})$-conjugacy classes of regular integer $n\times n$ matrices.

On the Bloch-Kato conjecture for GSp(4)

math.NT

v3

We prove an explicit reciprocity law for the Euler system attached to the spin motive of a genus 2 Siegel modular form. As consequences, we obtain one inclusion of the Iwasawa Main Conjecture for such motives, and the Bloch--Kato conjecture in analytic rank 0 for their critical twists.

Automaticity of uniformly recurrent substitutive sequences

math.NT

math.CO

math.DS

v3

We provide a complete characterisation of automaticity of uniformly recurrent substitutive sequences in terms of the incidence matrix of the return substitution of the underlying purely substitutive sequence. This resolves a recent question posed by Allouche, Dekking and Queff\'elec in the uniformly recurrent case. We show that the same criterion characterizes automaticity of minimal substitutive systems. Furthermore, we construct a minimal substitutive system whose maximal equicontinuous factor is the 2-adic odometer, and for which the corresponding factor map is everywhere uncountable-to-one. We conjecture that a minimal substitutive system is k-automatic if and only if it is an everywhere finite-to-one extension of a k-adic odometer.

Generalised Kato classes on CM elliptic curves of rank 2

math.NT

v3

Let $E/\mathbf{Q}$ be a CM elliptic curve and let $p\geq 5$ be a prime of good ordinary reduction for $E$. Suppose that $L(E,s)$ vanishes at $s=1$ and has sign $+1$ in its functional equation, so in particular ${\rm ord}_{s=1}L(E,s)\geq 2$. In this paper we slightly modify a construction of Darmon--Rotger to define a generalised Kato class $\kappa_p\in{\rm Sel}(\mathbf{Q},V_pE)$, and prove the following rank two analogue of Kolyvagin's result: \[ \kappa_p\neq 0\quad\Longrightarrow\quad{\rm dim}_{\mathbf{Q}_p}{\rm Sel}(\mathbf{Q},V_pE)=2. \] Conversely, when ${\rm dim}_{\mathbf{Q}_p}{\rm Sel}(\mathbf{Q},V_pE)=2$ we show that $\kappa_p\neq 0$ if and only if the restriction map \[ {\rm Sel}(\mathbf{Q},V_pE)\rightarrow E(\mathbf{Q}_p)\hat{\otimes}\mathbf{Q}_p \] is nonzero. The proof of these results, which extend and strenghten similar results of the author with Hsieh in the non-CM case, exploit a new link between the nonvanishing of generalised Kato classes and a main conjecture in anticyclotomic Iwasawa theory.

$L^4$-norms and sign changes of Maass forms

math.NT

v2

Unconditionally, we prove the Iwaniec-Sarnak conjecture for $L^4$-norms of the Hecke-Maass cusp forms. From this result, we can justify that for even Maass cusp form $\phi$ with the eigenvalue $\lambda_{\phi}=\frac{1}{4}+t_{\phi}^2$, for $a>0$, a sufficiently large $h>0$ and for any $0<\epsilon_1<\epsilon/10^7$ ($\epsilon>0$) , for almost all $1\le k0$, the number of sign changes of $\phi$ along $\beta$ is $\gg_{\epsilon} t_{\phi}^{1-\epsilon}$ and consequently, the number of inert nodal domains meeting any compact vertical segment on the imaginary axis is $\gg_{\epsilon} t_{\phi}^{1-\epsilon}$ as $t_{\phi}\to\infty$.

Quantitative rank distribution conjecture over $\mathbb{F}_q(t)$

math.NT

math.AG

v2

We combine the exact counting of all elliptic curves over $K = \mathbb{F}_q(t)$ with $\mathrm{char}(K) > 3$ by Bejleri, Satriano and the author, together with the torsion-free nature of most elliptic curves over global function fields proven by Phillips, and the overarching conjecture of Goldfeld and Katz-Sarnak regarding the ``Distribution of Ranks of Elliptic Curves''. Consequently, we arrive at the quantitative statement which naturally renders even finer conjecture regarding the lower order main terms differing for the number of $E/K$ with $|E(K)| = 1$ and $E(K) = \mathbb{Z}$.

Evaluating lattice sums via telescoping on $SL_+(2,\mathbb Z)$: a short proof of $\sum \frac{1}{|x|^2|y|^2|x+y|^2}=\frac{\pi}{4}$ and Zagier's identity

math.NT

v4

We study lattice sums $\sum \frac{1}{(\|x\|\|y\|\|x+y\|)^s}$ taken over $SL_+(2,\mathbb Z)$, i.e.\ the set of pairs $(x,y)$ of primitive lattice vectors in $\mathbb Z_{\geq 0}^2$ with $\det(x, y) = 1$. We prove convergence of these and similar (determinant weighted) sums and introduce a new telescoping method on $SL_+(2,\mathbb Z)$ that yields, in particular, $$\sum_{(x,y)\in SL_+(2,\mathbb Z)} \frac{1}{\|x\|^2\,\|y\|^2\,\|x+y\|^2}=\frac{\pi}{4},$$ and a short proof of Zagier's identity $D_{1,1,1}=2E(z,3)+\pi^3\zeta(3)$.

Finiteness criteria for the solutions of a sequence of decomposable form inequalities

math.NT

v2

In this paper, we give a finiteness criterion for the solutions of the sequence of semi-$q$-decomposable form equations and inequalities, where the semi-$q$-decomposable form is factorized into a family of $q$ nonconstant homogeneous polynomials with the distributive constant not exceeding a certain number.

Partial Resolution of the Erd\"os-Straus, Sierpinski, and Generalized Erd\"os-Straus Conjectures Using New Analytical Formulas

math.NT

v2

This article proposes a unified analytical approach leading to a partial resolution of the Erdos-Straus, Sierpinski conjectures, and their generalization. We introduce an equivalent reformulation of these conjectures while constructing two new explicit analytical formulas. The first formula, which is a special case of the second, is based on a divisibility condition, whereas the second, more general formula, relies on the existence of a perfect square, which we conjecture to always hold. Under these conditions, the formulas verify the conjectures even for very large numerical values. Moreover, our method reduces the problem to the search for a suitable perfect square, thereby opening the way to a complete proof of these conjectures. In conclusion, we present open questions and conjectures to the mathematical community regarding the generalization of these formulas.

On irreducibility of six-dimensional compatible systems of $\mathbb{Q}$

math.NT

v4

We study the irreducibility of 6-dimensional strictly compatible systems of Q with distinct Hodge-Tate weights. We prove that if one of the representations $\rho$ in such a system is irreducible and satisfies a self-dual condition $\rho^{\vee}\otimes\chi\cong\rho$ for some character $\chi$, then all but finitely many of them are irreducible.

Eisenstein-type series associated to partition ranks

math.NT

math-ph

math.CO

math.MP

v2

In this paper, we introduce a class of functions that behave like classical Eisenstein series in many ways, but with a key distinction: only their non-holomorphic completions transform like (quasi)modular forms. We show how the partition rank generating function can be expressed in terms of partition traces of these functions. A key feature of our construction is that the completions satisfy a holomorphic anomaly equation - a phenomenon typically seen in the context of quantum field theory and string theory. We also show that the Fourier coefficients of these Eisenstein-type series are integral.

Hilbert's Theorem 90, periodicity, and roots of Artin-Schreier polynomials

math.NT

math.AC

math.GR

v3

Let $E/F$ be a cyclic field extension of degree $n$, and let $\sigma$ generate the group ${\rm Gal}(E/F)$. If ${\rm Tr}^E_F(y)=\sum_{i=0}^{n-1}\sigma^i y=0$, then the additive form of Hilbert's Theorem 90 asserts that $y=\sigma x-x$ for some $x\in E$. When $E$ has characteristic $p>0$ we prove that $x$ gives rise to a periodic sequence $x_0,x_1,\dots$ which has period $pn_p$, where $n_p$ is the largest $p$-power that divides $n$. We also show, if $y$ lies in the finite field $\mathbb{F}_{p^n}$, then the roots of a reducible Artin-Schreier polynomial $t^p-t-y$ have the form $x+u$ where $u\in\mathbb{F}_p$ and $x=\sum_{i=0}^{n-1}\sum_{j=0}^{i-1}z^{p^j}y^{p^i}$ for some $z\in\mathbb{F}_{p^e}$ with $e=n_p$. Furthermore, the sequence $\left(\sum_{j=0}^{i-1}z^{p^j}\right)_{i\ge0}$ is periodic with period $pe$.

Sums of squares of integers from residue classes

math.NT

v2

A subset $\mathcal{A}\subseteq\mathbb{Z}$ is called $s$-almost square universal if every sufficiently large positive integer can be written as a sum of at most $s$ squares of integers from $\mathcal{A}$. In this article, we study the minimal number $\mathrm{ASU}(\mathcal{A}_{d,m})$ with this property, where $\mathcal{A}_{d,m}$ denotes the residue class of $d$ modulo $m$, with $m\in\mathbb{N}$ and $d\in\mathbb{Z}$. We further prove that $\mathcal{A}_{d,m}$ is $s$-square universal for some $s\in\mathbb{N}$ if and only if $d \equiv \pm 1 \pmod{m}$, and determine the minimal such number $\mathrm{SU}(\mathcal{A}_{d,m})$ in these cases.

Triple convolution sums of the generalised divisor functions and related sums over primes

math.NT

v2

We study the triple convolution sum of the generalised divisor functions $$\sum_{n\leq x} d_k(n+h)d_l(n)d_m(n-h),$$ where $h \le x^{1-\epsilon}$ for any $\epsilon>0$ and $d_k(n)$ denotes the generalised divisor function which counts the number of ways $n$ can be written as a product of $k$ many positive integers. The purpose of this paper is three-fold. Firstly, we note a predicted asymptotic estimate for the above sum, where the constant appearing in the estimate can be obtained from the theory of Dirichlet series of several complex variables and also using some probabilistic arguments. Then we show that a lower bound of the correct order can be derived using the several variable Tauberian theorems, where, more importantly, the constant in the predicted asymptotic can be recovered. Lastly, in the spirit of the Titchmarsh divisor problem, we consider this triple convolution sum over the prime numbers, which essentially leads to a shifted convolution sum. We use the Tauberian theory of multiple Dirichlet series along with the Bombieri-Vinogradov theorem to derive an explicit lower bound of this.

Galois Action and Localization in Number Fields

math.NT

math.AC

v2

For a Galois number field $K$, the Galois group $\text{Gal}(K/\mathbb{Q})$ acts on the class group $Cl_K$ in a very natural way: $\sigma\cdot[I]=[\sigma(I)]$ for any $\sigma \in \text{Gal}(K/\mathbb{Q})$, $[I]\in Cl_K$. In this paper, we will explore how the unique properties of this group action work together to elucidate the relationship between these two groups. While previous work on this problem has focused on representation theory, we take a direct approach to some classical and new problems. The paper concludes with an exploration of the class groups of overrings of the ring of integers $\mathcal{O}_K$. These turn out to be powerful tools for understanding $Cl_K$ and overrings of $\mathcal{O}_K$.

Multi-variable admissible distributions

math.NT

v2

The theory of admissible distributions over a weight-space of one-variable was studied by Amice--V\'{e}lu and played important roles in the cyclotomic Iwasawa theory of non-ordinary p-adic Galois representations. In this article, we discuss the multi-variable generalization of the theory of admissible distributions over a weight-space of several variables. As an application, we construct a two-variable non-ordinary p-adic L-function which interpolates the special values of Rankin-Selberg L-functions.

Sums of Laurent series with bounded partial quotients

math.NT

v2

In 1947 M.Hall proved that every real number is the sum of an integer and two real numbers whose partial quotients are at most $4$. Later, Cusick proved that every real number is the sum of an integer and two real numbers whose partial quotients are at least $2$. In a recent paper, the authors proved that every real number is the sum of two real numbers whose partial quotients diverge. In this paper, we prove an analogue of these results for Laurent series.

A new expansion of the Riemann zeta function

math.NT

v2

After a brief introduction to Ramanujan's method of summation, we give an expansion of the Riemann Zeta function in the critical strip as a convergent series $\sum_{m\geq 0}x_m P_m(s) $ where the functions $P_m$ are polynomials with their roots on the line $\{\Re(s)=1/2\}$, the coefficients $x_m$ being finite linear combinations of the Euler constant $\gamma$ and the values $\zeta(2),\zeta(3),\dots,\zeta(m+1).$

"Infinitely Often" Transcendence of Gamma-Function Derivatives

math.NT

v2

Relatively little is known about the arithmetic properties of Gamma-function derivatives evaluated at arbitrary points $q\in\mathbb{Q}\setminus\mathbb{Z}_{\leq0}$. In recent work, we showed that the sequence $\left\{ \Gamma^{\left(n\right)}\left(1\right)\right\}_{n\geq1}$ contains transcendental elements infinitely often. That result is now generalized to all sequences $\left\{\Gamma^{\left(n\right)}\left(q\right)\right\}_{n\geq1}$ for $q\in\tfrac{1}{2}\mathbb{Z}\setminus\mathbb{Z}_{\leq0}$. Moreover, for all such $q$ we derive a lower bound, $\beta\left(N\right)=\max\left\{0,\sqrt{N}-5/2\right\}/N$, for the density of transcendental elements $\Gamma^{\left(n\right)}\left(q\right)$ among $n\in\left\{1,2,\ldots,N\right\}$. For $q\in\mathbb{Q}\setminus\tfrac{1}{2}\mathbb{Z}$, we find the somewhat weaker result that at least one of the sequences $\left\{\Gamma^{\left(n\right)}\left(q\right)\right\}_{n\geq1}$, $\left\{\Gamma^{\left(n\right)}\left(1-q\right)\right\}_{n\geq1}$ contains infinitely many transcendental elements.

On Dirichlet Series Involving $\zeta(s)$ and Extensions of the Euler-Mascheroni Constant

math.NT

v2

In this paper, we introduce a class of Dirichlet series defined in terms of the Riemann zeta-function, motivated by the study of their special values, and establish integral representations for these series. We also define an extension of the Euler--Mascheroni constant and express certain special values explicitly in terms of the Bendersky constants. These results provide a unified framework for evaluating Dirichlet series involving the Riemann zeta-function at integer arguments, together with the associated number-theoretic constants.

Formalization of non-Archimedean functional analysis 1: spherically complete spaces

math.NT

cs.LO

math.FA

v2

In this article, we present a formalization of spherically complete spaces, which is a fundamental notion in non-archimedean functional analysis. This work includes the equivalent definitions of spherically complete spaces, their basic properties, examples and non-examples such as the field $\mathbf{C}_p$ of $p$-adic complex numbers. As applications, we formalize the Birkhoff-James orthogonality, Hahn-Banach extension theorem and the spherical completion for non-archimedean Banach spaces. Code available at https://github.com/YijunYuan/SphericalCompleteness

Jarn\'ik-type theorem for self-similar sets

math.NT

math.DS

v2

Let $K\subset\mathbb R^d$ be a compact subset equipped with a $\delta$-Ahlfors regular measure $\mu$. For any $\tau>1/d$ and any ``inhomogeneous'' vector $\boldsymbol{\theta}\in\mathbb R^d$, let $W_d(\psi_\tau,\boldsymbol{\theta})$ denote the set of $(\psi_\tau,\boldsymbol{\theta})$-well approximable numbers, where $\psi_\tau(q)=q^{-\tau}$. Assuming a local estimate for the $\mu$-measure of the intersections of $K$ with the neighborhoods of ``rational'' vectors $(\mathbf p+\boldsymbol{\theta})/q$, we establish a sharp upper bound for the Hausdorff dimension of $K\cap W_d(\psi_\tau,\boldsymbol{\theta})$, together with some nontrivial lower bounds when $\tau$ is below a certain threshold. One of the lower bounds becomes sharp in the one-dimensional homogeneous case ($d=1$, $\theta=0$) for a class of sufficiently thick self-similar sets $K$, and moreover $K\cap W_1(\psi_\tau,0)$ has full $(\delta+\frac{2}{1+\tau}-1)$-Hausdorff measure. These results have several applications: (1) the set of homogeneous very well approximable numbers has full Hausdorff dimension within strongly irreducible self-similar sets in $\mathbb R^d$, extending a recent result of Chen [arXiv:2510.17096]; (2) the set of inhomogeneous very well approximable numbers has full Hausdorff dimension within sufficiently thick missing digits sets in $\mathbb R$, affirmatively answering a question posed by Yu [arXiv:2101.05910]. Our applications build on the seminal works of Yu [arXiv:2101.05910] and B\'enard, He and Zhang [arXiv:2508.09076]. We also provide some non-trivial missing digits set $K\subset[0,1]^d$ whose intersection with $W_d(\psi_\tau,0)$ has full $(\delta+\frac{1+d}{1+\tau}-d)$-Hausdorff measure.

Theta correspondence and the Borisov-Gunnells relations

math.NT

v2

We consider a geometric theta correspondence from the first homology of a modular curve, to modular forms of weight $2$. Using Stevens' description of the homology, we find that this map sends modular symbols to product of weight one Eisenstein series, modular caps to weight $2$ Eisenstein series, and hyperbolic cycles to diagonal restrictions of Hilbert-Eisenstein series. We use it to revisit work of Borisov and Gunnells, and explain its connection to a theorem of Li. In particular, we give a geometric proof of certain relations between Eisenstein series.

Critical values for the $\beta$-transformation with a hole at $0$

math.DS

math.CA

math.CO

math.NT

v2

Given $\beta\in(1,2]$, let $T_\beta$ be the $\beta$-transformation on the unit circle $[0,1)$ such that $T_\beta(x)=\beta x\pmod 1$. For each $t\in[0,1)$ let $K_\beta(t)$ be the survivor set consisting of all $x\in[0,1)$ whose orbit $\{T^n_\beta(x): n\ge 0\}$ never hits the open interval $(0,t)$. Kalle et al. proved in [Ergodic Theory Dynam. Systems, 40 (9): 2482--2514, 2020] that the Hausdorff dimension function $t\mapsto\dim_H K_\beta(t)$ is a non-increasing Devil's staircase. So there exists a critical value $\tau(\beta)$ such that $\dim_H K_\beta(t)>0$ if and only if $t<\tau(\beta)$. In this paper we determine the critical value $\tau(\beta)$ for all $\beta\in(1,2]$, answering a question of Kalle et al. (2020). For example, we find that for the Komornik-Loreti constant $\beta\approx 1.78723$ we have $\tau(\beta)=(2-\beta)/(\beta-1)$. Furthermore, we show that (i) the function $\tau: \beta\mapsto\tau(\beta)$ is left continuous on $(1,2]$ with right-hand limits everywhere, but has countably infinitely many discontinuities; (ii) $\tau$ has no downward jumps, with $\tau(1+)=0$ and $\tau(2)=1/2$; and (iii) there exists an open set $O\subset(1,2]$, whose complement $(1,2]\setminus O$ has zero Hausdorff dimension, such that $\tau$ is real-analytic, convex and strictly decreasing on each connected component of $O$. Our strategy to find the critical value $\tau(\beta)$ depends on certain substitutions of Farey words and a renormalization scheme from dynamical systems.

On a Bessel function series related to the Riemann xi function

math.CA

math.NT

v4

We establish new Fourier integral evaluations involving the Riemann xi function related to a series involving Bessel function of the first kind. We show this infinite series involving the Bessel function of the first kind solves a boundary value problem for the cylindrical heat equation.

$p$-curvature of periodic pencils of flat connections

math.AG

math.NT

math.QA

math.RT

v5

In arXiv:2401.00636 we introduced the notion of a periodic pencil of flat connections on a smooth variety $X$. Namely, a pencil is a linear family of flat connections $\nabla(s_1,...,s_n)=d-\sum_{i=1}^r\sum_{j=1}^ns_jB_{ij}dx_i,$ where $\lbrace x_i\rbrace$ are coordinates on $X$ and $B_{ij}: X\to {\rm Mat}_N$ are matrix-valued regular functions. A pencil is periodic if it is generically invariant under the shifts $s_j\mapsto s_j+1$ up to isomorphism. In this paper we show that in characteristic $p>0$, the $p$-curvature operators $\lbrace C_i,1\le i\le r\rbrace$ of a periodic pencil $\nabla$ are isospectral to the commuting endomorphisms $C_i^*:=\sum_{j=1}^n (s_j-s_j^p)B_{ij}^{(1)}$, where $B_{ij}^{(1)}$ is the Frobenius twist of $B_{ij}$. Using the results of arXiv:2401.00636, this allows us to compute the eigenvalues of the $p$-curvature for many important examples of pencils of flat connections, including Knizhnik-Zamolodchikov (KZ), Casimir, and Dunkl connections, their confluent limits, and equivariant quantum connections for conical symplectic resolutions with finitely many torus fixed points. In particular, for rational values of parameters these eigenvalues are zero, so the connections are globally nilpotent. We also show that every periodic pencil has regular singularites and its residues have rational eigenvalues for rational values of parameters. In particular, this holds for the aforementioned quantum connections if they have rational coefficients. Also we generalize these results to irregular pencils (KZ, Casimir, Dunkl, and Toda), and relate them in the Dunkl case to representations of rational Cherednik algebras. Finally, we extend our main result to pseudo-pencils and discuss the generalization to difference equations.

On the growth of torsion in the cohomology of some arithmetic groups of $\mathbb{Q}$-rank one

math.DG

math.GT

math.NT

v2

Given a number field $F$ with ring of integers $\mathcal{O}_{F}$, one can associate to any torsion free subgroup of $\operatorname{SL}(2,\mathcal{O}_{F})$ of finite index a complete Riemannian manifold of finite volume with fibered cusp ends. For natural choices of flat vector bundles on such a manifold, we show that analytic torsion is identified with the Reidemeister torsion of the Borel-Serre compactification. This is used to obtain exponential growth of torsion in the cohomology for sequences of congruence subgroups.

Linear Recurrences of Generalized Schreier Sets Revisited

math.CO

math.NT

v3

For $p, q\in \mathbb{N}$, a finite nonempty set $F$ is said to be $(p,q)$-Schreier (or maximal $(p,q)$-Schreier, respectively) if $q\min F\ge p|F|$ (or $q\min F = p|F|$, respectively). For $n\in \mathbb{N}$, let $$\mathcal{S}^{p/q}_{n}\ :=\ |\{F\subset\{1, 2, \ldots, n\}\,:\, q\min F\ge p|F|\mbox{ and }n\in F\}|.$$ Using the Inclusion-Exclusion Principle, Beanland et al. proved the recurrence $$|\mathcal{S}^{p/q}_{n}|\ =\ \sum_{k=1}^q(-1)^{k+1}\binom{q}{k}|\mathcal{S}^{p/q}_{n-k}| + |\mathcal{S}^{p/q}_{n-(p+q)}|.$$ We show that $(|\mathcal{S}^{p/q}_n|)_{n=1}^\infty$ is a subsequence with terms taken periodically from Padovan-like sequences which satisfy simple recurrence relations. As an application, we obtain an alternative proof of the above linear recurrence. Furthermore, a similar result holds for the sequence $(|\mathcal{M}^{p/q}_{n}|)_{n=1}^\infty$ that counts maximal $(p,q)$-Schreier sets. We end with a discussion of the relation between $(|\mathcal{S}^{p/q}_{n}|)_{n=1}^\infty$ and $(|\mathcal{M}^{p/q}_{n}|)_{n=1}^\infty$.

Formalization of Harder-Narasimhan theory

math.AG

cs.FL

cs.LO

math.NT

v3

The Harder-Narasimhan theory provides a canonical filtration of a vector bundle on a projective curve whose successive quotients are semistable with strictly decreasing slopes. In this article, we present the formalization of Harder-Narasimhan theory in the proof assistant Lean 4 with Mathlib. This formalization is based on a recent approach of Harder-Narasimhan theory by Chen and Jeannin, which reinterprets the theory in order-theoretic terms and avoids the classical dependence on algebraic geometry. As an application, we formalize the uniqueness of coprimary filtration of a finitely generated module over a noetherian ring, and the existence of the Jordan-H\"older filtration of a semistable Harder-Narasimhan game. Code available at: https://github.com/YijunYuan/HarderNarasimhan

Graded perfectoid rings

math.AC

math.AG

math.NT

v2

We introduce and study graded perfectoid rings as graded analogues of Scholze's (integral) perfectoid rings. We establish a categorical equivalence between graded perfectoid rings and graded perfect prisms, extending the Bhatt-Scholze's correspondence to the graded setting. We also construct the initial graded perfectoid cover of any graded semiperfectoid rings and prove a graded version of Andr\'e's flatness lemma. These results lay the foundations for a graded theory of perfectoid rings.