×

zbMATH — the first resource for mathematics

Topological Galois theory. (English) Zbl 1401.18007
The article extends Grothendieck’s generalisation of Galois theory: it does so by studying the representation of some atomic two-valued toposes as toposes of continuous actions over a topological group. In this way, equivalences of Galois type are established in new contexts, such as graphs and finite groups.
The long, complex, and very deep paper starts by analysing Grothendieck’s theory of Galois categories along the lines which will be developed in the rest of the article: in particular, it discusses how the scope of Grothendieck’s theory is narrower than the introduced approach. Section 2 is devoted to construct the necessary relationships between topological groups and the associated categories of continuous actions on discrete sets. Specifically, the notion of algebraic base is introduced and used to obtain a representation theorem for the topos of continuous actions over a topological group in terms of an algebraic base. In turn, the topological groups that are isomorphic to the group of automorphisms of the canonical point of the associated topos of continuous actions, are characterised in terms of algebraic bases. These results provide the fundamental set of tools to develop the subsequent parts.
Section 3 states and proves the main representation theorem in the article, which provides sufficient conditions to say when a topos of sheaves equipped with the atomic topology is equivalent to the topos of continuous actions over the group of automorphisms on a suitable point, endowed with a suitable topology. Here, the word “suitable” indicates where the sufficient conditions act.
The equivalence of toposes in the main representation theorem is induced by a functor \(F: \mathbb{C}^{op} \to \mathbf{Cont}_t(\mathrm{Aut}_{\mathbb{C}}(u))\). Section 4 analyses under which conditions \(F\) is full and faithful. This analysis yields an elementary process to complete a category \(\mathbb{C}\), which satisfies the conditions to make \(F\) full and faithful, so that \(F\) becomes an equivalence. In turn, the analysis requires to discuss the relationship between regular and strict monomorphisms, and what can be said about the relationship between \(\mathbb{C}\) and \(\mathrm{Aut}_{\mathbb{C}}(u)\) when \(F\) is not full and faithful.
Section 5 illustrates many examples of concrete Galois theories obtained applying the results in Sections 3 and 4: in particular, Galois theories are derived from graphs, Boolean algebras, finite groups, and linear orders. Also, the classical Galois theory and Grothendieck’s one are shown to be instances of the general framework, among other results.
Section 6 summarises the main methods to synthesise Galois theories applying the techniques and results in Section 3 and 4. The Conclusions illustrate some promising areas in which these results can be applied or could be extended to.
The paper is long, very deep, really significant, and just scratches the surface of possible applications, although those proposed in Section 5 are important by themselves and illuminating about the level of generality of the framework.
Despite the effort the author put in making the work accessible, which allows the casual reader to get an idea of the contribution, the reader who wants to fully understand the depth of this important work has to master topos theory, has to have a good knowledge of Grothedieck’s Galois theory, and should have at least some acquaintance with the topose-as-bridges paradigm, see, e.g., [O. Caramello, Ann. Pure Appl. Logic 167, No. 9, 820–849 (2016; Zbl 1343.18005)].

