On the representation theory of Galois and Atomic Topoi

EDUARDO J. DUBUC

JOURNAL OF PURE AND APPLIED ALGEBRA

Elsevier

Año: 2004 p. 233 - 275

0022-4049

In this paper we consider Galois Theory as it was interpreted by Grothendieck in SGA1 and SGA4 and latter extended by Joyal-Tierney in Memoirs of AMS 151. Grothendieck conceived Galois theory as the axiomatic characterization of the classifying topos of a progroup in terms of a representation theorem for pointed Galois Topoi. Joyal-Tierney extended this to the axiomatic characterization of the classifying topos of a localic group in terms of a representation theorem for pointed Atomic Topoi. Classical Galois theory corresponds to discrete groups (the point is essential), and the representation theorem can be proved by elementary category-theory. This was developed by Barr-Diaconescu. Grothendieck theory corresponds to progroups or prodiscrete localic groups (the point is proessential, a concept we introduce in this paper), and the representation theorem is proved by inverse limit of topoi techniques. This was developed by Moerdiejk. Joyal-Tierney theory corresponds to general localic groups (the point is a general point), and the representation theorem is proved by descent techniques. It can also be proved by the methods of localic galois theory developed by Dubuc. Joyal-Tierney also consider the case of a general localic groupoid (in particular, it includes unpointed Atomic Topoi), which needs a sophisticated change of base. Bunge and Kennison consider in particular the case of prodiscrete groupoids, and develop an unpointed Grothendieck theory. We consider these contributions, make an original description, development and survey of the whole theory (but do not touch the representation of cohomology aspects), and present our own results.