[논문 리뷰] The main conjecture of Iwasawa theory for totally real fields

Mahesh Kakde|arXiv (Cornell University)|2010. 08. 01.

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

한 줄 요약

이 논문은 특정 CM 확장에 대해 이와사와 $\mu$-불변량이 0임을 가정할 때, 전체 실수 체의 $p$-진 리 확장에 대한 비환형 이와사와 이론의 주요 추측을 증명한다. 증명은 대수적 $K$-이론 기법과 이와사와 대수에서의 합동식을 사용하여 $K$-이론, $p$-진 $L$-함수, 갈루아 코hom로의 깊은 연관성을 확립한다.

ABSTRACT

The purpose of this paper is to prove the main conjecture of non-commutative Iwasawa theory for p-adic Lie extensions, for an odd prime p, of totally real number fields assuming that the Iwasawa mu invariant of a certain totally real number field vanishes.

연구 동기 및 목표

• 전체 실수 수체의 $p$-진 리 확장에 대한 비환형 이와사와 이론의 주요 추측을 수립하기.
• 인도션 이론과 대수적 $K$-이론을 사용하여 일반적인 경우를 일차원 $p$-진 리 확장으로 환원하기.
• $p$-원소 확장을 분석하여 이와사와 대수의 구조와 그 국소화를 통해 추측을 증명하기.
• 로그 함수 사상과 히케 연산자를 사용하여 $p$-진 $L$-함수에서 요구되는 합동식을 검증하기.
• Burns와 Kato의 전략을 사용하여 산술적 $K_1$-류와 특수 $L$-값 사이의 연결을 수립하기.

제안 방법

• 노름 사상과 부분군-몫군 환원을 사용하여 Burns와 Kato의 전략을 적용해, $K_1$-군과 부분군-몫군의 구조를 통해 일차원 $p$-진 리 확장으로 환원하기.
• 이와사와 대수의 $K_1$-군과 그 국소화를 연결하기 위해 $\theta$-사상 $\theta_{U,V}$ 및 $\theta_{U,V,S}$를 사용하기.
• 이와사와 대수에서 $p$-단위와 합동식을 분석하기 위해 로그 함수 및 정수 로그 호모모르피즘을 적용하기.
• 이즈엔슈타인 급수와 $q$-전개 원리를 사용하여 $p$-진 제타 함수를 구성하고 기본 합동식을 검증하기.
• $\omega_P$-작용과 프로베니우스 유사 합동식을 사용하여 $\zeta_P^p$와 $\prod \omega_P^k(\zeta_P)$ 사이의 관계를 $p$-진 이상수로 모듈로 표현하기.
• 갈루아 수축과 $\widehat{T}_{P,S}$ 내의 합동식의 맥락에서 $\zeta_P$와 $\varphi(\zeta_{P'})$를 연결하기 위해 $\varphi$-사상과 $\alpha_{P'}$-사상을 사용하기.

실험 결과

연구 질문

• RQ1 특정 CM 확장에서 $\mu$-불변량이 0일 때, 전체 실수 체의 $p$-진 리 확장에 대한 비환형 이와사와 이론의 주요 추측이 성립하는가?
• RQ2 대수적 $K_1$-사상과 부분군-몫군의 구조를 사용하여 일반적인 $p$-진 리 군에서 일차원 $p$-진 리 군으로 추측을 환원할 수 있는가?
• RQ3 $\theta$-사상과 그 국소화가 이와사와 대수의 $K_1$-이론에서 이미지와 핵을 어떻게 제어하는가?
• RQ4 로그 함수와 정수 로그 함수는 이와사와 대수에서 $p$-단위와 $L$-값을 어떻게 연결하는가?
• RQ5 $\widehat{T}_{P,S}$ 내의 합동식과 $\omega_P$-작용이 주요 추측에 필요한 산술적 합동식을 얼마나 보장하는가?

주요 결과

• 특정 CM 확장의 $\mu$-불변량이 0임을 가정할 때, 전체 실수 체의 $p$-진 리 확장에 대한 비환형 이와사와 이론의 주요 추측이 증명된다.
• Burns의 $\theta$-사상과 부분군-몫군 환원 기법을 새로운 방식으로 적용하여 일반적인 경우를 일차원 $p$-진 리 확장으로 환원하는 증명이 이루어졌다.
• 모든 관련 부분군-몫군, 포함 정규군까지 포함하여 핵심 합동식 M4가 분석을 통해 확립되었으며, 이는 $\zeta_P^p$와 $\prod \omega_P^k(\zeta_P)$를 $p\widehat{T}_{P,S}$ 모듈로로 분석함으로써 이루어졌다.
• 로그 함수 사상은 $1+p\widehat{T}_P$와 $p\widehat{T}_P$ 사이의 동형을 유도하여, $p$-진 단위군 내의 합동식을 유도할 수 있게 하였다.
• 모든 $P$에 대해 $\frac{\prod_{P'}\varphi(\alpha_{P'}(\zeta_{P'}))}{\zeta_P^p / \prod_{k=0}^{p-1}\omega_P^k(\zeta_P)} \in 1 + pT_{P,S}$ 합동식이 검증되었으며, 이는 요구되는 산술 조건을 확인한다.
• 정규군에 대해, $\frac{\prod_{P'}\varphi(\alpha_{P'}(\zeta_{P'}))}{\zeta_{\{1\}}^p / \varphi(\zeta_{\{1\}})} \in 1 + pT_{\{1\},S}$ 합동식이 $\zeta_0$와 $\varphi(\zeta_{\{1\}})$의 보간을 통해 확립되었다.