[논문 리뷰] p-adic derived de Rham cohomology

Bhargav Bhatt|arXiv (Cornell University)|2012. 04. 30.

Algebraic Geometry and Number Theory참고 문헌 22인용 수 48

한 줄 요약

이 논문은 $p$-adic 스킴과 $\mathbf{F}_p$-스킴에 대해 유도된 de Rham 코homology 프레임워크를 수립하고, lci 사상에 대해 유도된 de Rham 코homology와 크리스탈린 코homology 사이의 비교 등장사상(비교 isomorphism)을 증명한다. 이는 Beilinson의 $h$-위상수학적 접근의 $p$-진 수학적 유사물에 기반하여 Fontaine의 크리스탈린 추측 $C_{\mathrm{crys}}$와 Fontaine-Jannsen의 준정적 추측 $C_{\mathrm{st}}$에 대한 새로운 증명을 이끌어낸다.

ABSTRACT

This paper studies the derived de Rham cohomology of F_p and p-adic schemes, and is inspired by Beilinson's recent work. Generalising work of Illusie, we construct a natural isomorphism between derived de Rham cohomology and crystalline cohomology for lci maps of such schemes, as well logarithmic variants. These comparisons give derived de Rham descriptions of the usual period rings and related maps in p-adic Hodge theory. Placing these ideas in the skeleton of Beilinson's construction leads to a new proof of Fontaine's crystalline conjecture and Fontaine-Jannsen's semistable conjecture.

연구 동기 및 목표

• Beilinson의 $h$-위상수학적 접근을 de Rham 추측 $C_{\mathrm{dR}}$를 넘어서 크리스탈린 및 준정적 설정으로 $p$-진 호지 이론에 확장하기 위해.
• 유도된 코homology와 크리스탈린 코homology를 사용하여 주기 링 $B_{\mathrm{crys}}$, $B_{\mathrm{st}}$, $B_{\mathrm{dR}}$의 유도된 de Rham 기술을 수립하기 위해.
• 유도된 de Rham 코homology와 로그 구조를 기반으로 한 새로운 프레임워크를 통해 Fontaine의 크리스탈린 추측 $C_{\mathrm{crys}}$와 준정적 추측 $C_{\mathrm{st}}$를 증명하기 위해.
• Illusie의 유도된 de Rham 코homology를 $p$-adic 스킴으로 일반화하고, lci 사상에 대해 크리스탈린 코homology와의 호환성을 확립하기 위해.
• 필터링, 갈루아 작용, 모노드로미, 프로베니우스 구조를 유지하는 에탈 코hom로와 de Rham 코homology 사이의 비교 등장사상 수립을 위해.

제안 방법

• Illusie 이론의 일반화로서 $p$-adic 스킴과 $\mathbf{F}_p$-스킴에 적응된 유도된 de Rham 코homology를 사용한다.
• de Jong의 변형 정리와 $p$-가분성을 적용하여 $h$-위상수학적 소개집을 구성하고, de Rham 코homology를 상수층으로 층화할 수 있도록 한다.
• 유도된 극한 구조를 사용하여, 유도된 de Rham 코호몰로지에서 에탈 코호몰로지와 $\widehat{A_{\mathrm{st}}}$의 곱으로 구성된 비교 사상 $\mathcal{C}\mathrm{omp}$를 구성한다.
• 비교 사상이 가우스-만신 연결을 존중함으로써 모노드로미 불변성을 확보한다.
• 호지 완비화된 유도된 de Rham 복합체와 로그 구조를 사용하여 준정적 모델의 코호몰로지를 정의한다.
• 포incare 대칭성과 Gysin/컵 곱 호환성을 적용하여 비교 사상이 $\beta^d$에 대해 역을 가짐을 보인다.

실험 결과

연구 질문

• RQ1 유도된 de Rham 코호몰로지가 $p$-adic 스킴의 lci 사상에 대해 크리스탈린 코호몰로지와 비교될 수 있는가?
• RQ2 유도된 de Rham 코호몰로지 프레임워크는 Fontaine의 크리스탈린 추측 $C_{\mathrm{crys}}$에 대한 새로운 증명을 제공하는가?
• RQ3 준정적 추측 $C_{\mathrm{st}}$는 유도된 de Rham 코호몰로지와 $h$-위상수학을 통해 재증명될 수 있는가?
• RQ4 주기 링 $B_{\mathrm{crys}}$, $B_{\mathrm{st}}$, $B_{\mathrm{dR}}$는 어떻게 자연스럽게 유도된 de Rham 코호몰로지에서 유도되는가?
• RQ5 $p$-진 비교 정리의 전역 유사물이 유도된 de Rham 코호몰로지를 사용하여 $\mathbf{Q}$ 위에서 존재하는가?

주요 결과

• 유도된 de Rham 코호몰로지와 크리스탈린 코호몰로지 사이에 자연스러운 등장사상이 $p$-adic 스킴과 $\mathbf{F}_p$-스킴의 lci 사상에 대해 수립된다.
• 비교 등장사상은 필터링, 갈루아 작용, 모노드로미, 프로베니우스 구조를 존중하며, $B_{\mathrm{crys}}$와 $B_{\mathrm{st}}$의 유도된 기술을 제공한다.
• $\mathcal{C}\mathrm{omp}$ 사상은 가우스-만신 연결에 대해 불변성을 보이며, 모노드로미 호환성을 보장한다.
• 비교 등장사상은 포incare 대칭성과 Gysin 사상 호환성에 의해 $\beta^d$에 대해 역을 가짐을 증명한다.
• Beilinson의 뼈대에 유도된 de Rham 프레임워크를 놓음으로써 Fontaine의 크리스탈린 추측 $C_{\mathrm{crys}}$에 대한 새로운 증명을 확보한다.
• 전역 유사물의 준정적 추측을 $\mathbf{Q}$ 위에 제안하고, $A_{\mathrm{ddR}}$의 국소화 위에서 비교 등장사상 수립을 위해.