The Pro-\'Etale Topos as a Category of Pyknotic Presheaves

Publication date 18 December 2020

Abstract: Let

X

be a coherent scheme and let

o p e r a t o r n a m e G a l (X)

denote the Galois category of

X

, as introduced by Barwick, Glasman and Haine. In this paper we prove that the hypercomplete pro-'etale

i n f t y

-topos

X_{o p e r a t o r n a m e p r o e t}

of

X

, introduced by Bhatt and Scholze, is equivalent to the category of continuous representations of

o p e r a t o r n a m e G a l (X)

with values in the

i n f t y

-category of pyknotic spaces.

This page was built for publication: The Pro-\'Etale Topos as a Category of Pyknotic Presheaves