Abstract:For a number field F and a prime number p , the ℤ p -torsion module of the Galois group of the maximal abelian pro- p extension of F unramified outside p over F , denoted by T_p(F) , is an important subject in abelian p -ramification theory. In this paper, we study the group T_2(F) = T_2(m) of the quadratic field F = ℚ(√(m) ) . Firstly, assuming m > 0, we prove an explicit 4-rank formula for quadratic fields that rk_4( T_2( - m)) = rk_2( T_2( - m)) - rank(R) , where R is a certain explicitly described Rédei matrix over 𝔽_2 . Furthermore, using this formula, we obtain the 4-rank density formula of T_2 -groups of imaginary quadratic fields. Secondly, for l an odd prime, we obtain results about the 2-power divisibility of orders of T_2( ± l) and T_2( ± 2l) , both of which are cyclic 2-groups. In particular, we find that # T_2(l) ≡ 2# T_2(2l) ≡h_2( - 2l) (mod 16) if l ≡ 7 (mod 8), where h 2 (−2 l ) is the 2-class number of ℚ(√( - 2l) ) . We then obtain density results for T_2( ± l) and T_2( ± 2l) when the orders are small. Finally, based on our density results and numerical data, we propose distribution conjectures about T_p(F) when F varies over real or imaginary quadratic fields for any prime p , and about T_2( ± l) and T_2( ± 2l) when l varies, in the spirit of Cohen-Lenstra heuristics. Our conjecture in the T_2(l) case is closely connected to Shanks-Sime-Washington’s speculation on the distributions of the zeros of 2-adic L -functions and to the distributions of the fundamental units.

Constructing $2$-dimensional Lubin-Tate formal groups over $\mathbb{Z}_{p}$ (I)

$P$-Adic $L$-FUNCTIONS FOR UNITARY GROUPS

Lubin-Tate and multivariable $(φ,\mathcal{O}_K^{\times})$-modules in dimension 2

Unlikely intersection in higher-dimensional formal groups and $p$-adic dynamical systems

Arbitrarily large $p$-torsion in Tate-Shafarevich groups

Lubin–Tate moduli space of semisimple mod p Galois representations for and Hecke modules

On Abelian 2-Ramification Torsion Modules of Quadratic Fields

On p-torsions of geometric Brauer groups

On the Finiteness and Structure of Galois Groups of Tamely ramified pro-p Extensions of Imaginary Quadratic Fields

On tamely ramified infinite Galois extensions

Application of the notion of $Φ$-object to the study of p-class groups and p-ramified torsion groups of abelian extensions

On the structure of the Bloch--Kato Selmer groups of modular forms over anticyclotomic $\mathbf{Z}_p$-towers

$p$-adic $L$-functions for $P$-ordinary Hida families on unitary groups

Fixed locus dimension of diagonalizable $p$-groups

The growth of Tate-Shafarevich groups of $p$-supersingular elliptic curves over anticyclotomic $\mathbb{Z}_p$-extensions at inert primes

Structure of Mordell-Weil groups over \mathbb{Z}_p-extensions

Integral structures in smooth $\mathrm{GL}_2(\mathbf{Q}_p)$-representations and zeta integrals

Unboundedness of Tate–Shafarevich groups in fixed cyclic extensions

$p$-torsion for unramified Artin--Schreier covers of curves

Abelian Bm$p$-Ramification Groups and New Cohen-Lenstra Heuristics

Unramifiedness of Galois Representations Arising from Hilbert Modular Surfaces