Veronese powers of operads and pure homotopy algebras

DOI10.1007/S40879-019-00351-6MaRDI QIDQ2210176zbMATH OpenOpenAlexWikidataFDO

Authors Vladimir Dotsenko, Martin Markl, Elisabeth Remm

Publication date 5 November 2020

Published in European Journal of Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

Koszul dualitytriple systemsZeilberger's algorithmVeronese subrings

Mathematics Subject Classification ID

Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10) Nonabelian homological algebra (category-theoretic aspects) (18G50) Algebraic operads, cooperads, and Koszul duality (18M70)

Abstract: We define the $m$th Veronese power of a weight graded operad $mathcalP$ to be its suboperad $mathcal{P}^{[m]}$ generated by operations of weight $m$. It turns out that, unlike Veronese powers of associative algebras, homological properties of operads are, in general, not improved by this construction. However, under some technical conditions, Veronese powers of quadratic Koszul operads are meaningful in the context of the Koszul duality theory. Indeed, we show that in many important cases the operads $mathcal{P}^{[m]}$ are related by Koszul duality to operads describing strongly homotopy algebras with only one nontrivial operation. Our theory has immediate applications to objects as Lie $k$-algebras and Lie triple systems. In the case of Lie $k$-algebras, we also discuss a similarly looking ungraded construction which is frequently used in the literature. We establish that the corresponding operad does not possess good homotopy properties, and that it leads to a very simple example of a non-Koszul quadratic operad for which the Ginzburg--Kapranov power series test is inconclusive.

Recommendations

• Koszul duality for operads
• On the non-Koszulity of ternary partially associative operad
• (Non-)Koszulness of operads for \(n\)-ary algebras, galgalim and other curiosities
• Operads as abstract algebras, and the Koszul property
• Publication:4864132

Cites work

• scientific article; zbMATH DE number 1644418 (Why is no real title available?)
• scientific article; zbMATH DE number 5165172 (Why is no real title available?)
• scientific article; zbMATH DE number 3933262 (Why is no real title available?)
• scientific article; zbMATH DE number 3943987 (Why is no real title available?)
• scientific article; zbMATH DE number 1131976 (Why is no real title available?)
• scientific article; zbMATH DE number 3346614 (Why is no real title available?)
• scientific article; zbMATH DE number 970691 (Why is no real title available?)
• scientific article; zbMATH DE number 2217190 (Why is no real title available?)
• scientific article; zbMATH DE number 2242607 (Why is no real title available?)
• (Non-)Koszulness of operads for \(n\)-ary algebras, galgalim and other curiosities
• 0-dialgebras with bar-unity, Rota-Baxter and 3-Leibniz algebras
• Algebraic operads
• Algebraic operads. An algorithmic companion
• Characteristic Classes. (AM-76)
• Dendriform analogues of Lie and Jordan triple systems
• From \(L_{\infty }\)-algebroids to higher Schouten/Poisson structures
• Graded multiple analogs of Lie algebras
• Gröbner bases for operads
• Initial ideals, Veronese subrings, and rates of algebras
• Jordan quadruple systems
• Jordan triple disystems
• Koszul duality for operads
• L-infinity and A-infinity structures: then and now
• Leibniz triple systems
• Lie and Jordan Triple Systems
• Manin products, Koszul duality, Loday algebras and Deligne conjecture
• Non-Koszulness of operads and positivity of Poincaré series
• On Lie k-algebras
• On special identities for dialgebras
• Poset topology: tools and applications
• Quillen homology for operads via Gröbner bases
• Some homological properties of ``high Veronese subrings
• Strongly homotopy lie algebras
• Ternary Rings
• The partially alternating ternary sum in an associative dialgebra
• Varieties of dialgebras and conformal algebras
• N-commutators
• \(n\)-ary algebras: a review with applications
• n-Lie algebras

Cited in

(2)

• Poisson triple systems
• Operad of formal homogeneous spaces and Bernoulli numbers

Describes a project that uses

Uses Software

• operads

This page was built for publication: Veronese powers of operads and pure homotopy algebras

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