Compositionality

The open-access journal for the mathematics of composition

Koszul duality for operadic categories

Michael Batanin and Martin Markl

Institute of Mathematics of the Czech Academy of Sciences, Žitná 25, 115 67 Prague 1, The Czech Republic
MFF UK, Sokolovská 83, 186 75 Prague 8, The Czech Republic

ABSTRACT

The aim of this paper (which is a sequel to Operadic categories as a natural environment for Koszul duality) is to set up the cornerstones of Koszul duality and Koszulity in the context of operads over a large class of operadic categories. In particular, for these operadic categories we will study concrete examples of binary quadratic operads, describe their Koszul duals and prove that they are Koszul. This includes operads (for operadic categories) whose algebras are the most important operad- and PROP-like structures such as the classical operads, their variants such as cyclic or modular operads, and also diverse versions of PROPs such as wheeled properads, dioperads, $\frac12$PROPs, and still more exotic objects such as permutads and pre-permutads.

► BibTeX data

► References

[1] D.W. Anderson. Fibrations and geometric realizations. Bull. Amer. Math. Soc., 84:765-786, 1978.

[2] M.A. Batanin and M. Markl. Operadic categories and duoidal Deligne's conjecture. Adv. Math., 285:1630-1687, 2015. 10.1016/​j.aim.2015.07.008.
https:/​/​doi.org/​10.1016/​j.aim.2015.07.008

[3] M.A. Batanin and M. Markl. Operadic categories as a natural environment for Koszul duality. Compositionality, 5(3), 2023. 10.32408/​compositionality-5-3.
https:/​/​doi.org/​10.32408/​compositionality-5-3

[4] M.A. Batanin, M. Markl, and J. Obradović. Minimal models for graph-related (hyper)operads. J. Pure Appl. Algebra, 227(7):107329, 2023. 10.1016/​j.jpaa.2023.107329.
https:/​/​doi.org/​10.1016/​j.jpaa.2023.107329

[5] M. Dehling and B. Vallette. Symmetric homotopy theory of operads. Algebr. Geom. Topol., 21(4):1595-1660, 2021. 10.2140/​agt.2021.21.1595.
https:/​/​doi.org/​10.2140/​agt.2021.21.1595

[6] M. Doubek, B. Jurčo, M. Markl, and I. Sachs. Algebraic Structure of String Field Theory. Volume 973 of Lecture Notes in Physics. Springer Verlag 2020.

[7] W.L. Gan. Koszul duality for dioperads. Math. Res. Lett., 10(1):109-124, 2003. 10.4310/​MRL.2003.v10.n1.a11.
https:/​/​doi.org/​10.4310/​MRL.2003.v10.n1.a11

[8] E. Getzler and M.M. Kapranov. Cyclic operads and cyclic homology. In S.-T. Yau, editor, Geometry, Topology and Physics for Raoul Bott, volume 4 of Conf. Proc. Lect. Notes. Geom. Topol., pages 167-201. International Press, 1995.

[9] E. Getzler and M.M. Kapranov. Modular operads. Compos. Math., 110(1):65-126, 1998. 10.1023/​A:1000245600345.
https:/​/​doi.org/​10.1023/​A:1000245600345

[10] V. Ginzburg and M.M. Kapranov. Koszul duality for operads. Duke Math. J., 76(1):203-272, 1994. 10.1215/​S0012-7094-94-07608-4.
https:/​/​doi.org/​10.1215/​S0012-7094-94-07608-4

[11] R.M. Kaufmann, B.C. Ward, and J.J. Zúñiga. The odd origin of Gerstenhaber brackets, Batalin-Vilkovisky operators and the master equations. J. Math. Phys., 56:103504, 2015. 10.1063/​1.4932962.
https:/​/​doi.org/​10.1063/​1.4932962

[12] R.M. Kaufmann and B.C. Ward. Koszul Feynman categories. Preprint, Arxiv 2108.09251, 2021.

[13] J.-L. Loday and M.O. Ronco. Permutads. J. Combin. Theory Ser. A, 120(2):340-365, 2013. 10.1016/​j.jcta.2012.08.005.
https:/​/​doi.org/​10.1016/​j.jcta.2012.08.005

