相关论文: Infinite class field towers of number fields of pr…

This paper studies infinite class field towers of number fields $K$ that are ramified over $\Q$ only at one finite prime. In particular, we show the existence of such towers for a general family of primes including $p=2$, 3 and 5.

This paper gives examples of function fields $K_0$ over a finite field $\mathbb{F}_q$ of $p$ power order ramified only at one finite regular prime over $\mathbb{F}_q(t)$, which admit infinite Hilbert $p$-class field towers. Such a $K_0$ can…

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$…

We construct a class of $S_3$-extensions of $\Q$ with infinite 3-class field tower in which only three primes ramify. As an application, we obtain an $S_3$-extension of $\Q$ with infinite 3-class field tower with smallest known (to the…

In this work, we show that given a finite p-group G, a number field K having a trivial p-class group Cl K , and a finite set of primes S of K, there exists a finite extension F/K such that the S-split p-Hilbert class field tower L S p (F )…

The modern theory of class field towers has its origins in the study of the p-class field tower over a quadratic imaginary number field, so it is fitting that this problem be the first in the discipline to be nearing a solution. We survey…

We construct an infinite family of imaginary quadratic number fields with 2-class groups of type (2,2,2) whose Hilbert 2-class fields are finite.

The $p$-group generation algorithm is used to verify that the Hilbert $3$-class field tower has length $3$ for certain imaginary quadratic fields $K$ with $3$-class group $\mathrm{Cl}_3(K) \cong [3,3]$. Our results provide the first…

We generalize Schoof's theorem in 1986 and apply this to construct a class of Kummer extensions of the cyclotomic fields with infinite class tower. As an application, we give some number fields with a small root discriminant, which has an…

For p = 3 and p = 5, we exhibit a finite nonsolvable extension of the rational numbers which is ramified only at p via explicit computations with Hilbert modular forms.

Let $p$ be a prime and let $\mathbb{Q}_p$ be the field of $p$-adic numbers. It is known that the finite extensions of $\mathbb{Q}_p$ of a given degree are finite up to isomorphism. Given a cubic field extension $L$ of $\mathbb{Q}_p$…

To extend Iwasawa's classical theorem from ${\mathbb Z}_p$-towers to ${\mathbb Z}_p^d$-towers, Greenberg conjectured that the exponent of $p$ in the $n$-th class number in a ${\mathbb Z}_p^d$-tower of a global field $K$ ramified at finitely…

Let $p$ be an odd prime number. We study growth patterns associated with finitely ramified Galois groups considered over the various number fields varying in a $\mathbb{Z}_p$-tower. These Galois groups can be considered as non-commutative…

Given a prime $p$, a number field $\K$ and a finite set of places $S$ of $\K$, let $\K_S$ be the maximal pro-$p$ extension of $\K$ unramified outside $S$. Using the Golod-Shafarevich criterion one can often show that $\K_S/\K$ is infinite.…

Building on work of J. Robinson and A. Shlapentokh, we develop a general framework to obtain definability and decidability results of large classes of infinite algebraic extensions of $\mathbb{F}_p(t)$. As an application, we show that for…

We consider a tower of function fields F_0 < F_1 < ... over a finite field such that every place of every F_i ramified in the tower and the sequence genus(F_i)/[F_i:F_0] has a finite limit. We also construct a tower in which every place…

We give a streamlined and effective proof of Ozaki's theorem that any finite $p$-group $\Gamma$ is the Galois group of the $p$-Hilbert class field tower of some number field $\rm F$. Our work is inspired by Ozaki's and applies in broader…

Let $K$ be a number field and $d_K$ the absolute value of the discrimant of $K/\mathbb{Q}$. We consider the root discriminant $d_L^{\frac{1}{[L:\mathbb{Q}]}}$ of extensions $L/K$. We show that for any $N>0$ and any positive integer n, the…

We prove, assuming resolution of singularities in positive characteristic, an analogue of Siegel's theorem on sum of squares in positive characteristic. The method of proof combines techniques from central simple algebras with model theory…

We study the definability of maximal towers and of inextendible linearly ordered towers (ilt's), a notion that is more general than that of a maximal tower. We show that there is, in the constructible universe, a $\Pi^1_1$ definable maximal…