Number Theory [math.NT]

Galois theory for finite fields

math.NT

math.RA

This note presents Galois theory for finite fields. It was written as a handout for the MAT401 course ``Polynomial equations and fields'' taught at the University of Toronto in Spring 2026. We use without proofs some basic properties of finite fields and of finite field extensions which we already covered in class. Firstly, we describe an extension $K\subset F$ of a finite field $K$ of a given degree $n$. We show that the set of all intermediate fields for this extension is in one-to-one correspondence with the set of all divisors $k$ of the degree $n$. Then we describe the Galois group of this extension which is the cyclic group of order $n$. The set of subgroups of this group also is in one-to-one correspondence with the set of all divisors $k$ of the degree $n$. It allows us to prove the Galois correspondence for that extension. In the last section, we state basic theorems of Galois theory for arbitrary fields which will be proven later in the course.

Seven squares from three numbers

math.NT

We study triples {a,b,c} of distinct nonzero rational numbers such that a+1,b+1,c+1,ab+1,ac+1,bc+1 and abc+1 are all perfect squares. We prove that there exist infinitely many such triples. In contrast, we show that no triple of positive integers has this property.

Dedekind zeta functions of non-Galois torsion fields of elliptic curves

math.NT

We give an algorithm to determine factorization types of primes in the number fields generated by a single point of odd order on an elliptic curve. We apply this to compute coefficients of the Dedekind zeta function of the field.

A Dynamical Lifting Problem For Additive Polynomials

math.NT

math.DS

We introduce a dynamical analogue of the lifting problem for Galois covers of algebraic curves and find a negative solution for the collection of additive, separable polynomials over $\overline{\mathbb{F}}_p$. We also explicitly compute the dimension of the space of linear conjugacy classes in $M_{p^m}(\overline{\mathbb{F}}_p)$ which contain an additive, separable polynomial.

Values of algebraic functions at Liouville numbers

math.NT

In 1953 LeVeque proved the existence of $U_m$-numbers by showing that for some specially defined Liouville number $\lambda$, the $m$th root $\lambda^{1/m}$ is in $U_m$. In this article we study the following question: let,$u$ be an algebraic function of degree $m$ and $\lambda$ a Liouville number; under which conditions is $u(\lambda)$ a $U_m$-number? We consider a more refined notion of $\mathcal{L}$-numbers, and show that, under very general assumptions, an algebraic function of degree $m$ takes $U_m$-values at all $\mathcal{L}$-numbers.

Identities and transformations for Lambert series and double Lambert series

math.NT

We establish two identities for Lambert series and double Lambert series, thereby resolving conjectures of Andrews, Dixit, Schultz and Yee (Acta Arith.~181:253--286, 2017), as well as Amdeberhan, Andrews and Ballantine (J Combin Theory Series A 221:106154, 2026). The proofs are based on classical transformations in the theory of infinite series together with a systematic rearrangement of double Lambert series.

Linear recurrence sequences and palindromic concatenations of two repdigits in base $\beta$

math.NT

Let $\beta$ be a non-unit real algebraic integer greater than one and $\{a_{n}\}_{n \geq 0}$ be a sequence satisfying a linear recurrence relation $a_{n+3}=aa_{n+2}+ba_{n+1}+ca_{n}$. Under certain conditions, we prove that the number of $a_{n}$ which are palindromic concatenations of two repdigits in base $\beta$ is finite.

Differential operators on locally analytic Shimura varieties

math.NT

math.AG

We investigate infinite-level Shimura varieties within the framework of analytic stacks of Clausen-Scholze, developing their smooth, completed, locally analytic, and de Rham realizations. We formulate a Grothendieck-Messing-Hodge-Tate period map, and establish a Grothendieck-Messing theory for locally analytic infinite-level Shimura varieties. This theory, combined with a reformulation of Riemann-Hilbert correspondence, implies that the locally analytic infinite-level Shimura variety can be fully reconstructed purely from its perfectoid counterpart and its $\mathbb{B}_{\mathrm{dR}}^{+}$-thickening. Building upon this geometric structure, we systematically construct differential operators generalizing those of Pan, and we introduce a Bernstein-Gelfand-Gelfand-Fontaine complex based on dual BGG complexes, conjecturing its automorphic properties. These constructions will be used to establish a locally analytic Jacquet-Langlands correspondence in a companion paper ([Jia26a]).

