Number Theory [math.NT]

Automorphisms of finite fields from isogeny cycles

math.NT

math.AG

We develop an explicit geometric construction of automorphisms of finite fields arising from isogeny cycles. Let $k$ be a finite field, $E/k$ an elliptic curve, and $\ell$ an integer coprime to $\mathrm{char}(k)$. Let $\mathfrak{h}$ be an ideal of $\mathrm{End}(E)$ dividing $\ell$, and consider the corresponding torsion subgroup $E[\mathfrak{h}]\subseteq E[\ell]$. From the action of End(E) on $E[\mathfrak{h}]$, we construct the splitting field $K$ of the $x$-coordinates of points in $E[\mathfrak{h}]$ and the associated Galois group $\mathrm{Gal}(K/k)$. This yields $(\mathrm{End}(E)/\mathfrak{h})^* \to \mathrm{Gal}(K/k)$ a group homomorphism.

Families of Congruences for Partitions with $k$-colored odd parts

math.NT

The study of integer partitions and their congruences dates back to 1919 when Ramanujan discovered his famous congruences for the partition function, $p(n)$. Since then, many other kinds of partition functions have been discovered, as well as their respective congruences. Recently, Hirschorn and Sellers have consider partitions in which the odd parts may appear in $k$ colors and the even parts are restricted to at most one color. It turns out that these partitions exhibit fascinating families of congruences. In this paper, we look at a set of congruences that give rise to infinite families modulo 3. We also give some questions at the end that could aid further research into these partitions.

Parry order of Parry numbers

math.NT

We introduce the \emph{Parry order} $\mathrm{Ord}_P(\beta)$, defined as the largest integer $n$ for which $\beta^n$ is a Parry number. This leads to a natural partition of the set of Perron numbers as follows: \[ \mathcal{P} = \left( \bigcup_{n \geq 0} H_n \right) \cup H_\infty, \] where $H_n$ is the class of Perron numbers with Parry order $n$, and $H_\infty = S \cup T$ consists exactly of all Pisot and Salem numbers. We show that a Perron number has infinitely many Parry powers if and only if it is Pisot or Salem. For every other Perron number, only finitely many powers can be Parry. We give an explicit upper bound on $\mathrm{Ord}_P(\beta)$ in terms of algebraic properties of~$\beta$. We provide explicit examples of non-Parry Perron numbers whose powers become Parry, demonstrating that several $H_n$ are non-empty and structurally rich. We give an infinite family of cubic non-Pisot numbers, all of which have finite Parry order, but where the family has unbounded Parry order. These results establish a new dynamical perspective on Perron numbers, connecting $\beta$-expansion theory with classical questions surrounding Salem numbers and Lehmer-type conjectures.

Torsion Packet Envelope and Rational Points of Algebraic Curves

math.NT

In this paper, we give an elementary new method for determining the rational points on algebraic curves using torsion packets. We also provide examples of curves for which all rational points can be completely determined by our method.

Asymptotic Formula for $(t+1)$-Regular Partitions

math.NT

math.CO

A partition is $t$-regular if none of its parts is divisible by $t$. Let $p(N,t)$ be the number of $(t+1)$-regular partitions of a positive integer $N$. In 1971, Hagis proved an asymptotic formula for $p(N,t)$ using the circle method, when $t$ fixed. In this article, we use the saddle point method and extend the result of Hagis in different ranges of $t$, obtaining explicit bounds. We also discuss an application of our result to estimate zeros in the character table of the symmetric group.

Irreducibility and Monodromy of Automorphic Galois Representations of $\mathrm{GL}(4)$

math.NT

We prove that over totally real fields, the $p$-adic Galois representations attached to non-self-dual regular algebraic cuspidal automorphic representations of $\mathrm{GL}(4)$ are irreducible. We then develop the theory of extra-twists in a general setting and use it to compute the monodromy group (over $\mathbb{Q}$) of these Galois representations, in both self-dual and non-self-dual settings, and prove $p$-adic and residual big image results.

A Wasserstein metric approach to generalized Skewes' numbers. I. Prime number races

math.NT

We study generalized Skewes' numbers, which are the locations of the first sign change between two comparable prime counting functions. In the context of the race between quadratic residues and quadratic nonresidues, we construct sequences of highly composite moduli $q$ such that those Skewes' numbers grow very rapidly in some sense. This disproves unconditionally a conjecture of Fiorilli. In the other direction, assuming the Generalized Riemann Hypothesis and an effective linear independence hypothesis, we establish conditional upper bounds for generalized Skewes' numbers. Our approach relies on a quantitative Kronecker-Weyl theorem formulated in terms of the $1$-Wasserstein metric to obtain explicit rates of the convergence to the limiting distributions of these races.

