On natural complexes in Iwasawa theory

Abstract

We consider two natural complexes that appear in recent formulations of equivariant Iwasawa main conjectures for extensions of not necessarily totally real fields. We show that both complexes are isomorphic in the derived category of Iwasawa modules if the weak Leopoldt conjecture holds for the relevant ${\mathbb{Z}}_p$-extension.

arXiv comment12 pages; v2 contains minor corrections. arXiv admin note: text overlap with arXiv:2211.03406