 Leopoldt conjecture

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}$.