[논문 리뷰] Notes on the A_inf-cohomology of Integral p-adic Hodge theory

Matthew Morrow|arXiv (Cornell University)|2016. 08. 02.

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

한 줄 요약

이 논문은 $Ā_{\text{inf}}$-cohomology 이론을 정수 $p$-진 호지 이론의 맥락에서 상세하고 자가 포함된 서술을 제공하며, 상대 de Rham–Witt 복합체를 통해 $p$-진 유사체의 카르티에 동형사상의 $p$-진 유사체를 다룹니다. 이는 에탈, 크리스탈린, 드 라무 코homology를 모두 통합하는 새로운 정수 코homology 이론을 $p$-진 스킴에 대해 구축하며, 핵심 결과는 기저 변경된 $Ā\Omega_{\mathfrak{X}/\mathcal{O}}$ 복합체의 코homology 층이 $L\eta$ 디칼라주 함수자와 $\widetilde{\theta}_r$ 사상들을 통해 랑거–징의 상대 de Rham–Witt 복합체와 일치한다는 것입니다. 이는 전통적인 크리스탈린 및 드 라무 설정을 초월하여 정수 $p$-진 호지 이론의 기초 프레임워크를 확립합니다.

ABSTRACT

We present a detailed overview of the construction of the A_inf-cohomology theory from the preprint "Integral p-adic Hodge theory", joint with B. Bhatt and P. Scholze. We focus particularly on the p-adic analogue of the Cartier isomorphism via relative de Rham--Witt complexes.

연구 동기 및 목표

• 논문 [BMS]에서 제시된 $Ā_{\text{inf}}$-cohomology 이론의 자가 포함된 상세한 구축을 제시함으로써 정수 $p$-진 호지 이론에서의 역할을 다룸.
• 상대 de Rham–Witt 복합체를 통한 $p$-진 유사체의 카르티에 동형사상의 정확한 역할을 명확히 하여 이론의 정수성과 다른 코homology 이론들과의 호환성을 보장함.
• 특히 $L\eta$ 디칼라주 함수자와 $\widetilde{\theta}_r$ 사상들에 초점을 맞춰 $Ā_{\text{inf}}$-cohomology의 핵심 기술적 구성요소를 분리하고 상세히 설명함으로써 이론의 접근성을 높임.
• $p$-진 카르티에 동형사상이 중심 정리로서 기능함을 입증함. 이는 $Ā\Omega_{\mathfrak{X}/\mathcal{O}}$ 복합체의 코homology와 랑거–징의 상대 de Rham–Witt 복합체를 연결함.
• 기저 변경, 준동형사상, 토퍼션 제어에 관한 기술적 레퍼런스를 제공함으로써 정수 $p$-진 호지 이론의 광범위한 프로그램을 위한 기초를 마련함.

제안 방법

• 이론은 $p$-진 코homology에서 '잡동력 토퍼션'을 제거함으로써 정수 결과를 가능하게 하는 $L\eta$ 디칼라주 함수자에 의존함.
• 코호몰로지 계산은 프로-에탈 스킴 $X_{\text{proét}}$에서 수행되며, 완전한 프리드먼 링과 관련된 거의 준동형사상과 군 코호몰로지 기법을 사용함.
• 핵심 사상인 $\theta_r$와 $\widetilde{\theta}_r$는 포나인의 고전적 $\theta$ 사상의 일반화로, $\u0100_{\text{inf}}$에서 $\mathcal{O}$-대수로의 기저 변경을 가능하게 하며, $p$-진 카르티에 동형사상의 실현에 기여함.
• $p$-진 카르티에 동형사상은 토루스에서 국소 계산으로 환원하여 증명되며, 이 경우 드 라무–위트 복합체는 라렌트 다항식 대수의 군 코호몰로지로 표현됨.
• 위트 복합체는 $\u0100_{\text{inf}}$ 위에서 폴로이드 액션을 가진 유도된 교환 대수에서 구성되며, 제약, 프로베누스, 버쉬베이션 사상이 포함된 미분 형식의 보편적 프레임워크를 제공함.
• 기저 변경과 코호몰로지에서 $L\eta$의 행동에 관한 기술적 레퍼런스를 사용하여, 거의 준동형사상이 디칼라주 후 진짜 준동형사상이 되며, 주요 비교 정리의 실현을 가능하게 함.

실험 결과

연구 질문

• RQ1 어떻게 $p$-진 스킴에 대해 에탈, 크리스탈린, 드 라무 코호몰로지의 모든 것을 통합하는 새로운 정수 코호몰로지 이론을 구축할 수 있는가?
• RQ2 디칼라주 함수자 $L\eta$는 정수 $p$-진 호지 이론에서 토퍼션을 제거하고 정수 결과를 가능하게 하는 데 어떤 정확한 역할을 하는가?
• RQ3 $p$-진 카르티에 동형사상은 $\u0100\Omega_{\mathfrak{X}/\mathcal{O}}$의 코호몰로지와 랑거–징의 상대 de Rham–Witt 복합체를 어떻게 연결하는가?
• RQ4 상대 de Rham–Witt 복합체는 $\u0100_{\text{inf}}$ 위에서 폴로이드 액션을 가진 라렌트 다항식 대수의 군 코호몰로지로부터 구성될 수 있는가?
• RQ5 $*>1$에 대해 $\operatorname{Tor}_{*}^{\u0100_{\text{inf}}}(M,W(k))=0$이 되는 조건은 무엇이며, 이는 크리스탈린 전환에서의 토퍼션 자유성과 어떻게 관련되는가?

주요 결과

• $p$-진 카르티에 동형사상은 중심 결과로 입증됨: 기저 변경된 복합체 $\u0100\Omega_{\mathfrak{X}/\mathcal{O}} \otimes_{\widetilde{\theta}_r} \mathcal{O}$의 코호몰로지 층은 랑거–징의 상대 de Rham–Witt 복합체와 동형임을 보임.
• $L\eta$ 디칼라주 함수자가 기저 변경 후 준동형사상을 유지하고, 거의 준동형사상을 진짜 준동형사로 변환함을 입증함으로써, 토퍼션의 정수 제어가 가능해짐.
• 토루스의 상대 de Rham–Witt 복합체는 $\u0100_{\text{inf}}$ 위에서의 라렌트 다항식 대수의 군 코호몰로지로 표현됨. 이는 $p$-진 카르티에 동형사상의 국소 모델을 제공함.
• $\u0100_{\text{inf}}$ 위에서 폴로이드 호환 유도 대수에서 유도된 위트 복합체는 위트 복합체의 범주에서 보편 대상을 제공함. 이는 고전적 드 라무–위트 이론을 일반화함.
• $\widetilde{\theta}_r$ 사상은 잘 정의된 기저 변경을 유도함으로써, $p$-진 카르티에 동형사상이 토루스에서의 계산으로 환원될 수 있도록 함. 이는 전반적 증명을 단순화함.
• $M[1/p]$이 $\u0100_{\text{inf}}[1/p]$ 위에서 평탄하다면, $*>1$에 대해 $\operatorname{Tor}_{*}^{\u0100_{\text{inf}}}(M,W(k))=0$임을 입증함. 이는 크리스탈린 전환에서의 고차원 토퍼션 자유성을 보장함.