Leopoldt conjecture (${\delta }_{F,p}=0$)

The Leopoldt conjecture says that the diagonal image of the global units of a number field in its local $p$-adic unit groups has ${\mathbb{Z}}_p$-rank $r_1+r_2-1$. A defect would measure a loss of rank after $p$-adic completion. It is a theorem for abelian extensions of $\mathbb{Q}$.

The Leopoldt conjecture holds for every finite abelian extension of $\mathbb{Q}$. The proof uses linear independence of $p$-adic logarithms of algebraic numbers. In cyclotomic towers it supplies the ranks of the global-unit terms in the class-field unit sequence; it is not needed for the unramified Iwasawa torsion theorem in arbitrary towers.