# On Free Resolutions of Iwasawa Modules

### Alexandra Nichifor

Department of Mathematics, University of Washington, Seattle WA 98195-4350, USA### Bharathwaj Palvannan

Department of Mathematics, University of Pennsylvania, Philadelphia PA 19104-6395, USA

## Abstract

Let $Λ$ (isomorphic to $Z_{p}[[T]]$) denote the usual Iwasawa algebra and $G$ denote the Galois group of a finite Galois extension $L/K$ of totally real fields. When the non-primitive Iwasawa module over the cyclotomic $Z_{p}$-extension has a free resolution of length one over the group ring $Λ[G]$, we prove that the validity of the non-commutative Iwasawa main conjecture allows us to find a representative for the non-primitive $p$-adic $L$-function (which is an element of a $K_{1}$-group) in a maximal $Λ$-order. This integrality result involves a study of the Dieudonné determinant. Using a cohomolgoical criterion of Greenberg, we also deduce the precise conditions under which the non-primitive Iwasawa module has a free resolution of length one. As one application of the last result, we consider an elliptic curve over $Q$ with a cyclic isogeny of degree $p_{2}$. We relate the characteristic ideal in the ring $Λ$ of the Pontryagin dual of its non-primitive Selmer group to two characteristic ideals, viewed as elements of group rings over $Λ$, associated to two non-primitive classical Iwasawa modules.

## Cite this article

Alexandra Nichifor, Bharathwaj Palvannan, On Free Resolutions of Iwasawa Modules. Doc. Math. 24 (2019), pp. 609–662

DOI 10.4171/DM/690