Function spaces and classifying spaces of algebras over a prop

Yalin, Sinan¹

¹Department of Mathematical Sciences, University of Copenhagen, Universitetsparken 5, 2100 Copenhagen, Denmark

Algebraic and Geometric Topology, Tome 16 (2016) no. 5, pp. 2715-2749

Résumé

The goal of this paper is to prove that the classifying spaces of categories of algebras governed by a prop can be determined by using function spaces on the category of props. We first consider a function space of props to define the moduli space of algebra structures over this prop on an object of the base category. Then we mainly prove that this moduli space is the homotopy fiber of a forgetful map of classifying spaces, generalizing to the prop setting a theorem of Rezk.

The crux of our proof lies in the construction of certain universal diagrams in categories of algebras over a prop. We introduce a general method to carry out such constructions in a functorial way.

Détail

DOI : 10.2140/agt.2016.16.2715

Classification : 18D10, 18D50, 18G55, 55U10
Keywords: props, classifying spaces, moduli spaces, bialgebras category, homotopical algebra, homotopy invariance

Bibliographie

[1] C Barwick, D M Kan, Relative categories: another model for the homotopy theory of homotopy theories, Indag. Math. 23 (2012) 42 | DOI

[2] J E Bergner, A model category structure on the category of simplicial categories, Trans. Amer. Math. Soc. 359 (2007) 2043 | DOI

[3] M Chas, D Sullivan, String topology,

[4] M Chas, D Sullivan, Closed string operators in topology leading to Lie bialgebras and higher string algebra, from: "The legacy of Niels Henrik Abel" (editors O A Laudal, R Piene), Springer (2004) 771

[5] I Ciocan-Fontanine, M M Kapranov, Derived Hilbert schemes, J. Amer. Math. Soc. 15 (2002) 787 | DOI

[6] V G Drinfel’D, Quantum groups, from: "Proceedings of the International Congress of Mathematicians, I, II" (editor A M Gleason), Amer. Math. Soc. (1987) 798

[7] V G Drinfel’D, On quasitriangular quasi-Hopf algebras and on a group that is closely connected with Gal(Q∕Q), Algebra i Analiz 2 (1990) 149

[8] W G Dwyer, D M Kan, Calculating simplicial localizations, J. Pure Appl. Algebra 18 (1980) 17 | DOI

[9] W G Dwyer, D M Kan, Function complexes in homotopical algebra, Topology 19 (1980) 427 | DOI

[10] W G Dwyer, D M Kan, Simplicial localizations of categories, J. Pure Appl. Algebra 17 (1980) 267 | DOI

[11] Y Frégier, M Markl, D Yau, The L∞–deformation complex of diagrams of algebras, New York J. Math. 15 (2009) 353

[12] B Fresse, Props in model categories and homotopy invariance of structures, Georgian Math. J. 17 (2010) 79 | DOI

[13] P S Hirschhorn, Model categories and their localizations, 99, Amer. Math. Soc. (2003)

[14] M W Johnson, D Yau, On homotopy invariance for algebras over colored PROPs, J. Homotopy Relat. Struct. 4 (2009) 275

[15] G M Kelly, Basic concepts of enriched category theory, 64, Cambridge Univ. Press (1982) 245

[16] J Kock, Frobenius algebras and 2D topological quantum field theories, 59, Cambridge Univ. Press (2004)

[17] M Markl, Homotopy algebras are homotopy algebras, Forum Math. 16 (2004) 129 | DOI

[18] M Markl, Intrinsic brackets and the L∞–deformation theory of bialgebras, J. Homotopy Relat. Struct. 5 (2010) 177

[19] S Merkulov, B Vallette, Deformation theory of representations of prop(erad)s, II, J. Reine Angew. Math. 636 (2009) 123 | DOI

[20] D Quillen, Higher algebraic K–theory, I, from: "Algebraic K–theory, I : Higher K–theories" (editor H Bass), Lecture Notes in Math. 341, Springer (1973) 85

[21] C W Rezk, Spaces of algebra structures and cohomology of operads, PhD thesis, Massachusetts Institute of Technology (1996)

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

[23] M Schlessinger, J Stasheff, The Lie algebra structure of tangent cohomology and deformation theory, J. Pure Appl. Algebra 38 (1985) 313 | DOI

[24] V G Turaev, Skein quantization of Poisson algebras of loops on surfaces, Ann. Sci. École Norm. Sup. 24 (1991) 635

[25] S Yalin, Classifying spaces of algebras over a prop, Algebr. Geom. Topol. 14 (2014) 2561 | DOI

[26] S Yalin, Simplicial localisation of homotopy algebras over a prop, Math. Proc. Cambridge Philos. Soc. 157 (2014) 457 | DOI

[27] S Yalin, Moduli stacks of algebraic structures and deformation theory, J. Noncommut. Geom. 10 (2016) 579 | DOI