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.

The extended Bloch groups of biquadratic and dihedral number fields

Exterior Algebras and Two Conjectures on Finite Abelian Groups

An application of Birch-Tate formula to tame kernels of real quadratic number fields

On fine Mordell-Weil groups over $\mathbb{Z}_p$-extensions of an imaginary quadratic field

Conjectures for distributions of class groups of extensions of number fields containing roots of unity

On the 2-Primary Part of Tame Kernels of Real Quadratic Fields

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

On unramified Galois 2-groups over -extensions of some imaginary biquadratic number fields

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

2-Selmer Groups over Multiquadratic Extensions

Hasse-Minkowski theorem for quadratic forms on groups

Quadratic forms, $K$-groups and $L$-values of elliptic curves

The 3-Sylow Subgroup of the Tame Kernel of Real Number Fields

The 2-Sylow subgroup of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msub><mml:mi>K</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:msub><mml:mi>O</mml:mi><mml:mi>F</mml:mi></mml:msub></mml:math> for number fields F

On Abelian 2-Ramification Torsion Modules of Quadratic Fields

Double Coverings for Quadratic Extensions and Function Fields

ON IMAGINARY QUADRATIC FUNCTION FIELDS WITH IDEAL CLASS GROUP OF EXPONENT ≤ 2

On the Brauer groups of fibrations II

Ray Class Groups of Quadratic and Cyclotomic Fields

Bloch-Kato groups over perfectoid fields and Galois theory of $p$-adic periods

Higher K-groups of Smooth Projective Curves over Finite Fields.