[논문 리뷰] The classification of $p$-divisible groups over 2-adic discrete valuation rings

Wausu Kim|arXiv (Cornell University)|2010. 07. 12.

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

한 줄 요약

이 논문은 Frobenius 모듈러스를 이용하여 2진离散환에서의 $p$-나누어지지 않는 군 스킴과 $p$-거듭제곱 차수를 가진 유한 평탄 군 스킴의 분류에 관한 Breuil의 추측을 증명한다. $Τ = W(k)[[u]]$ 위에서의 Frobenius 모듈러스를 사용하여, 결정 이론과 Galois 표현과 호환되는 정확한 반동치 카테고리 동치를 수립한다. 결과적으로 Kisin 이론을 연결성 조건 없이 $p=2$의 경우로 확장하며, 산술 기하학과 군 스킴의 모듈리 공간에 대한 기본 도구를 제공한다.

ABSTRACT

Let $\mathscr{O}_K$ be a 2-adic discrete valuation ring with perfect residue field $k$. We classify $p$-divisible groups and $p$-power order finite flat group schemes over $\mathscr{O}_K$ in terms of certain Frobenius module over $\mathfrak{S}:=W(k)[[u]]$. We also show the compatibility with crystalline Dieudonné theory and associated Galois representations. Our approach differs from Lau's generalization of display theory, and we additionally obtain the the compatibility with associated Galois representations.

연구 동기 및 목표

• 2진 이산환에서 완전한 잔여체를 가진 $p$-나누어지지 않는 군 스킴과 유한 평탄 군 스킴의 분류에 관한 Breuil의 추측을 증명한다.
• 이러한 군 스킴들과 $Τ = W(k)[[u]]$ 위의 특정 Frobenius 모듈러스 사이의 정확한 반동치 카테고리 동치를 수립한다.
• 분류가 결정 이론과 관련된 Galois 표현과 호환됨을 보인다.
• 군 스킴에 대한 연결성 조건 없이 Kisin 이론을 $p=2$의 경우로 확장한다.
• 아벨 유형 Shimura 다양체와 유한 평탄 군 스킴의 모듈리 공간에 대한 정수 모델을 구성하는 프레임워크를 제공한다.

제안 방법

• Kisin 이론과 Frobenius 준동형 $φ(u) = u^p$를 지닌 $Τ = W(k)[[u]]$의 사용.
• Frobenius 모듈러스에서 $χ_K_\infty$-작용을 가진 $ℤ_p$-모듈러스로 가는 반대변환 함자 $T^*_{Τ}$의 구성.
• $p$-나누어지지 않는 군 스킴과 유한 평탄 군 스킴를 매개화하기 위해 카테고리 $\underline{\operatorname{Mod}}_{Τ}(\varphi)^{\leqslant 1}$ 과 $(\operatorname{Mod}/Τ)^{\leqslant 1}$ 의 정의.
• $u$에 대한 환원과 특별한 섬유 Dieudonné 모듈러스와의 비교를 통한 분류 함자들의 정확성 증명.
• 에테일 $φ$-모듈러스와 $τ_{τ}$ 기반 변화를 이용한 일반 섬유 행동 분석 및 사상의 전성 증명.
• 일반 성질과 스킴 이론적 이미지의 응용을 통해 $Τ$-모듈러스 사상의 전성은 군 스킴의 닫힌 포함을 암시함을 증명한다.

실험 결과

연구 질문

• RQ1 2진 이산환 위에서 연결성 조건 없이 $p$-나누어지지 않는 군 스킴과 유한 평탄 군 스킴에 관한 Breuil의 추측은 참인가?
• RQ2 분류가 $p=2$의 경우 결정 이론과 Galois 표현과 호환될 수 있는가?
• RQ3 $p$-나누어지지 않는 군 스킴 $G$에 대해 $Τ_G$를 할당하는 함자 $G \mapsto \mathfrak{M}_G$ 는 $χ_K_\infty$-표현으로 제한되었을 때 정확하고 완전한 충실성 함수인가?
• RQ4 $\mathfrak{S}$-모듈러스 위의 Frobenius 작용의 구조는 $τ_K$ 위의 군 스킴의 구조를 어떻게 반영하는가?
• RQ5 군 스킴의 수열의 정확성은 해당 $Τ$-모듈러스 수열을 통해 감지될 수 있는가?

주요 결과

• 논문은 $\mathscr{O}_K$ 위의 $p$-나누어지지 않는 군 스킴와 카테고리 $\underline{\operatorname{Mod}}_{Τ}(\varphi)^{\leqslant 1}$ 사이의 정확한 반동치 카테고리 동치를 수립하여, $p=2$의 경우 Breuil의 추측을 증명한다.
• $p$-나누어지지 않는 군 스킴 $G$의 반대변환 Dieudonné 결정체 $\mathbb{D}^*(G)$ 는 그에 관련된 $\mathfrak{M}_G$ 에서 복원 가능하다.
• 자연스러운 $\boldsymbol{\mathcal{G}}_{K_\infty}$--equivariant 동형사상 $T_p(G) \cong T^*_{\mathfrak{S}}(\mathfrak{M}_G)$ 가 존재하여 Galois 표현과의 호환성을 보장한다.
• 유한 평탄 군 스킴 $H$에 대해 $\mathfrak{S}$-모듈러스 $\mathfrak{M}_H$ 는 $\mathbb{D}^*(H)$ 를 복원하며, $H(\overline{K}) \cong T^*_{\mathfrak{S}}(\mathfrak{M}_H)$ 는 $\boldsymbol{\mathcal{G}}_{K_\infty}$-모듈러스로서 성립한다.
• 군 스킴 수열의 정확성은 해당 $Τ$-모듈러스 수열의 정확성과 동치이며, 핵심 단계는 $τ_{τ}$ 기반 변화와 에테일 $φ$-모듈러스 이론에 기반한다.
• $\mathfrak{S}$-모듈러스 사상 $\mathfrak{M} \twoheadrightarrow \mathfrak{M}'$ 의 전성은 해당 군 스킴 사상이 닫힌 포함임을 암시하며, 정확성 기준의 역을 증명한다.