On the lower central series quotients of a graded associative algebra. (Q536180): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: The Magma algebra system. I: The user language / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the lower central series of an associative algebra (with an appendix by Pavel Etingof). / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Noncommutative complete intersections and matrix integrals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On \([A,A]/[A[A,A]]\) and on a \(W_n\)-action on the consecutive commutators of free associative algebras. / rank | |||
Normal rank |
Latest revision as of 02:00, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the lower central series quotients of a graded associative algebra. |
scientific article |
Statements
On the lower central series quotients of a graded associative algebra. (English)
0 references
16 May 2011
0 references
Let \(A\) be an associative algebra over the complex numbers, and assume \(B\) and \(C\) two vector subspaces of \(A\). Denote \([B,C]\) the span of all commutators \([b,c]\), where \(b\in B\), \(c\in C\). The lower central series of \(A\) is defined as \(L_1(A)=A\), \(L_{i+1}(A)=[A,L_i(A)]\), \(i\geq 1\). Set \(B_i(A)=L_i(A)/L_{i+1}(A)\), \(i\geq 1\). The Abelianization of \(A\) is denoted by \(A_{ab}=A/(A[A,A]A)\). Let further \(A_n\) be the free associative algebra in \(n\) free generators and let \(P\) be a homogeneous relation of degree \(d\) in \(A_n\). Modding out \(A_n\) by \(P\) one gets the quotient \(A=A_n/\langle P\rangle\) where \(\langle P\rangle\) is the ideal generated by \(P\). The grading on \(A_n\) induces one on \(A\). Now take \(P=x_1^d+x_2^d\). The authors describe the graded vector spaces \(B_2(A_n/\langle P\rangle)\) for \(n=2\), 3. They give homogeneous bases for these vector spaces, and compute the corresponding Hilbert (or Poincaré) series. Furthermore they show that the above vector spaces are isomorphic to quotients of Kähler differentials of nonsmooth varieties for \(A_{ab}\). Moreover they show that for \(n=2\) and 3, the behaviour of \(P=x_1^d+x_2^d\) is generic, and suggest a conjecture for \(n=4\).
0 references
lower central series
0 references
Kähler differentials
0 references
noncommutative associative algebras
0 references
filtrations
0 references
free algebras
0 references
graded vector spaces
0 references
homogeneous bases
0 references
0 references