Quartic reductions and elliptic obstructions for perfect Euler bricks

math.NT

We show that the perfect Euler brick (perfect cuboid) problem is equivalent to the following elementary question: do there exist coprime integers $a, b, m, n$ such that the two expressions $(2(a^2-b^2)mn)^2 + ((a^2+b^2)(m^2-n^2))^2$ and $(4abmn)^2 + ((a^2+b^2)(m^2-n^2))^2$ are simultaneously perfect squares? Despite their near-identical structure (differing only in the first summand), no solution has ever been found. We reduce this quartic pair to a one-parameter family of genus-3 hyperelliptic curves $C_A\colon w^2 = \lambda^8 + A\lambda^4 + 1$ and develop obstructions on the distinguished elliptic quotient $E_A$: the Kummer character $\chi_f$ is non-trivial on the 4-torsion, and 2-descent arguments exclude several families of square classes. Computationally, we verify that no solution exists for parameters up to $10^3$. These results do not yet exclude perfect Euler bricks unconditionally; the remaining gap and possible approaches (including a genus-5 covering obstruction and connections to $\mathbb{Q}(\sqrt{2})$) are discussed.

Bounding the exponential sum on squares of some sifted sequences

math.NT

Let $\mathfrak{B}$ denote the collection of odd primitive Gaussian integers and $n\mapsto b(n)$ denote the characteristic function of elements of $\mathfrak{B}$. We prove that the exponential sum $ S(\alpha; N)=\sum_{n\le N}b(n)e(n^2\alpha)$ satisfies \begin{equation*} \frac{S(\alpha;N)}{N/\sqrt{\log N}} \ll N^\epsilon (q^{-1/4}+N^{-1/2}q^{1/4}+N^{-1/8}), \end{equation*} where, $(a,q)=1$ and $|\alpha - a/q | < 1/q^2$. Though we specialized on sums of two squares, these results extend to more general sequences.

Modular curves and bad reduction

math.NT

math.AG

We prove results that imply, under various hypotheses, that every elliptic curve over a number field $k$ corresponding to a point on a modular curve has bad reduction at a certain prime $p$ of $\mathcal{O}_k$. For example, every elliptic curve with a cyclic torsion subgroup of order 20 defined over $\mathbb{Q}(\sqrt{-11})$ or $\mathbb{Q}(\sqrt{17})$ has bad reduction at all primes lying over $3$. The proofs of these statements are quite different, since $3$ is split in $\mathbb{Q}(\sqrt{-11})$ and inert in $\mathbb{Q}(\sqrt{17})$.

Effective equidistribution of unipotent orbits in homogeneous spaces of $\SL(2,\R)\ltimes(\R^2)^{k}$

math.DS

math.NT

Let $G=\SL(2,\R)\ltimes(\R^2)^{k}$, let $\Gamma$ be a congruence subgroup of $\SL(2,\Z)\ltimes(\Z^2)^{k}$, and let $u_{\R}=(u_x)_{x\in\R}$ be the one-parameter subgroup of $G$ given by $u_x=\left(\matr 1x01,0\right)$. We prove polynomially effective asymptotic equidistribution results for expanding translates of $u_{\R}$-orbits and for long pieces of individual $u_{\R}$-orbits in $\Gamma\backslash G$. An important ingredient of the proof is the delta symbol version of the circle method.

A Neukirch-Uchida Theorem for 3-Manifolds

math.GT

math.DS

math.GR

math.NT

The classical Neukirch-Uchida theorem states that the absolute Galois group determines a number field up to isomorphism. We prove an analogue of this theorem for 3-manifolds in the framework of arithmetic topology. We study infinite links in 3-manifolds that behave like the set of primes, satisfying a Chebotarev density property. Relative to such a stably Chebotarev link, we define the absolute Galois group of a 3-manifold as the inverse limit of profinite completions of finite sublink complements. Our main result shows that two branched covers of the three-sphere over a stably Chebotarev link are homeomorphic if and only if their absolute Galois groups are isomorphic via a characteristic-preserving isomorphism. The proof translates the key ideas from the number-theoretic argument into topology, relying on Hilbert ramification theory for infinite covers and local-global principles. In doing so, it also provides a systematic justification for viewing Chebotarev links as the precise topological analogue of prime numbers in anabelian geometry. In addition, we discuss further conditions for links to play the role of prime numbers

