
TL;DR
This paper extends the concept of normal maps from discrete groups to topological groups and loops, characterizing them via simplicial loop space structures and invariance under homotopy monoidal functors, with applications to localizations of fibrations.
Contribution
It introduces a homotopical analogue of normal maps for topological groups and loops, using simplicial structures and homotopy actions, and proves invariance under certain functors.
Findings
Characterization of homotopy normal maps via simplicial loop space structures
Introduction of a homotopy action concept related to $A_{ abla}$ actions
Short proof of a theorem on localizations of principal fibrations
Abstract
Normal maps between discrete groups were characterized [FS] as those which induce a compatible topological group structure on the homotopy quotient . Here we deal with topological group (or loop) maps being normal in the same sense as above and hence forming a homotopical analogue to the inclusion of a topological normal subgroup in a reasonable way. We characterize these maps by a compatible simplicial loop space structure on , invariant under homotopy monoidal functors, e.g. Localizations and Completions. In the course of characterizing homotopy normality, we define a notion of a "homotopy action" similar to an action on a space, but phrased in terms of Segal's 'special spaces' and seem to be of importance on its own right. As an application of the invariance of normal maps, we give a very short…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
