Exodromy Clark Barwick Saul Glasman Peter Haine August 21, 2020 Abstract Let X be a quasicompact quasiseparated scheme. Write Gal.X/ for the category whose objects are geometric points of X and whose morphisms are specializations in the étale topology. We define a natural profinite topology on the category Gal.X/ that globalizes the topologies of the absolute Galois groups of the residue fields of the points of X. One of the main results of this book is that Gal.X/ variant of MacPherson’s exit-path category suitable for the étale topology: we construct an equivalence between representations of Gal.X/ and constructible sheaves on X. We show that this exodromy equivalence holds with nonabelian coefficients and with finite abelian coefficients. More generally, by using the pyknotic/condensed formalism, we extend this equivalence to coefficients in the category of modules over profinite rings and algebraic extensions of Ql. As an ‘exit-path category’, the topological category Gal.X/ also gives rise to a new, concrete description of the étale homotopy type of X. We also prove a higher categorical form of Hochster Duality, which recon- structs the entire étale topos of a quasicompact and quasiseparated scheme from the topological category Gal.X/. Appealing to Voevodsky’s proof of a conjecture of Grothendieck, we prove the following reconstruction theorem for normal varieties over a finitely generated field k of characteristic 0: the functor X ­ Gal.X/ from normal k-varieties to topological categories with an action of Gk and equivariant functors that preserve minimal objects is fully faithful. arXiv:1807.03281v7 [math.AT] 23 Aug 2020 1 Contents 0 Introduction6 0.1 Monodromy for topological spaces...................8 0.2 Monodromy for schemes and topoi...................9 0.3 Exodromy for stratified topological spaces............... 11 0.4 Exodromy for higher topoi: ∞-Categorical Hochster Duality..... 12 0.5 Exodromy for schemes & the Reconstruction Theorem........ 15 0.6 Extending exodromy: coefficients & l-adic sheaves.......... 16 0.7 Other roles of Gal.X/ .......................... 17 0.8 Technical overview........................... 19 0.9 Open problems............................. 20 0.10 Acknowledgements........................... 20 0.11 Terminology & notations........................ 21 I Stratified spaces 28 1 Aide-mémoire on the topology of posets & profinite posets 29 1.1 Alexandroff Duality........................... 29 1.2 Stratifications of topological spaces.................. 31 1.3 Hochster Duality............................ 31 1.4 Profinite stratifications......................... 33 2 The homotopy theory of stratified spaces 34 2.1 Stratified spaces as ∞-categories with a conservative functor to a poset 34 2.2 Functoriality in the poset........................ 36 2.3 The stratified Postnikov tower..................... 38 2.4 π-finite stratified spaces......................... 39 2.5 Profinite stratified spaces........................ 41 2.6 Complete Segal spaces & spatial décollages.............. 43 2.7 The nerve of a stratified space..................... 44 2.8 Profinite spatial décollages....................... 46 II Elements of higher topos theory 48 3 Aide-mémoire on higher topoi 49 3.1 Higher topoi............................... 49 3.2 Boundedness.............................. 51 3.3 Coherence................................ 53 3.4 Coherence & n-topoi.......................... 55 3.5 Coherence of morphisms & n-localic ∞-topoi............. 59 3.6 Coherent geometric morphisms via sites & coherent ordinary topoi.. 61 3.7 Examples of coherent ∞-topoi from algebraic geometry........ 65 3.8 Classification of bounded coherent ∞-topoi via ∞-pretopoi...... 67 2 3.9 Coherence of inverse limits....................... 69 3.10 Coherence & preservation of filtered colimits............. 69 3.11 Points, Conceptual Completeness, & Deligne Completeness...... 71 3.12 Bases for ∞-topoi............................ 73 4 Shape theory 79 4.1 Protruncated objects.......................... 79 4.2 Shape theory.............................. 80 4.3 Shapes of inverse limits......................... 82 4.4 Profinite spaces & Stone ∞-topoi.................... 84 5 Oriented pushouts & oriented fiber products 89 5.1 Recollements of higher topoi...................... 90 5.2 Oriented squares & oriented pushouts................. 94 5.3 Internal Homs & path ∞-topoi..................... 96 5.4 Oriented fiber products......................... 97 5.5 Generating ∞-sites for oriented fiber products............. 99 5.6 Compatibility of oriented fiber products & étale geometric morphisms 105 6 Local ∞-topoi & localizations 110 6.1 Quasi-equivalences........................... 110 6.2 Local ∞-topoi.............................. 111 6.3 Nearby cycles & localizations..................... 113 6.4 Compatibility of oriented fiber products with localizations...... 115 6.5 Localization à la Grothendieck–Verdier................ 116 6.6 Coherence of localizations....................... 118 6.7 Geometric examples of localizations.................. 119 7 Basechange conditions for oriented fiber products 121 7.1 Basechange transformations & basechange conditions......... 121 7.2 Examples of the basechange condition................. 124 7.3 Applications of the basechange theorem for oriented fiber products.. 125 7.4 Stable consequences of nonabelian basechange............ 126 7.5 Localizations & the truncated basechange condition.......... 130 7.6 Functoriality of oriented fiber products in oriented diagrams..... 133 7.7 Proof of the basechange condition for oriented fiber products..... 136 III Stratified higher topos theory 139 8 Stratified higher topoi 140 8.1 Higher topoi attached to finite posets & spectral topological spaces.. 140 8.2 Stratifications over spectral topological spaces............. 141 8.3 The natural stratification of a coherent ∞-topos............ 145 8.4 Stratified ∞-topoi attached to stratified spaces............. 147 8.5 Gluing squares............................. 150 3 8.6 Toposic décollages........................... 152 8.7 The nerve of a stratified ∞-topos.................... 154 8.8 Profinite stratified spaces as stratified ∞-topoi............. 157 9 Spectral higher topoi 160 9.1 Stone ∞-topoi & oriented fiber products................ 160 9.2 Spectral ∞-topoi & toposic décollages................. 161 9.3 Hochster duality for higher topoi.................... 162 9.4 Constructible sheaves.......................... 163 9.5 Coherence & constructibility...................... 166 10 Profinite stratified shape 170 10.1 The definition of the profinite stratified shape............. 170 10.2 Recovering the protruncated shape from the profinite stratified shape. 172 10.3 Points & materialization........................ 173 10.4 Stratified homotopy types via décollages................ 176 10.5 The van Kampen Theorem....................... 178 IV Stratified étale homotopy theory 180 11 Aide-mémoire on étale homotopy types 181 11.1 Artin & Mazur’s étale homotopy types of schemes........... 181 11.2 Examples................................ 182 11.3 Monodromy............................... 184 11.4 Friedlander’s étale homotopy of simplicial schemes.......... 184 11.5 Riemann Existence Theorem...................... 185 11.6 A van Kampen Theorem for étale shapes................ 186 12 Galois categories 188 12.1 Galois categories of schemes...................... 188 12.2 Examples................................ 190 12.3 Sieves & cosieves of Galois categories................. 191 12.4 Undercategories & overcategories of Galois categories........ 191 12.5 Recovering the protruncated étale shape................ 193 12.6 Stratified Riemann Existence Theorem................. 194 12.7 The van Kampen Theorem for Galois categories............ 196 13 Extending exodromy: coefficients, stacks, & l-adic sheaves 198 13.1 Category objects of higher topoi.................... 199 13.2 Exodromy with discrete coefficients.................. 203 13.3 Pyknotic spaces & pyknotic higher categories............. 206 13.4 Profinite spaces as pyknotic spaces................... 210 13.5 Profinite stratified spaces as pyknotic ∞-categories.......... 213 13.6 Exodromy with discrete coefficients, revisited............. 214 13.7 Exodromy with profinite coefficients.................. 215 4 13.8 Exodromy with l-adic coefficients................... 217 13.9 Fibered Galois categories & exodromy for simplicial schemes and stacks 220 14 Perfectly reduced schemes & reconstruction of absolute schemes 226 14.1 Universal homeomorphisms and equivalences of Galois categories.. 226 14.2 Perfectly reduced schemes....................... 228 14.3 Perfection................................ 229 14.4 Grothendieck’s Conjecture & the proof of the Reconstruction Theorem 231 14.5 Example: Curves............................ 233 References 236 Index of Notation 245 Index of Terminology 248 5 0 Introduction Let X be a quasicompact quasiseparated scheme. 0.0.1 Construction. Define a category Gal.X/ as follows. – An object is a geometric point x → X: a point Spec κ.x/ → X that exhibits κ.x/ zar as a separable closure of the residue field κ.x0/ of its image x0 Ë X . – Given geometric points x → X and y → X, a morphism x → y in Gal.X/ is a specialization x ã y: a lift of the geometric point y → X to a geometric point y → X of the strict localization X Spec.Osh /. .x/ .x/ ≔ X;x0 The assignment x ­ x0 defines a functor from Gal.X/ to the specialization poset of zar zar the Zariski topological space X of X: the poset of points of X in which x0 f y0 if and only if x0 lies in the closure of y0.