Generalized Fermat equation over cyclotomic $\mathbb{Z}_l$-extensions of totally real fields

2026-05-31T09:05:14Z

Let $K$ be a totally real number field of odd degree in which $2$ is inert. Let $l \geq 5$ be a prime with $l \nmid [K:\mathbb{Q}]$ and $\gcd(\frac{l-1}{2}, [K:\mathbb{Q}])=1$. We prove that if $2$ is inert in $K$, $l$ is non-Wieferich, i.e., $2^{l-1} \not\equiv 1 \pmod{l^2}$, and $l$ is totally ramified in $K$, then the asymptotic Fermat's Last Theorem holds over each $n$-th layer $K_{n,l}$ of the cyclotomic $\mathbb{Z}_l$-extension of $K$. We then prove that the generalized Fermat equation $Ax^p+By^p+Cz^p=0$ has no asymptotic solution over each $n$-th layer $K_{n,l}$ when $A,B,C \in \{u2^r : u\in \mathcal{O}_K^\times,\ r \in \mathbb{Z}_{\geq 0}\}$. For any odd prime $d$, we also prove that if $A,B,C \in \{\pm 2^r d^s : r,s \in \mathbb{Z}_{\geq 0}\}$ and $h_{\mathbb{Q}_{n,l}}^+$ is odd, then the generalized Fermat equation $Ax^p+By^p+Cz^p=0$ has no effective asymptotic solution $(a,b,c) \in \mathcal{O}_{\mathbb{Q}_{n,l}}^3$ with $2 \mid abc$. The effectivity in the case of $\mathbb{Q}_{n,l}$ follows from a result of Thorne proving the modularity of elliptic curves over $\mathbb{Q}_{n,l}$.

On the finite transcendence of Frobenius traces for abelian varieties over $\mathbb{Q}$

2026-05-31T08:39:07Z

The first purpose of this paper is to give the fnite transcendence of Frobenius traces for elliptic curves over $\mathbb{Q}$ without the assumption of complex multiplication (CM). This result generalizes the previous work by Luca and Zudilin, who obtained similar transcendence results specifically for the CM case. The second purpose is to give the finite transcendence of Frobenius traces for several principally polarized abelian varieties over $\mathbb{Q}$, by using Luca--Zudilin's method.

Tame Galois Groups, Linking Numbers and Mildness

2026-05-31T08:08:33Z

Let $p$ be an odd prime and let $S$ be a set of tame primes. We denote by $G_S$ the Galois group of the maximal pro-$p$ extension of $\mathbb{Q}$ unramified outside $S$. We prove that for every finite set of tame primes $S_0$ with $|S_0|\geq 2$, there exists a set $S_1$ consisting of two tame primes such that $G_{S_0\cup S_1}$ has cohomological dimension $2$. This refines a result of Labute. More generally, we establish an analogous result for number fields not containing a primitive $p$-th root of unity, under a suitable splitting condition. Our approach answers a question of Labute, from his seminal paper on mild groups, and combines weighted Zassenhaus filtrations, graph-theoretic methods, and Koch-type presentations. As an application, we solve several cohomological Galois inverse problems with prescribed ramification and splitting. We also provide numerical examples and statistics.

Topological and Diophantine properties of lattice subset projections

2026-05-31T06:10:54Z

Fix $1 \leq n < m, k = m-n.$ The Grassmannian $Gr(n,m)$ is a compact $kn$-dimensional manifold with a unique rotation invariant probability measure $σ_n.$ For $W \in Gr(n,m)$, $P_W : \mathbb R^m \mapsto W$ is orthogonal projection. A lattice subset $L \subset \mathbb Z^m \subset \mathbb R^m$ is called $k$-dense if it intersects $C(O) := \bigcup_{V \in O} V\backslash \{0\}$ for every nonempty open $O \subset Gr(k,m)$. We use Baire's category theorem [4] to prove that $L$ is $k$-dense iff $L_{n,lim} := \{W \in Gr(n,m) : 0 \mbox{ is a limit point of } P_W(L) \}$ is a $G_δ$ set. We use Khintchine-Groshev's theorem [5,13,20] to characterize Diophantine properties of $L_{n,lim}$ by lacunary properties of $L$ and construct $k$-dense $L$ with $σ_n(L_{n,lim}) = 0$ and with $σ_n(L_{n,lim}) = 1.$ We pose related questions about the construction of multidimensional crystalline measures and Fourier quasicrystals.

