[논문 리뷰] New methods for (phi, Gamma)-modules

Kiran S. Kedlaya|arXiv (Cornell University)|2013. 07. 10.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 4

한 줄 요약

이 논문은 고전적 분할 이론과 타인-센 형식론을 회피하면서 페르페クト로이드 대수와 야외 링 이론 기법을 사용하여 p-진 호지 이론의 두 기초적 결과—Fontaine-Wintenberger의 Galois 군 동형사상과 Cherbonnier-Colmez의 (φ,Γ)-모듈의 분해완비화 정리—에 대한 새로운 자가 포함 증명을 제시한다. 핵심 기여는 페르페クト로이드 링에서의 에테일 (φ,Γ)-모듈에 대한 직접적인 내림림 증거로, p-진 노름에서의 행렬 수렴을 통해 수렴성의 성립을 확립한다.

ABSTRACT

We provide new proofs of two key results of p-adic Hodge theory: the Fontaine-Wintenberger isomorphism between Galois groups in characteristic 0 and characteristic p, and the Cherbonnier-Colmez theorem on decompletion of (phi, Gamma)-modules. These proofs are derived from joint work with Liu on relative p-adic Hodge theory, and are closely related to Scholze's study of perfectoid algebras and spaces.

연구 동기 및 목표

• 고전적 분할 이론에 의존하지 않고, 특성 0과 특성 p에서의 갈루아 군 간의 Fontaine-Wintenberger 동형사상을 재증명하는 것.
• 타인-센 형식론을 활용하지 않고 (φ,Γ)-모듈의 분해완비화에 관한 Cherbonnier-Colmez 정리를 새롭게 증명하는 것.
• 틸팅을 통한 페르페クト로이드 체와 특성 p의 페르페クト 체 사이의 함의적 대응을 일반화하여, Fontaine-Wintenberger 결과를 일반화하는 것.
• 에테일 (φ,Γ)-모듈의 기저 확장이 overconvergent 링 A_K^†에서 perfectoid 링 A˜_K^†로 이루어질 때, 이가 범주론적 동치임을 증명하는 것.
• p-진 수렴성에 기반한 행렬의 수렴성 논증을 사용하여, 강체 해석 기하학적 공간 위에서 상대적 (φ,Γ)-모듈 이론을 overconvergent로 일반화하는 것.

제안 방법

• 페르페クト로이드 체와 특성 p의 페르페クト 체 간의 틸팅 대응을 분석하기 위해 엄격한 p-환과 윌트 벡터 구성법을 사용하는 것.
• 코로나리 2.5.7을 통한 반복적 업그레이드를 이용하여, 페르페クト로이드 링에서 overconvergent 설정으로 기저를 내림림하기 위한 수렴 행렬 시퀀스 U_l를 A˜_K^†에서 구성하는 것.
• 행렬 G_l와 그 γ-행동에 의한 변형의 수렴성을 제어하기 위해 p-진 노름 추정치 |·|_r를 적용하는 것.
• 항등식 H^{-1}Cφ(H) - C = (γ-1)(C)를 통한 행렬의 분해: A_K^†와 T(특정한 p-진 완비화)의 성분으로 나누었을 때, 비영일 경우 모순이 발생함을 보이는 것.
• φ(H) = Hγ(A)의 교환관계를 이용하여, C=0일 때 φ-행동이 A_K^†로 내림림됨을 강제함으로써, A의 성분이 A_K^†에 속함을 유도하는 것.
• 수렴성 U = U_0U_1⋯을 이용한 내림림 증거를 통한 범주론적 동치 증명: A˜_K^†에서의 에테일 (φ,Γ)-모듈이 p를 모듈로로 고정한 기저를 가질 경우, A_K^†로 내림림됨을 보이는 것.

실험 결과

연구 질문

• RQ1 Fontaine-Wintenberger 동형사상은 고전적 분할 이론에 의존하지 않고 증명될 수 있는가?
• RQ2 Cherbonnier-Colmez 정리의 분해완비화에 관한 증명은 타인-센 형식론을 사용하지 않고 재증명될 수 있는가?
• RQ3 페르페クト로이드 링 A˜_K^†에서 overconvergent 링 A_K^†로 (φ,Γ)-모듈에 대한 직접적인 내림림 방법이 존재하는가?
• RQ4 어떤 조건이 페르페クト로이드 링 위의 (φ,Γ)-모듈이 overconvergent 부분 링으로 내림림됨을 보장하는가?
• RQ5 p-진 노름 추정치를 통한 행렬의 성질을 통해, p-진 갈루아 표현의 overconvergent 성질을 대수적으로 어떻게 특징지을 수 있는가?

주요 결과

• 윌트 벡터와 p-진 수렴을 사용한 직접적 구성에 의해, 야외 링 이론을 회피한 채 페르페クト로이드 체와 특성 p의 페르페クト 체 간의 틸팅 대응이 확립된다.
• A_K^†에서 A˜_K^†로의 기저 확장 함의가 범주론적 동치임을 증명함으로써, p-진 갈루아 표현의 수렴성의 성립이 입증된다.
• 행렬 G = γ(e_j)는 수렴하는 행렬의 곱 U_l에 의한 코어지게 변환된 후, A_K^†에 속하는 행렬로 수렴함을 보였으며, ε < min{c^{-r}, 1}일 때 |X_l|_r ≤ ε^{2} 및 |Y_l|_r ≤ ε^{l+2}를 만족한다.
• 모순 증명을 통해 φ-행동에서 오차 항 C는 반드시 0이 되어야 하며, 이는 φ-행동이 A_K^†로 내림림됨을 강제함으로써 모듈의 내림림을 증명한다.
• overconvergent 링 A_K^†는 π에 대한 형식적 로랑 급수로, 계수들이 Z_p에 속하고, n → -∞일 때 π^n의 계수의 p-진 노름이 적어도 -n에 대해 선형적으로 증가하는 조건을 만족하는 집합으로 특징지어진다.
• 증명은 A˜_K^† 위에서의 모듈 M에 대한 Γ-행동이 A_K^†로 내림림되며, 두 링의 동일한 위상 구조로 인해 연속적임을 보였다.