Homotopy normal maps

DOI10.2140/AGT.2012.12.1211MaRDI QIDQ441068zbMATH OpenOpenAlexFDO

Authors Matan Prezma

Publication date 20 August 2012

Published in Algebraic \& Geometric Topology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1011.4708

zbMATH Keywords

bar constructioncompletionhomotopy monoidal functorlocalizationnormal subgroupSegal space

Mathematics Subject Classification ID

Loop spaces (55P35) Simplicial sets and complexes in algebraic topology (55U10) Chain complexes in algebraic topology (55U15) Duality in applied homological algebra and category theory (aspects of algebraic topology) (55U30) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: Normal maps between discrete groups $NightarrowG$ were characterized [FS] as those which induce a compatible topological group structure on the homotopy quotient $ENime{s}_{N}G$. Here we deal with topological group (or loop) maps $NightarrowG$ 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 $A_{infty}$ action on a space, but phrased in terms of Segal's 'special $Delta-$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 proof to a theorem of Dwyer and Farjoun namely that a localization by a suspended map of a principal fibration of connected spaces is again principal.

Review text

The interplay between homotopy theory and group theory is two way. Perhaps the more usual direction is to look for the group-theoretic analogue of some intriguing homotopy-theoretic notion or problem. This paper, on the other hand, looks at the result of making a group-theoretical idea `homotopical'.NEWLINENEWLINEAn inclusion, \(N\hookrightarrow G\), of (topological) groups is the inclusion of a normal subgroup if, and only if, it is the kernel inclusion of some morphism, \(G\to H\). Analogously, here, a loop map, \(\Omega f: \Omega X\to \Omega Y\), between two loop spaces (which are the homotopical analogue of groups) is said to be homotopy-normal if there is a connected space \(W\) with a map \(\pi:Y\to W\), such that NEWLINE\[NEWLINEX\overset{f}{\to}Y\overset{\pi}{\to}WNEWLINE\]NEWLINE is a homotopy fibration sequence.NEWLINENEWLINEThe aim of the paper is to explore thoroughly, and to develop, the notion of homotopy normal map. In particular it is proved that a loop map, \(\Omega f\), as above, is homotopy-normal if, and only if, there is a simplicial loop space, \(\Gamma_{\bullet}\), with \(\Gamma_0\simeq \Omega Y\) (as loop spaces), and such that the canonical homotopy actions of \(\Omega Y\) on \(\Gamma\) and the homotopy analogue of the construction \(\mathrm{Bar}_{\bullet}(\Omega Y,\Omega X)\), are weakly equivalent. Homotopy actions are also studied in some detail and the relation of these notions to ideas from the theory of Segal spaces is discussed.

Recommendations

• Crossed modules as homotopy normal maps
• Normal and conormal maps in homotopy theory
• scientific article; zbMATH DE number 1497579
• Modulo odd prime homotopy normality for \(H\)-spaces
• HOMOTOPY-NORMALITY OF LIE GROUPS II

Cites work

• \(H\)-spaces from a homotopy point of view
• ``Parallel transport -- revisited
• A model for the homotopy theory of homotopy theory
• A remark on 'homotopy fibrations'
• Calculus. II: Analytic functors
• Categories and cohomology theories
• Cellular spaces, null spaces and homotopy localization
• Classifying spaces and fibrations
• Combinatorial homotopy. II
• Construction of universal bundles. II
• Crossed modules as homotopy normal maps
• Equivariant Maps Which are Self Homotopy Equivalences
• Homotopy fixed-point methods for Lie groups and finite loop spaces
• scientific article; zbMATH DE number 860145 (Why is no real title available?)
• scientific article; zbMATH DE number 3354272 (Why is no real title available?)
• Iterated monoidal categories
• Localization and cellularization of principal fibrations
• Nonabelian algebraic topology. Filtered spaces, crossed complexes, cubical homotopy groupoids. With contributions by Christopher D. Wensley and Sergei V. Soloviev
• Normal and conormal maps in homotopy theory
• On homotopy theory and c. s. s. groups
• On Mapping Sequences
• Spaces with finitely many non-trivial homotopy groups
• The total space of universal fibrations

Cited in

(8)

• Crossed modules as homotopy normal maps
• Rigidification of homotopy algebras over finite product sketches
• Subnormal closure of a homomorphism.
• Diagrams encoding group actions on -spaces. To Tom Goodwillie on his 60th birthday
• Normal and conormal maps in homotopy theory
• Higher dimensional algebras as ideal maps
• Sylow theorems for \(\infty\)-groups
• Higher homotopy normalities in topological groups

This page was built for publication: Homotopy normal maps

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q441068)