zbMATH — the first resource for mathematics

A Poincaré-Birkhoff-Witt criterion for Koszul operads. (English) Zbl 1207.18009
Koszul duality was introduced by S. B. Priddy in his paper “Koszul resolutions” [Trans. Am. Math. Soc. 152, 39–60 (1970; Zbl 0261.18016)], in order to study the homology of the Steenrod algebra. In this paper Priddy introduces the concept of Koszul algebras for associative algebras. When an algebra \(A\) is Koszul, \(A\) has a small homological resolution which is given thanks to its Koszul dual, in this case its homology and its cohomology are much more easier to compute. Thus it is important to have effective criteria to determine whether an algebra is Koszul or not, Priddy gave such a criterion for Koszulness in terms of the existence of a Poincaré-Birkhoff-Witt basis.
Twenty years later, V. Ginzburg and M. Kapranov [Duke Math. J. 76, No. 1, 203–272 (1994; Zbl 0855.18006)] gave a great impetus to the algebraic theory of operads, by introducing the concept of Koszul duality in the operadic framework. Koszul duality for operads explains deep algebraic phenomena, for example the operads \(Com\) and \(Lie\) are Koszul dual to each other, this duality explains the relations between the Sullivan model and the Quillen model in rational homotopy theory. Koszul duality is also crucial in order to understand and compute the homology of algebras over an operad. No need to say that it is important to have effective criteria for Koszulness of operads, let us cite I. Kriz [MR1301191 (1996)]:
“A major question still open is if there is a criterion for Koszulness of operads as powerful as Priddy’s for algebras, which would expand applications to examples where calculations of homology are not readily available.” In this paper the author answers positively to this important question. He introduces the concept of Poincaré-Birkhoff-Witt basis for an operad and proves that if an operad has such a basis then it is Koszul. This is not an easy affair, because one has to fight with subtle technicalities in order to put a nice order on trees. At the end of the day the author gives us an easy criterion to test the Koszulness of an operad.
This is truly an important paper, that deserves to be read by anyone interested in Koszul duality and operad theory. Moreover let us mention that the results of this paper are necessary to develop Gröbner bases for operads as done by V. Dotsenko and A. Khoroshkin [Duke Math. J. 153, No. 2, 363–396 (2010; Zbl 1208.18007)].

18D50 Operads (MSC2010)
55P48 Loop space machines and operads in algebraic topology
16S37 Quadratic and Koszul algebras
Full Text: DOI arXiv
[1] Chapoton F., Livernet M.: Pre-Lie algebras and the rooted trees operad. Internat. Res. Notices 8, 395–408 (2001) · Zbl 1053.17001 · doi:10.1155/S1073792801000198
[2] Fresse, B.: Koszul duality of operads and homology of partition posets. In: Homotopy theory and its applications (Evanston, 2002). Contemp. Math. 346, 115–215 (2004) · Zbl 1077.18007
[3] Getzler, E.: Operads and moduli spaces of genus 0 Riemann surfaces. In: The moduli space of curves. Progr. Math. 129, 199–230 (1995) · Zbl 0851.18005
[4] Getzler, E., Jones, J.D.S.: Operads, homotopy algebra and iterated integrals for double loop spaces. (1994). http://arxiv.org/abs/hep-th/9403055
[5] Ginzburg V., Kapranov M.: Koszul duality for operads. Duke Math. J. 76, 203–272 (1995) · Zbl 0855.18006 · doi:10.1215/S0012-7094-94-07608-4
[6] Gnedbaye, V.: Opérades des algèbres (k + 1)-aires. In: Operads: Proceedings of Renaissance Conferences (Hartford, CT/Luminy, 1995), pp. 83–113, Contemp. Math. 202, American Mathematical Society, Providence, RI (1997) · Zbl 0880.17003
[7] Kriz, I.: Review MR 1301191, Mathematical Reviews (1996)
[8] Leroux, P.: A simple symmetry generating operads related to rooted planar m-ary trees and polygonal numbers. J. Integer Seq. 10, (2007), article 07.4.7 · Zbl 1140.05329
[9] Loday, J.-L.: La renaissance des opérades. In: Séminaire Bourbaki, vol. 1994/95, Astérisque 237, pp. 47–74, Soc. Math. France, Paris (1996)
[10] Loday, J.-L.: Dialgebras. In: Dialgebras and Related Operads, Springer Lecture Notes in Math, vol. 1763, pp. 7–66. Springer, Berlin (1993)
[11] Markl M.: Distributive laws and the Koszulness. Ann. Inst. Fourier 46(4), 307–323 (1996) · Zbl 0853.18005
[12] Markl, M., Shnider, S., Stasheff, J.: Operads in Algebra, Topology and Physics, Mathematical Surveys and Monographs 96. American Mathematical Society, Providence, RI (2002) · Zbl 1017.18001
[13] McCleary J.: A User’s Guide to Spectral Sequences (2nd edn.), Cambridge Studies in Advanced Mathematics 58. Cambridge University Press, Cambridge (2001) · Zbl 0959.55001
[14] Priddy S.: Koszul resolutions. Trans. Amer. Math. Soc. 152, 39–60 (1970) · Zbl 0261.18016 · doi:10.1090/S0002-9947-1970-0265437-8
[15] Reutenauer C.: Free Lie Algebras. Oxford University Press, Oxford (1993) · Zbl 0798.17001
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.