The transfer of the generating operations of an algebra to a homotopy equivalent chain complex produces higher operations. The first goal of this paper is to describe precisely the higher structure obtained when the unary operations commute with the contracting homotopy. To solve this problem, we develop the Koszul duality theory of operads in the category of modules over a cocommutative Hopf algebra. This gives rise to a simpler category of homotopy algebras and infinity morphisms, which allows us to get a new description of the homotopy category of algebras over such operads. The main example of this theory is given by Batalin–Vilkovisky algebras.
Keywords: operads, Batalin–Vilkovisky algebras, Koszul duality theory, homotopical algebra
Bellier, Olivia  1
@article{10_2140_agt_2014_14_1,
author = {Bellier, Olivia},
title = {Koszul duality theory for operads over {Hopf} algebras},
journal = {Algebraic and Geometric Topology},
pages = {1--35},
year = {2014},
volume = {14},
number = {1},
doi = {10.2140/agt.2014.14.1},
url = {http://geodesic.mathdoc.fr/articles/10.2140/agt.2014.14.1/}
}
Bellier, Olivia. Koszul duality theory for operads over Hopf algebras. Algebraic and Geometric Topology, Tome 14 (2014) no. 1, pp. 1-35. doi: 10.2140/agt.2014.14.1
[1] , , Frobenius manifolds and formality of Lie algebras of polyvector fields, Internat. Math. Res. Notices (1998) 201 | DOI
[2] , , Gauge algebra and quantization, from: "Quantum gravity" (editors M A Markov, P C West), Plenum (1984) 463
[3] , , Axiomatic homotopy theory for operads, Comment. Math. Helv. 78 (2003) 805 | DOI
[4] , , DGBV algebras and mirror symmetry, from: "First International Congress of Chinese Mathematicians" (editors L Yang, S T Yau), AMS/IP Stud. Adv. Math. 20, Amer. Math. Soc. (2001) 279
[5] , , On quasi-isomorphic DGBV algebras, Math. Ann. 326 (2003) 459
[6] , , String topology
[7] , , , , Real homotopy theory of Kähler manifolds, Invent. Math. 29 (1975) 245 | DOI
[8] , Formal formality of the hypercommutative algebras of low dimensional Calabi–Yau varieties
[9] , , The minimal model for the Batalin–Vilkovisky operad, Selecta Math. 19 (2013) 1 | DOI
[10] , , , Homotopy Batalin–Vilkovisky algebras, J. Noncommut. Geom. 6 (2012) 539 | DOI
[11] , Batalin–Vilkovisky algebras and two-dimensional topological field theories, Comm. Math. Phys. 159 (1994) 265
[12] , Two-dimensional topological gravity and equivariant cohomology, Comm. Math. Phys. 163 (1994) 473
[13] , , Operads, homotopy algebra and iterated integrals for double loop spaces
[14] , , Koszul duality for operads, Duke Math. J. 76 (1994) 203 | DOI
[15] , A Poincaré–Birkhoff–Witt criterion for Koszul operads, Manuscripta Math. 131 (2010) 87 | DOI
[16] , The algebraic structure in the homology of an A(∞)–algebra, Soobshch. Akad. Nauk Gruzin. SSR 108 (1982) 249
[17] , Homological algebra of mirror symmetry, from: "Proceedings of the International Congress of Mathematicians, Vol. 1, 2" (editor S D Chatterji), Birkhäuser (1995) 120
[18] , Coloured Koszul duality and strongly homotopy operads
[19] , , New perspectives on the BRST-algebraic structure of string theory, Comm. Math. Phys. 154 (1993) 613
[20] , , , Derived A∞–algebras in an operadic context, Algebr. Geom. Topol. 13 (2013) 409 | DOI
[21] , , Algebraic operads, 346, Springer (2012) | DOI
[22] , Frobenius manifolds, quantum cohomology, and moduli spaces, 47, Amer. Math. Soc. (1999)
[23] , Distributive laws and Koszulness, Ann. Inst. Fourier (Grenoble) 46 (1996) 307
[24] , , Framed discs operads and Batalin–Vilkovisky algebras, Q. J. Math. 54 (2003) 213 | DOI
[25] , Homotopy associativity of H–spaces : I, II, Trans. Amer. Math. Soc. 108, 275-292; ibid. 108 (1963) 293
[26] , Hopf algebras, , W. A. Benjamin (1969)
[27] , Homotopy theory of homotopy algebras (2013)
Cité par Sources :