A Koszul duality for props
HTML articles powered by AMS MathViewer
- by Bruno Vallette PDF
- Trans. Amer. Math. Soc. 359 (2007), 4865-4943 Request permission
Abstract:
The notion of prop models the operations with multiple inputs and multiple outputs, acting on some algebraic structures like the bialgebras or the Lie bialgebras. In this paper, we generalize the Koszul duality theory of associative algebras and operads to props.References
- Marcelo Aguiar, Infinitesimal Hopf algebras, New trends in Hopf algebra theory (La Falda, 1999) Contemp. Math., vol. 267, Amer. Math. Soc., Providence, RI, 2000, pp. 1–29. MR 1800704, DOI 10.1090/conm/267/04262
- Marcelo Aguiar, On the associative analog of Lie bialgebras, J. Algebra 244 (2001), no. 2, 492–532. MR 1859038, DOI 10.1006/jabr.2001.8877
- M. Aguiar, Infinitesimal Hopf algebras and the $\mathbf c\mathbf d$-index of polytopes, Discrete Comput. Geom. 27 (2002), no. 1, 3–28. Geometric combinatorics (San Francisco, CA/Davis, CA, 2000). MR 1871686, DOI 10.1007/s00454-001-0049-4
- J. Beck, Triples, algebras and cohomology, Dissertation, Columbia University, 1967.
- Clemens Berger and Benoit Fresse, Combinatorial operad actions on cochains, Math. Proc. Cambridge Philos. Soc. 137 (2004), no. 1, 135–174. MR 2075046, DOI 10.1017/S0305004103007138
- Alexander Beilinson, Victor Ginzburg, and Wolfgang Soergel, Koszul duality patterns in representation theory, J. Amer. Math. Soc. 9 (1996), no. 2, 473–527. MR 1322847, DOI 10.1090/S0894-0347-96-00192-0
- H. Cartan, Algèbres d’Eilenberg-MacLane et homotopie, in “Séminaire Henri Cartan, 1954-55”.
- Moira Chas, Combinatorial Lie bialgebras of curves on surfaces, Topology 43 (2004), no. 3, 543–568. MR 2041630, DOI 10.1016/j.top.2003.03.003
- Moira Chas and Dennis Sullivan, Closed string operators in topology leading to Lie bialgebras and higher string algebra, The legacy of Niels Henrik Abel, Springer, Berlin, 2004, pp. 771–784. MR 2077595
- V. G. Drinfel′d, Hamiltonian structures on Lie groups, Lie bialgebras and the geometric meaning of classical Yang-Baxter equations, Dokl. Akad. Nauk SSSR 268 (1983), no. 2, 285–287 (Russian). MR 688240
- V. G. Drinfel′d, Quantum groups, Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Berkeley, Calif., 1986) Amer. Math. Soc., Providence, RI, 1987, pp. 798–820. MR 934283
- Benjamin Enriquez and Pavel Etingof, On the invertibility of quantization functors, J. Algebra 289 (2005), no. 2, 321–345. MR 2142375, DOI 10.1016/j.jalgebra.2005.01.056
- Thomas F. Fox, The construction of cofree coalgebras, J. Pure Appl. Algebra 84 (1993), no. 2, 191–198. MR 1201051, DOI 10.1016/0022-4049(93)90038-U
- Thomas F. Fox and Martin Markl, Distributive laws, bialgebras, and cohomology, Operads: Proceedings of Renaissance Conferences (Hartford, CT/Luminy, 1995) Contemp. Math., vol. 202, Amer. Math. Soc., Providence, RI, 1997, pp. 167–205. MR 1436921, DOI 10.1090/conm/202/02584
- Benoit Fresse, Koszul duality of operads and homology of partition posets, Homotopy theory: relations with algebraic geometry, group cohomology, and algebraic $K$-theory, Contemp. Math., vol. 346, Amer. Math. Soc., Providence, RI, 2004, pp. 115–215. MR 2066499, DOI 10.1090/conm/346/06287
- Wee Liang Gan, Koszul duality for dioperads, Math. Res. Lett. 10 (2003), no. 1, 109–124. MR 1960128, DOI 10.4310/MRL.2003.v10.n1.a11
- E. Getzler, J.D.S. Jones, Operads, homotopy algebra and iterated integrals for double loop spaces, preprint, arXiv:hep-th/9403055 (1994).
- Victor Ginzburg and Mikhail Kapranov, Koszul duality for operads, Duke Math. J. 76 (1994), no. 1, 203–272. MR 1301191, DOI 10.1215/S0012-7094-94-07608-4
- Maxim Kontsevich, Formal (non)commutative symplectic geometry, The Gel′fand Mathematical Seminars, 1990–1992, Birkhäuser Boston, Boston, MA, 1993, pp. 173–187. MR 1247289
- Jean-Louis Koszul, Homologie et cohomologie des algèbres de Lie, Bull. Soc. Math. France 78 (1950), 65–127 (French). MR 36511, DOI 10.24033/bsmf.1410
- F. William Lawvere, Functorial semantics of algebraic theories, Proc. Nat. Acad. Sci. U.S.A. 50 (1963), 869–872. MR 158921, DOI 10.1073/pnas.50.5.869
- J.-L. Loday, Notes on Koszul duality for associative algebras, preprint http://www-irma.u-strasbg.fr/~loday/PAPERS/koszuldual.ps (1999).
- J.-L. Loday, A. Frabetti, F. Chapoton, and F. Goichot, Dialgebras and related operads, Lecture Notes in Mathematics, vol. 1763, Springer-Verlag, Berlin, 2001. MR 1864390, DOI 10.1007/b80864
- Jean-Louis Loday, La renaissance des opérades, Astérisque 237 (1996), Exp. No. 792, 3, 47–74 (French, with French summary). Séminaire Bourbaki, Vol. 1994/95. MR 1423619
- Jean-Louis Loday, Scindement d’associativité et algèbres de Hopf, Actes des Journées Mathématiques à la Mémoire de Jean Leray, Sémin. Congr., vol. 9, Soc. Math. France, Paris, 2004, pp. 155–172 (French, with English and French summaries). MR 2145941
- Jean-Louis Loday and María Ronco, Algèbres de Hopf colibres, C. R. Math. Acad. Sci. Paris 337 (2003), no. 3, 153–158 (French, with English and French summaries). MR 2001126, DOI 10.1016/S1631-073X(03)00288-7
- James E. McClure and Jeffrey H. Smith, A solution of Deligne’s Hochschild cohomology conjecture, Recent progress in homotopy theory (Baltimore, MD, 2000) Contemp. Math., vol. 293, Amer. Math. Soc., Providence, RI, 2002, pp. 153–193. MR 1890736, DOI 10.1090/conm/293/04948
- Saunders Mac Lane, Categories for the working mathematician, 2nd ed., Graduate Texts in Mathematics, vol. 5, Springer-Verlag, New York, 1998. MR 1712872
- Saunders Mac Lane, Categorical algebra, Bull. Amer. Math. Soc. 71 (1965), 40–106. MR 171826, DOI 10.1090/S0002-9904-1965-11234-4
- Martin Markl, Cotangent cohomology of a category and deformations, J. Pure Appl. Algebra 113 (1996), no. 2, 195–218. MR 1415558, DOI 10.1016/0022-4049(95)00152-2
- Martin Markl, A resolution (minimal model) of the PROP for bialgebras, J. Pure Appl. Algebra 205 (2006), no. 2, 341–374. MR 2203621, DOI 10.1016/j.jpaa.2005.07.007
- Martin Markl, Distributive laws and Koszulness, Ann. Inst. Fourier (Grenoble) 46 (1996), no. 2, 307–323 (English, with English and French summaries). MR 1393517, DOI 10.5802/aif.1516
- M. Markl, A. A. Voronov, PROPped up graph cohomology, preprint arXiv:math.QA/0307081 (2003).
- J. P. May, Definitions: operads, algebras and modules, Operads: Proceedings of Renaissance Conferences (Hartford, CT/Luminy, 1995) Contemp. Math., vol. 202, Amer. Math. Soc., Providence, RI, 1997, pp. 1–7. MR 1436912, DOI 10.1090/conm/202/02587
- S.A. Merkulov, PROP profile of deformation quantization and graph complexes with loops and wheels,preprint, arXiv:math.QA/0412257 (2005).
- Stewart B. Priddy, Koszul resolutions, Trans. Amer. Math. Soc. 152 (1970), 39–60. MR 265437, DOI 10.1090/S0002-9947-1970-0265437-8
- Jean-Pierre Serre, Gèbres, Enseign. Math. (2) 39 (1993), no. 1-2, 33–85 (French). MR 1225256
- B. Vallette, Free monoid in monoidal abelian categories, preprint, http://math.unice.fr/~brunov/publications/FreeMonoid.ps (2004).
- Bruno Vallette, Dualité de Koszul des PROPs, Prépublication de l’Institut de Recherche Mathématique Avancée [Prepublication of the Institute of Advanced Mathematical Research], vol. 2003/30, Université Louis Pasteur, Département de Mathématique, Institut de Recherche Mathématique Avancée, Strasbourg, 2003 (French, with French summary). Dissertation, Université de Strasbourg I, Strasbourg, 2003. MR 2096610
- Bruno Vallette, Homology of generalized partition posets, J. Pure Appl. Algebra 208 (2007), no. 2, 699–725. MR 2277706, DOI 10.1016/j.jpaa.2006.03.012
- Charles A. Weibel, An introduction to homological algebra, Cambridge Studies in Advanced Mathematics, vol. 38, Cambridge University Press, Cambridge, 1994. MR 1269324, DOI 10.1017/CBO9781139644136
Additional Information
- Bruno Vallette
- Affiliation: Laboratoire J. A. Dieudonné, Université de Nice, Parc Valrose, 06108 Nice Cedex 02, France
- Email: brunov@math.unice.fr
- Received by editor(s): June 27, 2005
- Published electronically: May 16, 2007
- © Copyright 2007
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Trans. Amer. Math. Soc. 359 (2007), 4865-4943
- MSC (2000): Primary 18D50; Secondary 16W30, 17B26, 55P48
- DOI: https://doi.org/10.1090/S0002-9947-07-04182-7
- MathSciNet review: 2320654