A Koszul duality for props

Vallette, Bruno

doi:10.1090/S0002-9947-07-04182-7

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