[논문 리뷰] The prismatization of $p$-adic formal schemes

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

Algebraic Geometry and Number Theory인용 수 7

한 줄 요약

이 논문은 유계 $p$-adic 형식 스킴 $X$ 에 대해 Cartier–Witt 스택 $\operatorname{WCart}⁡_X$ 를 도입하며, 미묘한 조건 하에 $\operatorname{WCart}⁡_X$ 상의 준구성층과 $X$ 상의 프리스마틱 크리스탈 사이의 동치를 확립한다. 이 구성은 유도 대수적 기하학과 애니메이티드 $\delta$-환을 활용하여, 프리스마틱 코homology의 스택 이론적 재해석을 가능하게 하며, 게르베와 유도 변형 이론을 통한 호지-타이트 비교의 개념적 프레임워크를 제공한다.

ABSTRACT

In this note, we introduce and study the Cartier--Witt stack $\mathrm{WCart}_X$ attached to a $p$-adic formal scheme $X$ as well as some variants. In particular, we reinterpret the notion of prismatic crystals on $X$ and their cohomology in terms of quasicoherent sheaf theory on $\mathrm{WCart}_X$ in favorable situations.

연구 동기 및 목표

• 유계 $p$-adic 형식 스킴 $X$ 에 대해 프리스마틱 크리스탈의 스택 이론적 기술을 $\mathbf{Z}_p$ 위의 $\operatorname{WCart}$ 에서 임의의 유계 $p$-adic 형식 스킴 $X$ 로 확장하는 것.
• 상대 프리스마틱 사이트 $(Y/A)\Delta$ 에서의 상대 Cartier–Witt 스택 $\operatorname{WCart}_{Y/A}$ 상의 준구성층과 $Y/A$ 상의 프리스마틱 크리스탈 사이의 대응을 확립하는 것.
• 왜곡된 접선 다발의 PD-velop을 통해 띠운 게르베를 이용한 호지-타이트 비교 동형의 개념적 설명을 제공하는 것.
• 애니메이티드 $\delta$-환과 유도 형식 $\delta$-스킴을 이용한 프리스마티제이션의 유도 프레임워크를 개발하여 상대 프리스마틱 코homology의 체계적 다루기 가능성을 제공하는 것.

제안 방법

• 유도 대수적 기하학과 애니메이티드 $\delta$-환을 사용하여, $p$-nilpotent 환에 대한 함자로써 Cartier–Witt 스택 $\operatorname{WCart}_X$ 를 구성하는 것.
• $\operatorname{WCart}$ 위에서의 피보트 제품 구성법을 통해 $\operatorname{WCart}_X$ 를 정의하며, 유계 프리즘 $A$ 에서 $\operatorname{WCart}$ 로 가는 사상들을 활용하는 것.
• 절대 프리스마틱 사이트 $X^\Delta$ 를 사용하여 $\operatorname{WCart}_X$ 를 프리스마틱 크리스탈의 기하학과 연결하는 것.
• 상대 프리스마틱 사이트 $(Y/A)\Delta$ 에 대해, 유계 프리즘 $(A,I)$ 와 $p$-완전히 매끄러운 $\overline{A}$-스킴 $Y$ 에 대해 상대 Cartier–Witt 스택 $\operatorname{WCart}_{Y/A}$ 를 도입하여 절대 경우를 일반화하는 것.
• $\infty$-범주론적 Barr-Beck 정리 적용을 통해 애니메이티드 $\delta$-환의 $\infty$-범주가 $\operatorname{Forget} \circ \operatorname{Cofree}$ 의 코모나드에 대한 대수의 $\infty$-범주와 동치임을 식별하는 것.
• 왜곡된 접선 다발의 PD-velop을 통해 띠운 게르베로 간주되는 호지-타이트 스택 $\operatorname{WCart}^{\mathrm{HT}}_{\mathrm{Spf}(R)/A}$ 를 사용하여 호지-타이트 비교 동형을 유도하는 것.

실험 결과

연구 질문

• RQ1 프리스마틱 크리스탈의 스택 이론적 기술이 $\operatorname{Spf}(\mathbf{Z}_p)$ 에서의 $\operatorname{WCart}$ 에서 임의의 유계 $p$-adic 형식 스킴 $X$ 로 어떻게 일반화될 수 있는가?
• RQ2 유도 Cartier–Witt 스택 $\operatorname{WCart}_X$ 와 $X$ 의 상대 프리스마틱 코homology 사이의 정확한 관계는 무엇인가?
• RQ3 호지-타이트 비교 동형은 결정론적 크리스탈 비교로의 환원 없이, 스택 상의 기하학적 구조에서 유도될 수 있는가?
• RQ4 애니메이티드 $\delta$-환과 유도 형식 $\delta$-스킴 이론은 $\operatorname{WCart}_X$ 의 체계적 구성에 어떻게 기여하는가?
• RQ5 $\operatorname{WCart}_{Y/A}$ 스택은 상대 프리스마틱 코homology를 기하화하는 데 어떤 역할을 하는가?

주요 결과

• 스택 $\operatorname{WCart}_X$ 는 $X$ 상의 프리스마틱 크리스탈에 대한 기하적 모델을 제공하며, 미묘한 조건 하에 $\operatorname{WCart}_X$ 상의 준구성층은 절대 프리스마틱 사이트 $X^\Delta$ 상의 $(p,I)$-완비 크리스탈과 동치이다.
• 만일 $X = \mathrm{Spf}(R)$ 이고 $R$ 가 퍼펙트로이드 환이라면, $\operatorname{WCart}_X$ 는 $\mathrm{Spf}(A)$ 와 동형이며, 여기서 $(A,I)$ 는 $R$ 와 관련된 퍼펙트 프리즘이다. 이는 퍼펙트로이드 환과 프리즘 사이의 직접적인 연결 고리를 확립한다.
• 호지-타이트 비교 동형 $H^*(\overline{\mathbbl{\Delta}}_{R/A}) \simeq \wedge^*\Omega^1_{R/\overline{A}}\{-1\}$ 은 호지-타이트 스택 $\operatorname{WCart}^{\mathrm{HT}}_{\mathrm{Spf}(R)/A}$ 가 왜곡된 접선 다발의 PD-velop을 통해 띠운 게르베로 간주될 때 자연스럽게 유도된다.
• 유도 상대 프리스마티제이션 $\operatorname{WCart}_{Y/A}$ 는 신토믹성 조건 하에 그 $\mathcal{O}$-코homology 를 통해 사이트론 상대 프리스마틱 코homology $\operatorname{R\Gamma}^{\mathrm{site}}\Delta(Y/A)$ 를 계산한다.
• 애니메이티드 $\delta$-환의 $\infty$-범주는 $\mathrm{Forget} \circ \mathrm{Cofree}$ 의 코모나드에 대한 대수의 $\infty$-범주와 동치이며, 윌트 벡터 함수 $W(R)$ 는 자연스럽게 $\delta$-구조를 지닌다.
• 호모토피 동치 $\mathrm{Hom}_{\delta\mathrm{CAlg}^{\mathrm{an}}}(A, W(R)) \simeq \mathrm{Hom}_{\mathrm{CAlg}^{\mathrm{an}}}(A,R)$ 는 제한 사상 $\mathrm{Res}: W(R) \to R$ 를 통한 복합으로 실현되며, 이는 $W(R)$ 가 $\delta$-환으로서의 유일성 성질을 확인한다.