[14] J.-L. Loday and B. Vallette. Algebraic operads. Volume 346 of Grundlehren der Mathematischen Wissenschaften. Springer, Heidelberg, 2012.

[15] M. Markl. Distributive laws and Koszulness. Ann. Inst. Fourier (Grenoble), 46(4):307-323, 1996. http:/​/​www.numdam.org/​item?id=AIF_1996__46_2_307_0.
http:/​/​www.numdam.org/​item?id=AIF_1996__46_2_307_0

[16] M. Markl. Intrinsic brackets and the $L_\infty$-deformation theory of bialgebras. J. Homotopy Relat. Struct., 5(1):177-212, 2010. https:/​/​tcms.org.ge/​Journals/​JHRS/​xvolumes/​2010/​n1a11/​v5n1a11.pdf.
https:/​/​tcms.org.ge/​Journals/​JHRS/​xvolumes/​2010/​n1a11/​v5n1a11.pdf

[17] M. Markl. Models for operads. Comm. Algebra, 24(4):1471-1500, 1996. 10.1080/​00927879608825647.
https:/​/​doi.org/​10.1080/​00927879608825647

[18] M. Markl. Odd structures are odd. Adv. Appl. Clifford Algebr., 27(2):567-1580, 2017. 10.1007/​s00006-016-0720-8.
https:/​/​doi.org/​10.1007/​s00006-016-0720-8

[19] M. Markl. Permutads via operadic categories, and the hidden associahedron. J. Combin. Theory Ser. A, 175:105277, 2020. 10.1016/​j.jcta.2020.105277.
https:/​/​doi.org/​10.1016/​j.jcta.2020.105277

[20] M. Markl, S.A. Merkulov, and S. Shadrin. Wheeled PROPs, graph complexes and the master equation. J. Pure Appl. Algebra, 213(4):496-535, 2009. 10.1016/​j.jpaa.2008.08.007.
https:/​/​doi.org/​10.1016/​j.jpaa.2008.08.007

[21] M. Markl, S. Shnider, and J.D. Stasheff. Operads in algebra, topology and physics. Volume 96 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2002.

[22] M. Markl and A.A. Voronov. PROPped-up graph cohomology. In Algebra, arithmetic, and geometry: in honor of Yu. I. Manin. Vol. II, volume 270 of Progress in Mathematics, pages 249-281. Birkhäuser, Boston, MA, 2009. 10.1007/​978-0-8176-4747-6_8.
https:/​/​doi.org/​10.1007/​978-0-8176-4747-6_8

[23] S.B. Priddy. Koszul resolutions. Trans. Amer. Math. Soc., 152(1):39-60, 1970. 10.2307/​1995637.
https:/​/​doi.org/​10.2307/​1995637

[24] R. Rosebrugh and R.J. Wood. Distributive laws and factorization. J. Pure Appl. Algebra, 175(1-3):327-353, 2002. https:/​/​core.ac.uk/​download/​pdf/​82048781.pdf.
https:/​/​core.ac.uk/​download/​pdf/​82048781.pdf

[25] B.C. Ward. Massey products for graph homology. Int. Math. Res. Not., 11:8086-8161, 2022. 10.1093/​imrn/​rnaa346.
https:/​/​doi.org/​10.1093/​imrn/​rnaa346

[26] B. Vallette. A Koszul duality for props. Trans. Amer. Math. Soc., 359(10):4865-4943, 2007. 10.1090/​S0002-9947-07-04182-7.
https:/​/​doi.org/​10.1090/​S0002-9947-07-04182-7

[27] P. Van der Laan. Operads up to homotopy and deformations of operad maps. Preprint, Arxiv math.QA/​0208041, 2002.

Cited by

[1] Vladimir Dotsenko, Sergey Shadrin, Arkady Vaintrob, and Bruno Vallette, "Deformation theory of cohomological field theories", Journal für die reine und angewandte Mathematik (Crelles Journal) (2024).

[2] Michael Batanin and Martin Markl, "Operadic categories as a natural environment for Koszul duality", Compositionality 5, 3 (2023).

The above citations are from Crossref's cited-by service (last updated successfully 2024-04-27 22:12:38). The list may be incomplete as not all publishers provide suitable and complete citation data.

On SAO/NASA ADS no data on citing works was found (last attempt 2024-04-27 22:12:38).