The classical Hopf invariant is an invariant of homotopy classes of maps from S4n−1 to S2n, and is an important invariant in homotopy theory. The goal of this paper is to use the Koszul duality theory for ℰn–operads to define a generalization of the classical Hopf invariant. One way of defining the classical Hopf invariant is by defining a pairing between the cohomology of the associative bar construction on the cochains of a space X and the homotopy groups of X. We will give a generalization of the classical Hopf invariant by defining a pairing between the cohomology of the ℰn–bar construction on the cochains of X and the homotopy groups of X. This pairing gives us a set of invariants of homotopy classes of maps from Sm to a simplicial set X; this pairing can detect more homotopy classes of maps than the classical Hopf invariant.
The second part of the paper is devoted to combining the ℰn–Hopf invariants with the Koszul duality theory for ℰn–operads to get a relation between the ℰn–Hopf invariants of a space X and the ℰn+1–Hopf invariants of the suspension of X. This is done by studying the suspension morphism for the ℰ∞–operad, which is a morphism from the ℰ∞–operad to the desuspension of the ℰ∞–operad. We show that it induces a functor from ℰ∞–algebras to ℰ∞–algebras, which has the property that it sends an ℰ∞–model for a simplicial set X to an ℰ∞–model for the suspension of X.
We use this result to give a relation between the ℰn–Hopf invariants of maps from Sm into X and the ℰn+1–Hopf invariants of maps from Sm+1 into the suspension of X. One of the main results we show here is that this relation can be used to define invariants of stable homotopy classes of maps.
Keywords: Hopf invariant, $E_n$–algebras, suspensions
Wierstra, Felix 1
@article{AGT_2020_20_6_a4,
author = {Wierstra, Felix},
title = {\ensuremath{\mathscr{E}}n{\textendash}Hopf invariants},
journal = {Algebraic and Geometric Topology},
pages = {2905--2956},
year = {2020},
volume = {20},
number = {6},
url = {http://geodesic.mathdoc.fr/item/AGT_2020_20_6_a4/}
}
Wierstra, Felix. ℰn–Hopf invariants. Algebraic and Geometric Topology, Tome 20 (2020) no. 6, pp. 2905-2956. http://geodesic.mathdoc.fr/item/AGT_2020_20_6_a4/
[1] , On the cobar construction, Proc. Nat. Acad. Sci. U.S.A. 42 (1956) 409 | DOI
[2] , On the non-existence of elements of Hopf invariant one, Ann. of Math. 72 (1960) 20 | DOI
[3] , Un groupoïde simplicial comme modèle de l’espace des chemins, Bull. Soc. Math. France 123 (1995) 1 | DOI
[4] , , Combinatorial operad actions on cochains, Math. Proc. Cambridge Philos. Soc. 137 (2004) 135 | DOI
[5] , , On Hopf invariants, Comment. Math. Helv. 42 (1967) 180 | DOI
[6] , Simplicial homotopy theory, Adv. Math. 6 (1971) 107 | DOI
[7] , , Model structures for coalgebras, Proc. Amer. Math. Soc. 144 (2016) 1467 | DOI
[8] , , Homotopy theories and model categories, from: "Handbook of algebraic topology" (editor I M James), North-Holland (1995) 73 | DOI
[9] , , , , Computing simplicial representatives of homotopy group elements, from: "Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms" (editor A Czumaj), SIAM (2018) 1135 | DOI
[10] , On the homotopy of simplicial algebras over an operad, Trans. Amer. Math. Soc. 352 (2000) 4113 | DOI
[11] , Koszul duality of operads and homology of partition posets, from: "Homotopy theory : relations with algebraic geometry, group cohomology, and algebraic –theory" (editors P Goerss, S Priddy), Contemp. Math. 346, Amer. Math. Soc. (2004) 115 | DOI
[12] , Operadic cobar constructions, cylinder objects and homotopy morphisms of algebras over operads, from: "Alpine perspectives on algebraic topology" (editors C Ausoni, K Hess, J Scherer), Contemp. Math. 504, Amer. Math. Soc. (2009) 125 | DOI
[13] , The bar complex of an E–infinity algebra, Adv. Math. 223 (2010) 2049 | DOI
[14] , Iterated bar complexes of E–infinity algebras and homology theories, Algebr. Geom. Topol. 11 (2011) 747 | DOI
[15] , Koszul duality of En–operads, Selecta Math. 17 (2011) 363 | DOI
[16] , On mapping spaces of differential graded operads with the commutative operad as target, Math. Res. Lett. 18 (2011) 215 | DOI
[17] , Algebraic topology, Cambridge Univ. Press (2002)
[18] , Higher string topology on general spaces, Proc. Lond. Math. Soc. 93 (2006) 515 | DOI
[19] , , Algebraic operads, 346, Springer (2012) | DOI
[20] , Homology, 114, Springer (1963) | DOI
[21] , A user’s guide to spectral sequences, 58, Cambridge Univ. Press (2001) | DOI
[22] , , Multivariable cochain operations and little n–cubes, J. Amer. Math. Soc. 16 (2003) 681 | DOI
[23] , The Koszul complex is the cotangent complex, Int. Math. Res. Not. 2012 (2012) 607 | DOI
[24] , , Homotopy morphisms between convolution homotopy Lie algebras, J. Noncommut. Geom. 13 (2019) 1463 | DOI
[25] , , Lie coalgebras and rational homotopy theory, II : Hopf invariants, Trans. Amer. Math. Soc. 365 (2013) 861 | DOI
[26] , Cohomology invariants of mappings, Ann. of Math. 50 (1949) 954 | DOI
[27] , Homotopy theory of homotopy algebras, Ann. Inst. Fourier (Grenoble) 70 (2020) 683 | DOI
[28] , An introduction to homological algebra, 38, Cambridge Univ. Press (1994) | DOI
[29] , A generalization of the Hopf invariant, Ann. of Math. 51 (1950) 192 | DOI
[30] , Elements of homotopy theory, 61, Springer (1978) | DOI