Higher Galois theory

DOI10.1016/J.JPAA.2017.08.010zbMATH Open1403.18003arXiv1506.07155OpenAlexW2963092002MaRDI QIDQ1703598FDOQ1703598

Authors: Marc Hoyois 

Publication date: 2 March 2018

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Abstract: We generalize toposic Galois theory to higher topoi. We show that locally constant sheaves in a locally (n-1)-connected n-topos are equivalent to representations of its fundamental pro-n-groupoid, and that the latter can be described in terms of Galois torsors. We also show that finite locally constant sheaves in an arbitrary infinity-topos are equivalent to finite representations of its fundamental pro-infinity-groupoid. Finally, we relate the fundamental pro-infinity-groupoid of 1-topoi to the construction of Artin and Mazur and, in the case of the 'etale topos of a scheme, to its refinement by Friedlander.

Full work available at URL: https://arxiv.org/abs/1506.07155

Recommendations

• On the representation theory of Galois and atomic topoi.
• scientific article; zbMATH DE number 2152030
• Topological Galois theory
• Some aspects of topological Galois theory
• The fundamental progroupoid of a general topos

zbMATH Keywords

higher topos theory

Mathematics Subject Classification ID

Topoi (18B25) Shape theory in general topology (54C56) Shape theory (55P55)

Cites Work

• Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
• Homotopy limits, completions and localizations
• Higher Topos Theory (AM-170)
• Etale Homotopy of Simplicial Schemes. (AM-104)
• Etale homotopy
• Title not available (Why is that?)
• Hypercovers and simplicial presheaves
• Title not available (Why is that?)
• Title not available (Why is that?)
• The fundamental localic groupoid of a topos
• Title not available (Why is that?)
• Shapes of compacta and ANR-systems
• The fundamental progroupoid of a general topos

Cited In (14)

• Categorical Milnor squares and \(K\)-theory of algebraic stacks
• Comparison of stable homotopy categories and a generalized Suslin-Voevodsky theorem
• Title not available (Why is that?)
• Higher monodromy
• The pro-étale topos as a category of pyknotic presheaves
• The étale symmetric Künneth theorem
• The Galois action on symplectic \(K\)-theory
• Constructible sheaves on schemes
• An extension of the Galois theory of Grothendieck
• Proper base change for étale sheaves of spaces
• Derived log Albanese sheaves
• Extended Galois theory and dissonant morphisms
• Topological models for stable motivic invariants of regular number rings
• On the étale homotopy type of higher stacks

This page was built for publication: Higher Galois theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1703598)