Duke Mathematical Journal

Gröbner bases for operads

Vladimir Dotsenko and Anton Khoroshkin

Full-text: Access denied (no subscription detected)

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text

Abstract

We define a new monoidal structure on the category of collections (shuffle composition). Monoids in this category (shuffle operads) turn out to bring a new insight in the theory of symmetric operads. For this category, we develop the machinery of Gröbner bases for operads and present operadic versions of Bergman's diamond lemma and Buchberger's algorithm. This machinery can be applied to study symmetric operads. In particular, we obtain an effective algorithmic version of Hoffbeck's Poincaré-Birkhoff-Witt criterion of Koszulness for (symmetric) quadratic operads

Article information

Source
Duke Math. J., Volume 153, Number 2 (2010), 363-396.

Dates
First available in Project Euclid: 26 May 2010

Permanent link to this document
https://projecteuclid.org/euclid.dmj/1274902083

Digital Object Identifier
doi:10.1215/00127094-2010-026

Mathematical Reviews number (MathSciNet)
MR2667136

Zentralblatt MATH identifier
0895.16020

Subjects
Primary: 22E50: Representations of Lie and linear algebraic groups over local fields [See also 20G05] 46F10: Operations with distributions
Secondary: 20C99: None of the above, but in this section 20G05: Representation theory 22E45: Representations of Lie and linear algebraic groups over real fields: analytic methods {For the purely algebraic theory, see 20G05} 14L24: Geometric invariant theory [See also 13A50] 14L30: Group actions on varieties or schemes (quotients) [See also 13A50, 14L24, 14M17]

Citation

Dotsenko, Vladimir; Khoroshkin, Anton. Gröbner bases for operads. Duke Math. J. 153 (2010), no. 2, 363--396. doi:10.1215/00127094-2010-026. https://projecteuclid.org/euclid.dmj/1274902083


Export citation

