Gröbner bases for operads
From MaRDI portal
Publication:982688
DOI10.1215/00127094-2010-026zbMATH Open1208.18007arXiv0812.4069OpenAlexW3100315854MaRDI QIDQ982688FDOQ982688
Vladimir Dotsenko, Anton Khoroshkin
Publication date: 7 July 2010
Published in: Duke Mathematical Journal (Search for Journal in Brave)
Abstract: We define a new monoidal category on 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"obner 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 PBW criterion of Koszulness for (symmetric) quadratic operads.
Full work available at URL: https://arxiv.org/abs/0812.4069
Symmetric groups (20B30) Finite generation, finite presentability, normal forms (diamond lemma, term-rewriting) (16S15)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A noncommutative version of Lie algebras: Leibniz algebras
- Koszul duality for operads
- The diamond lemma for ring theory
- Embeddings into simple associative algebras
- An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal
- Koszul duality for dioperads.
- Deformation theory of representations of prop(erad)s II
- A Poincaré-Birkhoff-Witt criterion for Koszul operads
- Pre-Lie algebras and the rooted trees operad
- On Lie \(k\)-algebras
- Character formulas for the operad of two compatible brackets and for the bi-Hamiltonian operad
- Koszul Resolutions
- PROPped-Up Graph Cohomology
- Distributive laws and Koszulness
- Operads for n-ary algebras - calculations and conjectures
- An operadic approach to deformation quantization of compatible Poisson brackets. I
- Implementing Gröbner bases for operads
- The equivalence of certain categories of twisted Lie and Hopf algebras over a commutative ring
- Pre-Lie algebras and Hopf algebras related to renormalization
- Free monoid in monoidal abelian categories
- On a Hopf operad containing the Poisson operad
- Operads of compatible structures and weighted partitions
- The operad Lie is free
- Tree polynomials and non-associative Gröbner bases
- Rewriting in Operads and PROPs
Cited In (83)
- The operad structure of admissible \(G\)-covers
- Growth in Varieties of Multioperator Algebras and Groebner Bases in Operads
- Gröbner–Shirshov bases and their calculation
- Brown's moduli spaces of curves and the gravity operad
- On generating series of finitely presented operads
- Gröbner-Shirshov Bases for Exceptional Lie Superalgebras
- Generalized cohomological field theories in the higher order formalism
- Operadic Gröbner Bases: An Implementation
- A Quillen Adjunction Between Algebras and Operads, Koszul Duality, and the Lagrange Inversion Formula
- Gröbner–Shirshov bases for Lie Ω-algebras and free Rota–Baxter Lie algebras
- Operads from posets and Koszul duality
- Pluriassociative algebras. I: The pluriassociative operad.
- Pluriassociative algebras. II: The polydendriform operad and related operads.
- Combalgebraic structures on decorated cliques
- On the free Lie algebra with multiple brackets
- Jordan trialgebras and post-Jordan algebras
- Algebraic structures on graph associahedra
- Gröbner bases for coloured operads
- Gröbner-Shirshov bases for the non-symmetric operads of dendriform algebras and quadri-algebras
- operads
- HIGHER KOSZUL DUALITY FOR ASSOCIATIVE ALGEBRAS
- A set-operad of formal fractions and dendriform-like sub-operads
- Gröbner methods for representations of combinatorial categories
- Convergent presentations and polygraphic resolutions of associative algebras
- Gröbner Bases and Dimension Formulas for Ternary Partially Associative Operads
- Noncommutative Novikov algebras
- Free products, cyclic homology, and the Gauss-Manin connection
- A tale of three homotopies
- A finitely presented ${E}_{\infty}$-prop II: cellular context
- The non-symmetric operad pre-Lie is free
- Universal enveloping algebra of a pair of compatible Lie brackets
- Title not available (Why is that?)
- Syzygies among reduction operators
- Non-Koszulness of operads and positivity of Poincaré series
- On the operad of bigraft algebras.
- Leibniz homology of Lie algebras as functor homology
- Givental action and trivialisation of circle action
- Free quadri-algebras and dual quadri-algebras
- Confluence of algebraic rewriting systems
- Some new results on Gröbner–Shirshov bases for Lie algebras and around
- Veronese powers of operads and pure homotopy algebras
- Twisting of properads
- Cacti and filtered distributive laws
- The triduplicial operad is Koszul
- Noncommutative Gröbner Bases: Applications and Generalizations
- (Non-)Koszulness of operads for \(n\)-ary algebras, galgalim and other curiosities
- Cohomology of generalized configuration spaces
- Homotopy transfer theorem for linearly compatible di-algebras
- Protoperads II: Koszul duality
- Topological rewriting systems applied to standard bases and syntactic algebras
- Book review of: D. Yau, Colored operads
- Gröbner-Shirshov bases for associative algebras with multiple operators and free Rota-Baxter algebras.
- Gröbner–Shirshov bases for symmetric brace algebras
- Left-right noncommutative Poisson algebras
- Word operads and admissible orderings
- On the (co)homology of the poset of weighted partitions
- On a ternary operad connected to the Tamari lattice
- Quadratic algebras arising from Hopf operads generated by a single element
- Tree series and pattern avoidance in syntax trees
- Free Lie differential Rota–Baxter algebras and Gröbner–Shirshov bases
- The minimal model for the Batalin-Vilkovisky operad
- Gröbner bases and Betti numbers of monoidal complexes
- Signaletic operads
- Enumeration and Asymptotic Formulas for Rectangular Partitions of the Hypercube
- Shuffle polygraphic resolutions for operads
- Protoperads i: Combinatorics and definitions
- Reconnectads
- A characterisation of Lie algebras using ideals and subalgebras
- Dual Alternative Algebras in Characteristic Three
- Gröbner-Shirshov bases for free Gelfand-Dorfman-Novokov algebras and for right ideals of free right Leibniz algebras
- Some generalizations of the variety of transposed Poisson algebras
- Koszul operads governing props and wheeled props
- On the Special Identities of Gelfand–Dorfman Algebras
- Special identities for comtrans algebras
- Stirling decomposition of graph homology in genus \(1\)
- Compatible structures of nonsymmetric operads, Manin products and Koszul duality
- The minimal model of Rota-Baxter operad with arbitrary weight
- Operads with compatible CL-shellable partition posets admit a Poincaré–Birkhoff–Witt basis
- A diamond lemma for Hecke-type algebras
- Quotients of the Magmatic Operad: Lattice Structures and Convergent Rewrite Systems
- Gröbner-Shirshov basis theory and word problems for metatrivial Poisson algebras
- Growth of nonsymmetric operads
- Completion in operads via essential syzygies
Recommendations
- Quillen homology for operads via Gröbner bases 👍 👎
- Freeness theorems for operads via Gröbner bases 👍 👎
- Implementing Gröbner bases for operads 👍 👎
- Gröbner Bases and Dimension Formulas for Ternary Partially Associative Operads 👍 👎
- Operads and algebraic geometry 👍 👎
- Gröbner bases for coloured operads 👍 👎
- Gröbner-Shirshov bases for the non-symmetric operads of dendriform algebras and quadri-algebras 👍 👎
- Growth in Varieties of Multioperator Algebras and Groebner Bases in Operads 👍 👎
- Operadic Gröbner Bases: An Implementation 👍 👎
- Title not available (Why is that?) 👍 👎
This page was built for publication: Gröbner bases for operads
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q982688)
