[논문 리뷰] Logarithmic Prismatic Cohomology I

Teruhisa Koshikawa|arXiv (Cornell University)|2020. 07. 28.

Homotopy and Cohomology in Algebraic Topology참고 문헌 12인용 수 7

한 줄 요약

이 논문은 $δ$-환의 로그 버전인 $δ_{\log}$-환을 개발하여 로그 프라스틱 코homology를 도입한다. 이는 로그 프라스틱 사이트를 구성하고, 반순수 케이스에서 브루아-키신 코homology의 첫 번째 체계적 구성 가능하게 한다. 주요 기여는 이 새로운 프레임워크를 통해 반순수 설정에서 $A_{\text{inf}}$-코homology를 복원하는 데 있다. 또한 허지-테이트 및 크리스탈린 코homology와의 기본적 비교가 수립된다.

ABSTRACT

We introduce a logarithmic variant of the notion of $δ$-rings, which we call $δ_{\log}$-rings, and use it to define a logarithmic version of the prismatic site introduced by Bhatt and Scholze. In particular, this enables us to construct the Breuil-Kisin cohomology in the semistable case.

연구 동기 및 목표

• 형식 스킴에 로그 구조를 포함하는 로그 프라스틱 코hom로지의 일반화를 개발하여, 빅스와 쇼르체의 프라스틱 이론을 반순수 케이스로 확장한다.
• 프라스틱 이론의 일반화에 적합한 새로운 유형의 대상인 $δ_{\log}$-환을 정의하며, 이는 로그 구조가 존재할 때 프로페니우스 올림프로 시스템과 호환된다.
• 로그 프라스틱 사이트를 구성하고, 이를 통해 반순수 케이스에서 $A_{\text{inf}}$-코homology를 복원하는 코homology 이론을 정의한다.
• 새로운 코homology 이론에 대한 기본적 비교를 수립하며, 특히 허지-테이트 및 크리스탈린 비교를 포함한다.

제안 방법

• $δ_{\log}$-환을 $δ$-환의 로그 버전으로 도입하며, 여기서 프로페니우스 올림프로 시스템 $\phi$는 단순화된 모노이드 준동형 $\alpha: M \to A$에 대해 $\phi(\alpha(m)) = \alpha(m^p)$를 만족한다.
• 제한된 프라스틱과 일치하는 사전로그 구조를 지닌 로그 프라스틱을 정의하며, 이는 로그 프라스틱 사이트의 기초를 이룬다.
• 기본 로그 프라스틱을 갖는 로그 형식 스킴 $X$에 대해 로그 프라스틱 사이트 $(X/A)_{\mathbbl{\Delta}}^{\log}$를 구성한다. 이 사이트의 대상은 $A$ 위의 제한된 로그 프라스틱이며, $X$로 가는 호환 가능한 사상들로 구성된다.
• 로그 프라스틱 사이트 위의 구조층 $\mathcal{O}_{\mathbbl{\Delta}}^{\log}$를 사용하여 로그 프라스틱 코homology를 정의한다: $R\Gamma_{\mathbbl{\Delta}}^{\log}(X/A) = R\Gamma((X/A)_{\mathbbl{\Delta}}^{\log}, \mathcal{O}_{\mathbbl{\Delta}}^{\log})$.
• 코호몰로지 복합체가 허지-테이트 트위스트의 직합으로 분해됨을 보여주는 허지-테이트 비교를 수립한다. 이는 코심플렉스 모듈러스 위의 호모토피 동치를 사용한다.
• 기본 체인지에 의한 자연스러운 프라스틱 사상, 특히 $W(k)[[u]]$에서 $A_{\text{inf}}$로 가는 사상에 의해, 로그 프라스틱 코호몰로지와 크리스탈린 코호몰로지를 연결함으로써 크리스탈린 비교를 증명한다.

실험 결과

연구 질문

• RQ1 프라스틱 코호몰로지 이론은 어떻게 로그 구조, 특히 반순수 케이스에서 일반화될 수 있는가?
• RQ2 잘 정의된 프라스틱 사이트와 코호몰로지 이론을 지원하는 로그 프라스틱의 올바른 개념은 무엇인가?
• RQ3 반순수 케이스에서 브루아-키신 코호몰로지가 로그 프라스틱 형식의 변형을 통해 구성될 수 있는가?
• RQ4 로그 프라스틱 코호몰로지는 전통적인 코호몰로지 이론, 예를 들어 크리스탈린 및 허지-테이트 코호몰로지와 어떻게 비교될 수 있는가?
• RQ5 $δ_{\log}$-환은 혼합 특성수에서 프로페니우스 호환 로그 구조를 어떻게 가능하게 하는가?

주요 결과

• 논문은 로그 프라스틱 코호몰로지를 사용하여 반순수 케이스에서 브루아-키신 코호몰로지의 첫 번째 알려진 형태를 구성한다.
• 로그 프라스틱 코호몰로지는 반순수 설정에서 $A_{\text{inf}}$-코호몰로지를 복원하며, 빅스와 쇼르체의 매끄러운 케이스 구성의 일반화이다.
• 허지-테이트 비교가 수립되었으며, 로그 프라스틱 코호몰로지 복합체가 허지-테이트 트위스트의 직합으로 분해됨을 보여주며, 코호몰로지 위에서 $\phi$-행동이 프로페니우스와 호환됨을 확인한다.
• 크리스탈린 비교가 증명되었으며, 자연스러운 프라스틱 사상에 의한 기본 체인지에 의해 로그 프라스틱 코호몰로지가 크리스탈린 코호몰로지로 정확히 변환됨을 보여준다.
• 기존의 프라스틱 간 사상, 즉 $W(k)[[u]] \to A_{\text{inf}} \to W(\overline{k})$와의 일致성이 보장되어, 고전적 코호몰로지 이론과의 일致성을 확보한다.
• 가정 $G = Q^{\text{gp}}/M^{\text{gp}}$ 가 자유 아벨 군일 때, 코심플렉스 모듈러스 위의 상대 프로페니우스의 호모토피 동치가 증명되었으며, 이는 준동치 결과에 필수적이다.