Abstract:In this paper, we study the module-theoretic structure of classical Iwasawa modules. More precisely, for a finite abelian $p$-extension $K/k$ of totally real fields and the cyclotomic $\mathbb{Z}_p$-extension $K_{\infty}/K$, we consider $X_{K_{\infty},S}={\rm Gal}(M_{K_{\infty},S}/K_{\infty})$ where $S$ is a finite set of places of $k$ containing all ramifying places in $K_{\infty}$ and archimedean places, and $M_{K_{\infty},S}$ is the maximal abelian pro-$p$-extension of $K_{\infty}$ unramified outside $S$. We give lower and upper bounds of the minimal numbers of generators and of relations of $X_{K_{\infty},S}$ as a $\mathbb{Z}_p[[{\rm Gal}(K_{\infty}/k)]]$-module, using the $p$-rank of ${\rm Gal}(K/k)$. This result explains the complexity of $X_{K_{\infty},S}$ as a $\mathbb{Z}_p[[{\rm Gal}(K_{\infty}/k)]]$-module when the $p$-rank of ${\rm Gal}(K/k)$ is large. Moreover, we prove an analogous theorem in the setting that $K/k$ is non-abelian. We also study the Iwasawa adjoint of $X_{K_{\infty},S}$, and the minus part of the unramified Iwasawa module for a CM-extension. In order to prove these theorems, we systematically study the minimal resolutions of $X_{K_{\infty},S}$.

On the triviality of the unramified Iwasawa modules of the maximal multiple $\mathbb{Z}_p$-extensions

Minimal resolutions of Iwasawa modules

Unramified Iwasawa module of $\mathbb{Z}_2$-extension of certain quadratic fields with a bounded quotient

On the Non p-Rationality and Iwasawa Invariants of Certain Real Quadratic Fields

On the $\mathbb{Z}_p$-extensions of a totally $p$-adic imaginary quadratic field -- With an appendix by Jean-François Jaulent

Rarity of pseudo-null Iwasawa modules for $p$-adic Lie extensions

Unramified extensions and geometric $\mathbb{Z}_p$-extensions of global function fields

Iwasawa module of the cyclotomic $\mathbb{Z}_{2}$-extension of certain real quadratic fields

Class number behavior in a two-tiered tower of $\mathbb{Z}_p$-extensions

On Classifying Extensions of $p$-adic Fields

On Krull-Schmidt decompositions of unit groups of number fields

An Analogue of Greenberg's Conjecture for CM Fields

On the non commutative Iwasawa main conjecture for abelian varieties over function fields

Maximal abelian extension of $X_0(p)$ unramified outside cusps

Analogues of Iwasawa’s $\mu = 0$ Conjecture and the Weak Leopoldt Conjecture for a Non-Cyclotomic $\Mathbb{z}_2$-Extension

Fiercely ramified cyclic extensions of p-adic fields with imperfect residue field

The first level of $\mathbb{Z}_p$-extensions and compatibility of heuristics

On capitulations and pseudo-null submodules in certain ${\Bbb Z}_p^d$-extensions

An unconditional proof of the abelian equivariant Iwasawa main conjecture and applications

Ramification groups of some finite Galois extensions of maximal nilpotency class over local fields of positive characteristic

On Abelian extensions in mixed characteristic and ramification in codimension one