Orbispaces, orthogonal spaces, and the universal compact Lie group (Q2287979)

The universal compact Lie group is neither compact, nor a (Lie) group. It is defined as the topological monoid \(\mathcal{L}\) of linear isometric self-embeddings \(\mathbb{R}^{\infty}\hookrightarrow \mathbb{R}^{\infty}\). Every compact Lie group \(G\) acts faithfully on \(\mathbb{R}^{\infty}\) and thus embeds into \(\mathcal{L}\). If the embedding comes from the action on a complete \(G\)-universe, then the image of \(G\) in \(\mathcal{L}\) is unique up to conjugation and is called a \textit{universal subgroup of \(\mathcal{L}\).} The present paper studies the so-called \textit{global homotopy theory} of \(\mathcal{L}\)-spaces in which the weak equivalences are those maps which induce weak equivalences on fixed point spaces for all universal subgroups. This is used as an intermediate for comparing the following two homotopy theories: \begin{itemize} \item the homotopy theory \(s\,p\,c\) of orthogonal spaces, which are defined in [\textit{S. Schwede}, Global homotopy theory. Cambridge: Cambridge University Press (2018; Zbl 1451.55001)] and can be interpreted as unstable global homotopy types, \item the homotopy theory \(o\,r\,b\,i\,s\,p\,c\) of orbispaces which are spaces over a certain global orbit category \(\mathbf{O}_{\mathrm{gl}}\). \end{itemize} These are shown to be linked by two Quillen equivalences \[ s\,p\,c \quad \rightleftarrows\quad \mathcal{L}\mathbf{T} \quad \leftrightarrows \quad o\,r\,b\,i\,s\,p\,c\,. \] The left adjunction builds on work of \textit{J. A. Lind} [Algebr. Geom. Topol. 13, No. 4, 1857--1935 (2013; Zbl 1271.55008)]. The right adjunction is an Elmendorf-type adjunction. The homotopy theory of orbispaces can further be linked by a zig-zag of Quillen equivalences constructed by \textit{A. Körschgen} [Homology Homotopy Appl. 20, No. 1, 329--358 (2018; Zbl 1396.55013)] to the famous category of \(\mathrm{Orb}\)-spaces constructed by \textit{D. Gepner} and \textit{A. Henriques}, [``Homotopy theory of orbispaces'', Preprint, \url{arXiv:math.AT/0701916}] which they relate to topological stacks and topological groupoids.