A further study of polynomial $g_{n,q}$ over finite fields

2026-05-31T06:04:17Z

Let $n\geq 0$ be an integer and $q$ a prime power. The polynomial $g_{n,q}$ was introduced in [10] with the purpose of finding new classes of permutation polynomials over finite fields. We investigate the permutation behaviour of the polynomial $g_{n,q}(X)$ over finite fields of even characteristic. We introduce the multivariate case of the polynomial $g_{n,q}$, and study the permutation polynomials in several variables and local permutation polynomials resulting from the polynomials $g_{n,q}(X_1,X_2,\ldots , X_k)$. We also present several new identities of $g_{n,q}(X)$, and present some open questions on the permutation property of $g_{n,q}(X)$.

Characterization of matchable sets and subspaces via Dyson transforms

2026-05-31T02:48:51Z

A \emph{matching} from a finite subset $ A $ of an abelian group $ G $ to another subset $ B $ is a bijection $ f : A \to B $ such that $ af(a) \notin A $ for all $ a \in A $. The study of matchings began in the 1990s and was motivated by a conjecture of E.~K.~Wakeford on canonical forms for homogeneous polynomials. The theory was later extended to the linear setting of vector subspaces over field extensions, and then to matroids. In this paper, we investigate the existence and structure of matchings in both abelian groups and field extensions. Using Dyson's $ e $-transform, a tool from additive combinatorics, along with a linear analogue which is introduced in this paper, we establish characterization theorems for matchable sets and subspaces. Several applications are given to demonstrate the effectiveness of these theorems as standalone tools. Throughout, we highlight the parallels between the group-theoretic and linear perspectives.

Generalized polygonal number representations

2026-05-30T19:28:58Z

Let $r_n^{k}(N)$ be the number of representations of $N$ as the sum of $n$ generalized $k$-gonal numbers and $r_n^{\square}(N)$ be the number of representations of $N$ as the sum of $n$ squares. By modifying the Heath-Brown circle method, we prove a closed-form asymptotic relation between $r_n^{k}(N)$ and $r_n^{\square}(8(k-2)N+n(k-4)^2)$ for any $k\geq3$ and any $n\geq4$. Consequently, we determine the asymptotics of $\sum_{N\leq x}r_4^{k}(N)^2$ and, via a result of Bringmann, Jang, Kane, and Tse, prove a similar closed-form asymptotic relation between the number $r_{4,+}^{k}(N)$ of representations of $N$ as the sum of four ordinary $k$-gonal numbers and $r_4^{\square}(8(k-2)N+n(k-4)^2)$. We also show that if $4\mid k$, any strictly increasing infinite subsequence on which $r_{4,+}^{k}$ is bounded converges $2$-adically to $(k-4)^2/(4-2k)\in\mathbb{Z}_2$, supplementing a result of Meng and Sun, and if $4\nmid k$, there is no strictly increasing infinite subsequence on which $r_{4,+}^{k}$ is bounded.

Constructive Proof of Two Characterizations of Arithmetic Equivalence

2026-05-30T14:47:35Z

We prove a formula governing the combinatorics of cyclic group actions and extend a lemma of Hasse to account for ramification. Consequently, we obtain the first constructive proofs of two theorems characterizing arithmetic equivalence. We are also able to give new proofs of strong multiplicity one type theorems for Kronecker equivalence and weak Kronecker equivalence.

Locating a shortest vector in certain $2$-dimensional lattices

2026-05-30T12:29:06Z

Let $a$, $m$ be positive integers, $1

On the $P(t)$-adic Littlewood conjecture in odd characteristics

2026-05-30T09:10:55Z

