Homotopy normal maps

Prezma, Matan¹

¹Einstein Institute of Mathematics, Hebrew University of Jerusalem, Giv’at Ram, Jerusalem 91904, Israel

Algebraic and Geometric Topology, Tome 12 (2012) no. 2, pp. 1211-1238

Résumé

A group property made homotopical is a property of the corresponding classifying space. This train of thought can lead to a homotopical definition of normal maps between topological groups (or loop spaces).

In this paper we deal with such maps, called homotopy normal maps, which are topological group maps N → G being “normal” in that they induce a compatible topological group structure on the homotopy quotient G∕∕N := EN ×NG. We develop the notion of homotopy normality and its basic properties and show it is invariant under homotopy monoidal endofunctors of topological spaces, eg localizations and completions. In the course of characterizing normality, we define a notion of a homotopy action of a loop space on a space phrased in terms of Segal’s 1–fold delooping machine. Homotopy actions are “flexible” in the sense they are invariant under homotopy monoidal functors, but can also rigidify to (strict) group actions.

Détail

DOI : 10.2140/agt.2012.12.1211

Classification : 55P35, 18D10, 18G55, 55U10, 55U15, 55U30, 55U35
Keywords: normal subgroup, Segal space, bar construction, localization, completion, homotopy monoidal functor

Bibliographie

[1] C Balteanu, Z Fiedorowicz, R Schwänzl, R Vogt, Iterated monoidal categories, Adv. Math. 176 (2003) 277

[2] A K Bousfield, Unstable localization and periodicity, from: "Algebraic topology : new trends in localization and periodicity (Sant Feliu de Guíxols, 1994)" (editors C Broto, C Casacuberta, G Mislin), Progr. Math. 136, Birkhäuser (1996) 33

[3] R Brown, P J Higgins, R Sivera, Nonabelian algebraic topology : Filtered spaces, crossed complexes, cubical higher homotopy groupoids, 15, European Math. Soc. (2010)

[4] E Dror, W G Dwyer, D M Kan, Equivariant maps which are self homotopy equivalences, Proc. Amer. Math. Soc. 80 (1980) 670

[5] W G Dwyer, E D Farjoun, Localization and cellularization of principal fibrations, from: "Alpine perspectives on algebraic topology" (editors C Ausoni, K Hess, J Scherer), Contemp. Math. 504, Amer. Math. Soc. (2009) 117

[6] W G Dwyer, C W Wilkerson, Homotopy fixed-point methods for Lie groups and finite loop spaces, Ann. of Math. 139 (1994) 395

[7] E D Farjoun, Cellular spaces, null spaces and homotopy localization, 1622, Springer (1996)

[8] E D Farjoun, K Hess, Normal and conormal maps in homotopy theory

[9] E D Farjoun, Y Segev, Crossed modules as homotopy normal maps, Topology Appl. 157 (2010) 359

[10] T G Goodwillie, Calculus II : Analytic functors, K–Theory 5 (1991/92) 295

[11] D H Gottlieb, The total space of universal fibrations, Pacific J. Math. 46 (1973) 415

[12] D M Kan, On homotopy theory and c.s.s. groups, Ann. of Math. 68 (1958) 38

[13] J L Loday, Spaces with finitely many nontrivial homotopy groups, J. Pure Appl. Algebra 24 (1982) 179

[14] J P May, Classifying spaces and fibrations, 1, no. 155, Amer. Math. Soc. (1975)

[15] J Milnor, Construction of universal bundles. I, II, Ann. of Math. (2) 63 (1956) 272, 430

[16] Y Nomura, On mapping sequences, Nagoya Math. J. 17 (1960) 111

[17] R A Nowlan, An–actions on fibre spaces, Indiana Univ. Math. J. 21 (1972) 285

[18] V Puppe, A remark on “homotopy fibrations”, Manuscripta Math. 12 (1974) 113

[19] C Rezk, A model for the homotopy theory of homotopy theory, Trans. Amer. Math. Soc. 353 (2001) 973

[20] G Segal, Categories and cohomology theories, Topology 13 (1974) 293

[21] J Stasheff, “Parallel” transport – revisited

[22] J Stasheff, H–spaces from a homotopy point of view, 161, Springer (1970)

[23] J H C Whitehead, Combinatorial homotopy. II, Bull. Amer. Math. Soc. 55 (1949) 453