Koszul duality theory for operads over Hopf algebras. (English) Zbl 1296.18009
Summary: 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.
MSC:
| 18D50 | Operads (MSC2010) |
| 18G55 | Nonabelian homotopical algebra (MSC2010) |
| 16T05 | Hopf algebras and their applications |
| 55P48 | Loop space machines and operads in algebraic topology |
References:
| [1] | S Barannikov, M Kontsevich, Frobenius manifolds and formality of Lie algebras of polyvector fields, Internat. Math. Res. Notices (1998) 201 · Zbl 0914.58004 · doi:10.1155/S1073792898000166 |
| [2] | I A Batalin, G A Vilkovisky, Gauge algebra and quantization (editors M A Markov, P C West), Plenum (1984) 463 |
| [3] | C Berger, I Moerdijk, Axiomatic homotopy theory for operads, Comment. Math. Helv. 78 (2003) 805 · Zbl 1041.18011 · doi:10.1007/s00014-003-0772-y |
| [4] | H D Cao, J Zhou, DGBV algebras and mirror symmetry (editors L Yang, S T Yau), AMS/IP Stud. Adv. Math. 20, Amer. Math. Soc. (2001) 279 · Zbl 1065.14051 |
| [5] | H D Cao, J Zhou, On quasi-isomorphic DGBV algebras, Math. Ann. 326 (2003) 459 · Zbl 1059.53069 |
| [6] | M Chas, D Sullivan, String topology · Zbl 1185.55013 · doi:10.1007/978-3-642-01200-6_2 |
| [7] | P Deligne, P Griffiths, J Morgan, D Sullivan, Real homotopy theory of Kähler manifolds, Invent. Math. 29 (1975) 245 · Zbl 0312.55011 · doi:10.1007/BF01389853 |
| [8] | G C Drummond-Cole, Formal formality of the hypercommutative algebras of low dimensional Calabi-Yau varieties · Zbl 1326.14091 |
| [9] | G C Drummond-Cole, B Vallette, The minimal model for the Batalin-Vilkovisky operad, Selecta Math. 19 (2013) 1 · Zbl 1264.18010 · doi:10.1007/s00029-012-0098-y |
| [10] | I Gálvez-Carrillo, A Tonks, B Vallette, Homotopy Batalin-Vilkovisky algebras, J. Noncommut. Geom. 6 (2012) 539 · Zbl 1258.18005 · doi:10.4171/JNCG/99 |
| [11] | E Getzler, Batalin-Vilkovisky algebras and two-dimensional topological field theories, Comm. Math. Phys. 159 (1994) 265 · Zbl 0807.17026 · doi:10.1007/BF02102639 |
| [12] | E Getzler, Two-dimensional topological gravity and equivariant cohomology, Comm. Math. Phys. 163 (1994) 473 · Zbl 0806.53073 · doi:10.1007/BF02101459 |
| [13] | E Getzler, J D S Jones, Operads, homotopy algebra and iterated integrals for double loop spaces |
| [14] | V Ginzburg, M Kapranov, Koszul duality for operads, Duke Math. J. 76 (1994) 203 · Zbl 0855.18006 · doi:10.1215/S0012-7094-94-07608-4 |
| [15] | E Hoffbeck, A Poincaré-Birkhoff-Witt criterion for Koszul operads, Manuscripta Math. 131 (2010) 87 · Zbl 1207.18009 · doi:10.1007/s00229-009-0303-2 |
| [16] | T V Kadeishvili, The algebraic structure in the homology of an \(A(\infty)\)-algebra, Soobshch. Akad. Nauk Gruzin. SSR 108 (1982) 249 · Zbl 0535.55005 |
| [17] | M Kontsevich, Homological algebra of mirror symmetry (editor S D Chatterji), Birkhäuser (1995) 120 · Zbl 0846.53021 |
| [18] | P Van der Laan, Coloured Koszul duality and strongly homotopy operads |
| [19] | B H Lian, G J Zuckerman, New perspectives on the BRST-algebraic structure of string theory, Comm. Math. Phys. 154 (1993) 613 · Zbl 0780.17029 · doi:10.1007/BF02102111 |
| [20] | M Livernet, C Roitzheim, S Whitehouse, Derived \(A_\infty\)-algebras in an operadic context, Algebr. Geom. Topol. 13 (2013) 409 · Zbl 1268.18006 · doi:10.2140/agt.2013.13.409 |
| [21] | J L Loday, B Vallette, Algebraic operads, Grundl. Math. Wissen. 346, Springer (2012) · Zbl 1260.18001 · doi:10.1007/978-3-642-30362-3 |
| [22] | Y I Manin, Frobenius manifolds, quantum cohomology, and moduli spaces, AMS Coll. Publ. 47, Amer. Math. Soc. (1999) · Zbl 0952.14032 |
| [23] | M Markl, Distributive laws and Koszulness, Ann. Inst. Fourier (Grenoble) 46 (1996) 307 · Zbl 0853.18005 · doi:10.5802/aif.1516 |
| [24] | P Salvatore, N Wahl, Framed discs operads and Batalin-Vilkovisky algebras, Q. J. Math. 54 (2003) 213 · Zbl 1072.55006 · doi:10.1093/qmath/hag012 |
| [25] | J D Stasheff, Homotopy associativity of \(H\)-spaces: I, II, Trans. Amer. Math. Soc. 108, 275-292; ibid. 108 (1963) 293 · Zbl 0114.39402 · doi:10.2307/1993608 |
| [26] | M E Sweedler, Hopf algebras, Mathematics Lecture Note Series, W. A. Benjamin (1969) · Zbl 0194.32901 |
| [27] | B Vallette, Homotopy theory of homotopy algebras (2013) · Zbl 1159.18001 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
