Iterated bar complexes of E–infinity algebras and homology theories

Fresse, Benoit¹

¹UMR CNRS 8524, UFR de Mathématiques, Université Lille 1 - Sciences et Technologies, Cité Scientifique - Bâtiment M2, 59655 Villeneuve d’Ascq Cedex, France

Algebraic and Geometric Topology, Tome 11 (2011) no. 2, pp. 747-838

Résumé

We proved in a previous article that the bar complex of an E∞–algebra inherits a natural E∞–algebra structure. As a consequence, a well-defined iterated bar construction Bn(A) can be associated to any algebra over an E∞–operad. In the case of a commutative algebra A, our iterated bar construction reduces to the standard iterated bar complex of A.

The first purpose of this paper is to give a direct effective definition of the iterated bar complexes of E∞–algebras. We use this effective definition to prove that the n–fold bar construction admits an extension to categories of algebras over En–operads.

Then we prove that the n–fold bar complex determines the homology theory associated to the category of algebras over an En–operad. In the case n = ∞, we obtain an isomorphism between the homology of an infinite bar construction and the usual Γ–homology with trivial coefficients.

Détail

DOI : 10.2140/agt.2011.11.747

Classification : 57T30, 55P48, 18G55, 55P35
Keywords: iterated bar complex, $E_n$–operad, module over operad, homology theory

Bibliographie

[1] S T Ahearn, N J Kuhn, Product and other fine structure in polynomial resolutions of mapping spaces, Algebr. Geom. Topol. 2 (2002) 591

[2] G Arone, M Kankaanrinta, The homology of certain subgroups of the symmetric group with coefficients in Lie(n), J. Pure Appl. Algebra 127 (1998) 1

[3] G Arone, M Mahowald, The Goodwillie tower of the identity functor and the unstable periodic homotopy of spheres, Invent. Math. 135 (1999) 743

[4] M G Barratt, P J Eccles, Γ+–structures. I. A free group functor for stable homotopy theory, Topology 13 (1974) 25

[5] M Basterra, M A Mandell, Homology of En ring spectra and iterated THH

[6] M A Batanin, Symmetrisation of n–operads and compactification of real configuration spaces, Adv. Math. 211 (2007) 684

[7] M A Batanin, The Eckmann–Hilton argument and higher operads, Adv. Math. 217 (2008) 334

[8] C Berger, Opérades cellulaires et espaces de lacets itérés, Ann. Inst. Fourier (Grenoble) 46 (1996) 1125

[9] C Berger, B Fresse, Combinatorial operad actions on cochains, Math. Proc. Cambridge Philos. Soc. 137 (2004) 135

[10] S Betley, J Słomińska, New approach to the groups H∗(Σn,Lien) by the homology theory of the category of functors, J. Pure Appl. Algebra 161 (2001) 31

[11] J M Boardman, R M Vogt, Homotopy invariant algebraic structures on topological spaces, 347, Springer (1973)

[12] N Bourbaki, Éléments de mathématique. Fasc. XXXVII. Groupes et algèbres de Lie. Chapitre II : Algèbres de Lie libres. Chapitre III : Groupes de Lie, 1349, Hermann (1972) 320

[13] H Cartan, J C Moore, R Thom, J P Serre, Algèbres d’Eilenberg–Mac Lane et homotopie, , Secrétariat math. (1956)

[14] D Chataur, M Livernet, Adem–Cartan operads, Comm. Algebra 33 (2005) 4337

[15] F R Cohen, T J Lada, J P May, The homology of iterated loop spaces, 533, Springer (1976)

[16] B Fresse, Koszul duality complexes for the cohomology of iterated loop spaces of spheres

[17] B Fresse, Koszul duality of En–operads, to appear in Selecta Math.

[18] B Fresse, La catégorie des arbres élagués de Batanin est de Koszul

[19] B Fresse, On the homotopy of simplicial algebras over an operad, Trans. Amer. Math. Soc. 352 (2000) 4113

[20] B Fresse, Koszul duality of operads and homology of partition posets, from: "Homotopy theory : relations with algebraic geometry, group cohomology, and algebraic K–theory" (editors P Goerss, S Priddy), Contemp. Math. 346, Amer. Math. Soc. (2004) 115

[21] B Fresse, Théorie des opérades de Koszul et homologie des algèbres de Poisson, Ann. Math. Blaise Pascal 13 (2006) 237

[22] B Fresse, Iterated bar complexes and the poset of pruned trees, Preprint (2008)

[23] B Fresse, Modules over operads and functors, 1967, Springer (2009)

[24] B Fresse, The bar complex of an E–infinity algebra, Adv. Math. 223 (2010) 2049

[25] E Getzler, J Jones, Operads, homotopy algebra and iterated integrals for double loop spaces

[26] G Ginot, Homologie et modèle minimal des algèbres de Gerstenhaber, Ann. Math. Blaise Pascal 11 (2004) 95

[27] V Ginzburg, M Kapranov, Koszul duality for operads, Duke Math. J. 76 (1994) 203

[28] D K Harrison, Commutative algebras and cohomology, Trans. Amer. Math. Soc. 104 (1962) 191

[29] V A Hinich, V V Schechtman, On homotopy limit of homotopy algebras, from: "K–theory, arithmetic and geometry (Moscow, 1984–1986)" (editor Y I Manin), Lecture Notes in Math. 1289, Springer (1987) 240

[30] M Hovey, Model categories, 63, Amer. Math. Soc. (1999)

[31] M Kontsevich, Operads and motives in deformation quantization, Lett. Math. Phys. 48 (1999) 35

[32] M Livernet, B Richter, An interpretation of En–homology as functor homology, to appear in Math. Z.

[33] J L Loday, Generalized bialgebras and triples of operads, 320, Soc. Math. France (2008)

[34] S Mac Lane, Homology, 114, Academic Press (1963)

[35] M A Mandell, Topological André–Quillen cohomology and E∞ André–Quillen cohomology, Adv. Math. 177 (2003) 227

[36] M Markl, Distributive laws and Koszulness, Ann. Inst. Fourier (Grenoble) 46 (1996) 307

[37] M Markl, Models for operads, Comm. Algebra 24 (1996) 1471

[38] M Markl, S Shnider, J Stasheff, Operads in algebra, topology and physics, 96, Amer. Math. Soc. (2002)

[39] J P May, The geometry of iterated loop spaces, 271, Springer (1972)

[40] J E Mcclure, J H Smith, Multivariable cochain operations and little n–cubes, J. Amer. Math. Soc. 16 (2003) 681

[41] C Reutenauer, Free Lie algebras, 7, Oxford Science Publ., The Clarendon Press, Oxford Univ. Press (1993)

[42] B Richter, A lower bound for coherences on the Brown–Peterson spectrum, Algebr. Geom. Topol. 6 (2006) 287

[43] A Robinson, Gamma homology, Lie representations and E∞ multiplications, Invent. Math. 152 (2003) 331

[44] V A Smirnov, On the chain complex of an iterated loop space, Izv. Akad. Nauk SSSR Ser. Mat. 53 (1989) 1108, 1135

[45] V A Smirnov, The homology of iterated loop spaces, Forum Math. 14 (2002) 345

[46] C R Stover, The equivalence of certain categories of twisted Lie and Hopf algebras over a commutative ring, J. Pure Appl. Algebra 86 (1993) 289