Galois theory and a new homotopy double groupoid of a map of spaces (Q1431355): Difference between revisions

The paper is a contribution to 2-dimensional homotopical algebra. The construction of a homotopy double groupoid associated to a triple of spaces given by \textit{R. Brown} and \textit{P. J. Higgins} [(*) Proc. Lond. Math. Soc., III. Ser. 36, 192--212 (1978; Zbl 0405.55015)] has been a landmark in the development of higher-dimensional categorical structures in homotopy theory (note that the definition of a homotopy double groupoid for a pair of pointed spaces by Brown and Higgins even dates back to 1974). Brown and Higgins exploited the structure to obtain a van Kampen theorem. The double groupoid constructed in (*) is edge symmetric and has a connection. Here the authors define a new double groupoid for an arbitrary map of topological spaces where the `vertical' and `horizontal' groupoids are different. This double groupoid is obtained via the generalised Galois theory developed by \textit{G. Janelidze} [Lect. Notes Math. 1488, 157--173 (1991; Zbl 0754.18002), J. Algebra 132, 270--286 (1990; Zbl 0702.18006)] which under certain conditions gives a Galois groupoid from a pair of adjoint functors. A geometric interpretation in terms of familiar concepts in homotopy theory is given. As an application the authors obtain an algebraic model of a foliated bundle. The new double groupoid contains various examples of homotopy 2-groupoids defined by \textit{I. Moerdijk} and \textit{J. A. Svensson} [J. Pure Appl. Algebra 89, 187--216 (1993; Zbl 0787.55008)] and by \textit{K. H. Kamps} and \textit{T. Porter} [Homology Homotopy Appl. 1, 79--93 (1999; Zbl 0914.55006)]. Hence it also contains the \(\text{cat}^1\)-group of a pointed fibration given by \textit{J.-L. Loday} [J. Pure Appl. Algebra 24, 179--202 (1982; Zbl 0491.55004)] and also the classical fundamental crossed module of a pair of pointed spaces defined by \textit{J. H. C. Whitehead} which relates the homotopy boundary from the second relative homotopy group to the fundamental group and the operation of the fundamental group on the second relative homotopy group.