[논문 리뷰] Absolute prismatic cohomology

Bhargav Bhatt, Jacob Lurie|arXiv (Cornell University)|2022. 01. 16.

Algebraic Geometry and Number Theory인용 수 11

한 줄 요약

이 논문은 p-진 코hom로지 이론을 통합하는 프레임워크로 절대 프라스틱 코hom로지를 소개하며, 카르티에-위트 스택을 통해 프라스틱 크리스탈을 재해석한다. 크리스탈린, 드람, 에탈 코hom로지와의 기본적 비교를 수립하고, 신토믹 및 호지-타운 코hom로지를 정교화하는 뉴헤이드 필터링을 구축하여, p-진 형식 스킴에 대한 고전적 호지 이론의 p-진 대응을 제공한다.

ABSTRACT

The goal of this paper is to study the absolute prismatic cohomology of $p$-adic formal schemes. We do so by recasting the notion of a prismatic crystal on $\mathrm{Spf}(\mathbf{Z}_p)$ in terms of quasicoherent sheaves on a geometric object we call the Cartier-Witt stack.

연구 동기 및 목표

• 절대 프라스틱 코hom로지를 사용하여 p-진 형식 스킴에 대한 통합된 코hom로지 프레임워크를 개발하기 위해.
• 카르티에-위트 스택 위의 쿼시코herent 쉐브를 사용하여 $\mathrm{Spf}(\mathbf{Z}_p)$ 위의 프라스틱 크리스탈을 재해석하기 위해.
• 절대 프라스틱 코hom로지와 크리스탈린, 드람, 에탈 코hom로지와 같은 고전적 불변량 간의 비교를 수립하기 위해.
• 절대 프라스틱 코hom로지 위에 뉴헤이드 필터링을 정의하고 연구하여, 신토믹 및 호지-타운 코호모로지의 정교화를 위해.
• 이론을 주기적 순환 호모로지와 첫 번째 체른 클래스에 적용하여, 비교 사상들을 통한 신토믹과 에탈 코호모로지 간의 연결을 위해.

제안 방법

• 프리즘의 기하학과 프로베니우스 구조를 사용하여 $\mathrm{Spf}(\mathbf{Z}_p)$ 위의 프라스틱 크리스탈을 카르티에-위트 스택 $\operatorname{WCart}$ 위의 쿼시코herent 쉐브로 재구성하기 위해.
• 상대 프라스틱 사이트를 통해 절대 프라스틱 코호모로지를 구성하고, 스무스하거나 국소적으로 균일하지 않은 스킴으로 크리스탈린 코호모로지의 일반화를 위해.
• 카르티에-위트 스택 위에 호지-타운 나누기를 정의하고, 이를 통해 분산된 호지 코호모로지를 정의하여 호지-타운 코호모로지를 정교화하기 위해.
• 절대 프라스틱 코호모로지 위에 뉴헤이드 필터링을 도입하고, 프로베니우스와 $A_{\mathrm{crys}}(R)/pA_{\mathrm{crys}}(R)$ 위의 쌍대 필터링을 사용하며, 드람 및 신토믹 코호모로지와의 호환성을 증명하기 위해.
• $q$-드람 프라스틱과 $p$-진 호지 이론을 사용하여 절대 프라스틱 코호모로지와 크리스탈린, 드람, 에탈 코호모로지 간의 비교 정리를 수립하기 위해.
• 애니메이티드 가환 링과 필터링된 복합체를 사용하여 신토믹 및 모티빅 필터링을 정의하고 계산하여, 체른 클래스와 주기적 순환 호모로지에의 적용을 가능하게 하기 위해.

실험 결과

연구 질문

• RQ1 어떻게 프라스틱 코호모로지를 p-진 형식 스킴에 대한 절대 코호모로지 이론으로 확장할 수 있는가?
• RQ2 카르티에-위트 스택은 프라스틱 크리스탈을 분류하고 코호모로지 데이터를 정리하는 데 어떤 기하학적 역할을 하는가?
• RQ3 절대 프라스틱 코호모로지 위의 뉴헤이드 필터링은 신토믹 및 호지-타운 코호모로지를 어떻게 정교화하며, 드람 코호모로지와의 관계는 어떠한가?
• RQ4 절대 프라스틱 코호모로지와 크리스탈린, 드람, 에탈 코호모로지 간의 비교 동형사상은 무엇인가?
• RQ5 첫 번째 체른 클래스는 프라스틱 설정에서 어떻게 정의되며, 신토믹 및 에탈 코호모로지와의 관계는 어떠한가?

주요 결과

• 절대 프라스틱 코호모로지는 상대 프라스틱 사이트의 하이퍼코호모로지로 정의되며, 스무스하거나 국소적으로 균일하지 않은 형식 스킴으로 크리스탈린 코호모로지를 일반화한다.
• 카르티에-위트 스택 $\operatorname{WCart}$는 프라스틱 크리스탈을 분류하는 기하학적 프레임워크를 제공하며, 호지-타운 나누기는 프라스틱 프로베니우스의 영이 되는 것을 나타낸다.
• 절대 프라스틱 코호모로지 위의 뉴헤이드 필터링은 $A_{\mathrm{crys}}(R)/pA_{\mathrm{crys}}(R)$ 위의 쌍대 필터링과 호환되며, 그 호환성의 계수는 호지-타운 코호모로지와 동형이다.
• 절대 프라스틱 코호모로지와 크리스탈린 코호모로지 간의 비교 정리는 $q$-드람 프라스틱을 통해 수립되며, 뉴헤이드 필터링의 계수는 $A_{\mathrm{crys}}(R)/pA_{\mathrm{crys}}(R)$ 위의 쌍대 필터링과 동형이다.
• 절대 프라스틱 코호모로지의 첫 번째 체른 클래스는 자연적인 비교 사상들을 통해 신토믹 및 에탈 첫 번째 체른 클래스로 사라지며, 호지-타운 코호모로지에서의 이미지는 프라스틱 프로베니우스의 로그 미분으로 주어진다.
• 프로젝티브 번들 공식과 블로업 공식은 신토믹 코호모로지에서 성립하며, $\mathrm{H}^{ullet}(\mathrm{BGL}_m)$ 위의 체른 클래스는 프라스틱 체른 클래스 사상으로 계산되며, 고전적 대수적 K-이론과의 호환성을 확인한다.