Localic Galois theory (Q1873770): Difference between revisions
From MaRDI portal
Set profile property. |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: math/0012173 / rank | |||
Normal rank |
Revision as of 23:31, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Localic Galois theory |
scientific article |
Statements
Localic Galois theory (English)
0 references
27 May 2003
0 references
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)].
0 references
descent theorem
0 references
Grothendieck toposes
0 references
localic groupoids
0 references
atomic topos
0 references
localic group
0 references