Classification of regular parametrized one-relation operads

DOI10.4153/CJM-2017-018-3MaRDI QIDQ5371117zbMATH OpenFDO

Authors Murray R. Bremner, Vladimir Dotsenko

Publication date 24 October 2017

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

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

zbMATH Keywords

algebraic operaddeterminantal idealGröbner basisKoszul dualityparametrized one-relation algebrarepresentation theory of the symmetric group

Mathematics Subject Classification ID

Polynomials over commutative rings (13B25) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Solving polynomial systems; resultants (13P15) Matrices over function rings in one or more variables (15A54) Software, source code, etc. for problems pertaining to nonassociative rings and algebras (17-04) Nonassociative algebras satisfying other identities (17A30) Free nonassociative algebras (17A50) Representations of finite symmetric groups (20C30)

Abstract: Jean-Louis Loday introduced a class of symmetric operads generated by one bilinear operation subject to one relation making each left-normed product of three elements equal to a linear combination of right-normed products: [ (a_1a_2)a_3=sum_{sigmain S_3}x_sigma, a_{sigma(1)}(a_{sigma(2)}a_{sigma(3)}) ; ] such an operad is called a parametrized one-relation operad. For a particular choice of parameters $x_{s}igma$, this operad is said to be regular if each of its components is the regular representation of the symmetric group; equivalently, the corresponding free algebra on a vector space $V$ is, as a graded vector space, isomorphic to the tensor algebra of $V$. We classify, over an algebraically closed field of characteristic zero, all regular parametrized one-relation operads. In fact, we prove that each such operad is isomorphic to one of the following five operads: the left-nilpotent operad defined by the identity $((a_1{a}_2)a_3)=0$, the associative operad, the Leibniz operad, the dual Leibniz (Zinbiel) operad, and the Poisson operad. Our computational methods combine linear algebra over polynomial rings, representation theory of the symmetric group, and Gr"obner bases for determinantal ideals and their radicals.

Recommendations

• One-parameter deformations of the diassociative and dendriform operads
• On some anticyclic operads
• Algebras with one operation including Poisson and other Lie-admissible algebras
• On one class of commutative operads
• Distributive laws between the operads Lie and Com

Cited in

(9)

• A characterisation of Lie algebras via algebraic exponentiation
• The algebraic and geometric classification of Zinbiel algebras
• On one class of commutative operads
• On tortkara triple systems
• Distributive laws between the operads Lie and Com
• Symmetric Zinbiel superalgebras
• Poisson triple systems
• Zinbiel superalgebras
• Classifying vectoids and operad kinds

This page was built for publication: Classification of regular parametrized one-relation operads

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