A density theorem for Borel-Type Congruence subgroups and arithmetic applications

math.NT

v2

We use a (pre)-Kuznetsov type formula to prove a density result for the Borel-type congruence subgroup of GLn. This has some arithmetic applications to optimal lifting and counting considered earlier by A. Kamber and H. Lavner for $GL_3$.

Five-dimensional compatible systems and the Tate conjecture for elliptic surfaces

math.NT

math.AG

v2

Let $(\rho_\lambda\colon G_{\mathbb Q}\to \operatorname{GL}_5(\overline{E}_\lambda))_\lambda$ be a strictly compatible system of Galois representations such that no Hodge--Tate weight has multiplicity $5$. Under mild assumptions, we show that if $\rho_{\lambda_0}$ is irreducible for some $\lambda_0$, then $\rho_\lambda$ is irreducible for all but finitely many priimes $\lambda$. More generally, if $(\rho_\lambda)_\lambda$ is essentially self-dual, we show that either $\rho_\lambda$ is irreducible for all but finitely many $\lambda$, or the compatible system $(\rho_\lambda)_\lambda$ decomposes as a direct sum of lower-dimensional compatible systems. We apply our results to study the Tate conjecture for elliptic surfaces. For example, if $X_0\colon y^2 + (t+3)xy + y= x^3$, we prove the codimension one $\ell$-adic Tate conjecture for all but finitely many $\ell$, for all but finitely many general, degree $3$, genus $2$ branched multiplicative covers of $X_0$. To prove this result, we classify the elliptic surfaces into six families, and prove, using perverse sheaf theory and a result of Cadoret--Tamagawa, that if one surface in a family satisfies the Tate conjecture, then all but finitely many do. We then verify the Tate conjecture for one representative of each family by making our irreducibility result explicit: for the compatible system arising from the transcendental part of $H^2_{\mathrm{et}}(X_{\overline{\mathbb Q}}, \mathbb{Q}_\ell(1))$ for a representative $X$, we formulate an algorithm that takes as input the characteristic polynomials of Frobenius, and terminates if and only if the compatible system is irreducible.

Twisted Derivations in Algebraic Number Fields

math.NT

math.AC

math.RA

v2

Let $A$ be a commutative ring with unity and $B = A[\theta]$ be an integral extension of $A$. Assume that $B$ is an integral domain with quotient field $\mathbb{K}$ and $\mathbb{E}$ is the minimal splitting field of $\theta$ over $\mathbb{K}$. Suppose $\sigma, \tau: B \rightarrow \mathbb{E}$ are two different ring homomorphisms that fix $A$ element-wise. In this article, we classify all $A$-linear maps $D: B \rightarrow \mathbb{E}$ which are $(\sigma, \tau)$-derivations. Consequently, we classify all $(\sigma, \tau)$-derivations in certain field extensions, algebraic number fields, and their ring of algebraic integers. For the ring of algebraic integers, $O_{\mathbb{K}} = \mathbb{Z}[\zeta]$ of the cyclotomic number field $\mathbb{K} = \mathbb{Q}(\zeta)$ ($\zeta$ an $n^{\text{th}}$ primitive root of unity), and a pair $(\sigma, \tau)$ of two different $\mathbb{Z}$-algebra endomorphisms of $O_{\mathbb{K}}$, we conjecture (using SageMath) a necessary and sufficient condition for a $(\sigma, \tau)$-derivation $D:O_{\mathbb{K}} \rightarrow O_{\mathbb{K}}$ to be inner. This is done for two different forms of $n$: (i) $n = 2^{r}p$ ($r \in \mathbb{N}$ and $p$ an odd rational prime), and (ii) $n=p^{k}$ ($k \in \mathbb{N} \setminus \{1\}$ and $p$ any rational prime). As an application of our main result on classification of $(\sigma, \tau)$-derivations $D:B \rightarrow \mathbb{E}$ and also the conjectures on inner $(\sigma, \tau)$-derivations of $O_{\mathbb{K}}$, we also conjecture the existence and non-existence of non-zero outer derivations of $O_{\mathbb{K}}$ for the above two forms of $n$, thus answering the twisted derivation problem in $O_{\mathbb{K}}$. Finally, as another application of our main result on the classification of $(\sigma, \tau)$-derivations $D:B \rightarrow \mathbb{E}$, we construct some binary Hom-IDD codes in coding theory.

