On defining ideals and differential algebras of Nichols algebras. (Q2428084)

Nichols algebras play a substantial role in the classification of finite dimensional pointed Hopf algebras. Suppose that \(H\) is a Hopf algebra over the complex field and \(V\) is a left \(H\)-Yetter-Drinfeld module. A graded braided Hopf algebra \(R=\bigoplus _{n\geq 0}R_n\) is a Nichols algebra of \(V\) if \(R_0=\mathbb C\), \(R_1=V\) and \(R_1\) generates the algebra \(R\) and is the set of all primitive elements of \(R\). Nichols algebra can be presented as a factor algebra of the tensor algebra \(T(V)\) by some ideal \(I(V)\). For each \(n\) there exist a symmetrization operator \(S_n\) and a projection operator \(P_n\) in the group algebra of the braid group \(B_n\). The aim of the paper is a classification of elements of the image of \(P_n\) which are annihilated by \(S_n\). In some important cases these elements generate \(I(V)\).