[논문 리뷰] Breuil-Kisin modules and integral $p$-adic Hodge theory

Hui Gao|arXiv (Cornell University)|2019. 05. 21.

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

한 줄 요약

이 논문은 브뤼일-키신 $G_K$-모듈의 범주를 구축하여 정수 계승 반대칭 갈루아 표현을 분류한다. 브뤼일-키신 및 브뤼일-키신-파르그스 모듈에 갈루아 작용을 도입함으로써, 이전 연구에서 존재하던 기본적인 격차를 메운다. 이는 완전하지 않은 $p$-진 위상 대신 $p$-진으로 완비된 링을 사용함으로써, $G_K$-안정성과 정수 계승 $p$-진 호지 이론을 위한 완전한 대수적 프레임워크를 확립한다.

ABSTRACT

We construct a category of Breuil-Kisin $G_K$-modules to classify integral semi-stable Galois representations. Our theory uses Breuil-Kisin modules and Breuil-Kisin-Fargues modules with Galois actions, and can be regarded as the algebraic avatar of the integral $p$-adic cohomology theories of Bhatt-Morrow-Scholze and Bhatt-Scholze. As a key ingredient, we classify Galois representations that are of finite $E(u)$-height.

연구 동기 및 목표

• 정수 계승 반대칭 갈루아 표현을 대수적으로 분류하는 브뤼일-키신 $G_K$-모듈의 범주를 구축하는 것.
• 바흐트-모로우-슐체 및 바흐트-슐체의 정수 계승 $p$-진 코homology 이론의 대수적 해석을 제공하는 것.
• 이전 연구들(예: [Liu07], [Gao18])에서 존재하던 핵심 링들(예: $\widehat{\mathcal{R}}$)의 $p$-진 완비성 문제를 해결하는 것.
• 새로운 프레임워크를 사용하여 유한한 $E(u)$-높이를 가진 갈루아 표현을 분류하는 것.
• 반대칭 표현에 대해 완전히 정수 계승적이고 $p$-진으로 완비된 $(\varphi,\tau)$-모듈 이론을 수립하는 것.

제안 방법

• 자기 모듈 $\mathfrak{S} = W(k)[[u]]$ 와 $W(R)$에서의 갈루아 작용을 사용하여 유한 자유 브뤼일-키신 $G_K$-모듈의 범주를 구성한다. 여기서 $R = \mathcal{O}_{C_p}^\flat$이다.
• 테이히뮐러 상승 $[\underline{\pi}] \in W(R)$를 사용하여 $\mathfrak{S}$를 $W(R)$에 매립함으로써, 프로베니우스 작용 및 갈루아 작용과의 호환성을 확보한다.
• 웨이어스트라스 준비형 논증을 적용하여, 토션 모델 $\mathfrak{M}_n'$의 역극한이 유한 자유 $\mathfrak{S}$-모듈로서 유한한 $E(u)$-높이를 가짐을 보인다.
• $\widehat{\mathcal{R}}$ (알려진 바에 의하면 $p$-진으로 완비되지 않음)를 사용하는 대신, $p$-진으로 완비된 $W(R)$를 사용하여 모듈의 $G_K$-안정성을 확보한다.
• $W(R)$와 $W(k)$의 $p$-진 완비성에 기반하여, $\widetilde{\mathfrak{M}} \otimes_{\varphi,\mathfrak{S}} W(R)$가 $G_K$-안정적임을 증명한다.
• $\mathfrak{M}_n' / u\mathfrak{M}_n'$가 $G_K$-고정임을 이용하여, $p$-진 완비성에 기반해 $\widetilde{\mathfrak{M}} / u\widetilde{\mathfrak{M}}$ 역시 $G_K$-고정임을 보인다.

실험 결과

연구 질문

• RQ1 정수 계승 반대칭 갈루아 표현의 완전한 대수적 분류는 $p$-진으로 완비된 모듈 범주를 통해 달성될 수 있는가?
• RQ2 $G_K$-안정성을 확보하기 위해, $(\varphi,\hat{G})$-모듈의 구성에서 완전하지 않은 $\widehat{\mathcal{R}}$의 적절한 대체는 무엇인가?
• RQ3 [Liu07]과 [Gao18]에서 다루는 문제점—즉, $\mathcal{R}_{K_0} \cap \mathbf{A}_{\mathrm{cris}}$의 $p$-진 완비성 문제—는 어떻게 해결할 수 있는가?
• RQ4 브뤼일-키신 $G_K$-모듈을 사용하여, 유한한 $E(u)$-높이 표현 이론을 완전히 분류할 수 있는가?
• RQ5 바흐트-모로우-슐체 및 바흐트-슐체의 정수 계승 $p$-진 코homology 이론은 이러한 모듈을 통해 얼마나 깊이 있게 대수적으로 실현될 수 있는가?

주요 결과

• 유한 자유 브뤼일-키신 $G_K$-모듈의 범주는 정수 계승 반대칭 갈루아 표현을 완전히 분류한다.
• $\widehat{\mathcal{R}}$ 대신 $W(R)$를 사용함으로써, 이전에 $\hat{G}$-안정성에 기반한 증명에서 무너졌던 $p$-진 완비성 문제를 해결한다.
• 역극한 $\widetilde{\mathfrak{M}} = \varprojlim \mathfrak{M}_n'$은 유한 자유 $\mathfrak{S}$-모듈로서 유한한 $E(u)$-높이를 가지며, 이는 정수성과 유한성 보장한다.
• $\widetilde{\mathfrak{M}} \otimes_{\varphi,\mathfrak{S}} W(R)$는 $G_K$-안정적임을 증명함으로써, 관련 갈루아 표현이 반대칭임을 입증한다.
• $\widetilde{\mathfrak{M}} / u\widetilde{\mathfrak{M}}$에 대한 $G_K$-작용이 자명함을 확인하여, 표현이 $u$ 모듈로 무분별함을 확인한다.
• 모든 링과 아이디얼이 $p$-진으로 완비됨을 보장함으로써, [Liu07, Prop. 6.1.1]과 [Gao18, Thm. 3.1]의 격차를 해결한다.