On the surjectivity of Galois representations attached to Drinfeld $A$-modules of rank $2$

math.NT

v2

Let $\mathbb{F}_q$ be a finite field with $q$ elements, where $q$ is a prime power and let $A:= \mathbb{F}_{q}[T]$. By~\cite{PR09}, the adelic image of the Galois representation attached to a rank $2$ Drinfeld $A$-module $\varphi$ is open, and determining when it is surjective remains a subtle problem. To resolve this question, in this article, we study the $\mathfrak{p}$-adic surjectivity of the Galois representations attached to $\varphi$, where $\mathfrak{p} \in \Omega_A:= \mathrm{Spec}(A) \setminus \{ (0) \}$. There are two directions to investigate this problem: one by fixing the prime $\mathfrak{p}$, and the other by fixing $\varphi$. In the horizontal direction, for a fixed prime $\mathfrak{p} \in \Omega_A$, we give explicit and easily verifiable conditions on Drinfeld $ A$-modules $\varphi$ of rank $2$ which ensure the surjectivity of the $\mathfrak{p}$-adic Galois representation $\rho_{\varphi,\mathfrak{p}}$. This work not only extends the work of~\cite{Ray24} for $\mathfrak{p}=(T)$, but also obtains a variant of~\cite{Ray24} under comparatively simpler conditions in the case $\mathfrak{p}=(T)$. In the vertical direction, we show that for a fixed rank $2$ Drinfeld $A$-module $\varphi$, whose coefficients satisfy certain congruence and valuation conditions, the $\mathfrak{p}$-adic Galois representation $\rho_{\varphi,\mathfrak{p}}$ is surjective for all primes $\mathfrak{p} \in \Omega_A$. This recovers the example of \cite{Zyw11} and yields new examples beyond those considered in \cite{Zyw25}. As a consequence, we obtain the surjectivity of the associated adelic Galois representation.

A partial result towards the Chowla--Milnor conjecture

math.NT

v2

The Chowla--Milnor conjecture predicts the linear independence of certain Hurwitz zeta values. In this paper, we prove that for any fixed integer $k \geqslant 2$, the dimension of the $\mathbb{Q}$-linear span of $\zeta(k,a/q)-(-1)^{k}\zeta(k,1-a/q)$ ($1 \leqslant a < q/2$, $\gcd(a,q)=1$) is at least $(c -o(1)) \cdot \log q$ as the positive integer $q \to +\infty$ for some absolute constant $c>0$. It is well known that $\zeta(k,a/q)+(-1)^{k}\zeta(k,1-a/q) \in \overline{\mathbb{Q}}\pi^k$, but much less is known previously for $\zeta(k,a/q)-(-1)^{k}\zeta(k,1-a/q)$. Our proof is similar to those of Ball--Rivoal (2001) and Zudilin (2002) concerning the linear independence of Riemann zeta values. However, we use a new type of rational functions to construct linear forms.

Comparing Left and Right Quotient Sets in Groups

math.NT

math.CO

v3

