More generally one can take $E_{i p} , E_{j p} , E_{k p} $ (important the second index is the same).

This means that the algebra above admits a homomorphism to universal enveloping of $E_{11} , E_{21} , E_{31} $. Universal enveloping algebras are very close to commuttive (at least their size is the same). So it suggests that in general such algebra is close to commutative,
but probably this is wrong...

3 Answers
3

Put a term order on your (noncommutative) monomials such that $a_i a_j > a_j a_i$ for $i \lt j$. So the leading term of your equation is $a_1 a_2 a_3$. A basis for your ring is (noncommutative) monomials not divisible by $a_1 a_2 a_3$. In other words, a basis for the degree $n$ part of your algebra is length $n$ sequences of $1$'s, $2$'s and $3$'s which don't contain the sequence $123$. The rest of this post is the combinatorial task of counting the number of such sequences.

Let $A_n$ be the number of such sequences ending in $1$. Let $B_n$ be the number of such sequences ending in $12$. Let $C_n$ be the number of such sequences not in the other two classes (including the empty sequence). Then,

How do you show that the images of these monomials are linearly independent in this algebra?
–
M TNov 20 '11 at 16:02

1

Let $\Delta$ be the defining cubic. Suppose for contradiction that the standard monomials are not linearly independent in degree $n$. So we have $\sum b_i w_i = \sum c_i u_i \Delta v_i$, where $w_i$ are standard monomials, $b_i$ and $c_i$ are nonzero constants and the $u_i$ and $v_i$ are monomials. Continued...
–
David SpeyerNov 20 '11 at 16:25

2

This is the "standard" noncommutative Groebner basis argument. As always, I am terrible for references. If you are good at references, please post one!
–
David SpeyerNov 20 '11 at 16:27

2

Say $u_1=123$ (I'll drop the $a$s). Then if $v_1=123123$ we have in $u_1\Delta v_1$ the monomial $u_1 123 v_1 = 123\cdot 123 \cdot 123123$, and you say this can't appear elsewhere. But if $u_2=123123$, bigger than $u_1$ in the lex order, and $v_2=123$, then a term in $u_2\Delta v_2$ is $123123 \cdot 123 \cdot 123$. Or am I misunderstanding?
–
M TNov 20 '11 at 16:35

2

Certainly it can. Take each of those $123$'s and replace them by $213+132-231-312+321$, then expand out to get $25$ terms.
–
David SpeyerNov 20 '11 at 16:54

A slight simplification of David Speyer's argument: his argument using Groebner bases explains that is we degenerate the relation into $a_1a_2a_3=0$, the resulting algebra has the same Hilbert series. Now, the latter algebra $B$ has a very economic resolution of the trivial module by free right modules:
$$
0\to span_k(a_1a_2a_3)\otimes_k B\to span_k(a_1,a_2,a_3)\otimes_kB\to B\to k\to 0
$$
(the leftmost differential maps $a_1a_2a_3\otimes 1$ to $a_1\otimes a_2a_3$, the next one maps $a_i\otimes 1$ to $a_i$). Computing the Euler characteristics, we get H_B(t)(1-3t+t^3)=1$.

@Volodya Thank You ! But I not quite get: span - means what ? Algebra or module ? spanned from the left or from the both sides over B or over all algebra ? Tensor product - as algebras over C or as C vector spaces ? Why this is right modules than ? This probably works for any number of a_i - does it have some name ? where is it used ?
–
Alexander ChervovNov 21 '11 at 11:55

1

Spans are over the ground field $k$, as well as tensor products (because of this we can compute Euler characteristics). The right $B$-module on $V\otimes B$ is via the action on $B$ alone: $(v\otimes b)b':=v\otimes(bb')$. Of course it works for any number of $a_i$'s, and the construction I use is a very special case of a construction due to David Anick (ams.org/mathscinet-getitem?mr=846601).
–
Vladimir DotsenkoNov 21 '11 at 12:08

1

Oh, and for your last question: it is used in an awful lot of places, from deformation theory to theoretical computer science. Since the publication of Anick's paper in 1986, quite a few people rediscovered his results in various contexts!
–
Vladimir DotsenkoNov 21 '11 at 12:39

3

Thanks for the reference! Anick's paper looks very definitive.
–
David SpeyerNov 21 '11 at 14:46