References

  • G. Bergman, The diamond lemma for ring theory, Adv. in Math. 29 (1978), 178--218.
    Mathematical Reviews (MathSciNet): MR0506890
    Zentralblatt MATH: 0326.16019
    Digital Object Identifier: doi:10.1016/0001-8708(78)90010-5
  • L. A. Bokut, Imbeddings into simple associative algebras, Algebra i Logic 15 (1978), 73--90.
    Mathematical Reviews (MathSciNet): MR0506423
  • B. Buchberger, An algorithm for finding a basis for the residue class ring of a zero-dimensional polynomial ideal, Ph.D. dissertation, University of Innsbruck, 1965 (German), J. Symbolic Comput. 41 (2006), 471--511.
    Mathematical Reviews (MathSciNet): MR2202562
    Digital Object Identifier: doi:10.1016/j.jsc.2005.09.007
  • F. Chapoton, Algèbres pré-Lie et algèbres de Hopf liées à la renormalisation, C. R. Acad. Sci. Paris Sér. I Math. 332 (2001), 681--684.
    Mathematical Reviews (MathSciNet): MR1843187
    Digital Object Identifier: doi:10.1016/S0764-4442(01)01919-X
  • —, On a Hopf operad containing the Poisson operad, Algebr. Geom. Topol. 3 (2003), 1257--1273.
    Mathematical Reviews (MathSciNet): MR2026333
    Zentralblatt MATH: 1059.18005
  • F. Chapoton and M. Livernet, Pre-Lie algebras and the rooted trees operad, Int. Math. Res. Not. IMRN 2001, 395--408.
    Mathematical Reviews (MathSciNet): MR1827084
    Zentralblatt MATH: 1053.17001
    Digital Object Identifier: doi:10.1155/S1073792801000198
  • S. Cherkis and C. SäMann, Multiple M2-branes and generalized 3-Lie algebras, Phys. Rev. D 78 (2008), 066019.
    Mathematical Reviews (MathSciNet): MR2470356
    Digital Object Identifier: doi:10.1103/PhysRevD.78.066019
  • V. Dotsenko, An operadic approach to deformation quantization of compatible Poisson brackets, I. J. Gen. Lie Theory Appl. 1 (2007), 107--115.
    Mathematical Reviews (MathSciNet): MR2320771
    Zentralblatt MATH: 1120.53048
  • V. Dotsenko and M. V. Johannson, Implementing Gröbner bases for operads, to appear in Sémin. Congr., preprint.
    arXiv: 0909.4950v1
  • V. V. Dotsenko and A. S. Khoroshkin, Character formulas for the operad of a pair of compatible brackets and for the bi-Hamiltonian operad, Funktsional. Anal. i Prilozhen. 41 (2007), 1--17.
    Mathematical Reviews (MathSciNet): MR2333979
  • W. L. Gan, Koszul duality for dioperads, Math. Res. Lett. 10 (2003), 109--124.
    Mathematical Reviews (MathSciNet): MR1960128
    Zentralblatt MATH: 1103.18010
  • L. Gerritzen, Tree polynomials and non-associative Gröbner bases, J. Symbolic Comp. 41 (2006), 297--316.
    Mathematical Reviews (MathSciNet): MR2202553
    Digital Object Identifier: doi:10.1016/j.jsc.2003.09.005
  • V. Ginzburg and M. Kapranov, Koszul duality for operads, Duke Math. J. 76 (1994), 203--272.
    Mathematical Reviews (MathSciNet): MR1301191
    Digital Object Identifier: doi:10.1215/S0012-7094-94-07608-4
    Project Euclid: euclid.dmj/1077286744
  • A. V. Gnedbaye, ``Opérades des algèbres $(k+1)$-aires'' in Operads: Proceedings of Renaissance Conferences (Hartford, Conn./Luminy, 1995), Contemp. Math. 202, Amer. Math. Soc., Providence, 1997, 83--113.
    Mathematical Reviews (MathSciNet): MR1436918
  • P. Hanlon and M. Wachs, On Lie $k$-algebras, Adv. Math. 113 (1995), 206--236.
    Mathematical Reviews (MathSciNet): MR1337108
    Digital Object Identifier: doi:10.1006/aima.1995.1038
  • L. HellströM, Rewriting in operads and PROPs, J. Nonlin. Math. Phys. 13, Suppl. (2006), 66--75.
    Mathematical Reviews (MathSciNet): MR2238975
    Zentralblatt MATH: 1154.18302
    Digital Object Identifier: doi:10.2991/jnmp.2006.13.s.8
  • E. Hoffbeck, A Poincaré-Birkhoff-Witt criterion for Koszul operads, Manuscripta Math. 131 (2010), 87--110.
    Mathematical Reviews (MathSciNet): MR2574993
    Digital Object Identifier: doi:10.1007/s00229-009-0303-2
  • A. Khoroshkin, Koszul operads and distributive lattices, preprint, 2006.
  • J.-L. Loday, Une version non commutative des algèbres de Lie: les algèbres de Leibniz, Enseign. Math. (2) 39 (1993), 269--293.
    Mathematical Reviews (MathSciNet): MR1252069
  • M. Markl, Distributive laws and Koszulness, Ann. Inst. Fourier (Grenoble) 46 (1996), 307--323.
    Mathematical Reviews (MathSciNet): MR1393517
  • M. Markl and E. Remm, (Non-)Koszulity of operads for $n$-ary algebras, cohomology and deformations, preprint.
    arXiv: 0907.1505v1
  • M. Markl, S. Shnider, and J. Stasheff, Operads in Algebra, Math. Surveys Monogr. 96, Amer. Math. Soc., Providence, 2002.
    Mathematical Reviews (MathSciNet): MR1898414
    Zentralblatt MATH: 1017.18001
  • M. Markl and A. A. Voronov, ``PROPped up graph cohomology'' in Algebra, Arithmetic, and Geometry. Volume I: In Honor of Y. I. Manin, Progr. Math. 269, Birkhäuser, Boston, 2009.
  • S. A. Merkulov, Exotic automorphisms of the Schouten algebra of polyvector fields, preprint.
    arXiv: 0809.2385v5
  • S. B. Priddy, Koszul resolutions, Trans. Amer. Math. Soc. 152 (1970), 39--60.
    Mathematical Reviews (MathSciNet): MR0265437
    Zentralblatt MATH: 0261.18016
    Digital Object Identifier: doi:10.2307/1995637
    JSTOR: links.jstor.org
  • P. Salvatore and R. Tauraso, The operad Lie is free, J. Pure Appl. Algebra 213 (2009), 224--230.
    Mathematical Reviews (MathSciNet): MR2467399
    Zentralblatt MATH: 05376982
    Digital Object Identifier: doi:10.1016/j.jpaa.2008.06.008
  • A. I. Shirshov, Some algorithmic problems for Lie algebras, Sibirsk. Mat. Z. 3 (1962), 292--296. (Russian); English translation in SIGSAM Bulletin 33 (1999), no. 2, 3--6.
    Mathematical Reviews (MathSciNet): MR183753
  • C. R. Stover, The equivalence of certain categories of twisted Lie and Hopf algebras over a commutative ring, J. Pure Appl. Algebra 86 (1993), 289--326.
    Mathematical Reviews (MathSciNet): MR1218107
    Zentralblatt MATH: 0793.16016
    Digital Object Identifier: doi:10.1016/0022-4049(93)90106-4
  • H. Strohmayer, Operads of compatible structures and weighted partitions, J. Pure Appl. Algebra 212 (2008), 2522--2534.
    Mathematical Reviews (MathSciNet): MR2440264
    Zentralblatt MATH: 1149.18006
    Digital Object Identifier: doi:10.1016/j.jpaa.2008.04.009
  • V. A. Ufnarovskij, Combinatorial and asymptotic methods in algebra, Encyclopedia Math. Sci. 57, Springer, Berlin, 1995, 1--196.
    Mathematical Reviews (MathSciNet): MR1360005
  • B. Vallette, Free monoid in monoidal abelian categories, Appl. Categ. Structures 17 (2009), 43--61.
    Mathematical Reviews (MathSciNet): MR2471247
    Digital Object Identifier: doi:10.1007/s10485-008-9130-y
  • P. Van Der Laan, Coloured Koszul duality and strongly homotopy operads, preprint.
    arXiv: math/0312147v2

Duke University Press

Duke Mathematical Journal

New content alerts

Email RSS ToC RSS Article
  • You have access to this content.
  • You have partial access to this content.
  • You do not have access to this content.
Turn Off MathJax

What is MathJax?

More like this

+ See more