Higher enveloping algebras

Knudsen, Ben¹

¹ Department of Mathematics, Harvard University, Cambridge, MA, United States

Geometry & topology, Tome 22 (2018) no. 7, pp. 4013-4066.

Résumé

We provide spectral Lie algebras with enveloping algebras over the operad of little $G$–framed $n$–dimensional disks for any choice of dimension $n$ and structure group $G$, and we describe these objects in two complementary ways. The first description is an abstract characterization by a universal mapping property, which witnesses the higher enveloping algebra as the value of a left adjoint in an adjunction. The second, a generalization of the Poincaré–Birkhoff–Witt theorem, provides a concrete formula in terms of Lie algebra homology. Our construction pairs the theories of Koszul duality and Day convolution in order to lift to the world of higher algebra the fundamental combinatorics of Beilinson–Drinfeld’s theory of chiral algebras. Like that theory, ours is intimately linked to the geometry of configuration spaces and has the study of these spaces among its applications. We use it here to show that the stable homotopy types of configuration spaces are proper homotopy invariants.

Détail

DOI : 10.2140/gt.2018.22.4013

Classification : 17B99, 55R80, 55P35
Keywords: Lie algebra, enveloping algebra, configuration space, factorization homology

Bibliographie

[1] O Antolín Camarena, The mod 2 homology of free spectral Lie algebras, PhD thesis, Harvard University (2015)

[2] M Aouina, J R Klein, On the homotopy invariance of configuration spaces, Algebr. Geom. Topol. 4 (2004) 813 | DOI

[3] V I Arnol’D, The cohomology ring of the colored braid group, Mat. Zametki 5 (1969) 227

[4] M F Atiyah, Thom complexes, Proc. London Math. Soc. 11 (1961) 291 | DOI

[5] D Ayala, J Francis, Factorization homology of topological manifolds, J. Topol. 8 (2015) 1045 | DOI

[6] D Ayala, J Francis, H L Tanaka, Factorization homology of stratified spaces, Selecta Math. 23 (2017) 293 | DOI

[7] D Ayala, J Francis, H L Tanaka, Local structures on stratified spaces, Adv. Math. 307 (2017) 903 | DOI

[8] A Beilinson, V Drinfeld, Chiral algebras, 51, Amer. Math. Soc. (2004) | DOI

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

[10] D L B Brantner, The Lubin–Tate theory of spectral Lie algebras, PhD thesis, Harvard University (2017)

[11] L Brantner, J Hahn, B Knudsen, Hecke Lie algebras and the Lubin–Tate theory of configuration spaces, in preparation (2018)

[12] W Browder, Homology operations and loop spaces, Illinois J. Math. 4 (1960) 347

[13] M Ching, Bar constructions for topological operads and the Goodwillie derivatives of the identity, Geom. Topol. 9 (2005) 833 | DOI

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

[15] K Costello, O Gwilliam, Factorization algebras in quantum field theory, I, 31, Cambridge Univ. Press (2017) | DOI

[16] B Day, On closed categories of functors, from: "Reports of the Midwest Category Seminar, IV" (editor S Mac Lane), Lecture Notes in Math. 137, Springer (1970) 1

[17] G C Drummond-Cole, B Knudsen, Betti numbers of configuration spaces of surfaces, J. Lond. Math. Soc. 96 (2017) 367 | DOI

[18] J Francis, The tangent complex and Hochschild cohomology of En–rings, Compos. Math. 149 (2013) 430 | DOI

[19] J Francis, D Gaitsgory, Chiral Koszul duality, Selecta Math. 18 (2012) 27 | DOI

[20] B Fresse, 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

[21] B Fresse, Koszul duality complexes for the cohomology of iterated loop spaces of spheres, from: "An alpine expedition through algebraic topology" (editors C Ausoni, K Hess, B Johnson, W Lück, J Scherer), Contemp. Math. 617, Amer. Math. Soc. (2014) 165 | DOI

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

[23] S Glasman, Day convolution for ∞–categories, Math. Res. Lett. 23 (2016) 1369 | DOI

[24] O Gwilliam, Factorization algebras and free field theories, PhD thesis, Northwestern University (2012)

[25] V Hinich, Homological algebra of homotopy algebras, Comm. Algebra 25 (1997) 3291 | DOI

[26] V Hinich, DG coalgebras as formal stacks, J. Pure Appl. Algebra 162 (2001) 209 | DOI

[27] J J Kjaer, On the odd primary homology of free algebras over the spectral lie operad, J. Homotopy Relat. Struct. 13 (2018) 581 | DOI

[28] B Knudsen, Higher enveloping algebras and configuration spaces of manifolds, PhD thesis, Northwestern University (2016)

[29] B Knudsen, Betti numbers and stability for configuration spaces via factorization homology, Algebr. Geom. Topol. 17 (2017) 3137 | DOI

[30] J Lurie, Higher topos theory, 170, Princeton Univ. Press (2009) | DOI

[31] J Lurie, Higher algebra, book project (2017)

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

[33] J S Milne, Étale cohomology, 33, Princeton Univ. Press (1980)

[34] D Quillen, Rational homotopy theory, Ann. of Math. 90 (1969) 205 | DOI

[35] P Salvatore, N Wahl, Framed discs operads and Batalin–Vilkovisky algebras, Q. J. Math. 54 (2003) 213 | DOI

[36] D Sinha, The homology of the little disks operad, preprint (2006)

[37] C Tuffley, Finite subset spaces of S1, Algebr. Geom. Topol. 2 (2002) 1119 | DOI