3-class field towers with 2 or 3 stages

2026-05-02T19:26:29Z

For quadratic fields $k=\mathbb{Q}(\sqrt{d})$ with discriminant $d$, $3$-class group $\mathrm{Cl}_3(k)\simeq (\mathbb{Z}/3\mathbb{Z})^2$, and four \textit{simple} $3$-principalization types $\varkappa(k)\in\lbrace (1122),(3122),(1231),(2231)\rbrace$, we establish necessary and sufficient conditions for the Galois group $S=\mathrm{Gal}(\mathrm{F}_3^\infty(k)/k)$ of the unramified Hilbert $3$-class field tower of $k$ to coincide with the Galois group $M=\mathrm{Gal}(\mathrm{F}_3^2(k)/k)$ of the maximal metabelian unramified $3$-extension of $k$. In the case of non-coincidence, we study the path between $M$ and $S$ in the descendant tree of the elementary bicyclic $3$-group $(\mathbb{Z}/3\mathbb{Z})^2$. For two \textit{complex} $3$-principalization types $\varkappa(k)\in\lbrace (2122),(4231)\rbrace$, we show that infinitely many non-metabelian possible Galois groups $S=\mathrm{Gal}(\mathrm{F}_3^\infty(k)/k)$ with presumably unbounded derived length $\mathrm{dl}(S)$ share a common metabelianization $M=S/S^{\prime\prime}$, whence only partial criteria can be stated. Minimal discriminants $d>0$ with assigned simple $3$-principalization type $\varkappa(k)$ and fixed length $\ell_3(k)\in\lbrace 2,3\rbrace$ of the $3$-class field tower are determined experimentally for nilpotency class $\mathrm{cl}(M)\in\lbrace 5,7,9,11\rbrace$ under assumption of the generalized Riemann hypothesis.

A logarithmic structure theorem for multiplicative functions with small partial sums

2026-05-02T12:24:27Z

Let $D\in\mathbb{N}$, let $A>D+1$, and let $Q\geqslant3$. Consider the class of multiplicative functions $f:\mathbb{N}\to\mathbb{C}$ such that $|\sum_{n\leqslant x}f(n)|\le x(\log Q)^{A-D-1}/(\log x)^A$ for all $x\geqslant Q$, and such that $|Λ_f|\leqslant DΛ$, where $Λ_f$ is defined via the Dirichlet convolution identity $f\log=Λ_f*f$ and $Λ$ denotes von Mangoldt's function. We prove there exist parameters $m\in\{0,1,\dots,D\}$ and $Q=Q_D\leqslant Q_{D-1}\le \cdots\leqslant Q_m

Bowen--Franks groups and minus class groups of cyclotomic number fields with prime conductor

2026-05-02T11:41:11Z

Let $p$ be an odd rational prime and consider the cyclotomic number field $K = \mathbb{Q}(ζ_{p})$ of conductor $p$. We construct a directed graph $Y$ on $p-1$ vertices for which the torsion part of the corresponding Bowen--Franks group is closely related to the minus part of the class group of $K$. In particular, both groups have the same cardinality up to an explicit power of $p$. Furthermore, they are both $\mathrm{Gal}(K/\mathbb{Q})$-modules, and we prove the equality of the cardinalities of their isotypic components after tensoring them with the valuation ring of an appropriate $\ell$-adic field for $\ell \nmid p-1$.

Octagonal relations

2026-05-02T11:06:10Z

We study the action of the absolute Galois group on the fundamental groups.

On new identities of Jacobi sums and related cyclotomic matrices

2026-05-02T04:21:57Z

In this paper, using some arithmetic properties of Jacobi sums, we investigate some products involving Jacobi sums and reveal the connections between these products and certain cyclotomic matrices. In particular, as an application of our main results, we confirm a conjecture posed by Z.-W. Sun in 2019, and obtain a stronger result.

Super approximation for $\text{SL}_2\times \text{SL}_2$ and $\text{ASL}_2$

2026-05-02T03:19:11Z

Let $S\subset \text{SL}_2(\mathbb Z)\times \text{SL}_2(\mathbb Z)$ or $\text{SL}_2(\mathbb Z)\ltimes \mathbb Z^2$ be finite symmetric and assume $S$ generates a group $G$ which is a Zariski-dense subgroup $\text{SL}_2(\mathbb Z)\times \text{SL}_2(\mathbb Z)$ or $\text{SL}_2(\mathbb Z)\ltimes \mathbb Z^2$. We prove that the Cayley graphs $$\{\mathcal Cay(G(\text{mod } q), S (\text{mod } q))\}_{q\in \mathbb Z}$$ form a family of expanders.

On the distribution of $αp^2$ modulo one in the intersection of two Piatetski--Shapiro sets

2026-05-02T02:45:27Z

Let $\lfloor t\rfloor$ denote the integer part of $t\in\mathbb{R}$ and $\|x\|$ the distance from $x$ to the nearest integer. Suppose that $1/2<γ_2<γ_1<1$ are two fixed constants. In this paper, it is proved that, whenever $α$ is an irrational number and $β$ is any real number, there exist infinitely many prime numbers $p$ in the intersection of two Piatetski--Shapiro sets, i.e., $p=\lfloor n_1^{1/γ_1}\rfloor=\lfloor n_2^{1/γ_2}\rfloor$, such that \begin{equation*} \|αp^2+β\|

$L^q$-norm bounds for arithmetic eigenfunctions via microlocal Kakeya-Nikodym estimate

2026-05-02T02:20:05Z

