[Paper Review] Proof of the Main Conjecture of Noncommutative Iwasawa Theory for Totally Real Number Fields in Certain Cases

Mahesh Kakde|ArXiv.org|Feb 15, 2008

Algebraic Geometry and Number Theory12 references6 citations

TL;DR

This paper proves the Main Conjecture of noncommutative Iwasawa theory for certain totally real number fields by computing the Whitehead group of Iwasawa algebras for specific $p$-adic Lie groups and establishing congruences between Deligne–Ribet $p$-adic zeta functions. The key result confirms the Main Conjecture for $ Z_p \rtimes \Z_p$-extensions and other groups of special type under the $μ=0$ hypothesis.

ABSTRACT

Fix an odd prime $p$. Let $G$ be a compact $p$-adic Lie group containing a closed, normal, pro-$p$ subgroup $H$ which is abelian and such that $G/H$ is isomorphic to the additive group of $p$-adic integers $\mathbbZ_p$ . First we assume that $H$ is finite and compute the Whitehead group of the Iwasawa algebra, $Λ(G)$, of $G$. We also prove some results about certain localisation of $Λ(G)$ needed in Iwasawa theory. Let $F$ be a totally real number field and let $F_{\infty}$ be an admissible $p$-adic Lie extension of $F$ with Galois group $G$. The computation of the Whitehead groups are used to show that the Main Conjecture for the extension $F_{\infty}/F$ can be deduced from certain congruences between abelian $p$-adic zeta functions of Delige and Ribet. We prove these congruences with certain assumptions on $G$. This gives a proof of the Main Conjecture in many interesting cases such as $\mathbb{Z}_p times

Motivation & Objective

• To establish the Main Conjecture of noncommutative Iwasawa theory for admissible $p$-adic Lie extensions of totally real number fields.
• To compute the Whitehead group $K_1$ of Iwasawa algebras for a class of $p$-adic Lie groups $G = H \rtimes \Gamma$ with $H$ finite and abelian pro-$p$.
• To prove congruences between abelian $p$-adic zeta functions of Deligne and Ribet, which imply the Main Conjecture under certain group-theoretic conditions.
• To identify and characterize groups of 'special type' for which the Main Conjecture holds, including $ Z_p \rtimes \Gamma$ and diagonalizable extensions.
• To extend the classical Main Conjecture from commutative $ Z_p$-extensions to noncommutative $p$-adic Lie extensions with non-abelian Galois groups.

Proposed method

• Compute the Whitehead group $K_1(\Lambda(G))$ for $G = H \rtimes \Gamma$ with $H$ finite, abelian pro-$p$, and $\Gamma \cong \mathbb{Z}_p$.
• Use logarithmic and integral logarithm maps on $K_1$-groups to relate $p$-adic zeta functions to algebraic $K$-theory.
• Define and analyze the Ore set $S$ in $\Lambda(G)$, leading to localization $\Lambda(G)_S$, crucial for torsion module theory.
• Establish a key homomorphism $\theta_\mathfrak{S}$ and study the group $\Phi_\mathfrak{S}$ to control $K_1$-elements in the localization.
• Prove that the Main Conjecture follows from congruences between $p$-adic zeta functions of Deligne and Ribet.
• Introduce the notion of 'special type' groups via the $p$-power map condition on abelianizations, ensuring compatibility across subquotients.

Experimental results

Research questions

• RQ1 Can the Main Conjecture of noncommutative Iwasawa theory be proven for non-abelian $p$-adic Lie extensions of totally real fields?
• RQ2 What is the structure of the Whitehead group $K_1(\Lambda(G))$ for $G = H \rtimes \Gamma$ with $H$ finite and abelian pro-$p$?
• RQ3 Under what group-theoretic conditions do congruences between Deligne–Ribet $p$-adic zeta functions imply the Main Conjecture?
• RQ4 Which $p$-adic Lie groups $G$ of the form $H \rtimes \Gamma$ are of 'special type', ensuring the validity of the Main Conjecture?
• RQ5 Can the Main Conjecture be established for $\mathbb{Z}_p \rtimes \mathbb{Z}_p$-extensions and their generalizations?

Key findings

• The Whitehead group $K_1(\Lambda(G))$ is computed explicitly for $G = H \rtimes \Gamma$ with $H$ finite and abelian pro-$p$, under the given conditions.
• The Main Conjecture for $F_\infty/F$ is proven under the assumption that $G$ is of special type and $\mu = 0$.
• Congruences between Deligne–Ribet $p$-adic zeta functions are established for groups of special type, implying the Main Conjecture.
• The Main Conjecture holds for $\mathbb{Z}_p \rtimes \Gamma$-extensions, including the example from the maximal abelian $37$-extension of the real subfield of $\mathbb{Q}(\mu_{37})$.
• The $p$-adic zeta function $\zeta(F_\infty/F)$ is shown to exist and satisfy the Main Conjecture via $K_1$-lifting from $K_1(\Lambda(G)_S)$.
• The $p$-adic Heisenberg group $\mathbb{Z}_p^2 \rtimes \Gamma$ with unipotent action is confirmed as a group of special type, extending Kato's earlier result.