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 (e.g. a braided vector space). 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.[1] The most well known examples for Nichols algebras are the Borel parts [math]\displaystyle{ U_q(\mathfrak{g})^+ }[/math] 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 [math]\displaystyle{ u_q(\mathfrak{g})^+ }[/math] of the Frobenius–Lusztig kernel (small quantum group) when q is a root of unity. The following article lists all known finite-dimensional Nichols algebras [math]\displaystyle{ \mathfrak{B}(V) }[/math] where [math]\displaystyle{ V }[/math] is a Yetter–Drinfel'd module over a finite group [math]\displaystyle{ G }[/math], where the group is generated by the support of [math]\displaystyle{ V }[/math]. For more details on Nichols algebras see Nichols algebra.
- There are two major cases:
- [math]\displaystyle{ G }[/math] abelian, which implies [math]\displaystyle{ V }[/math] is diagonally braided [math]\displaystyle{ x_i\otimes x_j\mapsto q_{ij}x_j\otimes x_i }[/math].
- [math]\displaystyle{ G }[/math] nonabelian.
- The rank is the number of irreducible summands [math]\displaystyle{ V=\bigoplus_{i\in I} V_i }[/math] in the semisimple Yetter–Drinfel'd module [math]\displaystyle{ V }[/math].
- The irreducible summands [math]\displaystyle{ V_i=\mathcal{O}_{[g]}^\chi }[/math] are each associated to a conjugacy class [math]\displaystyle{ [g]\subset G }[/math] and an irreducible representation [math]\displaystyle{ \chi }[/math] of the centralizer [math]\displaystyle{ \operatorname{Cent}(g) }[/math].
- To any Nichols algebra there is by [2] attached
- a generalized root system and a Weyl groupoid. These are classified in.[3]
- In particular several Dynkin diagrams (for inequivalent types of Weyl chambers). Each Dynkin diagram has one vertex per irreducible [math]\displaystyle{ V_i }[/math] and edges depending on their braided commutators in the Nichols algebra.
- The Hilbert series of the graded algebra [math]\displaystyle{ \mathfrak{B}(V) }[/math] is given. An observation is that it factorizes in each case into polynomials [math]\displaystyle{ (n)_t:=1+t+t^2+\cdots + t^{n-1} }[/math]. We only give the Hilbert series and dimension of the Nichols algebra in characteristic [math]\displaystyle{ 0 }[/math].
Note that a Nichols algebra only depends on the braided vector space [math]\displaystyle{ V }[/math] and can therefore be realized over many different groups. Sometimes there are two or three Nichols algebras with different [math]\displaystyle{ V }[/math] and non-isomorphic Nichols algebra, which are closely related (e.g. cocycle twists of each other). These are given by different conjugacy classes in the same column.
State of classification
(as of 2015)
Established classification results
- Finite-dimensional diagonal Nichols algebras over the complex numbers were classified by Heckenberger in.[4] The case of arbitrary characteristic is ongoing work of Heckenberger, Wang.[5]
- Finite-dimensional Nichols algebras of semisimple Yetter–Drinfel'd modules of rank >1 over finite nonabelian groups (generated by the support) were classified by Heckenberger and Vendramin in.[6]
Negative criteria
The case of rank 1 (irreducible Yetter–Drinfel'd module) over a nonabelian group is still largely open, with few examples known.
Much progress has been made by Andruskiewitsch and others by finding subracks (for example diagonal ones) that would lead to infinite-dimensional Nichols algebras. As of 2015, known groups not admitting finite-dimensional Nichols algebras are [7][8]
- for alternating groups [math]\displaystyle{ \mathbb{A}_{n\geq 5} }[/math] [9]
- for symmetric groups [math]\displaystyle{ \mathbb{S}_{n\geq 6} }[/math] except a short list of examples[9]
- some group of Lie type such as most [math]\displaystyle{ PSL_n(\mathbb{F}_q) }[/math][10] and most unipotent classes in [math]\displaystyle{ Sp_{2n}(\mathbb{F}_q) }[/math][11]
- all sporadic groups except a short list of possibilities (resp. conjugacy classes in ATLAS notation) that are all real or j = 3-quasireal:
- ...for the Fisher group [math]\displaystyle{ Fi_{22}\; }[/math] the classes [math]\displaystyle{ 22A,22B\; }[/math]
- ...for the baby monster group B the classes [math]\displaystyle{ 16C,\;16D,\;32A,\;32B,\;32C,\;32D,\;34A,\;46A,\;46B\; }[/math]
- ...for the monster group M the classes [math]\displaystyle{ 32A,\;32B,\;46A,\;46B,\;92A,\;92B,\;94A,\;94B\; }[/math]
Usually a large amount of conjugacy classes ae of type D ("not commutative enough"), while the others tend to possess sufficient abelian subracks and can be excluded by their consideration. Several cases have to be done by-hand. Note that the open cases tend to have very small centralizers (usually cyclic) and representations χ (usually the 1-dimensional sign representation). Significant exceptions are the conjugacy classes of order 16, 32 having as centralizers p-groups of order 2048 resp. 128 and currently no restrictions on χ.
Over abelian groups
Finite-dimensional diagonal Nichols algebras over the complex numbers were classified by Heckenberger in [4] in terms of the braiding matrix [math]\displaystyle{ q_{ij} }[/math], more precisely the data [math]\displaystyle{ q_{ii},q_{ij}q_{ji} }[/math]. The small quantum groups [math]\displaystyle{ u_q(\mathfrak{g})^+ }[/math] are a special case [math]\displaystyle{ q_{ij}=q^{(\alpha_i,\alpha_j)} }[/math], 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 [math]\displaystyle{ (W,S) }[/math] the Nichols algebra over the conjugacy class(es) of reflections was studied in [12] (reflections on roots of different length are not conjugate, see fourth example fellow). They discovered in this way the following first Nichols algebras over nonabelian groups :
|
|
|
| |
| Rank, Type of root system of [math]\displaystyle{ \mathfrak{B}(V) }[/math] [2] | [math]\displaystyle{ A_1 }[/math] | [math]\displaystyle{ A_1 }[/math] | [math]\displaystyle{ A_1 }[/math] | [math]\displaystyle{ A_2 }[/math] |
| Dimension of [math]\displaystyle{ V }[/math] | [math]\displaystyle{ 3 }[/math] | [math]\displaystyle{ 6 }[/math] | [math]\displaystyle{ 10 }[/math] | [math]\displaystyle{ 2+2 }[/math] |
| Dimension of Nichols algebra(s) | [math]\displaystyle{ 12 }[/math] | [math]\displaystyle{ 576\;=24^2 }[/math] | [math]\displaystyle{ 8294400 }[/math] | [math]\displaystyle{ 64 }[/math] |
| Hilbert series | [math]\displaystyle{ (2)_t^2 (3)_t }[/math] | [math]\displaystyle{ (2)^2_t (3)^2_t (4)^2_t }[/math] | [math]\displaystyle{ (4)_t^4 (5)_t^2 (6)_t^4 }[/math] | [math]\displaystyle{ (2)^4_{t} (2)^2_{t^2} }[/math] |
| Smallest realizing group | Symmetric group [math]\displaystyle{ \;\mathbb{S}_3 }[/math] | Symmetric group [math]\displaystyle{ \;\mathbb{S}_4 }[/math] | Symmetric group [math]\displaystyle{ \;\mathbb{S}_5 }[/math] | Dihedral group [math]\displaystyle{ \;\mathbb{D}_4 }[/math] |
| ... and conjugacy classes | [math]\displaystyle{ \mathcal{O}_{(12)}^{-1} }[/math] | [math]\displaystyle{ \mathcal{O}_{(1234)}^{-1},\quad \mathcal{O}_{(12)}^{-1},\quad \mathcal{O}_{(12)}^{-1\otimes \sgn} }[/math] | [math]\displaystyle{ \mathcal{O}_{(12)}^{-1},\quad\mathcal{O}_{(12)}^{-1\otimes \sgn} }[/math] | [math]\displaystyle{ \mathcal{O}_{b}^\epsilon\oplus \mathcal{O}^\epsilon_{a^2b},\quad \mathcal{O}_{b}^{sgn}\oplus \mathcal{O}^{sgn}_{a^2b} }[/math] |
| Source | [12] | [12][13] | [12][14] | [12] |
| Comments | Kirilov–Fomin algebras | This smallest nonabelian Nichols algebra of rank 2 is the case [math]\displaystyle{ \Gamma_2 }[/math] in the classification.[6][15] It can be constructed as smallest example of an infinite series [math]\displaystyle{ A_n }[/math] from [math]\displaystyle{ A_n\cup A_n }[/math], see.[16] | ||
The case [math]\displaystyle{ \mathbb{S}_2\cong \mathbb{Z}_2 }[/math] is the rank 1 diagonal Nichols algebra [math]\displaystyle{ u_i(A_1)^+ }[/math] of dimension 2.
Other Nichols algebras of rank 1
|
| |||
| Rank, Type of root system of [math]\displaystyle{ \mathfrak{B}(V) }[/math] [2] | [math]\displaystyle{ A_1 }[/math] | [math]\displaystyle{ A_1 }[/math] | [math]\displaystyle{ A_1 }[/math] | [math]\displaystyle{ A_1 }[/math] |
| Dimension of [math]\displaystyle{ V }[/math] | [math]\displaystyle{ 4 }[/math] | [math]\displaystyle{ 4 }[/math] | [math]\displaystyle{ 5 }[/math] | [math]\displaystyle{ 7 }[/math] |
| Dimension of Nichols algebra(s) | [math]\displaystyle{ 72 }[/math] | [math]\displaystyle{ 5,184 }[/math] | [math]\displaystyle{ 1,280 }[/math] | [math]\displaystyle{ 326,592 }[/math] |
| Hilbert series | [math]\displaystyle{ (2)^2_t (3)_t (6)_t }[/math] | [math]\displaystyle{ (6)^4_{t} (2)^2_{t^2} }[/math] | [math]\displaystyle{ (4)^4_{t} (5)_t }[/math] | [math]\displaystyle{ (6)^6_{t} (7)_t }[/math] |
| Smallest realizing group | Special linear group [math]\displaystyle{ SL_2(3) }[/math] extending the alternating group [math]\displaystyle{ \mathbb{A}_4 }[/math] | Affine linear group [math]\displaystyle{ \mathbb{Z}_5\rtimes\mathbb{Z}_5^\times }[/math] | Affine linear group [math]\displaystyle{ \mathbb{Z}_7\rtimes\mathbb{Z}_7^\times }[/math] | |
| ... and conjugacy classes | [math]\displaystyle{ \mathcal{O}_{\begin{pmatrix} -1 & 1 \\ 0 & -1\end{pmatrix}}^{-1} }[/math] | [math]\displaystyle{ \mathcal{O}_{\begin{pmatrix} 1 & 1 \\ 0 & 1\end{pmatrix}}^{\zeta_6} }[/math] | [math]\displaystyle{ \mathcal{O}_{i\rtimes 2}^{-1},\quad \mathcal{O}_{i\rtimes 3}^{-1} }[/math] | [math]\displaystyle{ \mathcal{O}_{i\rtimes 3}^{-1},\quad \mathcal{O}_{i\rtimes 5}^{-1} }[/math] |
| Source | [17] | [18] | [13] | |
| Comments | There exists a Nichols algebra of rank 2 containing this Nichols algebra | Only example with many cubic (but not many quadratic) relations. | Affine racks | |
Nichols algebras of rank 2, type Gamma-3
These Nichols algebras were discovered during the classification of Heckenberger and Vendramin.[19]
|
|
only in characteristic 2 
| |
| Rank, Type of root system of [math]\displaystyle{ \mathfrak{B}(V) }[/math] [2] | [math]\displaystyle{ B_2,B_2 }[/math] | [math]\displaystyle{ B_2,B_2 }[/math] | [math]\displaystyle{ \begin{pmatrix}2 & -2 \\ -2 & 2 \end{pmatrix} }[/math][math]\displaystyle{ \begin{pmatrix}2 & -2 \\ -1 & 2 \end{pmatrix} }[/math][math]\displaystyle{ \begin{pmatrix}2 & -4 \\ -1 & 2 \end{pmatrix} }[/math] |
| Dimension of [math]\displaystyle{ V }[/math] | [math]\displaystyle{ 3+2 }[/math] | [math]\displaystyle{ 3+1 }[/math] resp. [math]\displaystyle{ 3+2 }[/math] | [math]\displaystyle{ 3+1 }[/math] resp. [math]\displaystyle{ 3+2 }[/math] |
| Dimension of Nichols algebra(s) | [math]\displaystyle{ 2,304 }[/math] | [math]\displaystyle{ 10,368 }[/math] | [math]\displaystyle{ 2,239,488 }[/math] |
| Hilbert series | [math]\displaystyle{ (2)_t^2(3)_t\cdot (2)_{t}^2 }[/math] | [math]\displaystyle{ (2)_t^2(3)_t\cdot(6)_{t} }[/math][math]\displaystyle{ \cdot (2)_{t^2}^2(3)_{t^2}\cdot (2)_{t^3}(6)_{t^3} }[/math] | |
| Smallest realizing group and conjugacy class | [math]\displaystyle{ \mathbb{S}_3\times \mathbb{Z}_2 }[/math] | [math]\displaystyle{ \mathbb{S}_3\times \mathbb{Z}_6 }[/math] | |
| ... and conjugacy classes | [math]\displaystyle{ \mathcal{O}_{(12)}^{-1,1}\oplus \mathcal{O}_{\{z\}}^{1,\sigma_2} }[/math] | [math]\displaystyle{ \mathcal{O}_{(12)}^{-1,\zeta_6}\oplus \mathcal{O}_{\{z\}}^{1,\zeta_6^{-1}} }[/math] | |
| Source | [19] | [19] | [19] |
| Comments | Only example with a 2-dimensional irreducible representation [math]\displaystyle{ \sigma }[/math] | 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.[19]
| Root system | [math]\displaystyle{ B_2 }[/math] |
|---|---|
| Dimension of [math]\displaystyle{ V }[/math] | [math]\displaystyle{ 2+4 }[/math] |
| Dimension of Nichols algebra | [math]\displaystyle{ 262,144 \;= 2^{18} }[/math] |
| Hilbert series | [math]\displaystyle{ (2)_t^2(2)_{t^2} \cdot (2)_{t}^4(2)_{t^2}^2 \cdot (2)_{t^2}^4(2^2)_{t^4}^2 \cdot (2)_{t^3}^2(2)_{t^6} }[/math] |
| Smallest realizing group | [math]\displaystyle{ \tilde{\mathbb{D}}_8 }[/math] (semidihedral group) |
| ...and conjugacy class | [math]\displaystyle{ \mathcal{O}_{[h]}^{-1}\oplus \mathcal{O}_{[g]}^{\zeta_8} }[/math] |
| 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 [math]\displaystyle{ \mathbb{D}_4 }[/math], the right node to a diagonal Nichols algebra of type [math]\displaystyle{ A_2 }[/math]. |
The Nichols algebra of rank 2, type T
This Nichols algebra was discovered during the classification of Heckenberger and Vendramin.[19]
| Root system | [math]\displaystyle{ G_2 }[/math] |
|---|---|
| Dimension of [math]\displaystyle{ V }[/math] | [math]\displaystyle{ 1+4 }[/math] |
| Dimension of Nichols algebra | [math]\displaystyle{ 80,621,568 }[/math] |
| Hilbert series | [math]\displaystyle{ (6)_t\cdot (2)_t^2(3)_t(6)_t\cdot (2)_{t^2}^2(3)_{t^2}(6)_{t^2} \cdot (2)_{t^3}^2(3)_{t^3}(6)_{t^3}\cdot (6)_{t^4}\cdot (6)_{t^5} }[/math] |
| Smallest realizing group | [math]\displaystyle{ \Z_6\times SL_2(3) }[/math] |
| ...and conjugacy class | [math]\displaystyle{ \mathcal{O}_{\{z\}}^{\zeta_6,\zeta_6^{-1}} \oplus\mathcal{O}_{\begin{pmatrix}-1 & 1 \\ 0 & -1\end{pmatrix}}^{1,-1} }[/math] |
| Comments | The rank 1 Nichols algebra contained in this Nichols algebra is irreducible over its support [math]\displaystyle{ SL_2(3) }[/math] 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.[6]
| Root system | Rank 3 Number 9 with 13 roots [3] |
|---|---|
| Dimension of [math]\displaystyle{ V }[/math] | [math]\displaystyle{ 3+2+1 }[/math] resp. [math]\displaystyle{ 3+1+1 }[/math] |
| Dimension of Nichols algebra | [math]\displaystyle{ 1,671,768,834,048 }[/math] |
| Hilbert series | [math]\displaystyle{ (2)_t^2(3)_t\cdot (6)_{t}\cdot (6)_t \cdot (2)_{t^2}^2(3)_{t^2}\cdot (6)_{t^2} \cdot (2)_{t^3}(6)_{t^3}\cdot (2)_{t^3}^2(3)_{t^3} }[/math][math]\displaystyle{ \cdot (2)_{t^4}(6)_{t^4} \cdot (2)_{t^5}(6)_{t^5} \cdot (2)_{t^6}^2(3)_{t^6}\cdot (6)_{t^7} \cdot (6)_{t^8} \cdot (6)_{t^9} }[/math] |
| Smallest realizing group | [math]\displaystyle{ \mathbb{S}_3\times \mathbb{Z}_6\times \mathbb{Z}_6 }[/math] |
| ...and conjugacy class | [math]\displaystyle{ \mathcal{O} _{(12)}^{-1,\zeta_6,1}\oplus \mathcal{O} _{\{z\}}^{1,\zeta_6^{-1},1} \oplus \mathcal{O} _{\{w\}}^{1,\zeta_6,\zeta_6^{-1}} }[/math] |
| Comments | The rank 2 Nichols algebra cenerated by the two leftmost node is of type [math]\displaystyle{ \Gamma_3 }[/math] and can be found above. The rank 2 Nichols algebra generated by the two rightmost nodes is either diagonal of type [math]\displaystyle{ A_2 }[/math] or [math]\displaystyle{ A_3 }[/math]. |
Nichols algebras from diagram folding
The following families Nichols algebras were constructed by Lentner using diagram folding,[16] the fourth example appearing only in characteristic 3 was discovered during the classification of Heckenberger and Vendramin.[6]
The construction start with a known Nichols algebra (here diagonal ones related to quantum groups) 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.[20] By construction, generators and relations are known from the diagonal case.
|
|
|
only characteristic 3
| |
| Rank, Type of root system of [math]\displaystyle{ \mathfrak{B}(V) }[/math] [2] | [math]\displaystyle{ A_n,\; n\geq 2 }[/math] | [math]\displaystyle{ D_n,\; n\geq 4 }[/math] | [math]\displaystyle{ E_6,E_7,E_8 }[/math] | [math]\displaystyle{ B_n,\;n\geq 2 }[/math] |
| Constructed from this diagonal Nichol algebra with [math]\displaystyle{ q_{ij}=\pm 1 }[/math] | [math]\displaystyle{ A_n\times A_n }[/math] | [math]\displaystyle{ D_n\times D_n }[/math] | [math]\displaystyle{ E_n\times E_n }[/math] | [math]\displaystyle{ B_n\times B_n }[/math] in characteristic 3. |
| Dimension of [math]\displaystyle{ V }[/math] | [math]\displaystyle{ 2+2+\cdots }[/math] | [math]\displaystyle{ 2+2+\cdots }[/math] | [math]\displaystyle{ 2+2+\cdots }[/math] | [math]\displaystyle{ 2+2+\cdots }[/math] |
| Dimension of Nichols algebra(s) | [math]\displaystyle{ \left(2^{n+1 \choose 2} \right)^2 }[/math] | [math]\displaystyle{ \left(2^{n(n-1)} \right)^2 }[/math] | [math]\displaystyle{ \left(2^{36} \right)^2,\;\left(2^{63} \right)^2,\;\left(2^{120} \right)^2 }[/math] | [math]\displaystyle{ \left(3^{n(n-1)}2^{n} \right)^2 }[/math] |
| Hilbert series | Same as the respective diagonal Nichols algebra | |||
| Smallest realizing group | Extra special group (resp. almost extraspecial) with [math]\displaystyle{ 2^{n+1} }[/math] elements, except that [math]\displaystyle{ D_{n},\;2|n }[/math] requires a similar group with larger center of order [math]\displaystyle{ 2^3 }[/math]. | |||
| Source | [16] | [6] | ||
| Comments | Supposedly a folding of the diagonal Nichols algebra of type [math]\displaystyle{ B_n }[/math] with [math]\displaystyle{ q=\pm 1 }[/math] which exceptionally appears in characteristic 3. | |||
The following two are obtained by proper automorphisms of the connected Dynkin diagrams [math]\displaystyle{ {^2}A_{2n-1},{^2}E_6 }[/math]
|
| |
| Rank, Type of root system of [math]\displaystyle{ \mathfrak{B}(V) }[/math] [2] | [math]\displaystyle{ C_{n},\; n\geq 3 }[/math] | [math]\displaystyle{ F_4 }[/math] |
| Constructed from this diagonal Nichol algebra with [math]\displaystyle{ q_{ij}=\pm 1 }[/math] | [math]\displaystyle{ A_{2n-1} }[/math] | [math]\displaystyle{ E_6 }[/math] |
| Dimension of [math]\displaystyle{ V }[/math] | [math]\displaystyle{ 1+2+\cdots }[/math] | [math]\displaystyle{ 1+1+2+2 }[/math] |
| Dimension of Nichols algebra(s) | [math]\displaystyle{ 2^{{2n \choose 2}} }[/math] | [math]\displaystyle{ 2^{36}=68,719,476,736 }[/math] |
| Hilbert series | Same as the respective diagonal Nichols algebra | Same as the respective diagonal Nichols algebra
[math]\displaystyle{ (2)^6_{t} (2)^5_{t^2}(2)^5_{t^3}(2)^5_{t^4} (2)^4_{t^5}(2)^3_{t^6} }[/math] [math]\displaystyle{ \cdot (2)^3_{t^7} (2)^2_{t^8} (2)_{t^9}(2)_{t^{10}}(2)_{t^{11}} }[/math] |
| Smallest realizing group | Group of order [math]\displaystyle{ 2^{n+1} }[/math] with larger center of order [math]\displaystyle{ 2^2 }[/math] resp. [math]\displaystyle{ 2^3 }[/math] (for [math]\displaystyle{ n }[/math] even resp. odd) | Group of order [math]\displaystyle{ 2^{4+1} }[/math] with larger center of order [math]\displaystyle{ 2^3 }[/math]
i.e. [math]\displaystyle{ \mathbb{Z}_2\times \mathbb{Z}_2\times \mathbb{D}_4 }[/math] |
| ... and conjugacy class | [math]\displaystyle{ \mathcal{O}_{\{z_1\}}\oplus \mathcal{O}_{\{z_2\}} \oplus\mathcal{O}_{[x_1]}\oplus\mathcal{O}_{[y_1]} }[/math] | |
| Source | [16] | |
Note that there are several more foldings, such as [math]\displaystyle{ {^3}D_4,{^2}D_n }[/math] and also some not of Lie type, but these violate the condition that the support generates the group.
Poster with all Nichols algebras known so far
(Simon Lentner, University Hamburg, please feel free to write comments/corrections/wishes in this matter: simon.lentner at uni-hamburg.de)
References
- ↑ Andruskiewitsch, Schneider: Pointed Hopf algebras, New directions in Hopf algebras, 1–68, Math. Sci. Res. Inst. Publ., 43, Cambridge Univ. Press, Cambridge, 2002.
- ↑ 2.0 2.1 2.2 2.3 2.4 2.5 Andruskiewitsch, Nicolás; Heckenberger, István; Schneider, Hans-Jürgen (December 2010). "The Nichols algebra of a semisimple Yetter–Drinfeld module". American Journal of Mathematics 132 (6): 1493–1547. doi:10.1353/ajm.2010.a404140.
- ↑ 3.0 3.1 Cuntz, Michael; Heckenberger, István (2015). "Finite Weyl groupoids". Journal für die reine und angewandte Mathematik 2015 (702): 77–108. doi:10.1515/crelle-2013-0033.
- ↑ 4.0 4.1 Heckenberger, István (2009). "Classification of arithmetic root systems". Advances in Mathematics 220 (1): 59–124. doi:10.1016/j.aim.2008.08.005.
- ↑ Wang, Jing; Heckenberger, István (2015). "Rank 2 Nichols Algebras of Diagonal Type over Fields of Positive Characteristic". SIGMA 11: 011. doi:10.3842/SIGMA.2015.011. Bibcode: 2015SIGMA..11..011W.
- ↑ 6.0 6.1 6.2 6.3 6.4 Heckenberger, István; Vendramin, Leandro (2017). "A classification of Nichols algebras of semi-simple Yetter–Drinfeld modules over non-abelian groups". Journal of the European Mathematical Society 19 (2): 299–356. doi:10.4171/JEMS/667.
- ↑ Andruskiewitsch, N.; Fantino, F.; Graña, M; Vendramin, L. (2011). "On Nichols algebras associated to simple racks". Groups, Algebras and Applications. Contemporary Mathematics. 537. pp. 31–56. doi:10.1090/conm/537. ISBN 9780821852392.
- ↑ Andruskiewitsch, N.; Fantino, F.; Graña, M; Vendramin, L. (1 January 2011). "Pointed Hopf algebras over the sporadic simple groups". Journal of Algebra 325 (1): 305–320. doi:10.1016/j.jalgebra.2010.10.019.
- ↑ 9.0 9.1 Andruskiewitsch, N.; Fantino, F.; Graña, M; Vendramin, L. (2011). "Finite-dimensional pointed Hopf algebras with alternating groups are trivial". Annali di Matematica Pura ed Applicata 190 (2): 225–245. doi:10.1007/s10231-010-0147-0.
- ↑ Andruskiewitsch, Nicolás; Carnovale, Giovanna; García, Gastón Andrés (15 November 2015). "Finite-dimensional pointed Hopf algebras over finite simple groups of Lie type I. Non-semisimple classes in PSL(n,q)". Journal of Algebra 442: 36–65. doi:10.1016/j.jalgebra.2014.06.019.
- ↑ Andruskiewitsch, Nicolás; Carnovale, Giovanna; García, Gastón Andrés (2016). "Finite-dimensional pointed Hopf algebras over finite simple groups of Lie type II. Unipotent classes in symplectic groups". Communications in Contemporary Mathematics 18 (4): 1550053. doi:10.1142/S0219199715500534.
- ↑ 12.0 12.1 12.2 12.3 12.4 Schneider, Milinski: Nichols algebras over Coxeter groups, 2000.
- ↑ 13.0 13.1 Andruskiewitsch, Nicolás; Graña, Matı́as (2003). "From racks to pointed Hopf algebras". Advances in Mathematics 178 (2): 177–243. doi:10.1016/S0001-8708(02)00071-3.
- ↑ Fomin, Sergey; Kirilov, Anatol N. (1999). "Quadratic algebras, Dunkl elements and Schubert calculus". Advances in Geometry. Progress in Mathematics. 172. pp. 147–182. doi:10.1007/978-1-4612-1770-1_8. ISBN 978-1-4612-7274-8.
- ↑ Heckenberger, I.; Schneider, H.-J. (1 December 2010). "Nichols algebras over groups with finite root system of rank two I". Journal of Algebra 324 (11): 3090–3114. doi:10.1016/j.jalgebra.2010.06.021.
- ↑ 16.0 16.1 16.2 16.3 Lentner, Simon (2012). Orbifoldizing Hopf- and Nichols-Algebras (PhD). Ludwig-Maximilans-Universität München. doi:10.5282/edoc.15363. Lentner, Simon (2014). "New Large-Rank Nichols Algebras Over Nonabelian Groups With Commutator Subgroup [math]\displaystyle{ \mathbb{Z}_2 }[/math]". Journal of Algebra 419: 1–33. doi:10.1016/j.jalgebra.2014.07.017.
- ↑ Graña, Matías (2000). "On Nichols algebras of low dimension". New Trends in Hopf Algebra Theory. Contemporary Mathematics. 267. pp. 111–136. doi:10.1090/conm/267. ISBN 9780821821268.
- ↑ Heckenberger, I.; Lochmann, A.; Vendramin, L. (2012). "Braided racks, Hurwitz actions and Nichols algebras with many cubic relations". Transformation Groups 17 (1): 157–194. doi:10.1007/s00031-012-9176-7.
- ↑ 19.0 19.1 19.2 19.3 19.4 19.5 Heckenberger, István; Vendramin, Leandro (2017). "The classification of Nichols algebras over groups with finite root system of rank two". Journal of the European Mathematical Society 19 (7): 1977–2017. doi:10.4171/JEMS/711.
- ↑ Cuntz, M.; Lentner, S. (2017). "A simplicial complex of Nichols algebras". Mathematische Zeitschrift 285 (3–4): 647–683. doi:10.1007/s00209-016-1711-0.
 |  |
