
Classification of Regular Parametrized Onerelation Operads
JeanLouis Loday introduced a class of symmetric operads generated
by one bilinear operation subject to one
relation making each leftnormed product of three elements equal
to a linear combination
of rightnormed products:
\[
(a_1a_2)a_3=\sum_{\sigma\in S_3}x_\sigma\, a_{\sigma(1)}(a_{\sigma(2)}a_{\sigma(3)})\
;
\]
such an operad is called a parametrized onerelation operad.
For a particular choice of parameters $\{x_\sigma\}$,
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 onerelation
operads.
In fact, we prove that each such operad is isomorphic to one
of the following five operads: the leftnilpotent operad
defined by the relation $((a_1a_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Ã¶bner bases for determinantal ideals and their radicals.
Keywords:parametrized onerelation algebra, algebraic operad, Koszul duality, representation theory of the symmetric group, determinantal ideal, GrÃ¶bner basis Categories:18D50, 13B25, 13P10, 13P15, 15A54, 1704, , , , , 17A30, 17A50, 20C30, 68W30 