Searcharxiv⌕ Search

arXiv · 2610.34400

On real biquadratic number fields for which the $2$-Iwasawa module has rank $3$

Abstract

We investigate the stability of the $2$-rank in the cyclotomic $\mathbb{Z}_2$-extension of real biquadratic number fields. We determine several families of real biquadratic fields $F$ for which the ranks of the $2$-class group $A(F)$ and the associated $2$-Iwasawa module $A_\infty(F)$ are both equal to $3$. More precisely, we provide a complete classification of all fields $F=\mathbb{Q}(\sqrt{q},\sqrt{d}),$ where $q\equiv 3\pmod{4}$ is a prime number and $d$ is an odd positive square-free integer, and all fields $F=\mathbb{Q}(\sqrt{2q},\sqrt{d}),$ where $q\equiv 3\pmod{4}$ is a prime number and $d\equiv 1\pmod{4}$ is a positive square-free integer, for which $ \operatorname{rank}(A(F))=\operatorname{rank}(A_\infty(F))=3.$

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Mohamed Mahmoud Chems-Eddin, Ikrame Daqaq. 2026-10-25. On real biquadratic number fields for which the $2$-Iwasawa module has rank $3$. https://arxiv.org/abs/2610.34400

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On group rings of the simple group of order 168, 504 or 360 and their modules

Let $p$ be a prime and $\mathbb{Z}_p$ the ring of $p$-adic integers. Let $G$ denote the simple group of order 168, 504 or 360. In this paper, we study the structure of the $χ$-part of a $\mathbb{Z}_p[\mathrm{Im}(χ)][G]$-module come from ideal class groups, Artin $L$-functions and Iwasawa theory. After this manuscript was posted, it was pointed out to the author that the main theorem holds for an arbitrary finite group and follows directly from the structure theorem for group rings; see the note added after Theorem 1.1.

math.NT↗

The $ρ$-Fourier transform

Let $G$ be a reductive group over a local field $F$ and let $ρ:{}^LG \to \mathrm{GL}_{V_ρ}(\mathbb{C})$ be a representation of its $L$-group satisfying suitable assumptions. Braverman, Kazhdan and Ngô conjectured that one has a $ρ$-Fourier transform satisfying certain desiderata. We give a uniform construction of the Fourier transform for arbitrary local fields. This complements work of L.~Lafforgue in the non-Archimedean case, and proves a portion of the conjectures of Braverman, Kazhdan and Ngô. Our methods are spectral in nature.

math.NT↗

The Hasse principle for diagonal forms restricted to a hypersurface of adjacent degree

We investigate the Hasse principle for Diophantine systems consisting of one diagonal form of degree $k$ and one general form of degree $k-1$. By refining the method of Brandes and Parsell (arXiv:2003.04350) in this specific setting, we improve the bound $n > 2^k k$ to $n > 2^{k-1}(2k-1)$; in particular, the requirement $n > 24$ in the case of degrees three and two is relaxed to $n > 20$.

math.NT↗