Artículo
Abstract:
In this paper we consider Galois theory as it was interpreted by Grothendieck in SGA1 (Lecture Notes in Mathematics 224 (1971)) and SGA4 (Lecture Notes in Mathematics 269 (1972)) and later extended by Joyal-Tierney in Memoirs of AMS 151 (1984). 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 (Cahiers Top. Geo. Diff. cat 22-23 (1981) 301). 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 Moerdijk (Proc. Kon. Nederl. Akad. van Wetens. Series A 92 (1989)). 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 (Advances in Mathematics 175 (2003)).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 (Category Theory '91, CMS Conf. Proc. 13 (1992)) and Kennison (J. Pure Appl. Algeb. 77 (1992)) 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. © 2003 Elsevier B.V. All rights reserved.
Registro:
| Documento: | Artículo |
| Título: | On the representation theory of Galois and atomic topoi |
| Autor: | Dubuc, E.J. |
| Filiación: | Departamento de Matemáticas, Universidad de Buenos Aires, F.C.E.y N., Buenos Aires 1428, Argentina |
| Año: | 2004 |
| Volumen: | 186 |
| Número: | 3 |
| Página de inicio: | 233 |
| Página de fin: | 275 |
| DOI: | http://dx.doi.org/10.1016/S0022-4049(03)00141-5 |
| Título revista: | Journal of Pure and Applied Algebra |
| Título revista abreviado: | J. Pure Appl. Algebra |
| ISSN: | 00224049 |
| CODEN: | JPAAA |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00224049_v186_n3_p233_Dubuc |
Referencias:
- Artin, M., Grothendieck, A., Verdier, J., (1963) Lecture Notes in Mathematics, 305. , SGA 4 269, 270, Springer, Berlin 1972
- Barr, M., Abstract Galois theory II (1982) J. Pure Appl. Algebra, 25, pp. 227-247
- Barr, M., Diaconescu, R., Atomic toposes (1980) J. Pure Appl. Algebra, 17, pp. 1-24
- Barr, M., Diaconescu, R., On locally simply connected toposes and their fundamental groups (1981) Cahiers Top. Geo. Diff. Cat., pp. 301-304. , 22-3
- Barr, M., Pare, R., Molecular toposes (1980) J Pure Appl. Algebra, 17, pp. 127-152
- Bunge, M., Classifying toposes and fundamental localic groupoids (1992) Category Theory '91, 13, pp. 75-95. , R.A.G. Seely (Ed.), CMS Conf. Proc
- Bunge, M., Lack, S., A Kampen Van theorem for toposes (2001), Preprint; Bunge, M., Moerdijk, I., On the construction of the Grothendieck fundamental group of a topos by paths (1997) J. Pure Appl. Algebra, 116, pp. 99-113
- Dubuc, E.J., Localic Galois theory (2003) Advances in Mathematics, 175 (1), pp. 143-167
- Dubuc, E.J., De La Vega, C.S., On the Galois theory of Grothendieck (2000) Bol. Acad. Nac. Cienc. Cordoba, 65, pp. 111-136
- Grothendieck, A., (1960) Springer Lecture Notes in Mathematics, 224, p. 1971. , SGA1
- Grothendieck, A., La Longe Marche a travers la theorie de Galois (1980-81) (1995), Jean Malgoire (Ed.), Universite Montpellier II; Johnstone, P.T., (1977) Topos Theory, , New York: Academic Press
- Joyal, A., Tierney, M., An extension of the Galois Theory of Grothendieck (1984) Memoirs of the American Mathematical Society, 151
- Kennison, J., The fundamental localic groupoid of a topos (1992) J. Pure Appl. Algebra, 77, pp. 67-86
- Moerdijk, I., Continuous fibrations and inverse limits of toposes (1986) Compositio Math., 58, pp. 45-72
- Moerdijk, I., The classifying topos of a continuous groupoid (1988) Trans. Amer. Math. Soc., 310 (2), pp. 629-668
- Moerdijk, I., Prodiscrete groups and Galois toposes (1989) Proc. Kon. Nederl. Akad. van Wetens. Series A, pp. 219-234. , 92-2
- Wraith, G., Localic Groups (1981) Cahiers de Top. et Geom. Diff., 22 (1), pp. 61-66
Citas:
---------- APA ----------
(2004) . On the representation theory of Galois and atomic topoi. Journal of Pure and Applied Algebra, 186(3), 233-275.http://dx.doi.org/10.1016/S0022-4049(03)00141-5
---------- CHICAGO ----------
Dubuc, E.J. "On the representation theory of Galois and atomic topoi" . Journal of Pure and Applied Algebra 186, no. 3 (2004) : 233-275.http://dx.doi.org/10.1016/S0022-4049(03)00141-5
---------- MLA ----------
Dubuc, E.J. "On the representation theory of Galois and atomic topoi" . Journal of Pure and Applied Algebra, vol. 186, no. 3, 2004, pp. 233-275.http://dx.doi.org/10.1016/S0022-4049(03)00141-5
---------- VANCOUVER ----------
Dubuc, E.J. On the representation theory of Galois and atomic topoi. J. Pure Appl. Algebra. 2004;186(3):233-275.http://dx.doi.org/10.1016/S0022-4049(03)00141-5
