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.

Counting wildly ramified quartic extensions with prescribed discriminant and Galois closure group

Enumerating Galois extensions of number fields

On Galois Extensions of Local Fields with a Single Wild Ramification Jump

Counting abelian extensions by Artin-Schreier conductor

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

On the asymptotics of elementary-abelian extensions of local and global function fields

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

On number fields with $k$-free discriminants

On extensions of number fields with given quadratic algebras and cohomology

Unramified Extensions of Quadratic Fields

Counting cusp forms by analytic conductor

Arithmetic of certain -extensions ramified at three places. IV

Eisenstein series on arithmetic quotients of rank 2 Kac--Moody groups over finite fields, with an appendix by Paul Garrett

Further remarks on local discriminants

Counting intersection numbers of closed geodesics on Shimura curves

Companion forms and explicit computation of PGL2 number fields with very little ramification

Asymptotics of extensions of simple $\mathbb Q$-algebras

A Density of Ramified Primes

2-Selmer Groups over Multiquadratic Extensions

On Abelian 2-Ramification Torsion Modules of Quadratic Fields

Families of Unramified Extensions of Number Fields