[Paper Review] Ring-theoretic properties of Iwasawa algebras: a survey

Konstantin Ardakov, Ken A. Brown|ArXiv.org|Nov 14, 2005

Algebraic structures and combinatorial models4 citations

TL;DR

This survey comprehensively reviews the ring-theoretic properties of Iwasawa algebras—completed group rings of compact $p$-adic analytic groups over $\mathbb{Z}_p$ or $\mathbb{F}_p$. It establishes foundational structure via the graded algebra of uniform pro-$p$ groups, proves key results on Auslander-Gorenstein conditions and canonical dimension, and formulates open questions on ideal structure, prime ideals, and control by central subrings in nilpotent and soluble groups.

ABSTRACT

This is a survey of the known properties of Iwasawa algebras, which are completed group rings of compact p-adic analytic groups with coefficients the ring Zp of p-adic integers or the field Fp of p elements. A number of open questions are also stated.

Motivation & Objective

• To systematize and summarize the known ring-theoretic properties of Iwasawa algebras, which are completed group rings of compact $p$-adic analytic groups over $\mathbb{Z}_p$ or $\mathbb{F}_p$.
• To clarify structural parallels and differences between Iwasawa algebras and classical commutative power series rings, especially in noncommutative settings.
• To identify and articulate open problems in the ideal theory, prime spectrum, and representation theory of these algebras, particularly for nilpotent and soluble groups.
• To provide a foundation for future research by formulating precise conjectures and questions on ideal control, primality, and dimension theory in Iwasawa algebras.

Proposed method

• Use of the crossed product structure (2.2(1)) to reduce the study of general Iwasawa algebras to those of uniform pro-$p$ groups.
• Analysis of the associated graded algebra of the Iwasawa algebra of a uniform pro-$p$ group, which is a commutative polynomial ring, to deduce structural properties.
• Application of the Auslander-Gorenstein condition to establish canonical dimension functions and relate them to global and injective dimensions.
• Use of the Krull-Gabriel-Rentschler dimension to analyze the prime spectrum and chain conditions on prime ideals.
• Employment of induction techniques and module-theoretic arguments (e.g., via $\mathcal{K}(R)$) to study ideal containment and control in nilpotent and soluble cases.
• Leveraging results from Lie theory and group cohomology, particularly through the use of the Lie algebra of $G$ and its representations, to analyze prime ideals and central elements.

Experimental results

Research questions

• RQ1 For a uniform pro-$p$ group $G$, does every nonzero two-sided ideal of $\Omega_G$ contain a non-zero central element when $G$ is nilpotent?
• RQ2 Is every prime ideal of $\Omega_G$ completely prime when $G$ is a soluble uniform pro-$p$ group?
• RQ3 Are all faithful prime ideals of $\Omega_G$ controlled by the Zalesskii subgroup $A$ in a soluble uniform pro-$p$ group $G$?
• RQ4 Does the canonical dimension of $\Omega_G$ coincide with the dimension of the Lie algebra of $G$?
• RQ5 Can the prime spectrum of $\Omega_G$ for soluble $G$ be decomposed into finitely many commutative strata, even if non-affine?

Key findings

• The Iwasawa algebra $\Omega_G$ of a uniform pro-$p$ group $G$ is Auslander-Gorenstein and has finite injective and global dimension, with the canonical dimension function defined via the associated graded ring.
• For an almost simple uniform pro-$p$ group $G$ whose Lie algebra contains the two-dimensional non-abelian Lie algebra, $\mathcal{K}(\Omega_G/I) \neq 1$ for any nonzero ideal $I$, implying $\dim(\Omega_G) < \dim G$.
• In the Heisenberg case (uniform pro-$p$ group with $Z \cong \mathbb{Z}_p$ and $G/Z$ abelian), every nonzero two-sided ideal $I$ of $\Omega_G$ satisfies $I \cap \Omega_Z \neq 0$, confirming a central control property.
• For the nonabelian semidirect product $G = X \rtimes Y$ with $X,Y \cong \mathbb{Z}_p$, the only prime ideals of $\Omega_G$ are $0$, $w_X$, and $J(\Omega_G)$, all of which are completely prime and $w_X$ is generated by a normal element.
• The canonical dimension of $\Omega_G$ is equal to the dimension of the Lie algebra of $G$, and the ring satisfies the Auslander-Gorenstein condition, ensuring well-behaved duality and dimension theory.
• In the nilpotent case, ideals satisfying $\operatorname{Cdim}(M) \leq \dim G/Z - t$ are shown to be finitely generated over $\Omega_H$ for subgroups $H$ with $Z \leq H$ and $\dim G/H = t$, supporting the idea of central control of ideals.