[논문 리뷰] An Equivariant Main Conjecture in Iwasawa Theory and Applications

Cornélius Greither, Cristian D. Popescu|arXiv (Cornell University)|2011. 03. 16.

Algebraic Geometry and Number Theory참고 문헌 15인용 수 5

한 줄 요약

이 논문은 수체의 CM 유형 $Γ$-확장을 위한 이ワ사와 이론에서 등변 주요 추측을 수립하며, 이는 새로운 유형의 $p$-진 이와사와 모듈을 $p$-진 실현으로서 델리뉴의 피카르드 $1$-모티브로부터 구성한 결과이다. 이 모듈의 첫 번째 피팅 아이디얼은 등변 $p$-진 $L$-함수에 의해 생성됨을 증명한다. 고전적 이와사와 $\mu$-불변량이 0임을 가정할 경우, 저자들은 와일스의 고전적 주요 추측에 대한 정밀한 정수론적 버전을 증명하고, 이를 통해 2-primary 부분을 제외한 브류머-스타르 및 코츠-신노트 추측에 대한 새로운 결과를 도출한다.

ABSTRACT

We construct a new class of Iwasawa modules, which are the number field analogues of the p-adic realizations of the Picard 1-motives constructed by Deligne in the 1970s and studied extensively from a Galois module structure point of view in our recent work. We prove that the new Iwasawa modules are of projective dimension 1 over the appropriate profinite group rings. In the abelian case, we prove an Equivariant Main Conjecture, identifying the first Fitting ideal of the Iwasawa module in question over the appropriate profinite group ring with the principal ideal generated by a certain equivariant p-adic L-function. This is an integral, equivariant refinement of the classical Main Conjecture over totally real number fields proved by Wiles in 1990. Finally, we use these results and Iwasawa co-descent to prove refinements of the (imprimitive) Brumer-Stark Conjecture and the Coates-Sinnott Conjecture, away from their 2-primary components, in the most general number field setting. All of the above is achieved under the assumption that the relevant prime p is odd and that the appropriate classical Iwasawa mu-invariants vanish (as conjectured by Iwasawa.)

연구 동기 및 목표

• 수체로의 일반화된 델리뉴의 구성으로, 피카르드 $1$-모티브의 $p$-진 실현으로서 새로운 이와사와 모듈 클래스를 구성한다.
• CM 및 갈루아 불변성 조건을 가정할 때, 이 모듈이 프로파인트 군환 $\mathbb{Z}_p[[\mathcal{G}]]$ 위에서 분해 차수 $1$을 가짐을 증명한다.
• 이 모듈의 첫 번째 피팅 아이디얼이 등변 $p$-진 $L$-함수에 의해 생성되는 주 아이디얼과 일치함을 규명함으로써 등변 주요 추측을 수립한다.
• 이 추측을 적용하여 2-primary 부분을 제외한 브류머-스타르 및 코츠-신노트 추측을 정밀화한다.
• 전체 실수 기저 수체의 설정에서 $\mu=0$ 추측을 가정할 경우, 와일스의 고전적 주요 추측에 대한 정수론적, 등변적 정밀화를 제공한다.

제안 방법