Let $X$ be a compact arithmetic congruence hyperbolic surface, and let $ψ$ be an $L^2$-normalized Hecke-Maass form on $X$ with sufficiently large spectral parameter $λ$. We give a new proof to obtain a power saving for the global $L^6$-norm $\|ψ\|_{L^6(X)}\lesssim_\varepsilonλ^{\frac{5}{36}+\varepsilon}$ over the local bound $\|ψ\|_{L^6(X)}\lesssimλ^{\frac{1}{6}}$ of Sogge. Our method uses a microlocal decomposition for $ψ$ and reduces the $L^6$-norm problem to microlocal Kakeya-Nikodym estimates for $ψ$, and we establish improved microlocal Kakeya-Nikodym estimates via arithmetic amplification developed by Iwaniec and Sarnak.

Hopf--Galois structures of cyclic type on parallel extensions of prime power degree

2026-05-02T01:29:38Z

Let $L/K$ be any finite separable extension with normal closure $\widetilde{L}/K$. An extension $L'/K$ is said to be $\textit{parallel to $L/K$}$ if $L'$ is an intermediate field of $\widetilde{L}/K$ with $[L':K]=[L:K]$. We study the following question -- Given that $L/K$ admits a Hopf--Galois structure of type $N$, does it imply that every extension parallel to $L/K$ also admits a Hopf--Galois structure of type $N$? We completely solve this problem when the degree $[L:K]$ is a prime power and the type $N$ is cyclic. Our approach is group-theoretic and uses the work of Greither--Pareigis and Byott.

Sets of integers satisfying Bateman-Horn statistics

2026-05-01T23:16:41Z

In 1962, Bateman and Horn conjectured precise asymptotics for the count of positive integers n \le x for which f_1(n), ..., f_k(n) are all prime, where (f_1, ..., f_k) is an admissible k-tuple of polynomials in one variable. We prove that certain random sets of integers almost surely satisfy the Bateman-Horn asymptotics in full generality and with a strong error term, where we have replaced "f_1(n), ..., f_k(n) are all prime" with "f_1(n), ..., f_k(n) all lie in the random set." In particular, sets of integers satisfying Bateman-Horn are plentiful.

Quasi-canonical AFL and Arithmetic Transfer conjectures at parahoric levels

2026-05-01T22:40:03Z

In the first part of the paper, we formulate several arithmetic transfer conjectures, which are variants of the arithmetic fundamental lemma conjecture in the presence of ramification. The ramification comes from the choice of non-hyperspecial parahoric level structure. We prove a graph version of these arithmetic transfer conjectures, by relating it to the quasi-canonical arithmetic fundamental lemma, which we also establish. We relate some of the arithmetic transfer conjectures to the arithmetic fundamental lemma conjecture for the whole Hecke algebra in our recent paper arXiv:2305.14465. As a consequence, we prove these conjectures in some simple cases. In the second part of the paper, we elucidate the structure of an integral model of a certain member of the almost selfdual Rapoport-Zink tower, thereby proving conjectures of Kudla and the second author. This result allows us verify the hypotheses of the graph version of the arithmetic transfer conjectures in a particular case.

Optimal Shifting Method in Dirichlet's divisor problem

2026-05-01T21:41:09Z

In this paper, a new method for investigating Dirichlet's divisor problem is developed. For this purpose, integer points under the graph of a hyperbola are studied. Since many investigations in this direction focus on direct estimates of trigonometric sums and are not suitable for studying means, we shall consider shifts with respect to various parameters to define an optimal one. The method allows for obtaining the best possible estimates in the classical divisor problem.

Positivity of automorphic vector bundles on unitary Shimura varieties

2026-05-01T19:53:49Z

Let $X$ be the special fiber of a unitary Shimura variety of hyperspecial level at a prime $p$ inert in the totally real field $F$. Let $Y\to X$ be the associated flag space. For every $L$-dominant weight $λ$, let $\mathcal{L}_Y(λ)$ denote the corresponding automorphic line bundle. We give an explicit necessary and sufficient criterion, in terms of the signature data and the coordinates of $λ$, for the ampleness of $\mathcal{L}_Y(λ)$. %, which effectively detects the coherent cohomology of automorphic vector bundles on $X$. The criterion generalizes the known ample cone for Hilbert modular and $U(2)$-Shimura varieties. The proof develops the machinery of the description of certain Ekedahl--Oort strata, a geometric Jacquet--Langlands correspondence between strata of unitary Shimura varieties with different signatures, and the construction of stratum Hasse invariants, and introduced a way to systematically deal with combinatorical data in the higher rank case.

Conjectural duality for iterated $q$-integrals on $\mathbb{P}^{1}$ minus four generic points

2026-05-01T17:53:14Z

We propose a conjectural $q$-analogue of the classical duality for iterated integrals on $\mathbb{P}^{1}$ minus four points, arising from the involutive Möbius transformation which exchanges the four marked points in pairs. To this end, we introduce iterated $q$-integrals with position-dependent $q$-shifts of the parameters and define a functional on admissible words in the six pairwise letters. The conjecture states that this functional is invariant under a natural anti-automorphism of the word algebra. We relate the conjecture to Yamamoto's duality for one-variable multiple $q$-polylogarithms. Finally, we prove the conjecture in several special cases.

Dynamical Mordell-Lang problem for automorphisms of surfaces in positive characteristic

2026-05-01T15:05:36Z

We solve the dynamical Mordell-Lang problem in positive characteristic for automorphisms of projective surfaces.