[논문 리뷰] Cartier crystals and perverse constructible étale $p$-torsion sheaves

Tobias Schedlmeier|arXiv (Cornell University)|2016. 03. 24.

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

한 줄 요약

이 논문은 양의 특성 p에서 특이 스킴 위의 카티에 크리스탈에 대해 리만-힐베르트 대응을 수립하며, 해를 구하는 함자 Solκ를 통해 펄스러운 구조를 가진 에테ール p- torsion 층과 연결한다. 카티에 크리스탈에 대한 중간 확장을 구축하고, Solκ가 이러한 확장을 유지함을 증명함으로써, 국소적으로 유한 생성된 유닛 모듈과 재결합 형식론을 사용하여 고전적인 D-모듈 이중성의 양의 특성 설정으로의 확장을 달성한다.

ABSTRACT

For an $F$-finite scheme $X$ separated over a perfect field $k$ of characteristic $p>0$ which admits an embedding into a smooth $k$-scheme, we establish an equivalence between the bounded derived categories of Cartier crystals on $X$ and constructible $\mathbb{Z}/p\mathbb{Z}$-sheaves on the étale site $X_{ ext{ét}}$. The key intermediate step is to extend the category of locally finitely generated unit $\mathcal{O}_{F,X}$-modules for smooth schemes introduced by Emerton and Kisin to embeddable schemes. On the one hand, this category is equivalent to Cartier crystals. On the other hand, by using Emerton-Kisin's Riemann-Hilbert correspondence, we show that it is equivalent to Gabber's category of perverse sheaves in $D_c^b(X_{ ext{ét}},\mathbb{Z}/p\mathbb{Z})$. Furthermore, we define intermediate extensions for Cartier crystals and show that our equivalence between Cartier crystals and perverse constructible étale sheaves commutes with the intermediate extension functor.

연구 동기 및 목표

• 부드러운 복소 다양체에서의 리만-힐베르트 대응을 특이 스킴으로 확장하여 양의 특성 p에서 적용한다.
• 재결합 형식론을 사용하여 카티에 크리스탈의 중간 확장을 정의하고 연구한다.
• 해를 구하는 함자 Solκ와 중간 확장을 위한 호환성을 확립하여, 펄스러운 구조의 유지 보장을 보장한다.
• 에몬트-키신의 인접성과 리만-힐베르트 대응을 국소적으로 유한 생성된 유닛 모듈을 통해 특이 스킴로 일반화한다.
• 특이 스킴 위에서 카티에 크리스탈과 펄스러운 구조를 가진 에테ール p- torsion 층 사이의 유도 범주 동치를 제공한다.

제안 방법

• 양의 특성에서 D-모듈의 대응물로 카티에 크리스탈을 정의하며, 프로베누스의 당김을 사용한다.
• 특이 스킴로의 카티에 모듈의 일반화로서 국소적으로 유한 생성된 유닛(lfgu) 모듈을 도입한다.
• 열린-닫힌 분해 X = U ∪ Z에 대한 에테ール 층의 유도 범주의 재결합 형식론을 적용한다.
• 유도 범주에서의 자연스러운 준동형사상 pj! → pj∗의 상으로서 중간 확장 j!∗M을 구성한다.
• 카티에 크리스탈과 펄스러운 층 사이의 관계를 설정하기 위해 함자 Solκ: D⁺_crys(κ(X)) → D⁺_c(Ué t, ℤ/pℤ)를 사용한다.
• 재결합 설정 내에서 인접성과 보편 성질의 논증을 통해 Solκ가 중간 확장과 호환됨을 증명한다.

실험 결과

연구 질문

• RQ1 카티에 크리스탈이 특이 스킴 위에서 양의 특성 p에서 리만-힐베르트 대응을 수립할 수 있는가?
• RQ2 카티에 크리스탈의 중간 확장이 해를 구하는 함자 Solκ에 의해 어떻게 행동하는가?
• RQ3 해를 구하는 함자 Solκ가 에테ール 층의 유도 범주에서 중간 확장을 가환시킬 수 있는가?
• RQ4 에몬트-키신의 인접성 형식론을 lfgu 모듈을 사용하여 특이 스킴로 일반화할 수 있는가?
• RQ5 특이 스킴 위에서 펄스러운 구조를 가진 에테ール p- torsion 층과 카티에 크리스탈 사이의 정확한 관계는 무엇인가?

주요 결과

• 해를 구하는 함자 Solκ는 특이 스킴 위의 카티에 크리스탈의 유도 범주와 펄스러운 구조를 가진 에테ール p- torsion 층의 유도 범주 사이의 동치를 유도한다.
• 카티에 크리스탈의 중간 확장 j!∗M은 닫힌 보완에 지지된 비자명한 부분 크리스탈이나 몫이 존재하지 않는 유일한 확장으로 특성화된다.
• 카티에 크리스탈 위의 중간 확장 함자 j!∗는 단사 사상과 전사 사상을 유지하므로 정확한 수열과의 호환성을 보장한다.
• Solκ는 중간 확장과 가환한다: 자연스러운 동치 j!∗∘Solκ ≅ Solκ∘j!∗가 존재하며, 이는 해를 구하는 함자와 중간 확장 구성 간의 호환성을 확립한다.
• 특이 스킴 위의 카티에 크리스탈에 대한 리만-힐베르트 대응은 해를 구하는 함자 Solκ를 통해 실현되며, 이는 고전적인 대응을 특이성과 양의 특성 설정으로 확장한다.
• 재결합 형식론은 구조적 코homology를 가진 에테ール 층의 유도 범주에 적용되며, 중간 확장의 구성과 그 보편 성질의 검증을 가능하게 한다.