Quillen homology for operads via Gröbner bases

zbMATH Open1278.18018arXiv1203.5053MaRDI QIDQ374013FDOQ374013

Anton Khoroshkin, Vladimir Dotsenko

Publication date: 25 October 2013

Published in: Documenta Mathematica (Search for Journal in Brave)

Abstract: The main goal of this paper is to present a way to compute Quillen homology of operads. The key idea is to use the notion of a shuffle operad we introduced earlier; this allows to compute, for a symmetric operad, the homology classes and the shape of the differential in its minimal model, although does not give an insight on the symmetric groups action on the homology. Our approach goes in several steps. First, we regard our symmetric operad as a shuffle operad, which allows to compute its Gr"obner basis. Next, we define a combinatorial resolution for the "monomial replacement" of each shuffle operad (provided by the Gr"obner bases theory). Finally, we explain how to "deform" the differential to handle every operad with a Gr"obner basis, and find explicit representatives of Quillen homology classes for a large class of operads. We also present various applications, including a new proof of Hoffbeck's PBW criterion, a proof of Koszulness for a class of operads coming from commutative algebras, and a homology computation for the operads of Batalin-Vilkovisky algebras and of Rota-Baxter algebras.

Full work available at URL: https://arxiv.org/abs/1203.5053

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Recommendations

• Gröbner bases for operads
• Operadic Gröbner Bases: An Implementation
• A Poincaré-Birkhoff-Witt criterion for Koszul operads
• Algebraic operads. An algorithmic companion
• Freeness theorems for operads via Gröbner bases

zbMATH Keywords

Batalin-Vilkovisky algebrasQuillen homology of operadsRota-Baxter algebrasshuffle operadsymmetric groups action on homologyGröbner basis

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Syzygies, resolutions, complexes in associative algebras (16E05) Resolutions; derived functors (category-theoretic aspects) (18G10)

Cited In (32)

• Shuffle polygraphic resolutions for operads
• Reconnectads
• On generating series of finitely presented operads
• Generalized cohomological field theories in the higher order formalism
• Algebraic structures of \(F\)-manifolds via pre-Lie algebras
• Free weighted (modified) differential algebras, free (modified) Rota–Baxter algebras and Gröbner–Shirshov bases
• A Quillen Adjunction Between Algebras and Operads, Koszul Duality, and the Lagrange Inversion Formula
• Koszul operads governing props and wheeled props
• Homotopy invariants for \(\overline{\mathcal{M}}_{0,n}\) via Koszul duality
• Gröbner bases for operads
• The minimal model of Rota-Baxter operad with arbitrary weight
• Derived Poincaré-Birkhoff-Witt theorems. With an appendix by Vladimir Dotsenko
• On the homology and homotopy of commutative shuffle algebras
• Homology operations on homology of quandles
• Coherence for plactic monoids via rewriting theory and crystal structures
• Three Schur functors related to pre-Lie algebras
• Non-Koszulness of operads and positivity of Poincaré series
• Homotopical algebra and higher structures. Abstracts from the workshop held September 19--25, 2021 (hybrid meeting)
• Veronese powers of operads and pure homotopy algebras
• Cacti and filtered distributive laws
• Deformations and homotopy theory of relative Rota-Baxter Lie algebras
• Noncommutative Gröbner Bases: Applications and Generalizations
• (Non-)Koszulness of operads for \(n\)-ary algebras, galgalim and other curiosities
• Tangent complexes and the Diamond Lemma
• Hypercommutative operad as a homotopy quotient of BV
• Cohomology rings of the plactic monoid algebra via a Gröbner-Shirshov basis
• Completion in operads via essential syzygies
• A survey on deformations, cohomologies and homotopies of relative Rota–Baxter Lie algebras
• Logarithmic vector fields and freeness of divisors and arrangements: new perspectives and applications. Abstracts from the workshop held January 24--30, 2021 (online meeting)
• Quadratic algebras arising from Hopf operads generated by a single element
• Associator dependent algebras and Koszul duality
• The minimal model for the Batalin-Vilkovisky operad

Uses Software

• ANICK

This page was built for publication: Quillen homology for operads via Gröbner bases

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q374013)