Related papers: Infinite class field towers

We study the capitulation of ideal classes in an infinite family of imaginary bicyclic biquadratic number fields consisting of fields $k =Q(\sqrt{2pq}, i)$, where $i=\sqrt{-1}$ and $p\equiv -q\equiv1 \pmod 4$ are different primes. For each…

In this paper we prove global class field theory using a purely geometric result. We first write in detail Deligne's proof to the unramified case of class field theory, including defining the required objects for the proof. Then we…

We construct an infinite family of imaginary bicyclic biquadratic number fields $k$ with the 2-ranks of their 2-class groups are $\geq3$, whose strongly ambiguous classes of $k/Q(i)$ capitulate in the absolute genus field $k^{(*)}$, which…

For each finite subgroup $G$ of $PGL_2(\mathbb{Q})$, and for each integer $n$ coprime to $6$, we construct explicitly infinitely many Galois extensions of $\mathbb{Q}$ with group $G$ and whose ideal class group has $n$-rank at least…

For a number field $K$, we consider $K^{\rm ta}$ the maximal tamely ramified algebraic extension of~$K$, and its Galois group $G^{\rm ta}_K= Gal(K^{ta}/K)$. Choose a prime $p$ such that $\mu_p \not \subset K$. Our guiding aim is to…

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…

We determine the conditions under which singular values of multiple $\eta$-quotients of square-free level, not necessarily prime to~6, yield class invariants, that is, algebraic numbers in ring class fields of imaginary-quadratic number…

We introduce two new types of towers of Drinfeld modular curves. These towers originate from a specific domain $\mathcal{A} $ and are analogous to the towers of rank-two Drinfeld modular curves over the polynomial ring. Specifically, the…

Let $h_{(m,k)}$ be the class number of $\mathbb{Q}(\sqrt{1-2m^k}).$ We prove that for any odd natural number $k,$ there exists $m_0$ such that $k \mid h_{(m,k)}$ for all odd $m > m_0.$ We also prove that for any odd $m \geq 3,$ $k \mid…

Let $p$ be an odd prime number. We construct explicit uniformizers for the totally ramified extension $\mathbb{Q}_p(\zeta_{p^2},\sqrt[p]{p})$ of the field of $p$-adic numbers $\mathbb{Q}_p$, where $\zeta_{p^2}$ is a primitive $p^2$-th root…

We study the capitulation of $2$-ideal classes of an infinite family of imaginary biquadratic number fields consisting of fields $k =Q(\sqrt{pq_1q_2}, i)$, where $i=\sqrt{-1}$ and $q_1\equiv q_2\equiv-p\equiv-1 \pmod 4$ are different…

This article initiates the study of topological transcendental fields $\FF$ which are subfields of the topological field $\CC$ of all complex numbers such that $\FF$ consists of only rational numbers and a nonempty set of transcendental…

Let $\mathbb{F}_q$ denote the finite fields with $q$ elements. The permutation behavior of several classes of infinite families of permutation polynomials over finite fields have been studied in recent years. In this paper, we continue with…

For any number field $K$ and integer $0\leq r \leq 4$, we prove that there are infinitely many elliptic curves over $K$ of rank $r$. Our elliptic curves are obtained by specializing well-chosen nonisotrivial elliptic curves over the…

In this paper the number of $\mathbb{F}_q$-isomorphism classes of Legendre elliptic curves over the finite fields $\mathbb{F}_q$ is enumerated.

Cohen and Lenstra have given a heuristic which, for a fixed odd prime $p$, leads to many interesting predictions about the distribution of $p$-class groups of imaginary quadratic fields. We extend the Cohen-Lenstra heuristic to a…

We prove a prime geodesic theorem for compact quotients of affine buildings and apply it to get class number asymptotics for global fields of positive characteristic.

We consider the capability of $p$-groups of class two and odd prime exponent. The question of capability is shown to be equivalent to a statement about vector spaces and linear transformations, and using the equivalence we give proofs of…

The genus gen(D) of a finite-dimensional central division algebra D over a field F is defined as the collection of classes [D'] in the Brauer group Br(F), where D' is a central division F-algebra having the same maximal subfields as D. For…

Let $\ell>2$ be a positive integer, $\zeta_\ell$ a primitive $\ell$-th root of unity, and $K$ a number field containing $\zeta_\ell+\zeta_\ell^{-1}$ but not $\zeta_\ell$. In a recent paper, Chonoles et. al. study iterated towers of number…