[논문 리뷰] Integral p-adic Hodge theory

Bhargav Bhatt|arXiv (Cornell University)|2015. 01. 01.

Algebraic Geometry and Number Theory참고 문헌 35인용 수 47

한 줄 요약

이 논문은 $ℚ_p$의 정수環 위의 고정된 미분가능한 형식 스킴에 대한 새로운 $p$-진 코homology 이론을 소개한다. 이 이론은 Breuil–Kisin–Fargues 모듈러의 혼합특성에 해당하는 다이우돈느 모듈러의 일반화된 형태인 값으로, 크리스탈린, 드람, 에탈 코호몰로지 이론을 통합한다. Fontaine의 주기환을 통한 비교동형사상에 의해, $p$- torsion이 크리스탈린 코호몰로지에서의 상한을 이루며, $p$-torsion-free 조건 하에서 에탈 코호몰로지로부터 크리스탈린 코호몰로지를 정수적으로 재구성할 수 있음을 보여준다.

ABSTRACT

I will describe joint work with M. Morrow and P. Scholze on the construction of a new integral cohomology theory for smooth projective schemes over the ring of integers of a p-adic field. The new theory realizes de Rham cohomology as a specialization of etale cohomology (integrally), and thus yields consequences about torsion by semicontinuity.

연구 동기 및 목표

• 완전한 잔여체를 가진 $p$-진 체 $K$의 정수환 $ℚ_K$ 위의 고정된 미분가능한 형식 스킴에 대해 새로운 정수 $p$-진 코호몰로지 이론을 구성하는 것.
• 크리스탈린, 드람, 에탈 코호몰로지 이론을 하나의 프레임워크 안에서 통합하는 것.
• 특히 $p$-torsion이 없는 경우, 정수적 비교정리 이론을 통해 $p$-진 에탈 코호몰로지와 크리스탈린 코호몰로지 사이의 강력한 정수적 비교정리를 확립하는 것.
• Breuil–Kisin 모듈러 이론을 이용하여, 에탈 코호몰로지로부터 크리스탈린 코호몰로지를 체계적으로 정수적으로 재구성하는 것.

제안 방법

• 이론은 Faltings의 거의 순수성 정리와 원래 Berthelot–Ogus에 의해 정의된 유도 범주 위의 $L\eta$-연산자에 기반한다.
• 코호몰로지 복합체 $A\Omega_{\mathfrak{X}}$는 $q$-변형된 드람 코호몰로지로 정의되며, 자연스러운 필터링과 갈루아/프로베니우스 작용을 갖는다.
• 아핀 조각에서는 Langer–Zink의 드람–와이트 복합체와 관련되어 있어, 구체적인 계산 모델을 제공한다.
• 이러한 구성은 Fargues가 정의한 혼합특성의 다이우돈느 모듈러 범주에 기반하며, Breuil–Kisin 모듈러를 일반화한다.
• 주기환 $B_{\mathrm{crys}}$와 $B_{\mathrm{dR}}$를 이용한 비교정리 이론은 명시적인 복합체와 필터링의 호환성에 기반한다.
• 핵심 기술적 도구는 $A\Omega_{\mathfrak{X}}$를 특정 퍼펙트로이드 복합체의 극한으로 식별하는 것으로, 이는 유도 대수기하학 기법의 적용을 가능하게 한다.

실험 결과

연구 질문

• RQ1 크리스탈린, 드람, 에탈 코호몰로지 이론 전부에 특수화되는 단일 정수 $p$-진 코호몰로지 이론을 구성할 수 있는가?
• RQ2 에탈 코호몰로지의 일반성 섬에서 크리스탈린 코호몰로지를 정수적으로 재구성할 수 있는가?
• RQ3 $p$-진 에탈 코호몰로지와 크리스탈린 코호몰로지 사이의 $p$-torsion 간 정확한 관계는 무엇인가?
• RQ4 유도 범주 위의 $L\eta$-연산자가 정수적 $p$-진 코호몰로지 이론을 얼마나 잘 지원하는가?
• RQ5 에탈과 크리스탈린 코호몰로지 사이의 비교동형사상을 $p$를 역행렬 없이 정수적으로 만들 수 있는가?

주요 결과

• 갈루아 작용과 프로베니우스 작용, 필터링과 호환되는 비교동형사상 $H^i_{\text{ét}}(X_C,\mathbb{Z}_p)\otimes_{\mathbb{Z}_p} B_{\mathrm{crys}} \cong H^i_{\mathrm{crys}}(\mathfrak{X}_k/W(k))\otimes_{W(k)} B_{\mathrm{crys}}$ 가 존재한다.
• 모든 $n \geq 0$에 대해, 크리스탈린 코호몰로지에서의 $p$-torsion 길이는 $\mathrm{length}_{W(k)}(H^i_{\mathrm{crys}}(\mathfrak{X}_k/W(k))_{\mathrm{tor}}/p^n) \geq \mathrm{length}_{\mathbb{Z}_p}(H^i_{\text{ét}}(X_C,\mathbb{Z}_p)_{\mathrm{tor}}/p^n)$ 를 만족하며, 이는 크리스탈린 코호몰로지에서의 $p$-torsion-free 조건이 에탈 코호몰로지에서도 성립함을 시사한다.
• 만약 $H^i_{\mathrm{crys}}(\mathfrak{X}_k/W(k))$와 $H^{i+1}_{\mathrm{crys}}(\mathfrak{X}_k/W(k))$가 $p$-torsion-free이면, $H^i_{\mathrm{crys}}(\mathfrak{X}_k/W(k))$는 Breuil–Kisin 모듈러 구성에 의해 $H^i_{\text{ét}}(X_C,\mathbb{Z}_p)$ 로부터 정수적으로 복원 가능하다.
• $A\Omega_{\mathfrak{X}}$ 코호몰로지 이론은 드람 코호몰로지의 $q$-변형이며, 아핀 조각에서 드람–와이트 복합체를 통해 코호몰로지를 계산한다.
• $A\Omega_{\mathfrak{X}}$의 구성은 $L\eta$-연산자와 Faltings의 거의 순수성 정리에 기반하며, 내림과 비교정리 이론을 가능하게 한다.
• 이 이론은 $H^i_{\text{ét}}(X_C,\mathbb{Z}_p)\otimes_{\mathbb{Z}_p} B_{\mathrm{dR}}$ 에서의 자연스러운 $B_{\mathrm{dR}}^+$-격자(기저)를 제공하며, 허지 필터링과 드람 비교정리와 호환된다.