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.

Arithmetic of certain -extensions ramified at three places. IV

A Density of Ramified Primes

On Abelian extensions in mixed characteristic and ramification in codimension one

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

Rationality and arithmetic of the moduli of abelian varieties

On Arithmetic Genus of Hilbert Modular Varieties on Cyclic Number-Fields

Arithmetic Restrictions on Geometric Monodromy

Arithmetic in Group Extensions

Upper ramification sequences of nonabelian extensions of degree $p^3$ in characteristic $p$

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

The Kudla-Rapoport conjecture at a ramified prime for $U(1, 1)$

A -adic arithmetic inner product formula

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

Kähler differentials, almost mathematics and deeply ramified fields

Arithmetic Problems in Cubic and Quartic Function Fields

Arithmetic of some real triquadratic fields; Units and 2-class groups

Functional degrees and arithmetic applications III: Beyond Prime Exponent

Arithmetic properties for generalized cubic partitions and overpartitions modulo a prime

On Classifying Extensions of $p$-adic Fields

On Abelian 2-Ramification Torsion Modules of Quadratic Fields

Modulo l distinction problems