A Universal Identity for Powers in Quadratic Algebras and a Matrix Derivation of a Fibonacci Identity

math.CO

math.NT

We prove a universal identity for powers of elements in quadratic algebras, expressing x^m in terms of x and the identity. As a consequence, we obtain a general formula for powers of 2x2 matrices depending only on trace and determinant. Applying this to the Fibonacci matrix yields a binomial expansion formula for F_{nm}, recovering a recent identity of Vorobtsov. This shows that such identities arise from general algebraic principles rather than specific properties of Fibonacci numbers.

An Exploration of Crank Generating functions for $t$-core partitions

math.CO

math.NT

In 1919, Ramanujan discovered his famous congruences for the partition function. Not too long after, Freeman Dyson conjectured a combinatorial statistic existed that explained the three congruences, which he dubbed the \textit{crank}. A crank generating function for the partition function was discovered in 1988 by George Andrews and Frank Garvan. Since then other crank generating functions have been found for many other kinds of partitions. In this paper, we give a family of crank generating functions which explain some partition congruences for $t$-core partitions.

Existence of minimal del Pezzo surfaces of degree 1 with conic bundles over finite fields

math.AG

math.NT

We study minimal del Pezzo surfaces of degree 1 with a conic bundle over a finite field $\mathbb{F}_q$ according to the action of the absolute Galois group on the singular fibers (which is known as their type). We give a lower bound on the size of the field over which they exist, and determine values of $q$ for which certain types cannot exist. In particular, we solve the inverse Galois problem for certain types of minimal del Pezzo surfaces of degree 1 over finite fields with a conic bundle structure. Additionally, we give bounds on the values of $q$ for which del Pezzo surfaces of degree 1 of index 8 exist over $\mathbb{F}_q$.

Representations of integers as sums of four polygonal numbers and partial theta functions

math.NT

v2

In this paper, we consider representations of integers as sums of at most four distinct $m$-gonal numbers (allowing a fixed number of repeats of each polygonal number occurring in the sum). We show that the number of such representations with non-negative parameters (hence counting the number of points in a regular $m$-gon) is asymptotically the same as $\frac{1}{16}$ times the number of such representations with arbitrary integer parameters (often called generalized polygonal numbers).

Moments of $L$-functions via a relative trace formula

math.NT

v2

We prove an asymptotic formula for the second moment of the $\mathrm{GL}(n)\times\mathrm{GL}(n+1)$ Rankin--Selberg central $L$-values $L(1/2,\Pi\otimes\pi)$, where $\pi$ is a fixed cuspidal representation of $\mathrm{GL}(n)$ that is tempered and unramified at every place, while $\Pi$ varies over a family of automorphic representations of $\mathrm{PGL}(n+1)$ ordered by (archimedean or non-archimedean) conductor. As another application of our method, we prove the existence of infinitely many cuspidal representations $\Pi$ of $\mathrm{PGL}(n+1)$ such that $L(1/2,\Pi\otimes\pi_1)$ and $L(1/2,\Pi\otimes\pi_2)$ do not vanish simultaneously where $\pi_1$ and $\pi_2$ are cuspidal representations of $\mathrm{GL}(n)$ that are unramified and tempered at every place and have trivial central characters.

On the $v$-adic values of G-functions II

math.NT

v2

This is the second paper in a series by the author, centered on the study of values of G-functions associated to a $1$-parameter family of abelian varieties $f:\CX\rightarrow S$ and a point $s_0\in S(K)$ over some number field $K$. Here we study the case where $f:\CX\rightarrow S$ is a family of elliptic curves. Extending work of Andr\'e and Beukers, we construct relations among the values of G-functions in this setting at points whose fibers are CM elliptic curves.

On the irrationality exponent of real numbers with low complexity expansion

math.NT

math.CO

math.DS

v3

Let $\xi$ be a real number and $b \ge 2$ an integer. We study the relationship between the irrationality exponent of $\xi$ and the subword complexity $p(n, \mathbf{x})$ of the $b$-ary expansion $\mathbf{x}$ of $\xi$, where $p(n, \mathbf{x})$ counts the number of distinct blocks of length $n$ in $\mathbf{x}$, for $n \ge 1$. If the irrationality exponent of $\xi$ is equal to $2$, which is the case for almost all real numbers $\xi$, we show that the limit superior of the sequence $(p(n, \mathbf{x}) / n)_{n \ge 1}$ is at least equal to 4/3. The proof is based on a careful study of the evolution of the Rauzy graphs of infinite words of low complexity.