MSC:
18B25 Topoi
03G30 Categorical logic, topoi
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Adámek, J.; Herrlich, H.; Strecker, G. E., Abstract and concrete categories - the joy of cats, available at · Zbl 0695.18001
[2] Artin, M.; Grothendieck, A.; Verdier, J. L., Théorie des topos et cohomologie étale des schémas - (SGA 4), Lecture Notes in Math., vols. 269, 270 and 305, (1972), Springer-Verlag, Séminaire de Géométrie Algébrique du Bois-Marie, année 1963-64
[3] Blass, A.; Ščedrov, A., Boolean classifying toposes, J. Pure Appl. Algebra, 28, 111-140, (1983) · Zbl 0516.03042
[4] Borceaux, F., Handbook of categorical algebra, vol. 1, (1994), Cambridge University Press
[5] Borceux, F.; Janelidze, G., Galois theories, (2001), Cambridge University Press · Zbl 0978.12004
[6] Caramello, O., Fraïssé’s construction from a topos-theoretic perspective, Log. Univers., 8, 2, 261-281, (2014) · Zbl 1335.03073
[7] Caramello, O., Atomic toposes and countable categoricity, Appl. Categ. Structures, 20, 4, 379-391, (2012) · Zbl 1277.03071
[8] Caramello, O., Syntactic characterizations of properties of classifying toposes, Theory Appl. Categ., 26, 6, 176-193, (2012) · Zbl 1259.03091
[9] Caramello, O., Sites characterizations for geometric invariants of toposes, Theory Appl. Categ., 26, 25, 710-728, (2012) · Zbl 1291.18004
[10] Caramello, O., Lattices of theories · Zbl 1423.06045
[11] Caramello, O., The unification of mathematics via topos theory · Zbl 1401.18007
[12] Caramello, O., Extensions of flat functors and theories of presheaf type
[13] Connes, A., A view of mathematics, in: mathematics: concepts and foundations, vol. 1, encyclopedia of life support systems (EOLSS), available at
[14] Connes, A., Cohomologie cyclique et foncteur \(\mathit{Ext}^n\), C. R. Acad. Sci. Paris, Ser. I Math., 296, (1983)
[15] Dikranjan, D., Introduction to topological groups, available at · Zbl 0637.54002
[16] Dubuc, E. J., Localic Galois theory, Adv. Math., 175, 144-167, (2003) · Zbl 1027.18003
[17] Felgner, U., The classification of all quantifier-eliminable FC-groups, (Atti del Congresso ‘Logica e Filosofia della Scienza, oggi’, San Gimignano, 1983, vol. I, (1986), CLUEB Bologna), 27-33
[18] Gromov, M., Random walk in random groups, Geom. Funct. Anal., 13, 73-146, (2003) · Zbl 1122.20021
[19] Grothendieck, A., Revêtements étales et groupe fondamental - (SGA 1), Lecture Notes in Math., vol. 224, (1971), Springer-Verlag, Séminaire de Géométrie Algébrique du Bois-Marie, année 1960-61
[20] Hall, P., Some constructions for locally finite groups, J. Lond. Math. Soc., 34, 305-319, (1959) · Zbl 0088.02301
[21] Hodges, W., Model theory, Encyclopedia Math. Appl., vol. 42, (1993), Cambridge University Press
[22] Howie, J., Fundamentals of semigroup theory, London Math. Soc. Monogr. Ser., vol. 12, (1995) · Zbl 0835.20077
[23] Johnstone, P. T., Sketches of an elephant: A topos theory compendium, vols. 1 and 2, Oxford Logic Guides, vols. 43 and 44, (2002), Oxford University Press
[24] Joyal, A.; Tierney, M., An extension of the Galois theory of Grothendieck, Mem. Amer. Math. Soc., (1984) · Zbl 0541.18002
[25] Kiss, E. W.; Márki, L.; Pröhle, P.; Tholen, W., Categorical algebraic properties. A compendium on amalgamation, congruence extension, epimorphisms, residual smallness, and injectivity, Studia Sci. Math. Hungar., 18, 79-141, (1983) · Zbl 0549.08001
[26] MacDonald, J., Embeddings of algebras, Fields Inst. Commun., 43, 359-373, (2004) · Zbl 1067.18003
[27] MacDonald, J., Coherence and embeddings of algebras, Math. Z., 135, 185-220, (1974) · Zbl 0287.18003
[28] Neumann, B. H., Permutational products of groups, J. Austral. Math. Soc. Ser. A, 1, 299-310, (1959) · Zbl 0095.01701
[29] Noohi, B., Fundamental groups of algebraic stacks, J. Inst. Math. Jussieu, 3, 1, 69-103, (2004) · Zbl 1052.14001
[30] Poizat, B., Une théorie de Galois imaginaire, J. Symbolic Logic, 48, 4, 1151-1170, (1983) · Zbl 0537.03023
[31] Schreier, O., Die untergruppen der freien gruppen, Abh. Math. Semin. Univ. Hambg., 5, 161-183, (1927) · JFM 53.0110.01
[32] Tholen, W., Amalgamations in categories, Algebra Universalis, 14, 391-397, (1982) · Zbl 0494.18002
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.