作为Pyknotic预层范畴的Pro-étale Topos
代数几何
2022-12-23 v3
摘要
设 X 为凝聚概型，令 Gal(X) 表示由 Barwick、Glasman 与 Haine 引入的 X 的伽罗瓦范畴。本文证明，由 Bhatt 与 Scholze 引入的 X 的超完备 pro-étale ∞-topos X_proet 等价于以 pyknotic 空间 ∞-范畴为取值的 Gal(X) 的连续表示的范畴。
引用
@article{arxiv.2012.10502,
title = {The Pro-\'Etale Topos as a Category of Pyknotic Presheaves},
author = {Sebastian Wolf},
journal= {arXiv preprint arXiv:2012.10502},
year = {2022}
}
备注
Final version, to appear in Documenta Mathematica. Theorem 3.11 now explicitly describes the functors in both directions; many other minor changes to improve readability