Abstract
This chapter extends to the operadic level the various methods, obtained in Chap. 4, to prove that algebras are Koszul. They rely either on rewriting systems, PBW and Gröbner bases, distributive laws (Diamond Lemma), or combinatorics (partition poset method). The notion of shuffle operad plays a key role in this respect. We also introduce the Manin products constructions for operads.
Nous voulons, tant ce feu nous brûle le cerveau, Plonger au fond du gouffre, Enfer ou Ciel, qu’importe? Au fond de l’Inconnu pour trouver du nouveau!
Charles Baudelaire
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
G. Arone and M. Mahowald, The Goodwillie tower of the identity functor and the unstable periodic homotopy of spheres, Invent. Math. 135 (1999), no. 3, 743–788.
K. Baclawski, Homology and combinatorics of ordered sets, Ph.D. thesis, Harvard Univ., Cambridge, Mass., 1976.
J. C. Baez and A. S. Crans, Higher-dimensional algebra. VI. Lie 2-algebras, Theory Appl. Categ. 12 (2004), 492–538 (electronic).
Jon Beck, Distributive laws, Sem. on Triples and Categorical Homology Theory (ETH, Zürich, 1966/67), Springer, Berlin, 1969, pp. 119–140.
A. Björner, A. M. Garsia, and R. P. Stanley, An introduction to Cohen-Macaulay partially ordered sets, Ordered sets (Banff, Alta., 1981), NATO Adv. Study Inst. Ser. C: Math. Phys. Sci., vol. 83, Reidel, Dordrecht, 1982, pp. 583–615.
D. V. Borisov and Y. I. Manin, Generalized operads and their inner cohomomorphisms, Geometry and dynamics of groups and spaces, Progr. Math., vol. 265, Birkhäuser, Basel, 2008, pp. 247–308.
Michael Ching, Bar constructions for topological operads and the Goodwillie derivatives of the identity, Geom. Topol. 9 (2005), 833–933.
A. Connes and D. Kreimer, Hopf algebras, renormalization and noncommutative geometry, Comm. Math. Phys. 199 (1998), no. 1, 203–242.
—, Relating two Hopf algebras built from an operad, Int. Math. Res. Not. IMRN (2007), no. 24.
P.-L. Curien, Operads, clones and distributive laws, Proc. Int. Conf., in Nankai Series in Pure, Applied Mathematics and Theoretical Physics 9 (2012), 25–49.
V. Dotsenko and A. Khoroshkin, Character formulas for the operad of a pair of compatible brackets and for the bi-Hamiltonian operad, Funktsional. Anal. i Prilozhen. 41 (2007), no. 1, 1–22, 96.
—, Gröbner bases for operads, Duke Math. J. 153 (2010), no. 2, 363–396.
Vladimir Dotsenko, An operadic approach to deformation quantization of compatible Poisson brackets. I, J. Gen. Lie Theory Appl. 1 (2007), no. 2, 107–115 (electronic).
K. Ebrahimi-Fard and L. Guo, On products and duality of binary, quadratic, regular operads, J. Pure Appl. Algebra 200 (2005), no. 3, 293–317.
F. D. Farmer, Cellular homology for posets, Math. Japon. 23 (1978/79), no. 6, 607–613.
T. F. Fox and M. 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.
—, Koszul duality of operads and homology of partition posets, in “Homotopy theory and its applications (Evanston, 2002)”, Contemp. Math. 346 (2004), 115–215.
V. Ginzburg and M. Kapranov, Koszul duality for operads, Duke Math. J. 76 (1994), no. 1, 203–272.
V. Ginzburg and M. Kapranov, Erratum to: “Koszul duality for operads”, Duke Math. J. 80 (1995), no. 1, 293.
—, A Poincaré-Birkhoff-Witt criterion for Koszul operads, Manuscripta Math. 131 (2010), no. 1-2, 87–110.
—, A rigidity theorem for pre-Lie algebras, J. Pure Appl. Algebra 207 (2006), no. 1, 1–18.
J.-L. Loday and M. O. Ronco, Trialgebras and families of polytopes, Homotopy theory: relations with algebraic geometry, group cohomology, and algebraic K-theory, Contemp. Math., vol. 346, Amer. Math. Soc., Providence, RI, 2004, pp. 369–398. MR 2066507 (2006e:18016)
—, Distributive laws and Koszulness, Ann. Inst. Fourier (Grenoble) 46 (1996), no. 2, 307–323.
M. Méndez, Monoides, c-monoides, especies de Möbius y coàlgebras, Ph.D. thesis, Universidad Central de Venezuela, http://www.ivic.gob.ve/matematicas/?mod=mmendez.htm, 1989.
—, Operads, deformation theory and F-manifolds, Frobenius manifolds, Aspects Math., E36, Vieweg, Wiesbaden, 2004, pp. 213–251.
—, Nijenhuis infinity and contractible differential graded manifolds, Compos. Math. 141 (2005), no. 5, 1238–1254.
—, Homology, Classics in Mathematics, Springer-Verlag, Berlin, 1995, Reprint of the 1975 edition.
M. Méndez and J. Yang, Möbius species, Adv. Math. 85 (1991), no. 1, 83–128.
—, Shuffle algebras, Annales Instit. Fourier 61 (2011), no. 1, 799–850.
R. P. Stanley, Enumerative combinatorics. Vol. 1, Cambridge Studies in Advanced Mathematics, vol. 49, Cambridge University Press, Cambridge, 1997, With a foreword by Gian-Carlo Rota, Corrected reprint of the 1986 original.
Henrik Strohmayer, Operads of compatible structures and weighted partitions, J. Pure Appl. Algebra 212 (2008), no. 11, 2522–2534.
—, Operad profiles of Nijenhuis structures, Differential Geom. Appl. 27 (2009), no. 6, 780–792.
—, Prop profile of bi-Hamiltonian structures, J. Noncommut. Geom. 4 (2010), no. 2, 189–235.
Bruno Vallette, Homology of generalized partition posets, J. Pure Appl. Algebra 208 (2007), no. 2, 699–725.
—, A Koszul duality for props, Trans. of Amer. Math. Soc. 359 (2007), 4865–4993.
—, Manin products, Koszul duality, Loday algebras and Deligne conjecture, J. Reine Angew. Math. 620 (2008), 105–164.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Loday, JL., Vallette, B. (2012). Methods to Prove Koszulity of an Operad. In: Algebraic Operads. Grundlehren der mathematischen Wissenschaften, vol 346. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30362-3_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-30362-3_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-30361-6
Online ISBN: 978-3-642-30362-3
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)