On the \(\lambda\)-invariants of totally real fields (Q1281521)

Let \(k\) be a number field and \(p\) be a prime number, and let \(k= k_0\subset k_1\subset\dots \subset k_n\subset\dots \subset k_\infty\) be the cyclotomic \(\mathbb{Z}_p\)-extension of \(k\). We denote by \(\mu_p(k)\), \(\lambda_p(k)\) the Iwasawa invariants of the cyclotomic \(\mathbb{Z}_p\)-extension of \(k\). It is well-known that \(\mu_p(k)\) vanishes for any abelian number field \(k\). Greenberg's conjecture claims that both \(\mu_p(k)\) and \(\lambda_p(k)\) are zero for any totally real number field. The author provides various constructions of fields for which Greenberg's conjecture holds.