Localic Galois theory (Q1873770): Difference between revisions

In `An extension of the Galois theory of Grothendieck' [Mem. Am. Math. Soc. 309 (1984; Zbl 0541.18002)], \textit{A. Joyal} and \textit{M. Tierney} proved a descent theorem for open surjections of toposes, and deduced a representation theorem for Grothendieck toposes in terms of localic groupoids. A particular case of the latter theorem, which is essentially what those authors meant by `the Galois theory of Grothendieck', asserts that any connected atomic topos with a point may be represented as the topos of continuous actions of a localic group (the still more particular case when the point is representable -- equivalently, the group is discrete -- corresponding to the classical Galois theory of a finite separable extension of fields). In the present paper, the author provides a proof of the particular case of the representation theorem without using descent theory, but instead relying on a careful analysis of the points of atomic sites in the sense of \textit{M. Barr} and \textit{R. Diaconescu} [J. Pure Appl. Algebra 17, 1-24 (1980; Zbl 0429.18006)].