[논문 리뷰] Equivariant Bloch-Kato conjecture and non-abelian Iwasawa Main Conjecture

Annette Huber, Guido Kings|arXiv (Cornell University)|2002. 07. 30.

Algebraic Geometry and Number Theory참고 문헌 27인용 수 23

한 줄 요약

이 논문은 L-함수의 특수값에 대한 등변 Bloch-Kato 추측과 비아벨 Iwasawa 주요 추측 사이의 정확한 연결고리를 설정하며, Iwasawa 이론에서 비가환 행렬식과 여명제한을 통해 이전 자료가 후자의 추측을 이끌어낸다는 것을 보여준다. 주요 기여는 Iwasawa 대수에서 행렬식의 표준적 동형사상으로, Rubin의 주요 추측을 재구성하고, 휘어진 변환을 통한 일반 타마고 수 추측을 계수 공식으로 줄이는 철학을 뒷받침한다.

ABSTRACT

This is a contribution to the ICM 2002. We explain the relation between the (equivariant) Bloch-Kato conjecture for special values of L-functions and the Main Conjecture of (non-abelian) Iwasawa theory. On the way we will discuss briefly the case of Dirichlet characters in the abelian case. We will also discuss how "twisting" in the non-abelian case would allow to reduce the general conjecture to the case of number fields. This is one the main motivations for a non-abelian Main Conjecture.

연구 동기 및 목표

• 등변 Bloch-Kato 추측과 비아벨 Iwasawa 주요 추측 사이의 관계를 명확히 하는 것.
• 명시적인 p-진 L-함수 없이도 임의의 모티브와 p-진 리 군 타워에 대해 주요 추측을 제시하는 것.
• 비가환 K-이론을 통해 등변 타마고 수 추측이 비아벨 Iwasawa 주요 추측을 이끌어낸다는 것을 보여주는 것.
• 일반적인 L-값 추측이 비아벨 설정에서 휘어진 변환을 통해 계수 공식으로 줄일 수 있다는 사고방식을 뒷받침하는 것.

제안 방법

• 완전 복합체의 A-모듈러에 대한 범주 V(A)와 det_A 함자를 통한 비가환 행렬식의 프레임워크를 사용한다.
• Iwasawa 대수의 생성자들의 프로젝티브 시스템을 분석하기 위해 K_1 및 K_0 군 이론을 적용한다.
• 군환 Z_p[G_n]의 K_1 군의 역극한을 이용하여 일致하는 생성자 시스템을 Iwasawa 대수 Λ로 올리는 작업을 수행한다.
• Iwasawa 대수에서 코homology 군의 행렬식 간의 동형사를 이용하여 Rubin의 주요 추측을 재구성한다.
• 제타 원소 이론과 Beilinson의 Eisenstein 기호를 활용하여 에탈 코hom로의 명시적 생성자를 구성한다.
• 제타 원소가 전이 사상에서의 호환성과 p-진 조정자에 의한 상의 이미지에 의존한다.

실험 결과

연구 질문

• RQ1 등변 Bloch-Kato 추측은 비아벨 Iwasawa 주요 추측과 어떻게 관련되어 있는가?
• RQ2 명시적인 p-진 L-함수 없이도 비아벨 Iwasawa 주요 추측을 제시할 수 있는가?
• RQ3 왜곡을 통해 타마고 수 추측을 등변 계수 공식으로 얼마나 줄일 수 있는가?
• RQ4 비가환 행렬식은 모티브 코hom로와 Iwasawa 이론을 연결하는 데 어떤 역할을 하는가?
• RQ5 갈루아 코호몰로지에서의 일致하는 제타 원소 시스템은 어떻게 Iwasawa 대수로 올라가는가?

주요 결과

• 등변 타마고 수 추측은 Q에 계수를 가진 모티브에 대해 비아벨 Iwasawa 주요 추측을 이끌어낸다.
• 행렬식의 표준적 동형사상이 확립된다: det_Λ(H^1(...)/e_k) ≅ det_Λ(H^2(...)) 이 Iwasawa 대수 Λ 내에서 성립한다.
• 제타 원소 δ_p(G_n, M, k)는 에탈 코호몰로지에서 타원 단위의 변형으로 사라지며, 명시적 호환성을 제공한다.
• Z_p[G_n]의 K_1 군의 프로젝티브 극한은 B_n의 극한으로의 전성 사상이 가능하여, 일치하는 생성자 시스템을 Iwasawa 대수로 올리는 데 기여한다.
• Q_p[G_n]⊗∇ 내의 생성자 시스템 δ(n)은 K_1(Z_p[G_n])의 역극한을 통해 ∇에서의 생성자로 올라간다. 이는 전역 생성자의 존재를 증명한다.
• 이 구성은 일반적인 L-값 추측이 비아벨 설정에서 휘어진 변환을 통해 계수 공식으로 줄일 수 있다는 사고방식을 뒷받침한다.