[논문 리뷰] Proof of the Main Conjecture of Noncommutative Iwasawa Theory for Totally Real Number Fields in Certain Cases

Mahesh Kakde|ArXiv.org|2008. 02. 15.

Algebraic Geometry and Number Theory참고 문헌 12인용 수 6

한 줄 요약

이 논문은 특정한 전체 실수 수체에 대해 비가환 Iwasawa 이론의 주요 추측을 증명한다. 이는 특정한 $p$-진 리 군에 대한 Iwasawa 대수의 Whitehead 군을 계산하고, Deligne–Ribet의 $p$-진 제타 함수 간의 합동을 확립하여 이루어진다. 주요 결과는 $\mu=0$ 가정 하에 $\Z_p \rtimes \Z_p$-확장과 특수 유형을 가진 기타 군들에 대해 주요 추측을 확인한다.

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

연구 동기 및 목표

• 비가환 $p$-진 리 군 확장에 대한 전체 실수 수체에 대한 비가환 Iwasawa 이론의 주요 추측을 수립하기 위해.
• 유한하고 아벨인 프로-$p$ 군 $H$와 $\Gamma \cong \mathbb{Z}_p$를 가진 군 $G = H \rtimes \Gamma$에 대해 Iwasawa 대수의 Whitehead 군 $K_1$를 계산하기 위해.
• Deligne와 Ribet의 아벨 $p$-진 제타 함수 간의 합동을 증명하여, 특정 군론적 조건 하에서 주요 추측을 이끌어내기 위해.
• 주요 추측이 성립하는 '특수 유형'의 군을 식별하고 특성화하기 위해, $\rZ_p \rtimes \Gamma$ 및 대각화 가능 확장 포함.
• 기존의 가환 $\rZ_p$-확장에 대한 주요 추측을 비가환 $p$-진 리 군 확장으로 일반화하기 위해.

제안 방법

• 유한하고 아벨인 프로-$p$ 군 $H$와 $\Gamma \cong \mathbb{Z}_p$를 가진 군 $G = H \rtimes \Gamma$에 대해 Whitehead 군 $K_1(\Lambda(G))$를 계산하기 위해.
• $K_1$-군에 대한 로그 및 적분 로그 사상으로 $p$-진 제타 함수와 대수적 $K$-이론을 연결하기 위해.
• $\Lambda(G)$ 내의 Ore 집합 $S$를 정의하고 분석하여, 토크셔널 모듈러 이론에 핵심적인 국소화 $\Lambda(G)_S$를 도출하기 위해.
• 핵심 준동형사상 $\theta_\mathfrak{S}$를 정의하고 $\Phi_\mathfrak{S}$를 연구하여 국소화 내의 $K_1$-원소를 제어하기 위해.
• Deligne와 Ribet의 $p$-진 제타 함수 간의 합동이 주요 추측을 이끌어내므로 이를 증명하기 위해.
• 아벨화에서의 $p$-거듭제곱 사상 조건을 통해 '특수 유형' 군의 개념을 도입하여, 부분군 및 몫군 간의 호환성을 보장하기 위해.

실험 결과

연구 질문

• RQ1 비가환 $p$-진 리 군 확장에 대해 전체 실수 수체에 대한 비가환 Iwasawa 이론의 주요 추측을 증명할 수 있는가?
• RQ2 $H$가 유한하고 아벨인 프로-$p$ 군일 때 $G = H \rtimes \Gamma$에 대해 Whitehead 군 $K_1(\Lambda(G))$의 구조는 어떻게 되는가?
• RQ3 어떤 군론적 조건에서 Deligne–Ribet의 $p$-진 제타 함수 간의 합동이 주요 추측을 이끌어내는가?
• RQ4 $H \rtimes \Gamma$ 형식의 $p$-진 리 군 $G$ 중 '특수 유형'이 되는 것은 무엇이며, 이는 주요 추측의 성립을 보장하는가?
• RQ5 $\mathbb{Z}_p \rtimes \mathbb{Z}_p$-확장과 그 일반화에 대해 주요 추측을 확립할 수 있는가?

주요 결과

• $H$가 유한하고 아벨인 프로-$p$ 군일 때 주어진 조건 하에 $G = H \rtimes \Gamma$에 대해 Whitehead 군 $K_1(\Lambda(G))$가 명시적으로 계산된다.
• $G$가 특수 유형이고 $\mu = 0$일 때 확장 $F_\infty/F$에 대해 주요 추측이 증명된다.
• 특수 유형의 군에 대해 Deligne–Ribet의 $p$-진 제타 함수 간의 합동이 확립되며, 이는 주요 추측을 이끌어낸다.
• $\mathbb{Z}_p \rtimes \Gamma$-확장에 대해 주요 추측이 성립한다. 이는 $\mathbb{Q}(\mu_{37})$의 실수 부분체의 최대 아벨 $37$-확장 예시를 포함한다.
• $p$-진 제타 함수 $\zeta(F_\infty/F)$가 존재하고, $K_1(\Lambda(G)_S)$로부터의 $K_1$-올림을 통해 주요 추측을 만족함을 보였다.
• $p$-진 헤이젠베르크 군 $\mathbb{Z}_p^2 \rtimes \Gamma$ (유니포텐트 작용)는 특수 유형으로 확인되었으며, Kato의 이전 결과를 일반화한다.