Related papers: 3-class field towers with 2 or 3 stages

For a prime \(p\ge 2\) and a number field K with p-class group of type (p,p) it is shown that the class, coclass, and further invariants of the metabelian Galois group \(G=Gal(F_p^2(K) | K)\) of the second Hilbert p-class field \(F_p^2(K)\)…

In this article we continue the investigation of the length of the narrow $2$-class field tower of real quadratic number fields $\mathrm{k}$ whose discriminants are not a sum of two squares and for which their $2$-class groups are…

We investigate class field towers of number fields obtained as fixed fields of modular representations of the absolute Galois group of the rational numbers. First, for each $k\in\{12,16,18,20,22,26\}$, we give explicit rational primes $\l$…

Cyclic number fields of odd prime degree are constructed as ray class fields over the rational number field. They are collected in multiplets sharing a common conductor and discriminant. The algorithms are implemented in Magma and applied…

We prove a new Hilbertianity criterion for fields in towers whose steps are Galois with Galois group either abelian or a product of finite simple groups. We then apply this criterion to fields arising from Galois representations. In…

Let $p\equiv 1\,(\mathrm{mod}\,9)$ be a prime number and $\zeta_3$ be a primitive cube root of unity. Then $\mathrm{k}=\mathbb{Q}(\sqrt[3]{p},\zeta_3)$ is a pure metacyclic field with group $\mathrm{Gal}(\mathrm{k}/\mathbb{Q})\simeq S_3$.…

We consider Hopf Galois structures on a separable field extension $L/K$ of degree $p^n$, for $p$ an odd prime number, $n\geq 3$. For $p > n$, we prove that $L/K$ has at most one abelian type of Hopf Galois structures. For a nonabelian group…

For an integer $m\geq 2$, we aim to investigate the realizability of types of metacyclic-nonmodular groups, whose abelianization is $\mathbb{Z}/2 \mathbb{Z}\times\mathbb{Z}/2^m \mathbb{Z}$, as the Galois group of the maximal unramified…

Let $k=k_0(\sqrt[3]{d})$ be a cubic Kummer extension of $k_0=\mathbb{Q}(\zeta_3)$ with $d>1$ a cube-free integer and $\zeta_3$ a primitive third root of unity. Denote by $C_{k,3}^{(\sigma)}$ the $3$-group of ambiguous classes of the…

The isomorphism type of the Galois group of the 2-class field tower of quadratic number fields having a 2-class group with abelian type invariants (4,4) is determined by means of information on the transfer of 2-classes to unramified…

Let $p$ be an odd prime. For a number field $K$, we let $K_\infty$ be the maximal unramified pro-$p$ extension of $K$; we call the group $\mathrm{Gal}(K_\infty/K)$ the $p$-class tower group of $K$. In a previous work, as a non-abelian…

Inspired by the Odlyzko root discriminant and Golod--Shafarevich $p$-group bounds, Martinet (1978) asked whether an imaginary quadratic number field $K/\mathbb{Q}$ must always have an infinite Hilbert $2$-class field tower when the class…

All current techniques for showing that a number field has an infinite p-class field tower depend on one of various forms of the Golod-Shafarevich inequality. Such techniques can also be used to restrict the types of p-groups which can…

Barrucand and Cohn's theory of principal factorizations in pure cubic fields \(\mathbb{Q}(\sqrt[3]{D})\) and their Galois closures \(\mathbb{Q}(\zeta_3,\sqrt[3]{D})\) with \(3\) types is generalized to pure quintic fields…

By means of parametrized presentations of finite metabelian 3-groups, it is proved that the coclass cc(M) of the second 3-class group M=Gal(F_3^2(K)/K) of any algebraic number field K with elementary bicyclic 3-class group Cl_3(K)=(3,3) is…

For any positive integer $n$, we show that there exists a real number field $k$ (resp. $k'$) of degree $2^n$ whose $2$-class group is isomorphic $\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}$ such that the Galois group of the maximal…

Let $G$ be a Frobenius group with an abelian Frobenius kernel $F$ and let $k$ be a finite extension of $\mathbb{Q}$. We obtain an upper bound for the number of degree $|F|$ algebraic extensions $K/k$ with Galois group $G$ with the norm of…

We prove new cases of the Tate conjecture for abelian varieties over finite fields, extending previous results of Dupuy--Kedlaya--Zureick-Brown, Lenstra--Zarhin, Tankeev, and Zarhin. Notably, our methods allow us to prove the Tate…

This paper concerns the description of holomorphic extensions of algebraic number fields. We define a hyperbolized adele class group for every number field K Galois over Q and consider the Hardy space H[K] of graded-holomorphic functions on…

For finite metabelian 3-groups M with elementary bicyclic commutator quotient M/M' = C3*C3, coclass cc(M) in {4,6}, and transfer kernel type F, the smallest Schur sigma-groups S with second derived quotient S/S" = M are determined. Evidence…