For a finite subset $A$ of a group $G$, we define the right quotient set and the left quotient set of $A$, respectively, as $AA^{-1} := \{a_1a_2^{-1}:a_1,a_2\in A\}$, $A^{-1}A := \{a_1^{-1}a_2:a_1,a_2\in A\}$. While the right and left quotient sets are equal if $G$ is abelian, subtleties arise when $G$ is a nonabelian group, where the cardinality difference $|AA^{-1}| - |A^{-1}A|$ may be take on arbitrarily large values. Using the results of Martin and O'Bryant on the cardinality differences of sum sets and difference sets in $\mathbb{Z}$, we prove in the infinite dihedral group, $D_\infty \cong \mathbb{Z} \rtimes \mathbb{Z}/2\mathbb{Z}$, every integer difference is achievable. Further, we prove that in $F_2$, the free group on $2$ generators, an integer difference is achievable if and only if that integer is even, and we explicitly construct subsets of $F_2$ that achieve every even integer. We further determine the minimum cardinality of $A \subset G$ so that the difference between the cardinalities of the left and right quotient sets is nonzero, depending on the existence of order $2$ elements in $G$. To prove these results, we construct difference graphs $D_A$ and $D_{A^{-1}}$ which encode equality, respectively, in the right and left quotient sets. We observe a bijection from edges in $D_A$ to edges in $D_{A^{-1}}$ and count connected components in order to obtain our results on cardinality differences $|AA^{-1}| - |A^{-1}A|$.

Notes on the LVP and CVP in $p$-adic Fields

math.NT

v2

This paper explores computational methods for solving the Longest Vector Problem (LVP) and Closest Vector Problem (CVP) in $p$-adic fields. Leveraging the non-Archimedean property of $p$-adic norms, we propose a polynomial time algorithm to compute orthogonal bases for $p$-adic lattices when the $p$-adic field is given by a minimal polynomial. The method utilizes the structure of maximal orders and $p$-radicals in extension fields of $\mathbb{Q}_{p}$ to efficiently construct uniformizers and residue field bases, enabling rapid solutions for the LVP and CVP. In addition, we introduce the characterization of norms on vector spaces over $\mathbb{Q}_p$.

Unpolarized Shafarevich conjectures for hyper-K\"ahler varieties

math.AG

math.NT

v2

The Shafarevich conjecture/problem is about the finiteness of isomorphism classes of a family of varieties defined over a number field with good reduction outside a finite collection of places. For K3 surfaces, such a finiteness result was proved by Y. She. For hyper-K\"ahler varieties, which are higher-dimensional analogs of K3 surfaces, Y. Andr\'e proved the Shafarevich conjecture for hyper-K\"ahler varieties of a given dimension and admitting a very ample polarization of bounded degree. In this paper, we provide a unification of both results by proving the (unpolarized) Shafarevich conjecture for hyper-K\"ahler varieties in a given deformation type. We also discuss the cohomological generalization of the Shafarevich conjecture by replacing the good reduction condition by the unramifiedness of the cohomology, where our results are subject to a certain necessary assumption on the faithfulness of the action of the automorphism group on cohomology. In a similar fashion, generalizing a result of Orr and Skorobogatov on K3 surfaces, we prove the finiteness of geometric isomorphism classes of hyper-K\"ahler varieties of CM type in a given deformation type defined over a number field with bounded degree. A key to our approach to these results is a uniform Kuga--Satake map, inspired by She's work, and we study its arithmetic properties, which are of independent interest.

Simple homotopy types of even dimensional manifolds

math.AT

math.GT

math.KT

math.NT

v4

Given a closed $n$-manifold, we consider the set of simple homotopy types of $n$-manifolds within its homotopy type, called its simple homotopy manifold set. We characterise it in terms of algebraic K-theory, the surgery obstruction map, and the homotopy automorphisms of the manifold. We use this to construct the first examples, for all $n \ge 4$ even, of closed $n$-manifolds that are homotopy equivalent but not simple homotopy equivalent. In fact, we construct infinite families of manifolds that are all homotopy equivalent but pairwise not simple homotopy equivalent, and our examples can be taken to be smooth for $n \geq 6$. Our examples are homotopy equivalent to the product of a circle and a lens space. We analyse the simple homotopy manifold sets of these manifolds, determining exactly when they are trivial, finite, or infinite, and investigating their asymptotic behaviour. The proofs involve integral representation theory and class numbers of cyclotomic fields. We also compare with the relation of $h$-cobordism, and produce similar detailed quantitative descriptions of the manifold sets that arise.

An observation concerning highly ramified $\epsilon$-factors

math.RT

math.NT

v2

In this note we prove a quantitative stability result for the $\epsilon$-factors associated to generic irreducible representations of $\textrm{GL}_n(F)$ under twists by highly ramified characters, where $F$ is a non-archimedean local field.