[논문 리뷰] Characteristic ideals and Iwasawa theory

Andrea Bandini, Francesc Bars외 1명|arXiv (Cornell University)|2013. 10. 02.

Commutative Algebra and Its Applications참고 문헌 11인용 수 6

한 줄 요약

이 논문은 특성 p인 함수체의 맥락에서 비노에터리안 이와사와 대수에서 이와사와 모듈에 대한 프로-특성 이상을 도입한다. 노에터리안 크룰 도메인의 역극한과 연속적인 확장 간의 특성 이상 간의 호환성 조건을 활용하여, 고전적 특성 이상을 일반화하고 비노에터리안 설정에서 이와사와 주요 추측을 검증하는 안정된 불변량을 정의한다.

ABSTRACT

Let $Ł$ be a non-noetherian Krull domain which is the inverse limit of noetherian Krull domains $Ł_d$ and let $M$ be a finitely generated $Ł$-module which is the inverse limit of $Ł_d$-modules $M_d\,$. Under certain hypotheses on the rings $Ł_d$ and on the modules $M_d\,$, we define a pro-characteristic ideal for $M$ in $Ł$, which should play the role of the usual characteristic ideals for finitely generated modules over noetherian Krull domains. We apply this to the study of Iwasawa modules (in particular of class groups) in a non-noetherian Iwasawa algebra $\Z_p[[\Gal(\calf/F)]]$, where $F$ is a function field of characteristic $p$ and $\Gal(\calf/F)\simeq\Z_p^\infty$.

연구 동기 및 목표

• 특성 p인 함수체의 맥락에서 비노에터리안 이와사와 대수 위의 유한 생성 모듈에 대해 잘 정의된 특성 이상이 부족한 문제를 다루기 위해.
• 이전에 노에터리안 크룰 도메인에서만 정의된 고전적 특성 이상의 개념을, 역극한을 통해 비노에터리안 설정으로 일반화하기 위해.
• 갈루아 군이 Z_p^∞와 동형일 때, 표준 도구가 실패하는 설정에서 이와사와 이론에서 특성 이상을 정의하고 계산할 수 있는 프레임워크를 구축하기 위해.
• 이와사와 주요 추측을 비노에터리안 이와사와 대수에서 검증하기 위해, 클래스 군의 프로-특성 이상이 스티클버거 원소의 역극한과 일치함을 보여주기 위해.

제안 방법

• 필터링된 노에터리안 크룰 도메인 Λ_d의 체계에서의 특성 이상의 역극한으로 프로-특성 이상을 구성한다.
• 두 가지 핵심 가정을 도입한다: (1) M_d의 p_d-탄성 부분모듈은 Λ_{d-1} 위에서 의사-영이다; (2) M_d를 p_d로 나눈 모듈의 특성 이상은 M_{d-1}의 특성 이상에 포함된다.
• 노에터리안 크룰 도메인 위의 타원형 모듈의 구조 정리를 적용하여 각 d에 대해 Ch_Λ_d(M_d)를 정의한다.
• 사영 사상 π^Λ_Λ_d에 의한 특성 이상의 호환성 조건을 이용하여, 프로-특성 이상을 lim← (π^Λ_Λ_d)^{-1}(Ch_Λ_d(M_d))로 정의한다.
• B = A[[t]]일 때, 의사-영 B-모듈에 대해 Ch_A(M_t) = Ch_A(M/tM)임을 보여주는 핵심 기술적 결과(정리 1.1)에 의존한다.
• 이 프레임워크를 비노에터리안 이와사와 대수인 특성 p인 함수체의 완전 분기 Z_p^∞-확장에서의 클래스 군에 적용한다.

실험 결과

연구 질문

• RQ1 Gal(F/F) ≅ Z_p^∞일 때, Z_p[[Gal(F/F)]]와 같이 비노에터리안 이와사와 대수 위의 모듈에 대해 특성 이상을 어떻게 정의할 수 있는가?
• RQ2 노에터리안 몰입체의 탑재에서 특성 이상의 역극한이 잘 정의되고 산술적으로 의미 있는 불변량이 되기 위한 조건은 무엇인가?
• RQ3 비노에터리안 설정에서 이와사와 주요 추측이 성립하는가, 그리고 이를 프로-특성 이상을 통해 표현할 수 있는가?
• RQ4 Z_p^∞-확장 내의 Z_p^d-확장의 필터링 선택에 대해 프로-특성 이상은 독립적인가?
• RQ5 스티클버거 원소의 역극한은 비노에터리안 이와사와 대수에서 클래스 군의 프로-특성 이상으로 해석될 수 있는가?

주요 결과

• 비노에터리안 이와사와 대수 Λ 위의 모듈 M = lim← M_d에 대해, M_d와 Λ_d에 대한 적절한 가정 하에 프로-특성 이상은 lim← (π^Λ_Λ_d)^{-1}(Ch_Λ_d(M_d))로 정의된다.
• 프로-특성 이상은 Z_p^∞-확장 내의 Z_p^d-확장 필터링의 선택과 무관하다. 공통의 세분화를 통한 비교로 이를 입증하였다.
• 특성 p인 함수체의 완전 분기 Z_p^∞-확장에서의 클래스 군에 대해, 프로-특성 이상은 유한 수준 클래스 군의 특성 이상의 역극한과 일치한다.
• 유한 수준에서의 이와사와 주요 추측이 성립할 경우, Ch_Λ_d(A(F_d)) = (θ_{F_d/F,S})이며, 이를 역극한으로 취하면 비노에터리안 대수 Λ에서 lim← Ch_Λ_d(A(F_d)) = (θ_{F/F,S})를 얻는다.
• 프로-특성 이상은 고전적 스티클버거 원소를 생성자로 회복하여, 비노에터리안 설정에서의 이와사와 주요 추측을 확인한다.
• 이 구성은 필터링에 의존하지 않는 표준적인 프로-특성 이상의 정의를 제공하여, 이전에 임의의 필터링에 기반한 정의에서 발생하는 모호성을 해결한다.