Some aspects of topological Galois theory (Q2422449)

This paper explores a number of aspects of the general topos-theoretic framework for building topological Galois-type theories introduced in [the first author, Adv. Math. 291, 646--695 (2016; Zbl 1401.18007)], which begings with the classical Galois equivalence \[ \mathcal{L}_{F}^{L^{\mathrm{op}}}\simeq\boldsymbol{Cont}_{t}\left( \mathrm{Aut}_{F}\left( K\right) \right) \] between the opposite of the category \(\mathcal{L}_{F}^{L}\)\ of finite intermediate extensions and the category \(\boldsymbol{Cont}_{t}\left( \mathrm{Aut}_{F}\left( K\right) \right) \)\ of non-empty transitive continuous actions on discrete sets of the Galois group \(\mathrm{Aut} _{F}\left( K\right) \) for a given (not necessarily finite-dimensional ) Galois extension \(F\subseteq L\), obtained as a restriction of an equivalence \[ \boldsymbol{Sh}\left( \mathcal{L}_{F}^{L^{\mathrm{op}}},J_{\mathrm{at} }\right) \simeq\boldsymbol{Cont}\left( \mathrm{Aut}_{F}\left( K\right) \right) \] where \(J_{\mathrm{at}}\)\ is the atomic topology on \(\mathcal{L}_{F} ^{L^{\mathrm{op}}}\) and \(\boldsymbol{Cont}\left( \mathrm{Aut}_{F}\left( K\right) \right) \)\ is the topos of continuous actions of \(\mathrm{Aut} _{F}\left( K\right) \)\ on discret set. The central result of [loc. cit.] is a representation theorem for these toposes \(\boldsymbol{Sh} \left( \mathcal{L}_{F}^{L^{\mathrm{op}}},J_{\mathrm{at}}\right) \), addressing the problem when a topos \(\boldsymbol{Sh}\left( \mathcal{C} ^{\mathrm{op}},J_{\mathrm{at}}\right) \)\ of sheaves with respect to the atomic topology \(J_{\mathrm{at}}\)\ on the opposite of an essetially small category \(\mathcal{C}\)\ whose opposite satisfies the amalgamation property can be represented as the topos \(\boldsymbol{Cont}\left( G\right) \)\ for a topological group \(G\). The paper consists of 7 sections. \S 4 identifies some natural conditions under which the categorical theorem of the first author [Theories, sites, toposes. Relating and studying mathematical theories through topos-theoretic `bridges'. Oxford: Oxford University Press (2018; Zbl 1461.03002)] generalizing Fraīssé's construction applies. \S 5 establishes, by functorializing the Morita equivalence provided by the main representation theorem, an adjunction between a category of topological groups endowed with an algebraic base and a category of pairs of a category and an object of its ind-completion \ pursuant to the hypotheses of the theorem. \S 6 applies the bridge technique [loc. cit.] to the Morita equivalence of the representation theorem so as to obtain a number of insights on the associated Galois theory. The final section \S 7 applies the logical interpretation of the representation theorem [the first author, Adv. Math. 291, 646--695 (2016; Zbl 1401.18007)] to the study of the relationships between special models of atomic and complete theories and the associated automorphism groups.