[논문 리뷰] On Iwasawa Theory over Function Fields

Ka-Lam Kueh, King Fai Lai외 1명|ArXiv.org|2007. 01. 02.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 3

한 줄 요약

이 논문은 특성 p인 전역 함수체에 대한 Iwasawa의 주요 추측의 p부분을 증명하며, Z_p^d-확장에서 p진 클래스군의 특성 이상수는 Gross의 Stickelberger 원소에 의해 생성됨을 보여준다. 증명은 Tate 대칭성, 준영 모듈의 성질, 그리고 부분확장 간의 Stickelberger 원소의 함의성에 기반한다.

ABSTRACT

Let $k_{\infty}$ be a $\Z_p^d$-extension of a global function field $k$ of characteristic $p$. Let $\Cl_{k_{\infty},p}$ be the $p$ completion of the class group of $k_{\infty}$. We prove that the characteristic ideal of the Galois module $\Cl_{k_{\infty},p}$ is generated by the Stickelberger element of Gross which calculates the special values of $L$ functions.

연구 동기 및 목표

• 특성 p인 전역 함수체에 대한 Iwasawa의 주요 추측의 p부분을 확립하기 위해.
• Z_p^d-확장에서 p진 클래스군의 Iwasawa 모듈의 특성 이상수가 Gross의 Stickelberger 원소에 의해 생성됨을 보여주기 위해.
• 확장이 유한한 집합 S 이외에는 분지하지 않으며, S에 속하는 어떤 장소도 완전히 분리되지 않는 경우를 다루기 위해.
• S에 속하는 분지하지 않은 장소 중에서 완전히 분리되지 않는 것들로 인해 발생하는 수정 인자 δ를 고려하기 위해.
• Stickelberger 원소가 Iwasawa 대수 내 단위를 제외하고 클래스군 모듈의 특성 이상수와 같은 이상수를 생성함을 보여주기 위해.

제안 방법

• Tate 대칭성과 Iwasawa 대수 Λ_Γ = Z_p[[t_1,...,t_d]]가 UFD임을 이용하기 위해.
• Gross가 추측한 Stickelberger 원소의 주항등항에 대한 결과를 Greenberg의 준영 모듈 이론을 통해 증명한 결과를 적용하기 위해.
• 유한 계층에 대한 Z_p[Gal(k_n/k)] 내 원소들의 프로젝티브 극한으로서 Stickelberger 원소 θ_{k_∞/k,S,T}를 구성하기 위해.
• 사영 사상에 따른 Stickelberger 원소의 함의성 성질을 이용하여 부분확장 간 이상수를 연결하기 위해.
• Galois 군의 계수 d에 대한 귀납법을 사용하여, 특성 이상수의 구조를 이용해 계수 1의 경우로 환원하기 위해.
• Corollary 3.1과 Lemma 3.13을 적용하여 모듈의 특성 이상수와 그 사영 사상의 특성 이상수 간의 관계를 분석하며, 특히 준영 모듈의 경우에 초점을 맞추기 위해.

실험 결과

연구 질문

• RQ1 함수체의 Z_p^d-확장에서 p진 클래스군의 특성 이상수는 Stickelberger 원소와 어떻게 관련이 있는가?
• RQ2 S에 속하는 일부 장소들이 분지하지는 않지만 확장에서 완전히 분리되지 않을 경우 수정 인자 δ는 어떻게 결정되는가?
• RQ3 Galois 사영 사상에 따른 Stickelberger 원소의 함의성은 Iwasawa 대수 내 이상수 생성에 어떻게 영향을 미치는가?
• RQ4 일부 모듈의 준영성은 귀납적 증명 구조에서 어떤 역할을 하는가?
• RQ5 왜 증명의 최종 단계에서 d ≥ 2인 경우와 d = 1인 경우가 다를까?

주요 결과

• Iwasawa 모듈 Cl_{k_∞,p}의 특성 이상수는 δ를 곱한 값으로 Stickelberger 원소 θ_{k_∞/k,S,T}에 의해 생성된다.
• 수정 인자 δ는 S₀ ≠ S이면 ∏_{v∈S₀}(1−[v])이고, S₀ = S이면 (1−Fr)^{-1}∏_{v∈S₀}(1−[v])이다. 여기서 Fr은 Frobenius 원소이다.
• d ≥ 2인 경우, χ_Γ(Z_p)는 전체 Iwasawa 대수 Λ_Γ와 같으므로, Cl_{k_∞,p}의 특성 이상수는 정확히 (θ_{k_∞/k,S,T})이다.
• d = 1인 경우, χ_Γ(Z_p) = (σ−1)이며, Corollary 3.1를 확인한 후 Stickelberger 원소가 동일한 이상수를 생성함을 보여주어 결과가 도출된다.
• 일반적인 경우는 귀납법과 사영 사상에 따른 특성 이상수의 성질을 이용하여 계수 1의 경우로 환원된다.
• Stickelberger 원소 θ_{k_∞/k,S,T}는 Iwasawa 대수 Λ_Γ 내의 프로젝티브 극한으로 잘 정의되며, 사영 사상에 의한 그 상은 부분확장의 Stickelberger 원소와 대응된다.