The $P(t)$-adic Littlewood conjecture is a function field analogue of the famous $p$-adic Littlewood conjecture in Diophantine approximation. In this paper, we prove that the $P(t)$-adic Littlewood conjecture fails for any irreducible polynomial $P(t)$ over any ground field of odd characteristic.

A discrepancy result for Hilbert modular forms

2026-05-30T07:52:37Z

Let $F$ be a totally real number field and $r=[F :\mathbb{Q}].$ Let $A_k(\mathfrak{N},ω) $ be the space of holomorphic Hilbert cusp forms with respect to $K_1(\mathfrak{N})$, of weight $k=(k_1,\dots,k_r)$ such that $k_j>2$ for all $j$, and with central Hecke character $ω$. For integral ideals $\mathfrak{N}$ and $\mathfrak{n}$ in $F$ such that $( \mathfrak{n}, \mathfrak{N}) = 1$, we study the Petersson trace formula for the Hecke operator $T_{\mathfrak{n}}$ acting on the space $A_k(\mathfrak{N},ω)$. We present asymptotic estimates for the terms of the Petersson formula as $k_0\rightarrow\infty,$ where $k_0=\min(k_1,\dots,k_r)$. As an application, we obtain a weighted discrepancy bound for the distribution of the eigenvalues of the Hecke operator $T_{\mathfrak{p}}$ (for a fixed prime ideal $\mathfrak{p}$) acting on the space $A_k(\mathfrak{N},1),$ when $F$ has narrow class number $1$, and the ideal $\mathfrak{N}$ is generated by (rational) integers. This generalizes a discrepancy result previously obtained by Jung and Sardari in the context of classical cusp forms.

Prescribed realisation of longest runs in continued fractions

2026-05-30T03:38:53Z

Exceptional longest-run behaviour in continued fraction expansions is studied through the interaction between fixed-symbol runs and the overall longest run. For every prescribed partial quotient value and every admissible growth scale, a full Hausdorff dimensional set of irrational numbers is constructed on which the longest run of the prescribed value has exactly the prescribed asymptotic growth and, for every initial length, uniquely realises the overall maximum. It follows that the symbol responsible for the overall longest run can be fixed in advance without any loss of Hausdorff dimension. Thus, the known full-dimensional exceptional-set results for fixed-symbol longest-run growth and for overall longest-run growth are simultaneously strengthened, while the maximising symbol in the overall problem is shown to be fully prescribable.

On $\mathbb{Z}_2$-extensions of real quadratic fields

2026-05-30T02:22:37Z

Let $k$ be a real quadratic field. Let $k_n$ be the $n$-th layer of the $\mathbb{Z}_2$-extension of $k$, and $2^{a_n}$ be the $2$-part of the class number of $k_n$. In this paper, we derive many laws concerning the sequence $(a_0,a_1,\dotsc)$, by iteratively extending the group of cyclotomic units.

The Primes are $2$-Accessible

2026-05-29T22:56:26Z

We prove that the set of positive integers having between $1$ and $n$ prime factors, counted with multiplicity, has degree of accessibility $2^n$. In particular, the case $n=1$ answers a question of Landman and Robertson asking whether the set of prime numbers is $2$-accessible.

On the Harris-Viehmann conjecture for Hodge-Newton reducible local Shimura data of abelian type

2026-05-29T18:15:16Z

We address a new case of the Harris-Viehmann conjecture, which establishes a parabolic induction formula on the cohomology groups associated to non-basic local Shimura data. It follows that all supercuspidal representations on a Shimura variety are concentrated along the basic locus, making the conjecture relevant to the Langlands program. Historically, many cases of the Harris-Viehmann conjecture have been approached with the additional condition of Hodge-Newton reducibility on the underlying local Shimura datum. Building on previous work by Mantovan (EL/PEL case) and Hong (Hodge case), we extend the proof of the conjecture to unramified non-basic local Shimura data of abelian type under the assumption of Hodge-Newton reducibility. We leverage Shen's construction of Rapoport-Zink spaces of abelian type at the hyperspecial level.