[논문 리뷰] A $p$-Adic 6-Functor Formalism in Rigid-Analytic Geometry

Lucas Mann|arXiv (Cornell University)|2022. 06. 04.

Homotopy and Cohomology in Algebraic Topology인용 수 6

한 줄 요약

이 논문은 콤팩트한 수학과 완전한 위상적 모듈의 도입된 도구를 사용하여, 균형 잡힌 해석 기하학에서 $p$- torsion 에탈 층에 대한 완전한 6-함수 형식을 수립한다. $\mathcal{O}^+_X/\pi$ 위의 완전한 위상적 모듈의 도입된 도구를 사용하여, $\mathbb{F}_p$-코호몰로지에 대한 포incare 쌍대성을, 토러스의 경우로 감소시킴으로써 증명한다. 이는 $\phi$-모듈 구조와 $p$-진 설정에서의 리만-힐베르트 대응의 한 형태를 활용한다.

ABSTRACT

We develop a full 6-functor formalism for $p$-torsion étale sheaves in rigid-analytic geometry. More concretely, we use the recently developed condensed mathematics by Clausen--Scholze to associate to every small v-stack (e.g. rigid-analytic variety) $X$ with pseudouniformizer $π$ an $\infty$-category $\mathcal D^a_\square(\mathcal O^+_X/π)$ of "derived quasicoherent complete topological $\mathcal O^+_X/π$-modules" on $X$. We then construct the six functors $\otimes$, $\underline{Hom}$, $f^*$, $f_*$, $f_!$ and $f^!$ in this setting and show that they satisfy all the expected compatibilities, similar to the $\ell$-adic case. By introducing $φ$-module structures and proving a version of the $p$-torsion Riemann-Hilbert correspondence we relate $\mathcal O^+_X/π$-sheaves to $\mathbb F_p$-sheaves. As a special case of this formalism we prove Poincaré duality for $\mathbb F_p$-cohomology on rigid-analytic varieties. In the process of constructing $\mathcal D^a_\square(\mathcal O^+_X/π)$ we also develop a general descent formalism for condensed modules over condensed rings.

연구 동기 및 목표

• 균형 잡힌 해석 기하학에서 $p$- torsion 에탈 층에 대한 완전한 6-함수 형식을 개발하는 것.
• 콤팩트한 수학을 사용하여, 소형 $v$-스택 $X$ 위에서 완전한 위상적 $\mathcal{O}^+_X/\pi$-모듈의 도입된 도구를 사용한 도입된 도구 $\mathrm{D}^\square(\mathcal{O}^+_X/\pi)$의 도입된 도구를 구성하는 것.
• 혼합 특성의 체 위에서, 고유하고 스무스한 균형 잡힌 해석 기하학 다양체에서 $\mathbb{F}_p$-코호몰로지에 대한 포incare 쌍대성을 증명하는 것.
• $\mathcal{O}^+_X/\pi$-층과 $\mathbb{F}_p$-로컬 시스템 간의 관계를 $\phi$-모듈 구조와 $p$- torsion 리만-힐베르트 대응을 통해 연결하는 것.
• 클래식한 증명과 $\ell \neq p$의 경우와 유사한, $\ell = p$의 경우에 대한 포incare 쌍대성의 새로운 국소적 증명을 제공하는 것.

제안 방법

• 콤팩트한 수학과 콤팩트한 링을 사용하여, 소형 $v$-스택 $X$ 위에서 도입된 도구 $\mathrm{D}^\square(\mathcal{O}^+_X/\pi)$의 도입된 도구를 정의한다.
• 이 설정에서 여섯 개의 함수 $\otimes$, $\mathrm{Hom}$, $f^*$, $f_*$, $f_!$, $f^!$를 구성하고, 모든 기대되는 호환성을 검증한다.
• 콤팩트한 링 위의 콤팩트한 모듈에 대한 일반적인 내림 정리 형식을 적용하여, 아핀 퍼펙트로이드 공간에서 형식을 수립한다.
• $\mathcal{O}^+_X/\pi$-모듈에 $\phi$-모듈의 구조를 도입하고, 이와 $\mathbb{F}_p$-로컬 시스템 간의 $p$- torsion 리만-힐베르트 대응을 증명한다.
• 6-함수 형식을 사용하여 국소적으로 쌍대성을 검증함으로써, 포incare 쌍대성의 증명을 토러스의 경우로 감소시킨다.
• 스테디 엔도함수 이론과 필터링된 합집합 내림 정리를 사용하여, 형식이 극한과 합집합과의 호환성을 유지하도록 보장한다.

실험 결과

연구 질문

• RQ1 균형 잡힌 해석 기하학에서 $p$- torsion 에탈 층에 대한 완전한 6-함수 형식을 개발할 수 있는가?
• RQ2 콤팩트한 수학을 사용하여, 완전한 $\mathcal{O}^+_X/\pi$-모듈의 도입된 도구를 구성할 수 있는가?
• RQ3 $\phi$-모듈은 $\mathcal{O}^+_X/\pi$-층과 $\mathbb{F}_p$-로컬 시스템 간의 관계에서 어떤 역할을 하는가?
• RQ4 $p$- torsion 리만-힐베르트 대응은 균형 잡힌 해석 기하학 설정에서 성립하는가?
• RQ5 국소적인 6-함수 형식을 사용하여, $\mathbb{F}_p$-코호몰로지에 대한 포incare 쌍대성을 증명할 수 있는가?

주요 결과

• 논문은 콤팩트한 수학을 사용하여, 균형 잡힌 해석 기하학 다양체 위에서 $p$- torsion 에탈 층에 대한 완전한 6-함수 형식을 수립한다.
• 도입된 도구 $\mathrm{D}^\square(\mathcal{O}^+_X/\pi)$가 여섯 개의 함수 간의 모든 기대되는 호환성을 만족함을 증명한다.
• $p$- torsion 리만-힐베르트 대응이 수립되어, $\mathcal{O}^+_X/\pi$-층과 $\mathbb{F}_p$-로컬 시스템 간의 관계를 $\phi$-모듈의 구조를 통해 연결한다.
• 혼합 특성의 체 위에서 고유하고 스무스한 균형 잡힌 해석 기하학 다양체에서 $\mathbb{F}_p$-코호몰로지에 대한 포incare 쌍대성이 증명된다.
• 증명은 토러스의 경우로 감소되며, 이 경우에서 쌍대성은 직접 검증하고, 6-함수 형식을 사용하여 국소적으로 검증한다.
• 콤팩트한 링 위의 콤팩트한 모듈에 대한 내림 정리 형식이 개발되고, 아핀 퍼펙트로이드 공간에서 형식을 구성하는 데 적용된다.