论文标题
Pro-étaletopos是一类杂种预示。
The Pro-Étale Topos as a Category of Pyknotic Presheaves
论文作者
论文摘要
令$ x $为连贯的方案，让$ \ operatorname {gal}（x）$表示$ x $的Galois类别，如Barwick，Glasman和Haine所介绍的。在本文中，我们证明了Bhatt和Scholze介绍的$ x $的超级完整pro-étale$ \ infty $ -topos $ x _ {\ operatorname {\ propatatorName {proet}} $等同于$ \ perpatatornOrnArnAme {gal} $ with py in Infty的连续代表的类别等于
Let $X$ be a coherent scheme and let $\operatorname{Gal}(X)$ denote the Galois category of $X$, as introduced by Barwick, Glasman and Haine. In this paper we prove that the hypercomplete pro-étale $\infty$-topos $X_{\operatorname{proet}}$ of $X$, introduced by Bhatt and Scholze, is equivalent to the category of continuous representations of $\operatorname{Gal}(X)$ with values in the $\infty$-category of pyknotic spaces.