• CM $\mathbb{Z}_p$-확장 $\mathcal{K}/k$와 $\mathcal{G} = \mathrm{Gal}(\mathcal{K}/k)$를 고려하여, 이와사와 모듈 $T_p(\mathcal{M}^{\mathcal{K}}_{\mathcal{S},\mathcal{T}})^{-}$를 피카르드 $1$-모티브의 $p$-진 실현으로 구성한다.
• $\mathcal{G}$가 아벨군이면서 $\mu_{K,p} = 0$일 경우, 모듈 $T_p(\mathcal{M}^{\mathcal{K}}_{\mathcal{S},\mathcal{T}})^{-}$가 $\mathbb{Z}_p[[\mathcal{G}]]^{-}$ 위에서 분해 차수 $1$을 가짐을 증명한다.
• $S$-비형식적 $p$-진 $L$-함수를 사용하여 $\mathbb{Z}_p[[\mathcal{G}]]^{-}$ 내에 등변 $p$-진 $L$-함수 $\Theta_{S,T}^{(\infty)}$를 정의한다.
• 등변 웨이어스트라스 준비 정리와 $\mu$-불변량 제어를 활용하여, 모든 홀수 특성 $\chi$에 대해 $\chi(F) \sim \chi(\Theta)$이면 $F \sim \Theta$가 $\mathbb{Z}_p[[\mathcal{G}]]^{-}[[t]]$ 내에서 성립함을 증명한다.
• 핵심 등식 $\mathrm{Fit}_{\mathbb{Z}_p[[\mathcal{G}]]^{-}}(T_p(\mathcal{M}^{\mathcal{K}}_{\mathcal{S},\mathcal{T}})^{-}) = \Theta_{S,T}^{(\infty)} \cdot \mathbb{Z}_p[[\mathcal{G}]]^{-}$를 수립함으로써 등변 주요 추측을 증명한다.
• 이와사와 공내림과 주요 추측을 적용하여, 2-primary 부분을 제외한 브류머-스타르 및 코츠-신노트 추측의 정밀화를 이끌어낸다.

실험 결과

연구 질문

• RQ1 피카르드 $1$-모티브에서 유도된 이와사와 모듈에 대해, CM 확장에서 등변 주요 추측을 제안하고 증명할 수 있는가?
• RQ2 이와사와 모듈 $T_p(\mathcal{M}^{\mathcal{K}}_{\mathcal{S},\mathcal{T}})^{-}$의 첫 번째 피팅 아이디얼이 등변 $p$-진 $L$-함수에 의해 생성되는가?
• RQ3 전체 실수 기저 수체의 설정에서 $\mu=0$ 조건을 가정할 경우, 와일스의 고전적 주요 추측을 정수론적이고 등변적으로 어떻게 정밀화할 수 있는가?
• RQ4 새로운 주요 추측을 통해, 2-primary 성분을 제외한 브류머-스타르 및 코츠-신노트 추측을 어느 정도까지 강화할 수 있는가?
• RQ5 $\mu$-불변량이 0임 조건이 이러한 모듈의 분해 차수와 아이디얼 이론적 제어를 보장하는 데 어떤 역할을 하는가?

주요 결과

• $\mathcal{G}$가 아벨군이면서 $\mu_{K,p} = 0$일 경우, 이와사와 모듈 $T_p(\mathcal{M}^{\mathcal{K}}_{\mathcal{S},\mathcal{T}})^{-}$는 $\mathbb{Z}_p[[\mathcal{G}]]^{-}$ 위에서 분해 차수 $1$을 가진다.
• $T_p(\mathcal{M}^{\mathcal{K}}_{\mathcal{S},\mathcal{T}})^{-}$의 첫 번째 피팅 아이디얼은 $\mathbb{Z}_p[[\mathcal{G}]]^{-}$ 위에서 등변 $p$-진 $L$-함수 $\Theta_{S,T}^{(\infty)}$에 의해 생성되는 주 아이디얼과 일치하며, 이는 등변 주요 추측을 수립함을 의미한다.
• 결과는 고전적 주요 추측을 정수론적, 등변적으로 정밀화하여, $\mathbb{Q}_p$에서 국소화할 필요 없이도 성립함을 보여준다.
• 저자들은 $p$-진 $L$-함수 $\Theta_{S,T}^{(\infty)}$의 $\mu$-불변량이 0임을 증명하여, 웨이어스트라스 준비 정리와의 호환성을 확보한다.
• 이와사와 공내림을 적용함으로써, 2-primary 부분을 제외한 브류머-스타르 추측과 코츠-신노트 추측이 정밀한 형태로 성립함을 도출한다.
• 증명은 핵심 보조정리에 의존하며, 모든 홀수 특성 $\chi$에 대해 $\mathcal{O}[[t]]$ 내에서 $\chi(F) \sim \chi(\Theta)$이면 $F \sim \Theta$가 $\mathbb{Z}_p[[\mathcal{G}]]^{-}[[t]]$ 내에서 성립함을 보여주며, 이는 국소 데이터로부터의 전역 제어를 가능하게 한다.