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

Minimal resolutions of lattice ideals

Constructing monomial ideals with a given minimal resolution

Lcm-lattice, Taylor Bases and Minimal Free Resolutions of a Monomial ideal

Rigid monomial ideals

Enumerative and planar combinatorics of trivariate monomial resolutions

The minimal free resolution of a generic symmetric principal ideal

Minimal cellular resolutions of powers of matching field ideals

Minimal free resolutions of differential modules

Sampling Algebra Structures on Minimal Free Resolutions

Sampling Algebra Structures on Minimal Free Resolutions of Length 3

Simplicial Resolutions of Powers of Square-free Monomial Ideals

Free resolutions constructed from bigradings on Lie algebras

Minimal free resolutions of numerical semigroup algebras via Apéry specialization

The Herzog-Takayama resolution over a skew polynomial ring

Average Behavior of Minimal Free Resolutions of Monomial Ideals

Minimal resolutions of Iwasawa modules

Gröbner bases, resolutions, and the Lefschetz properties for powers of a general linear form in the squarefree algebra

On the minimal free resolution of the Rees algebra of tri-generated bivariate monomial ideals

A minimal free resolution of the duplication of a monomial ideal

Free resolutions and Lefschetz properties of some Artin Gorenstein rings of codimension four

Periodicity of ideals of minors in free resolutions