Localic Galois theory (Q1873770): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: math/0012173 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Atomic toposes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3313943 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An extension of the Galois theory of Grothendieck / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3909182 / rank | |||
Normal rank |
Latest revision as of 17:09, 5 June 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