Nichols-Woronowicz model of coinvariant algebra of complex reflection groups. (Q2655012)

Let \(V\) be a complex vector space of finite dimension. If \(G\) is a finite subgroup of \(\text{GL}(V)\) generated by elements that fix a complex hyperplane in \(V\) pointwise, then \(G\) is called a complex reflection group. Let \(S(V)\) be the symmetric algebra of \(V\). \(G\) acts by automorphisms on \(S(V)\). Denote by \(S(V)^G\) the subalgebra of invariants of \(S(V)\). The quotient algebra \(P_G\) of \(S(V)\) by the ideal of \(S(V)\) generated by \(S(V)^G\) is called the coinvariant algebra of \(G\). In the article it is proved that for any complex reflection group its coinvariant algebra is isomorphic to a subalgebra in a braided Hopf algebra called Nichols-Woronowicz algebra.