The Gross-Kuz'min Connjecture for CM fields

TL;DR

This paper proves the Gross-Kuz'min conjecture for CM fields, establishing that the minus part of the projective limit of class groups is trivial, which relates to the non-vanishing of a p-adic regulator.

Contribution

It proves the Gross-Kuz'min conjecture for CM fields, extending previous results known for abelian extensions to a broader class of fields.

Findings

The minus part of the projective limit of class groups is trivial for CM fields.

The triviality is equivalent to the non-vanishing of the p-adic regulator of p-units.

This confirms a long-standing conjecture in algebraic number theory.

Abstract

Let $A' = \varprojlim_n A'_n$ be the projective limit of the $p$-parts of the ideal class groups of the $p$ integers in the $\mathbb{Z}_p$-cyclotomic extension $K_{\infty}/K$ of a CM number field $K$. We prove in this paper that the $T$-part $(A')^-(T) = \{ 1 \}$ for CM extensions $K/\mathbb{Q}$. This fact has been conjectured for arbitrary fields $K$ by Kuz'min in 1972 and was proved by Greenberg in 1973, for abelian extensions $K/\mathbb{Q}$. Federer and Gross had shown in 1981 that $(A')^-(T) = \{ 1 \}$ is equivalent to the non-vanishing of the $p$-adic regulator of the $p$-units of $K$.