List of finite-dimensional Nichols algebras
In mathematics, a Nichols algebra is a Hopf algebra in a braided category assigned to an object V in this category. The Nichols algebra is a quotient of the tensor algebra of V enjoying a certain universal property and is typically infinite-dimensional. Nichols algebras appear naturally in any pointed Hopf algebra and enabled their classification in important cases. The most well known examples for Nichols algebras are the Borel parts of the infinite-dimensional quantum groups when q is no root of unity, and the first examples of finite-dimensional Nichols algebras are the Borel parts of the Frobenius–Lusztig kernel when q is a root of unity.
The following article lists all known finite-dimensional Nichols algebras where is a Yetter–Drinfel'd module over a finite group, where the group is generated by the support of. For more details on Nichols algebras see Nichols algebra.
- There are two major cases:
- * abelian, which implies is diagonally braided.
- * nonabelian.
- The rank is the number of irreducible summands in the semisimple Yetter–Drinfel'd module.
- The irreducible summands are each associated to a conjugacy class and an irreducible representation of the centralizer.
- To any Nichols algebra there is by attached
- * a generalized root system and a Weyl groupoid. These are classified in.
- * In particular several Dynkin diagrams. Each Dynkin diagram has one vertex per irreducible and edges depending on their braided commutators in the Nichols algebra.
- The Hilbert series of the graded algebra is given. An observation is that it factorizes in each case into polynomials. We only give the Hilbert series and dimension of the Nichols algebra in characteristic.
State of classification
Established classification results
- Finite-dimensional diagonal Nichols algebras over the complex numbers were classified by Heckenberger in. The case of arbitrary characteristic is ongoing work of Heckenberger, Wang.
- Finite-dimensional Nichols algebras of semisimple Yetter–Drinfel'd modules of rank >1 over finite nonabelian groups were classified by Heckenberger and Vendramin in.
Negative criteria
Much progress has been made by Andruskiewitsch and others by finding subracks that would lead to infinite-dimensional Nichols algebras. As of 2015, known groups not admitting finite-dimensional Nichols algebras are
- for alternating groups
- for symmetric groups except a short list of examples
- some group of Lie type such as most and most unipotent classes in
- all sporadic groups except a short list of possibilities that are all real or j = 3-quasireal:
- *...for the Fisher group the classes
- *...for the baby monster group B the classes
- *...for the monster group M the classes
Over abelian groups
Finite-dimensional diagonal Nichols algebras over the complex numbers were classified by Heckenberger in in terms of the braiding matrix, more precisely the data. The small quantum groups are a special case , but there are several exceptional examples involving the primes 2,3,4,5,7.Recently there has been progress understanding the other examples as exceptional Lie algebras and super-Lie algebras in finite characteristic.
Over nonabelian group, rank > 1
Nichols algebras from Coxeter groups
For every finite coxeter system the Nichols algebra over the conjugacy class of reflections was studied in . They discovered in this way the following first Nichols algebras over nonabelian groups :The case is the rank 1 diagonal Nichols algebra of dimension 2.
Other Nichols algebras of rank 1
Nichols algebras of rank 2, type Gamma-3
These Nichols algebras were discovered during the classification of Heckenberger and Vendramin.only in characteristic 2 | |||
Rank, Type of root system of | |||
Dimension of | resp. | resp. | |
Dimension of Nichols algebra | |||
Hilbert series | |||
Smallest realizing group and conjugacy class | |||
... and conjugacy classes | |||
Source | |||
Comments | Only example with a 2-dimensional irreducible representation | There exists a Nichols algebra of rank 3 extending this Nichols algebra | Only in characteristic 2. Has a non-Lie type root system with 6 roots. |
The Nichols algebra of rank 2 type Gamma-4
This Nichols algebra was discovered during the classification of Heckenberger and Vendramin.Root system | |
Dimension of | |
Dimension of Nichols algebra | |
Hilbert series | |
Smallest realizing group | |
...and conjugacy class | |
Comments | Both rank 1 Nichols algebra contained in this Nichols algebra decompose over their respective support: The left node to a Nichols algebra over the Coxeter group, the right node to a diagonal Nichols algebra of type. |
The Nichols algebra of rank 2, type T
This Nichols algebra was discovered during the classification of Heckenberger and Vendramin.Root system | |
Dimension of | |
Dimension of Nichols algebra | |
Hilbert series | |
Smallest realizing group | |
...and conjugacy class | |
Comments | The rank 1 Nichols algebra contained in this Nichols algebra is irreducible over its support and can be found above. |
The Nichols algebra of rank 3 involving Gamma-3
This Nichols algebra was the last Nichols algebra discovered during the classification of Heckenberger and Vendramin.Root system | Rank 3 Number 9 with 13 roots |
Dimension of | resp. |
Dimension of Nichols algebra | |
Hilbert series | |
Smallest realizing group | |
...and conjugacy class | |
Comments | The rank 2 Nichols algebra cenerated by the two leftmost node is of type and can be found above. The rank 2 Nichols algebra generated by the two rightmost nodes is either diagonal of type or . |
Nichols algebras from diagram folding
The following families Nichols algebras were constructed by Lentner using diagram folding, the fourth example appearing only in characteristic 3 was discovered during the classification of Heckenberger and Vendramin.The construction start with a known Nichols algebra and an additional automorphism of the Dynkin diagram. Hence the two major cases are whether this automorphism exchanges two disconnected copies or is a proper diagram automorphism of a connected Dynkin diagram. The resulting root system is folding / restriction of the original root system. By construction, generators and relations are known from the diagonal case.
The following two are obtained by proper automorphisms of the connected Dynkin diagrams
Note that there are several more foldings, such as and also some not of Lie type, but these violate the condition that the support generates the group.