MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Existence of a root system has been established for Nichols algebras $B(V)$ of a Yetter-Drinfel'd-module $V$ (resp. braided vectorspaces $V$) over abelian groups (resp. with diagonal braiding $x_i\otimes x_j\mapsto q_{ij}x_j\otimes x_i$) already in 2000 by Kharchenko. In 2008 Schneider and Heckenberger established root systems over nonabelian groups, under the condition that the root system / Nichols algebra be finite (-dimensional)!

Having a root system means among others that one has a set of irreducible sub-Yetter-modules $X_1\ldots X_n\subset B(V)$, with multiplying as below a bijection (no algebra morphism!):


Dynkin-diagrams can be drawn with Cartan Matrix $$q_{ij}q_{ji}=q_{ii}^{-A_{ij}}$$ but there are sporadic cases not corresponding to finite semisimple Lie algebras (triangle, exotic edge...) for low prime exponents. In these cases the classification of pointed Hopf algebras (Schneider / Andruskiewitsch) fails; the Weyl group is replaced by a -groupoid between different Dynkin diagrams.

But in Cartan-type it's the same as in the semisimple case - a root system $\Phi$!

  • Is is generally true that the "roots" in both formulas coicide? $$|\{X_1,X_2,\ldots X_n\}|=n=|\Phi^+|\qquad or=\ldots?$$

  • So can I calculate the dimension of $B(X)$ like that?


...clearly $B(X_i)\cong k[x]/(x^{ord(q)})$ with dimension $ord(q_{ii})$) or infinite for $q=1$ (the bosonic $k[x]$).

  • So I just multiply the orders of respective the $q_{ii}$ for all roots?


  • So especially for $G=\mathbb{Z}_2^k$ the dimension is the following?


share|cite|improve this question
up vote 0 down vote accepted

Yes, careful application of the theory of rootsystems verifies indeed these formulae.....farily streight-forward!

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.