Ikeda type lift on ${\rm SO}(3,n+1)$

math.NT

math.RT

v4

By using Ikeda's theory for a compatible family of Eisenstein series, we explicitly construct Ikeda type lifts on the special orthogonal group $G={\rm SO}(3,n+1)$ over $\mathbb{Q}$ with $n\ge 3$ which splits everywhere at finite places. Our lifts are Hecke eigen cusp forms of weight $l$ ($l\ge n+2$, even) and come from elliptic newforms with respect to ${\rm SL}_2(\mathbb{Z})$ which are of weight $l-\frac{n-2}{2}$ when $n$ is even and $2l-n+1$ when $n$ is odd.The corresponding cuspidal automorphic representations are cohomological but non-tempered at any places including the infinity place.

Algebraic Characterizations of Angle Multisections over Rings

math.NT

math.MG

v4

Let $m,$ $n \geq 2$ be integers, and let $R$ be a subring of $\mathbb R$ with field of fractions $F.$ In this article, we generalize the rational angle bisection problem previously proposed by the author as follows: characterize the pairs of linearly independent vectors $\vec{a},$ $\vec{b} \in R^n$ that form angles with sequences of $m$-sector vectors lying in $R^n.$ When $\vec{a}$ and $\vec{b}$ are nonorthogonal, we prove that this condition is equivalent to the existence of a root in $F$ of a certain $m$-th degree polynomial over $R.$ In particular, when $R = \mathbb Z,$ the condition holds if and only if the polynomial has a root among the divisors of its constant term. When $m = 2^e$ with integer $e \geq 1,$ we also prove that the condition is equivalent to $\cos (\theta /2^{e-1}) \in F,$ where $\theta$ is the angle between $\vec{a}$ and $\vec{b}.$

Congruences between Klingen-Eisenstein series and cusp forms on $\mathrm{U}_{n,n}$

math.NT

v2

In this paper, we study congruences of Hecke eigenvalues between Hermitian Klingen-Eisenstein series and cusp forms on the unitary group $\mathrm{U}_{n,n}$ defined over the rational number field $\mathbb{Q}$. We also prove the rationality of the space of Hermitian automorphic forms and the integrality of their Hecke eigenvalues.

Counting subalgebras of $\mathfrak{o}^n$

math.NT

v2

Let $\mathfrak{o}$ be a compact discrete valuation ring and $n\geq 2$. We introduce a method to study the cotype zeta function of subalgebras of $\mathfrak{o}^n$. This multivariable series encodes the number of finite-index subalgebras $\Lambda$ of the $\mathfrak{o}$-algebra $\mathfrak{o}^n$ of a given elementary divisor type. We express this zeta function as a finite sum of $\mathfrak{o}$-adic integrals and compute these integrals in many cases. As a first application, we recover known results in a natural way from our approach. For instance, we obtain a lower bound for the abscissa of convergence of the subalgebra zeta function of $\mathfrak{o}^n$ by exhibiting an explicit pole. We also determine the number of irreducible subrings of $\mathfrak{o}^n$ of small index. As a second application, we give an explicit formula for the cotype zeta function of subalgebras of $\mathfrak{o}^4$.

Fields with no everywhere good abelian varieties

math.NT

v2

We extend methods of Fontaine, Abrashkin and Schoof to obtain criteria determining number fields K over which no non-zero abelian variety with everywhere good reduction exists. As an application, under the GRH, we find 24744 such fields of various degrees up to 16.

Mahler's method and Carlitz logarithm

math.NT

v2

In 2007, Papanikolas established that if Carlitz logarithms of algebraic functions are linearly independent over the rational function field, then they are algebraically independent. The purpose of the present paper is to provide a new proof of this theorem using Mahler s method instead of the theory of t-motives. We revisit and extend the approach developed by Denis, which enabled him in 2006 to prove this result in the particular case of the logarithm of elements in Fq(theta) via a Mahler system.

Multiplication Tables for Integers with Restricted Prime Factors

math.NT

math.PR

v2

Let $Q$ be a set of primes with relative density $\delta$. We count integers in $[1,x]$ with prime factors all in $Q$ that also have a divisor in $(y,2y]$. We establish the order of magnitude for all $\delta \in (0,1]$. This generalizes the case $\delta = 1$ from the 2008 work of Ford. We also show that there is a phase transition at the critical point $\delta = 1/\log 4$, for which we explicitly determine the behaviour.

Exceptional supercuspidal representations in small residue characteristic

math.RT

math.NT

v2

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.