[논문 리뷰] A spectral sequence for Iwasawa adjoints

Uwe Jannsen|arXiv (Cornell University)|2013. 07. 24.

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

한 줄 요약

이 논문은 $p$-진 리 확장에서 연속 갈루아 코hom로지 군과 관련 갈루아 모듈의 아이와사드 조인트 모듈 간의 스펙트럴 시퀀스를 수립한다. 유한 생성 아이와사드 모듈의 스펙트럴 시퀀스를 구성함으로써, 완비화된 군환 위에서의 Ext 군을 통한 일반화된 아이와사드 조인트의 순수 대수적 연구 도구를 제공하며, 아이와사드 이론에서 타이트 모듈과 코호몰로지의 구조에 핵심적인 응용을 갖는다.

ABSTRACT

We establish a purely algebraic tool for studying the Iwasawa adjoints of some natural Iwasawa modules for $p$-adic Lie group extensions of number fields, by relating them to certain continuous Galois cohomology groups via a spectral sequence.

연구 동기 및 목표

• 아이와사드 이론에서 $p$-진 리 군에 대한 갈루아 모듈의 일반화된 아이와사드 조인트를 분석하기 위한 순수 대수적 도구를 개발하는 것.
• 완비화된 군환 위에서의 Ext 군으로 정의된 아이와사드 조인트를 연속 갈루아 코호몰로지 군과 연결하는 것.
• 유한부분확장의 코호몰로지 군의 역극한을 아이와사드 조인트로 표현하는 스펙트럴 시퀀스를 수립하는 것.
• 스펙트럴 시퀀스를 통해 비아벨리안 $p$-진 리군으로의 고전 아이와사드 대칭성 결과를 일반화하는 것.
• 비자명한 갈루아 작용에서 타이트 모듈과 그 코호몰로지의 구조를 연구하기 위한 프레임워크를 제공하는 것.

제안 방법

• 완비화된 군환 $\Lambda = \mathbb{Z}_p[[\mathcal{G}]]$에서의 유한 생성 $\Lambda$-모듈의 스펙트럴 시퀀스를 구성하며, 여기서 $\mathcal{G} = \mathrm{Gal}(k_\infty/k)$는 $p$-진 리군이다.
• 유도함수 $E^i(M) = \mathrm{Ext}^i_\Lambda(M, \Lambda)$를 사용하여 $\Lambda$-모듈 $M$의 아이와사드 조인트를 정의함으로써 고전 아이와사드 대칭성을 일반화한다.
• 계수로 $p$-primary 모듈 $A$를 갖는 쌍 $G_{\infty,S} \subset G_S$ 에 대해 호크시لد-세르 스펙트럴 시퀀스를 적용하여 코호몰로지에서의 스펙트럴 시퀀스를 이끌어낸다.
• 모듈 $A$ 가 아벨군으로서 $(\mathbb{Q}_p/\mathbb{Z}_p)^r$ 와 동형이며, $G_S$-모듈로서 이산적임을 이용하여 유한 생성 $\Lambda$-모듈의 구조를 확보한다.
• 유한부분확장 $k' \subset k_\infty$ 과 $p^n$- torsion 수준에 대한 역극한을 사용하여 이산 코호몰로지와 타이트 모듈의 연속 코호몰로지를 연결한다.
• 프로피니트 군 코호몰로지 이론에서 $\mathbb{Z}/p^n\mathbb{Z}$-모듈을 계수로 갖는 일반적 결과를 이용하여 스펙트럴 시퀀스를 증명하며, 코호몰로지의 $\delta$-함수와 Ext 군 간의 동형을 확립한다.

실험 결과

연구 질문

• RQ1 어떻게 $p$-진 리 확장에서 갈루아 모듈의 아이와사드 조인트를 연속 갈루아 코호몰로지 군과 체계적으로 연결할 수 있는가?
• RQ2 어떤 스펙트럴 시퀀스가 $\mathrm{Ext}^i_\Lambda(H^q(G_{\infty,S}, A)^\vee, \Lambda)$ 와 $\varprojlim_{k', m} H^{p+q}(G_S(k'), A[p^m])$ 의 역극한 코호몰로지 군 간의 연결고리가 되는가?
• RQ3 어떤 조건에서 스펙트럴 시퀀스가 분해되거나 단순화되며, 특히 $H^2(G_{\infty,S}, A) = 0$ 일 때는 어떠한가?
• RQ4 지수 $p^n$ 인 유한한 $p$-primary 모듈에 대해 스펙트럴 시퀀스는 어떻게 행동하며, 타이트 모듈의 연속 코호몰로지와 어떻게 관련되는가?
• RQ5 스펙트럴 시퀀스를 사용하여 비아벨리안 환경에서 고전 아이와사드 대칭성 결과를 복원하거나 일반화할 수 있는가?

주요 결과

• 스펙트럴 시퀀스 $E_2^{p,q} = \mathrm{Ext}^p_\Lambda(H^q(G_{\infty,S}, A)^\vee, \Lambda) \Rightarrow \varprojlim_{k', m} H^{p+q}(G_S(k'), A[p^m])$ 는 아이와사드 조인트와 유 end subextensions의 코호몰로지 간 직접적인 연결고리 제공.
• 만약 $H^2(G_{\infty,S}, A) = 0$ 이면, 인플레이션 사상 $\inf^2$ 의 상사상은 $\ker(E^1(H^1(G_{\infty,S}, A)^\vee) \to E^3(H^0(G_{\infty,S}, A)^\vee))$ 와 동형이며, 이는 약한 레오폴트 추측에 대한 코호몰로지적 장벽을 제공한다.
• $\mathcal{G} \cong \mathbb{Z}_p^r$ 일 때, 아이와사드 조인트 $E^i(M)$ 는 $E^i(M) \cong H^{r+1-i}_{\mathfrak{m}}(M)^\vee$ 를 통해 국소 코호몰로지 군과 동형이며, 고전적 대칭성을 일반화한다.
• 낮은 차수에서 스펙트럴 시퀀스는 $E^1(H^0)^\vee$, $\varprojlim H^1(G_S(k'), T_pA)$, $E^2(H^0)^\vee$ 를 포함하는 5항 정확수열로 분해되어 계산 도구를 제공한다.
• 지수 $p^n$ 인 유한한 $p$-primary 모듈 $A$ 에 대해서는 유사한 스펙트럴 시퀀스가 존재하며, 여기서 $\Lambda_n = \mathbb{Z}/p^n[[\mathcal{G}]]$ 이고, 코호몰로지 군은 $\mathrm{Ext}^{p+q-1}_{\Lambda_n(G_S)}(A^\vee, \Lambda_n)$ 과 동형이다.
• 모듈 $A$ 가 지수 $p^d$ 를 가질 경우, $n$ 에 대한 $H^m(G_S, A[p^n])$ 의 역극한은 $m \geq 1$ 에서 0이 되며, 미타그-레플러 조건 덕분에 스펙트럴 시퀀스가 안정화된다.