Geometric perspective on Nichols algebras
Ehud Meir

TL;DR
This paper presents a geometric framework for understanding the generation of finite-dimensional pointed Hopf algebras, showing that Nichols algebras correspond to closed orbits under a reductive group action, and explores their rigidity and deformations.
Contribution
It introduces a geometric perspective on Nichols algebras within braided categories, linking algebraic generation to orbit rigidity and deformation theory.
Findings
Nichols algebras correspond to closed orbits in a geometric setting.
Finite-dimensional Nichols algebras are rigid objects in the category.
Non-rigid Nichols algebras can be deformed into isomorphic pre- or post-Nichols algebras.
Abstract
We formulate the generation of finite dimensional pointed Hopf algebras by group-like elements and skew-primitives in geometric terms. This is done through a more general study of connected and coconnected Hopf algebras inside a braided fusion category . We describe such Hopf algebras as orbits for the action of a reductive group on an affine variety. We then show that the closed orbits are precisely the orbits of Nichols algebras, and that all other algebras are therefore deformations of Nichols algebras. For the case where the category is the category of Yetter-Drinfeld modules over a finite group , this reduces the question of generation by group-like elements and skew-primitives to a geometric question about rigidity of orbits. Comparing the results of Angiono Kochetov and Mastnak, this gives a new proof for the generation of finiteβ¦
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAlgebraic structures and combinatorial models Β· Advanced Topics in Algebra Β· Nonlinear Waves and Solitons
Geometric perspective on Nichols algebras
Ehud Meir
Institute of Mathematics, University of Aberdeen, Fraser Noble Building, Aberdeen AB24 3UE, UK
Abstract.
We formulate the generation of finite dimensional pointed Hopf algebras by group-like elements and skew-primitives in geometric terms. This is done through a more general study of connected and coconnected Hopf algebras inside a braided fusion category . We describe such Hopf algebras as orbits for the action of a reductive group on an affine variety. We then show that the closed orbits are precisely the orbits of Nichols algebras, and that all other algebras are therefore deformations of Nichols algebras. For the case where the category is the category of Yetter-Drinfeld modules over a finite group , this reduces the question of generation by group-like elements and skew-primitives to a geometric question about rigidity of orbits. Comparing the results of Angiono Kochetov and Mastnak, this gives a new proof for the generation of finite dimensional pointed Hopf algebras with abelian groups of group-like elements by skew-primitives and group-like elements. We show that if is a simple object in and is finite dimensional, then must be rigid. We also show that a non-rigid Nichols algebra can always be deformed to a pre-Nichols algebra or a post-Nichols algebra which is isomorphic to the Nichols algebra as an object of the category .
1. Introduction
One of the fundamental problems in the theory of finite dimensional pointed Hopf algebras is to determine if such algebras are generated by group-like elements and skew-primitives. This aims to generalize the following classical classification result of Cartier, Milnor, Moore, and Kostant from the 1960s:
Theorem 1.1** (Cartier-Milnor-Moore-Kostant,60s).**
Let be a cocommutative Hopf algebra over an algebraically closed field of characteristic zero. Then is the crossed direct product of a group algebra with the universal enveloping algebra of a Lie algebra. In particular, is generated by group-like elements and primitive elements.
This problem was studied thoroughly in case the group of group-like elements in the Hopf algebra is abelian and the ground field has characteristic zero. In [AS10] Andruskiewitsch and Schneider proved that such a Hopf algebra must be generated by group-like elements and skew-primitives, and gave a complete classification of such algebras in case the group of group-like elements does not have prime divisors which are . This was done by the lifting method and by a deep study of the structure of the possible Nichols algebras arising in the category of Yetter-Drinfeld modules over an abelian group. The Nichols algebras correspond to the universal enveloping algebras in the above theorem. In [He09] Heckenberger classified all Yetter-Drinfeld modules for which the Nichols algebra is finite dimensional, as part of a wider classification of Nichols algebras with finite root systems. In [Ang13] Angiono described these Nichols algebras explicitly in terms of generators and relations and proved that all finite dimensional connected graded Hopf algebras in the category of Yetter-Drinfeld modules over a finite abelian group are Nichols algebras. Using the above results Angiono and Garcia-Igelsias gave in [AG19] a complete classification of finite dimensional pointed Hopf algebras with abelian groups of group-like elements. For more classification results, including the case where the group of group-like elements is non-abelian, see [AnSa19] and the survey [And14].
The starting point of these classification results is the following: let be a finite group and let be a finite dimensional pointed Hopf algebra over an algebraically closed field of characteristic zero, whose group of group-like elements is isomorphic to . The fact that is pointed implies that the coradical filtration of is a Hopf algebra filtration. This implies that is a graded Hopf algebra. Moreover, if is generated by group-like elements and skew-primitives then is generated by group-likes and skew-primitives as well. The inclusion splits, and by a result of Radford we can write where is a graded Hopf algebra in the category of Yetter-Drinfeld modules over , . The comultiplication of as a Hopf algebra in is different from the comultiplication of elements of in the Hopf algebra . The skew-primitive elements become primitive elements in . The original question then boils down to whether or not is generated by primitive elements, and not just skew-primitives.
In [AS10, AS00] Andruskiewitsch and Schneider studied both the Hopf algebra and the dual Hopf algebra , proved that finite dimensionality implies that certain relations among the elements of these Hopf algebras must hold, and concluded that both and are generated by primitive elements. This means that the algebra is in fact the Nichols algebra where is the set of primitive elements in .
Andruskiewitsch and Schneider then also address the questions of the reconstruction of the original algebra out of , and for what objects of the algebra is finite dimensional. The key-point in proving that any finite dimensional pointed Hopf algebra is generated by group-like elements and skew-primitives is to prove that all Hopf algebras in arising from the above construction are Nichols algebras.
In this paper we study a more general problem by using a different, geometric, method. Instead of looking at the category we look at a general braided fusion category . For every object in we will construct an affine variety , whose points represent the structure constants of connected coconnected Hopf algebras (these notations will be explained in Sections 2 and 5). The group acts on , and the orbits correspond to isomorphism types of Hopf algebras. We will prove the following:
Theorem 1.2**.**
Let be a connected coconnected finite dimensional Hopf algebra in such that as objects of . The orbit of is closed if and only if the algebra is isomorphic to a Nichols algebras. In particular, all the orbits of in are closed if and only if all the connected and coconnected Hopf algebras in that are isomorphic to as objects of are Nichols algebras.
If and are two algebras in , we say that specializes to if . We also say in this case that is a deformation of . It is known that, for the action of an algebraic group on an affine variety, every orbit contains a closed orbit in its closure. The theorem above thus implies that every algebra in is a deformation of a Nichols algebra.
We thus focus our attention on studying deformations of finite dimensional Nichols algebras , as such deformations are the possible obstructions to the generation by skew-primitives and the coradical (see Theorem 1.7).
Definition 1.3**.**
The Hopf algebra is called rigid if for some implies that .
The ultimate goal will thus be to prove that is rigid whenever it is finite dimensional, as this will imply that all the algebras in are Nichols algebras and are therefore generated by primitive elements. We will prove the following result:
Theorem 1.4**.**
Assume that is simple in and that is finite dimensional. Then is rigid.
Since our aim is to prove that all orbits in are closed, it is worthwhile asking how do hypothetical non-closed orbits in look like. To state the next result, recall that a pre-Nichols algebra in a braided monoidal category is a graded Hopf algebra in which is generated by primitive elements (though not all the primitive elements are necessarily of degree 1). Thus, a pre-Nichols algebra is a quotient of the Hopf algebra for some which also projects onto the Nichols algebra . Dually, a post-Nichols algebra is a Hopf subalgebra of the graded-dual Hopf algebra of that contains . Post- and pre-Nichols algebras are graded-dual to each other (see Section 2.3 of [AARB17]).
Theorem 1.5**.**
Assume that is finite dimensional and not rigid. Then there is either a finite dimensional pre-Nichols algebra such that and such that , or a finite dimensional pre-Nichols algebra such that and such that .
Summarizing Theorem 1.2 and 1.5, we get the following result:
Theorem 1.6**.**
Let be a braided fusion category. The following conditions are equivalent:
- (1)
For every object , all the orbits of the action of on are closed. 2. (2)
All finite dimensional Nichols algebras in are rigid. 3. (3)
All finite dimensional pre-Nichols algebras in are Nichols algebras. 4. (4)
Every connected and coconnected Hopf algebra in is isomorphic to .
In case the category is the category of Yetter-Drinfeld modules over a finite dimensional semisimple Hopf algebra , the bosonization process, which produces from a Hopf algebra in a Hopf algebra in , gives the following result:
Theorem 1.7**.**
Let be a finite dimensional semisimple Hopf algebra. The following are equivalent:
- (1)
For every the orbits of in are closed. 2. (2)
All finite dimensional Nichols algebras in are rigid. 3. (3)
Every Hopf algebra in which the coradical is a Hopf algebra isomorphic to is generated by the zeroth and first levels of its coradical filtration. 4. (4)
Every connected and coconnected Hopf algebra in is isomorphic to a Nichols algebra.
For where is a finite group the second statement says that every finite dimensional pointed Hopf algebra with is generated by group-like elements and skew-primitives.
The study of deformations of Hopf algebras was initiated by Gerstenhaber and Schack in [GS90]. Du, Chen and Ye studied deformations of graded Hopf algebras in [DCY07]. Angiono, Kochetov and Mastnak studied deformations of Nichols algebras in [AKM15]. Deformations were also studied by Makhlouf in [M05]. The deformations in the above papers are deformations by a parameter . We will show that our notion of rigidity, at least for Nichols algebras, is equivalent to the rigidity of Angiono, Kochetov and Mastnak. In [AKM15] the authors gave a proof that all Nichols algebras of diagonal type are rigid. Theorem 1.7 above provides a new proof for the generation of pointed Hopf algebras with an abelian group of group-like elements by skew-primitives and group-likes. In Section 4 of [Ang13] Angiono proved this result by ruling out the existence of finite dimensional pre-Nichols algebras which are not Nichols algebras. The proof in this paper follows from the rigidity result of [AKM15] which is based on the description of Nichols algebras from [Ang13] by generators and relations, but not on the case by case study done in Section 4 of [Ang13].
This paper is organized as follows: in Section 2 we will give preliminaries about braided fusion categories, Hopf algebras, and the results from the theory of algebraic groups and geometric invariant theory which we will use here. In section 3 we will discuss in more detail Hopf algebras in braided fusion categories, and prove the equivalence of the second and third conditions of Theorem 1.7. In Section 4 we will give a description of braided fusion categories using vector spaces and linear algebra. This will be used in Section 5 to show that the collection of all connected and coconnected Hopf algebras which are isomorphic to a given object of form an affine variety . We will also construct an action of on this variety, and show that the orbits correspond to isomorphism classes of Hopf algebras. In the end of Section 5 we will also give a proof of Theorem 1.4. In Section 6 we will discuss filtrations of Hopf algebras and their relation to geometric invariant theory. In Section 7 we will give a proof of Theorem 1.2 and 1.5. In Section 8 we will explain the relations between the different notions of rigidity and give a new proof, using the results of Angiono Kochetov and Mastnak, to the generation of pointed Hopf algebras with abelian group of group-like elements by group-like elements and skew-primitives.
2. Preliminaries
2.1. Braided fusion categories
We recall here briefly the definitions of fusion and braided categories. (see [ENO05]). As stated in the introduction, we assume throughout the paper that our ground field is algebraically closed and of characteristic zero.
Definition 2.1**.**
A fusion category over is an abelian category that satisfies the following properties:
- (1)
The category is enriched over . This means that all hom-spaces in are finite dimensional -vector spaces. 2. (2)
The category is semisimple. This means that every object in can be written uniquely as a direct sum of simple objects. 3. (3)
The category is monoidal. This means that we have a functor
[TABLE]
together with associativity isomorphisms
[TABLE]
for every three objects of satisfying the usual pentagon axiom, and there is a unique object, up to isomorphism, 1, such that the functors
[TABLE]
are both isomorphic to the identity functor. 4. (4)
The number of isomorphism classes of simple objects in is finite. 5. (5)
The tensor unit 1 is a simple object in . 6. (6)
The category is rigid. This means that every object has a right dual and a left dual . The right dual is defined uniquely up to an isomorphism by the condition that there are maps and satisfying some coherence conditions. The left dual is defined similarly. The semisimplicity of a fusion category implies that left and right duals are isomorphic.
A fusion category is called braided if it is equipped with a natural isomorphism
[TABLE]
for every two objects such that for every the morphism
[TABLE]
is equal to the morphism
[TABLE]
and the morphism
[TABLE]
is equal to the morphism
[TABLE]
(to ease notations, we do not write here the associativity constraints). Notice that we do not assume that . A category satisfying this extra assumption is called symmetric.
One important example of a braided fusion category is the Drinfeld center of . The objects in this category are vector spaces that admit a -action and a -grading. The action and the grading should be compatible in the following sense: for we have . This category is braided. The braiding is given by the following formula:
[TABLE]
[TABLE]
This is an example of a braided monoidal category that is also modular.
2.2. Algebras, coalgebras, and Hopf algebras inside monoidal categories
An associative unital algebra inside a monoidal category is defined as an object of the category together with morphisms and satisfying the associativity relation
[TABLE]
and the unit axiom
[TABLE]
A co-associative counital coalgebra is defined similarly, by changing the domain and codomain of all the relevant morphisms. A Hopf algebra inside a braided monoidal category is an object of equipped with the following maps
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
such that the following conditions hold:
- (1)
is an associative unital algebra. 2. (2)
is a coassociative counital coalgebra. 3. (3)
and are algebra maps. This means that the diagrams
[TABLE]
and
[TABLE]
are commutative. 4. (4)
The map is an antipode. This means that the two compositions
[TABLE]
are equal to .
Notice that algebras and coalgebras can be defined in any monoidal category, whereas the definition of a Hopf algebra requires the braiding in the category. If is a Hopf algebra inside a braided fusion category , then the dual object is again a Hopf algebra, where the multiplication is given by and the other structure maps are defined similarly as the dual of the structure maps of , see Section 5 of [AS00] and the preliminaries in [Z99].
Remark 2.2**.**
Some of the Hopf algebras in this paper will actually be graded Hopf algebras in the bigger category , which contains infinite direct limits of diagrams in . To make it clear that a certain algebra is already contained in we will say it is finite dimensional. This is consistent with the notion of finite dimensionality when the category is the category of Yetter-Drinfeld modules over some finite dimensional Hopf algebra.
We say that an associative algebra inside a fusion category is connected if , the trivial algebra in . Here is the Jacobson radical of , and is defined as the biggest nilpotent ideal in . This definition makes sense in a general fusion category, and not only for finite dimensional algebras over a field. Indeed, an ideal of is a subobject of for which the image of the restriction of the multiplication maps
[TABLE]
is contained in . Nilpotency of the ideal means that for a big enough , the multiplication map
[TABLE]
is the zero map. In a similar way, we define a coalgebra to be coconnected, if its dual algebra is connected. This is equivalent to the coradical of , which is the largest cosemisimple subcoalgebra of , being isomorphic to 1.
Definition 2.3**.**
A Hopf algebra is called (co)connected if it is (co)connected as a (co)algebra. A Hopf algebra is called connected coconnected (or ccc) if it is both connected and coconnected.
Among the ccc Hopf algebras the Nichols algebras play a prominent role (see [AS02]). We recall now their definition.
Definition 2.4**.**
(see Subsection 5.7. in [BB12]) For a given object the Nichols algebra is the unique Hopf algebra in that satisfies the following conditions:
- (1)
The Hopf algebra is graded by the non-negative integers as a Hopf algebra. 2. (2)
The zeroth component of the grading satisfies . 3. (3)
The first component of the grading satisfies , and is generated by . 4. (4)
The subobject of primitive elements of is . This subobject is defined for any Hopf algebra as .
Remark 2.5**.**
One of the fundamental and very difficult questions in the study of Nichols algebras is to determine for which objects the Nichols algebra is finite dimensional.
The definition above gives us a concrete way to construct the Nichols algebra. Since is generated by , and the elements of are primitive in we have a surjective Hopf algebra map . The fact that is graded and the elements of are of degree 1 implies that the map is a graded map. The Hopf algebra can then be constructed from in the following way: we divide first by the Hopf ideal of generated by the primitive elements of in degrees . Then in the quotient graded Hopf algebra we divide by the ideal generated by the primitive elements of degree in this algebra, and continue inductively. Notice that it might happen that by dividing out we get new primitive elements in . This is the reason we need to repeat this process. See also the introduction in [AG19]. An equivalent definition is given by dividing out the kernel of the Woronowicz symmetriser, see Subsection 5.7. in [BB12].
The Nichols algebra of and of are related in the following way: Recall that for a graded Hopf algebra in , in which all the homogeneous components are finite dimensional, the graded dual
[TABLE]
is also a graded Hopf algebra. In case itself is finite dimensional, this is the same as the dual . We claim the following (see also Lemma 5.5 in [AS00] and Proposition 3.2.20 in [AnGr99] for the case the category is the category of Yetter-Drinfeld modules over a Hopf algebra):
Lemma 2.6**.**
The graded dual of is . In particular is finite dimensional if and only if is finite dimensional.
Proof.
Let be the graded dual of . It holds that and . We first claim that . Notice first that is a graded subobject of . Assume that . Let be the minimal integer such that . Then
[TABLE]
[TABLE]
We have used here the primitivity of to express using , the fact that the multiplication in is dual to the comultiplication in and the fact that . But the above equation implies that since is generated by . This implies that , a contradiction.
We prove now that is generated by . Assume that this is not the case. Let be the minimal integer such that . Using semisimplicity, we can find a subobject such that . A dual argument to the argument above shows that . This follows from the fact that by the minimality of , it holds that for every . This means that
[TABLE]
[TABLE]
Since this already implies that is primitive, which is a contradiction to . β
2.3. Actions of algebraic groups on affine varieties
We recall the following framework and basic facts about actions of algebraic groups. Let be a reductive algebraic group acting algebraically on an affine variety . This means that the map is given by a polynomial map. The following holds (see Section 8.3 in [Hu75] and Lemma 3.3 in [N78])
Proposition 2.7**.**
All the orbits of in are locally closed. For a -orbit in , it holds that is the union of orbits of smaller dimension. In particular, an orbit of minimal dimension in is closed.
Proposition 2.8**.**
If and are two closed disjoint -stable subsets of , then there is an element such that and . In other words- we can separate the subsets and by an invariant polynomial.
3. Finite dimensional Hopf algebras in braided fusion categories
Let be a Hopf algebra in a braided fusion category . We will use here of the coradical filtration of . It will be easier to define this filtration using the radical filtration of the dual algebra (see also Chapter IX of [S69] and [AS98] for the case where is a Hopf algebra in ).
- β’
We define the radical of as
[TABLE]
where the intersection is taken over all simple -modules in , and where is adjoint to the action map . Just like in the case of finite dimensional algebras over a field, the ideal is nilpotent.
- β’
We define .
An equivalent definition of is given inductively by
[TABLE]
where is the coradical of , defined as the sum of all simple subcoalgebras of . The fact that translates to the dual property . We say that satisfies the Chevalley property (and that satisfies the dual Chevalley property) if the tensor product of semisimple -modules (in ) is again semisimple. By considering the action of the radical , this is equivalent to saying that .
When satisfies the dual Chevalley property we get that by using the Hopf axiom. Dualising, this implies that , and the coradical filtration thus gives us a Hopf filtration on . This means that the associated graded object
[TABLE]
is a graded Hopf algebra. We will say that is coradically graded if as Hopf algebras. The grading gives a split surjection of Hopf algebras. Using the process of Bosonization (or Radford-Majid biproduct) one can also write this algebra in the form where is a graded Hopf algebra in the category of Yetter-Drinfeld modules over . As a vector space
[TABLE]
and . See [AS10] for the description of as a Hopf algebra in .
The following lemma is the first step in proving Theorem 1.7:
Lemma 3.1**.**
Let be a finite dimensional semisimple Hopf algebra. The following conditions are equivalent:
- (1)
Every finite dimensional Hopf algebra in which the coradical is isomorphic to is generated by the zeroth and first levels of its coradical filtration. 2. (2)
Every coradically graded finite dimensional Hopf algebra in which the coradical is isomorphic to is generated by the zeroth and first levels of its coradical filtration. 3. (3)
Every coradically graded finite dimensional Hopf algebra in which is generated by its primitive elements.
Proof.
The first condition clearly implies the second one. On the other hand, if the second condition holds and is a Hopf algebra such that , we can pass to the associated graded Hopf algebra . Since this Hopf algebra is coradically graded the second condition implies that it is generated by its zeroth and first terms of the coradical filtration, and the same thus holds also for (see Lemma 2.2. in [AS98]).
We next prove that the second and third conditions are equivalent. Indeed, if is coradically graded then the above discussion implies that where is a coradically graded Hopf algebra in . It then holds that is generated by its first and zeroth terms of its coradical filtration if and only if the same holds for . But this is equivalent to being generated by its primitive elements. β
Lemma 3.2**.**
(see also Lemma 5.5 in [AS00]) Assume that is a Hopf algebra inside a braided fusion category . If is generated by , and is generated by , then is isomorphic to (that is: is a Nichols algebra).
Remark 3.3**.**
This lemma also holds if one replaces the braided fusion category with a finite braided tensor category.
Proof.
Write and . Write for the resulting surjective Hopf-algebra map in . Let be the canonical surjection. We will show that splits via .
Assume that is a primitive subobject of degree (that is: ). We will show that . The primitivity of implies that
[TABLE]
So in particular . Using now the primitivity of (which also implies the primitivity of , since is a Hopf-algebra morphism) we get
[TABLE]
for every . But this implies that is perpendicular to the subalgebra of generated by , which is itself. This means that , so .
This implies that the ideal generated by primitive elements of degree is contained in . We thus get a surjective Hopf algebra map . Denote by the ideal of generated by primitive elements of degree in this algebra. By the same argument, . We define now inductively ideals and Hopf algebra surjections such that is the ideal generated by all primitive elements of degree . This is the same as the chain of ideals which appears after Definition 2.4. The union of the inverse images of the ideals inside is exactly the kernel of the surjection . We thus get a surjective map
[TABLE]
which is injective on . This map must be injective as well, due to the following reason: assume that is the minimal number such that . Then by the fact that is a Hopf ideal and by considering the grading we get and therefore as well, where is defined to be zero on 1 and on . It holds that
[TABLE]
By the minimality of , is injective on , and so we get that , but this contradicts the fact that all the primitive elements of are concentrated in degree 1. β
Lemma 3.4**.**
Let be a ccc Hopf algebra. The restriction of the pairing to is non-degenerate if and only if .
Proof.
One direction follows from the fact that the graded dual of is , see Lemma 2.6. Assume, on the other hand, that the pairing is non-degenerate. By the previous lemma, it will be enough to prove that is generated by . By a dual argument, is generated by , and we can use the Lemma 3.2 to finish the proof.
Write . Consider the surjective morphism . By taking duals we get an injective morphism . We claim that . The inclusion follows from the fact that and that . In the other direction, the fact that enables us to write where . We claim that is contained in . For this, let us write . We will show that the morphism
[TABLE]
vanishes (where we consider here as a morphism ). We will do so by showing that the evaluation of the image of this map on is zero.
We write
[TABLE]
Since , it holds that . Similarly. we can show that the pairings of and with vanish. For we have that because It also holds that , so the pairing of the image of the above morphism with that summand vanishes as well. For we have , , and . The case for is similar.
So we know that . Assume that the pairing is non-degenerate. Consider the image of in . We claim that . For this, we use the fact that and . If is a proper sub-object of , then by semisimplicity there is a proper subobject such that . But this contradicts the fact that the pairing is non-degenerate.
Finally, there is a version of Nakayamaβs Lemma that holds here. The fact that the image of spans implies that generates . Indeed, we can prove by induction that generates for every . If generates then in particular it generates . Since the multiplication induces a surjective morphism , we see that generates as well. Since is a nilpotent ideal we are done. β
We are now ready to prove the equivalence of the third and fourth conditions of 1.7.
Proof.
Lemma 3.1 and Lemma 3.2 show that the third condition of Theorem 1.7 is equivalent to the statement that all finite dimensional coradically graded Hopf algebras with are Nichols algebras. If the fourth condition of Theorem 1.7 holds and all the ccc Hopf algebras in are Nichols algebras, this is in particular true for coradically graded Hopf algebras with , and the fourth condition thus implies the third condition.
If on the other hand the third condition holds and is a ccc Hopf algebra in then the Hopf algebra arising from the coradical filtration of is a Nichols algebra. This implies that is generated by its primitive elements. Similarly, the dual is also generated by its primitive elements, and by Lemma 3.2 is a Nichols algebra. β
4. Braided fusion categories by linear algebra
Let be a braided fusion category. Write for a set of representatives of the isomorphism classes of simple objects of . We would like to describe all the data encoded in the structure of as a braided fusion category using vector spaces and linear maps. We begin with the hom-spaces, which are very easy to describe. Indeed, it holds that
[TABLE]
since is a semisimple category, and the are non-isomorphic simple objects. Every object of is isomorphic to a direct sum of simple objects. Instead of writing an object of as we will use the isomorphic object
[TABLE]
where are plain vector spaces. Notice that the fact that is a -linear category means that taking tensor products of objects in with vector spaces makes sense.
The hom-spaces in are then given by
[TABLE]
We describe next the tensor product and the associativity constraints. Assume that
[TABLE]
in the Grothendieck ring of . For every three indices fix a vector space of dimension . We can then write
[TABLE]
Notice that
[TABLE]
For we then have
[TABLE]
while on the other hand
[TABLE]
The associativity constraints
[TABLE]
are then given by a family of linear maps
[TABLE]
that combine to give linear isomorphisms
[TABLE]
for every . The Pentagon axiom then translates into a list of axioms that says that certain sums of compositions of the linear maps are equal. More precisely, for every writing the pentagon diagram for the tensor product of gives us that for every the composition
[TABLE]
[TABLE]
is equal to the composition
[TABLE]
Assuming that is the tensor unit, the unit axioms for the monoidal category can be translated as saying that and are zero if , are one dimensional in case , and that there are distinguished bases and such that for every it holds that
[TABLE]
sends to for .
The rigidity of the category can be described in this language in the following way: for every there is a unique such that and are one-dimensional, and for . The evaluation
[TABLE]
is then given by a linear isomorphism which we denote by the same symbol and the coevaluation is then given by a linear isomorphism . The rigidity axioms translate again to equality between compositions of linear maps. The equality between the composition
[TABLE]
and translates to the equality
[TABLE]
where the first map sends 1 to , the second map is and the third map sends to .
The braided structure is given by maps . This is the same as a collection of linear isomorphisms
[TABLE]
which should satisfy the axioms arising from the braid relations.
The introduction of the vector spaces here and the linear maps and can be seen as a way to βintroduce coordinatesβ on the category . We use here the fact that as an abelian category, is very simple to understand on the level of objects and morphisms. The additional braided monoidal structure is described using linear algebra. This will be used later on in the construction of the variety . This should be seen as more of an auxiliary result, and will not play a dominant role in the sequel.
5. The variety and the action of the group
Usually, when one speaks of βa Hopf algebra inside the braided fusion category β it is understood that is an object of that is equipped with structure maps which are not written explicitly. We will take here a different approach. We will fix an object inside our braided fusion category , and ask what are all the possible Hopf algebra structures one can give on that object.
A Hopf algebra is given by morphisms
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
which satisfy some axioms. We can thus think of a Hopf algebra as a point in the affine space
[TABLE]
[TABLE]
We will write a point in this space as . Notice that not all points in this affine space will define Hopf algebra structure, and not all Hopf algebras will be ccc. We write
[TABLE]
for the subset of all points which define a ccc Hopf algebra structure on . For we write for the Hopf algebra with structure given by . When we will say β is a Hopf algebra in β we will mean that and . We will also write .
Write . When no confusion will arise we will write . The group acts on the different direct summands in by conjugation. The action of on is the diagonal one, and on is the trivial one. This induces a linear action of on . We claim the following:
Lemma 5.1**.**
The action of on stabilizes the subset . Two points and in define isomorphic Hopf algebras if and only if they lie in the same -orbit. The stabilizer of in can be identified with the group of automorphisms of the Hopf algebra that this tuple defines.
Proof.
Write for . The Hopf algebra axioms can be phrased as equalities between certain linear maps. Associativity of the multiplication, for example, is the equality
[TABLE]
as morphisms in . If is an automorphism in , and if then we have that
[TABLE]
[TABLE]
where we used the naturality of and the definition of the action of . On the other hand a similar calculation gives us
[TABLE]
This shows that if then is associative if and only if is associative. Similarly, all the other Hopf algebra axioms are valid for if and only if they are valid for . So if then defines a Hopf algebra if and only if does. Moreover, will define a ccc Hopf algebra if and only if is a nilpotent ideal in with respect to the multiplication and is a nilpotent ideal in with respect to the multiplication . For the same reason as above, this happens if and only if is a nilpotent ideal with respect to the multiplication and is a nilpotent ideal in with respect to the multiplication . In other words, stabilizes the subset of .
We will think of the equation as saying that defines an isomorphism between and . Indeed, can be rephrased as saying that the diagram
[TABLE]
is commutative. Similar statements hold for and . This implies that if then and define isomorphic Hopf algebras. On the other hand, if and define isomorphic Hopf algebras on , take an isomorphism between these Hopf algebras. Then by the same calculations as above we get that . So the orbits of in are in one to one correspondence with isomorphism classes of ccc Hopf algebras which are isomorphic to as an object of . Finally, the equality for just means that is an automorphism. β
The rest of this section will be devoted to prove the following claim:
Lemma 5.2**.**
The subset is an affine sub-variety of . The group is isomorphic to a direct product of general linear groups, and the action of on is algebraic.
Proof.
The proof of the lemma will be based on analyzing objects and morphisms in the category . We begin by writing as
[TABLE]
where are representatives of the isomorphism classes of simple objects of and are vector spaces. By Equation 4.3 this already gives us an isomorphism . We choose a basis for .
A Hopf algebra structure on will be given by maps , , , and . By writing tensor products using the spaces from Section 4 we see that the morphism is given by
[TABLE]
Rewriting the first object using the vector spaces gives us
[TABLE]
This means that is equivalent to a collection of linear maps
[TABLE]
Similarly, the morphism is equivalent to a map
[TABLE]
the morphism is equivalent to a collection of maps
[TABLE]
the morphism is equivalent to a map
[TABLE]
and the antipode is equivalent to a collection of linear maps
[TABLE]
We rewrite now the affine variety as
[TABLE]
[TABLE]
This description of shows us that the action of on it is algebraic. Indeed, it is simply given by pre- and post-composing of linear maps.
A choice of bases for and for for all will give us a basis for . This enables us to describe the structure we have at hand, the tuple , as a collection of numbers, the structure constants of . Indeed, using the bases for and we can describe the different structure maps as linear maps between vector spaces with given bases, and these are just given by matrices of scalars.
We explain now why the subset is in fact an affine variety. The idea is to show that all the Hopf algebra axioms can be expressed using polynomial equations. We will also show that the property of being ccc can be described using polynomial equations.
We begin with proving this for the associativity. The proof for the other Hopf algebra axioms is similar. The associativity axioms says that . Writing this using the maps and we get that associativity is equivalent to the commutativity of the diagram
[TABLE]
where we simplified the morphisms by writing instead of and similarly for the other morphisms. The linear map goes from to , but it is clear how to get a linear map from it as shown in the diagram. If we write now the linear maps and in terms of the bases of and we get a set of quadratic polynomials on the structure constants whose vanishing is equivalent to the associativity of . To state this more precisely, let us write and . The map can be written as
[TABLE]
and the multiplication map can be written as
[TABLE]
We consider now the basis element . The commutativity of the above diagram is then equivalent to the vanishing of the quadratic polynomials
[TABLE]
where . The scalars depend only on the fusion category, and we can consider them as constants. We thus get quadratic polynomials on the set of variables . For similar reasons the other Hopf algebra axioms can be written as well as polynomials in the structure constants.
It is left to show that being ccc is a closed condition for Hopf algebras. For this, write . We claim the following:
Lemma 5.3**.**
An ideal of is nilpotent if and only if .
Proof.
One direction is clear. For the other direction, if is nilpotent, the sequence of ideals is strictly monotonic decreasing until it stabilizes at zero. Thus, the sequence satisfy
[TABLE]
and this sequence of numbers stabilizes at zero. This implies that if is nilpotent its -th power must already be zero. β
By definition, a Hopf algebra is ccc if it is connected and coconnected. We will show that being connected is a closed condition. The fact that coconnectedness is a closed condition follows from a dual argument. By definition of connectedness, is connected if the ideal is nilpotent. This is equivalent to by the above lemma. It holds that the map
[TABLE]
is a projection on (this holds in any Hopf algebra, and follows from the fact that ). The nilpotency of is thus equivalent to the fact that the map
[TABLE]
is the zero map. But again, this can be written as a polynomial equation using the structure constants of , and . The subset is thus a closed subvariety of , and the action of on it is algebraic. The theory of algebraic groups and geometric invariant theory can thus be applied in our setting (see the results in Subsection 2.3). β
Definition 5.4**.**
If and are two Hopf algebras in , we say that is a specialization of and write if .
Remark 5.5**.**
We have used here a slightly heavy categorical language, in order to construct the variety in the most general way possible. If, for example, the category is there is a way around this: we can fix only the dimension of as a vector space, and consider also the action and coaction of as part of the structure of , instead of something that is given a-priori, as we have done here. Describing the isomorphism type of as an object in can then be done by declaring what the trace of the operations of the elements of , the Drinfeld double of , on , should be. The construction here relies heavily on the fact that the category we are working in is semisimple. Indeed, the semisimplicity gives us an easy classification of the object of the category and their automorphism groups. See also [AA18] for the study of Nichols algebras in non-semisimple braided monoidal categories.
Remark 5.6**.**
The Hopf algebras in which one encounters in the study of pointed Hopf algebras are usually graded. We study here ccc Hopf algebras and not graded algebras for two reasons. Firstly, being connected and coconnected is a conditions which can be described by polynomial equations. If we consider instead the variety of all graded Hopf algebras we will get something which is too rigid, and we will not be able to see the specializations in the orbits of . Secondly, all finite dimensional graded Hopf algebras with are automatically ccc. Indeed, this follows from the fact that if then the Jacobson radical is , and the quotient is isomorphic to 1. The same holds for the dual.
Remark 5.7**.**
The map gives us an isomorphism of varieties which commutes with the action of . In particular, if then if and only if in .
The following lemma will be useful for the proof of Theorem 1.4.
Lemma 5.8**.**
Assume that . Then is isomorphic to a subobject of .
Proof.
The object of primitive elements in is the same as the kernel of the map
[TABLE]
We can write this map as the direct sum of maps . Such a map is thus equivalent to a collection of maps . For every linear map and any natural number the condition that is a Zariski closed condition. This implies that for every it holds that
[TABLE]
and therefore
[TABLE]
This gives us the desired result. β
Proof of Theorem 1.4.
If then is isomorphic to a subobject of . Similarly by Lemma 2.6 and Remark 5.7 so is isomorphic to a subobject of . Since is simple, is simple as well, and it follows that or and or . The option is not possible, since this would imply that where is the Jacobson radical of , and must then be the trivial algebra. In a similar way, is impossible. We are left with the situation where and . But this already implies that is a non-degenerate pairing, which implies by Lemma 3.4 that is a Nichols algebra, as desired. β
6. Filtrations of Hopf algebras
As we have seen in previous sections, understanding specializations is fundamental to understand ccc Hopf algebras. Using the Hilbert-Mumford criterion, we will show that if and is closed, the specialization follows from a filtration on , in a way which we will describe now. Let be a ccc Hopf algebra in .
Definition 6.1** (see also [M05]).**
A Hopf algebra filtration on is a chain of -subobjects of
[TABLE]
such that the following properties hold:
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
We will denote the filtration by .
Lemma 6.2**.**
Every Hopf algebra filtration of determines a -graded Hopf algebra with the same underlying object , defined as follows:
- (1)
As an object of ,
[TABLE] 2. (2)
The unit is the image of in . 3. (3)
The counit is given by where here is the map which is induced from , since . 4. (4)
The condition on the antipode implies that it defines a collection of induced maps . The antipode of is . 5. (5)
The condition on implies that we have an induced map for every . We define . 6. (6)
The condition on implies that we have an induced map for every . We define .
Proof.
We first claim that, as objects of , we can write as where where are subobjects of in . This follows from the semisimplicity of together with the conditions on the filtration . Indeed, take for which . Define for all . Then choose inductively to be a direct sum complement of in . Notice that this implies that for every , and that as objects of .
All the structure maps of are well defined due to the condition the structure maps of satisfy. β
For the next lemma, recall that . We can consider the orbit inside .
Lemma 6.3**.**
Let be a Hopf algebra filtration of the ccc Hopf algebra . Then . In particular, is also contained in the closed subset of , and as a result is also a ccc Hopf algebra.
Proof.
We use the -objects constructed in the previous lemma. We write all the structure maps of in terms of the direct sum decomposition . The conditions on the filtration gives us
[TABLE]
[TABLE]
[TABLE]
where
[TABLE]
[TABLE]
[TABLE]
Using the identification we see that the multiplication in is given by , the comultiplication is given by , the unit by , the counit is , and the antipode is . We thus see that in passing from to we βdeletedβ all the parts of the structure maps that are of positive degree and stayed only with maps of degree zero (maps of negative degree do not appear here at all). Here the degree of a map is .
We use this idea to prove that the orbit of in is in the closure of the orbit of . This will already imply that is a ccc Hopf algebra, because , and is closed in . To prove this, we will use a one-parameter subgroup of . That is: a group homomorphism . We define as follows
[TABLE]
We claim that contains in its closure. Since is a subgroup of this will be enough. To prove this write
[TABLE]
We get
[TABLE]
[TABLE]
[TABLE]
This description shows us that exists, since in all the above expression appears only with non-negative powers. Taking the limit gives us where
[TABLE]
[TABLE]
[TABLE]
This shows us that the limit point is exactly the structure constants of . We are done. β
Remark 6.4**.**
If and is any one-parameter subgroup for which exists, then we get a filtration on by setting
[TABLE]
[TABLE]
The fact that exists implies, by the same argument as above, that is a Hopf algebra filtration. We thus see that the isomorphism classes of ccc Hopf algebras which appear on the boundary of by the action of a 1-parameter subgroup are exactly the ccc Hopf algebra arising from by a Hopf algebra filtration. Moreover, by the Hilbert-Mumford criterion if and is closed, then there exists a one-parameter subgroup such that (see Theorem 1.4. in [K78]). This implies that in order to understand specializations, and especially specializations to ccc Hopf algebras with closed orbits, we need to study Hopf algebra filtrations.
We finish this section with two filtrations which are canonically associated to any ccc Hopf algebra: the radical and the coradical filtration. They are dual to one another, in a way which we shall explain below. As was explained in the introduction, the coradical filtration of a Hopf algebra (not necessarily a ccc one) is used in a fundamental way in the classification of non-semisimple Hopf algebras. The use of both filtrations together will play an important role in studying closure of orbits in this paper.
For the radical filtration, let be the Jacobson radical of . We claim the following:
Lemma 6.5**.**
The filtration for and for is a Hopf algebra filtration.
Proof.
Since is a nilpotent ideal, the condition for holds. It is clear that the condition for holds as well (it holds, in fact, for ). The fact that when implies that . The condition is immediate, and the condition follows from the fact that . For the condition on , notice that . For any the braiding satisfies . A direct calculation implies that , which is what we wanted to prove. β
We write for the graded Hopf algebra arising from via the radical filtration.
We recall here also the definition of the dual filtration, the coradical filtration, from Section 3: We define for , and
[TABLE]
Again, a direct verification, using the fact that the dual algebra is connected, reveals the fact that this is a filtration of Hopf algebras as well. We write for the graded Hopf algebra associated to this filtration. We thus see that and for every ccc Hopf algebra in . The two filtrations are dual to one another in the following sense: For let be the -th level of the coradical filtration, and let be defined as
[TABLE]
Then it holds that is the radical filtration on . This duality induces isomorphisms and .
7. A proof of Theorem 1.2 and 1.5
In this section we prove that a ccc Hopf algebra in has a closed orbit if and only if it is isomorphic to a Nichols algebra. Let be a Hopf algebra in . Recall the associated graded Hopf algebras and from Section 6. We know that and . In particular, if the orbit of is closed we get that and . The following proposition shows that if is closed then is a Nichols algebra.
Proposition 7.1**.**
Assume that the Hopf algebras and are isomorphic as Hopf algebras. Then is a Nichols algebra.
Proof.
Assume that the two Hopf algebras are isomorphic. Write where (for the sake of simplicity, we use here positive grading instead of the negative grading from Section 6 for the radical filtrations). Then the algebra is generated by . The object is primitive, since and . This implies, in particular, that is generated by the subobject of primitives. The algebra has all primitives in degree 1. Since it is isomorphic to the algebra , it is also generated by . This implies that is a graded Hopf algebra which is generated in degree 1 and has all its primitive elements in degree 1. By Definition 2.4 this implies that is a Nichols algebra. It follows that is generated by primitive elements. By a dual argument, and by using the fact that and we get that is also generated by its primitive subobject. Lemma 3.2 gives us the desired result. β
This finishes the proof that if is closed then is a Nichols algebra, because the fact that and together with the closure of implies that . Next, we will show that if is a Nichols algebra then is closed. Assume that this is not the case and let be a Nichols algebra with a non-closed orbit. The closure is the union of the orbit of with orbits of smaller dimension. An orbit of minimal dimension in is closed. It follows that for some with closed. But we already know that this implies that is a Nichols algebra.
Write . Then we have . By 5.8 we know that this implies that is isomorphic to a subobject of . Since the object must be isomorphic to a proper subobject of . Write . The split inclusion of objects in , , induces a split inclusion of Nichols algebras . This implies that because then properly contains , and this contradicts the fact that and are isomorphic to the same object of . This finishes the proof of Theorem 1.2
Recall that . The proof of Theorem 1.2 gives us a description of the irreducible components of :
Theorem 7.2**.**
Let . For every such that write . Then the subsets are stable under the action of and are exactly the connected components of .
Proof.
The fact that is stable under is immediate. Notice that for dimension considerations the number of objects such that is finite. We denote these objects by . We claim now that the dimension of the invariant subalgebra is finite. Indeed, if then continuity considerations imply that for every . Consider the following homomorphism of algebras
[TABLE]
[TABLE]
where is an algebra by the operations of pointwise addition and multiplication. If then vanishes on the orbit of every Nichols algebra, and since is invariant under the action of , the continuity of implies that it vanishes on every -orbit, so . This implies that is injective. Since when and and are closed and disjoint Proposition 2.8 implies that for every there is a function such that . Since is an algebra map the image of is a unital subalgebra of . The only unital subalgebra of that separates the points is itself, and so is surjective and an isomorphism. We thus see that all the are closed, since is the zero set of the polynomial (where is the standard basis of ).
We next claim that is connected for every . Indeed, assume that with and closed and nonempty. Take . Then is connected, contained in and intersects , so . But then . By a similar argument and this is a contradiction. β
Due to the last theorem, we can focus our attention on the different subvarieties . These subvarieties are stable under the action of . The conditions in Theorem 1.6 then boil down to the statement that if is finite dimensional, then the variety has a single orbit under the action of . We finish with a proof of Theorem 1.5:
Proof of Theorem 1.5.
Assume that is not rigid. In other words, assume that there are non-closed orbits in . Take a non-closed orbit of minimal dimension in . We will prove that such an orbit is the orbit of a pre-Nichols algebra or a post-Nichols algebra. For this consider the Hopf algebras and . If both these Hopf algebras are isomorphic to , then , which implies that itself is a Nichols algebra by Proposition 7.1. This is a contradiction. If both these algebras are non-isomorphic to , then from the fact that it follows that the dimensions of the orbits and are smaller than the dimension of . By the minimality condition on , this implies that . But by Proposition 7.1 again, this implies that itself is a Nichols algebra, which leads again to a contradiction.
We thus see that either and , or and . Assume first that and . Since , has a grading such that the Jacobson radical satisfy for every . The grading implies that , which generate as an algebra, is a primitive object. But this already implies that is a pre-Nichols algebra, as it lies between and . Notice that it is impossible that . Indeed, if this was the case then from dimension considerations the fact that projects onto would imply that , contradicting the fact that the orbit of is not closed. By Lemma 5.8 it follows that is isomorphic to a subobject of . We thus see that it must be a proper subobject.
This shows that if then is a pre-Nichols algebra. If then by duality of the radical and coradical filtrations we get that is a pre-Nichols algebra. This finishes the proof of Theorem 1.5 and also of 1.6 β
8. Different notions of rigidity
In this paper we call a ccc Hopf algebra rigid if any Hopf algebra that specializes to it is isomorphic to it. There are other notions of rigidity, using deformations by a one-parameter family. We will explain here the relations between them.
In [AKM15] and [DCY07] a deformation of a graded bialgebra (not necessarily a finite dimensional one) by a parameter is defined as a pair such that
[TABLE]
where are maps of degree , and , and defines a bialgebra structure on for every . (Bialgebra deformations of Hopf algebras are automatically Hopf algebras as well. Due to the uniqueness of the antipode, we do not need to consider it as part of the deformation data). It is shown that this is the same as a filtered Hopf algebra that satisfies . In [AKM15] and [DCY07] a graded Hopf algebra is called rigid if it has no non-trivial deformations. We will call it here deformation rigid. We claim the following:
Lemma 8.1**.**
A finite dimensional Nichols algebra is rigid with respect to Definition 1.3 if and only if both and are deformation rigid.
Proof.
Remark 5.7 implies that is rigid if and only if is rigid (with respect to Definition 1.3). To prove the first direction it will thus be enough to show that if is rigid with respect to Definition 1.3 then it is deformation rigid.
Assume that is a one-parameter deformation of . Using the grading we have a one-parameter family which sends to the automorphism which acts on by the scalar . We then have that
[TABLE]
Since is rigid, any algebra specializing to it is isomorphic to it. So we get a Hopf algebra isomorphism where is the uniquely defined antipode.
Next, we claim that consists of primitive elements with respect to the comultiplication (and therefore, with respect to for every as well). Indeed, by grading consideration we have that , where . The map must be zero since otherwise this will contradict the fact that . This implies that the isomorphism will map to and to . Without loss of generality we can assume that (recall that both and the deformed algebra have the same underlying object ). Since is the image of with respect to the iterated multiplication , and since contains the image of under the iterated multiplication , we get that preserves the filtration of given by . But this already implies that the deformation is trivial with respect to the definition in Section 2.3 of [AKM15].
In the other direction, assume that and are deformation rigid. By Theorem 1.6 we know that if is not rigid then there is a pre-Nichols Hopf algebra such that or . Since both and are deformation rigid, we can assume without loss of generality that the first case holds. The algebra is generated by its primitive elements, and therefore admits a filtration
[TABLE]
where . This can easily be seen to be a Hopf algebra filtration of . The associated graded object is then with its usual grading. Since we assumed that is deformation rigid we get that , which is a contradiction. β
We recall here Theorem 6.2 from [AKM15]. This result relies on the classification result from [Ang13].
Theorem 8.2**.**
Assume that is finite dimensional and that the braiding on is of diagonal type. Then is deformation rigid.
This theorem, combined with Theorem 1.6 gives a new proof for the generation of pointed Hopf algebras with abelian groups of group-like elements by group-like elements and skew-primitives. Indeed, the above theorem implies that all the finite dimensional Nichols algebra in for abelian are rigid, and therefore by Theorem 1.6 all finite dimensional ccc Hopf algebras in are Nichols algebras, and every Hopf algebras such that with abelian is generated by group-like elements and skew-primitives.
Acknowledgments
I would like to thank NicolΓ‘s Andruskiewitsch, IvΓ‘n Angiono and Istvan Heckenberger for their useful comments.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[And 14] N. Andruskiewitsch, On finite-dimensional Hopf algebras, Proceedings of the ICM Seoul 2014. Vol II. pp 117-141 (2014).
- 2[AA 18] N. Andruskiewitsch and I. Angiono, On Nichols algebras over basic Hopf algebras. ar Xiv:1802.00316.
- 3[AARB 17] A. Andruskieiwtsch, I. Angiono and F. Rossi Bertone, The quantum divided power algebra of a finite-dimensional Nichols algebra of diagonal type, Math. Res. Lett. 24 (2017), 619-643.
- 4[AGM 17] N. Andruskiewitsch, C. Galindo and M. MΓΌller, Examples of Finite-Dimensional Hopf Algebras with the Dual Chevalley Property, Publicacions MatemΓ tiques, Volume 61, Number 2 (2017), 445-474.
- 5[An Gr 99] N. Andruskiewitsch and M. GraΓ±a, Braided Hopf algebras over non-abelian finite groups, Bol. Acad. Nacional de Ciencias (CΓ³rdoba) 63 (1999) 45-78.
- 6[AS 98] N. Andruskiewitsch and H.-J. Schneider, Lifting of Quantum Linear Spaces and Pointed Hopf Algebras of Order p 3 superscript π 3 p^{3} . Journal of Algebra, Volume 209, Issue 2, 15 November 1998, Pages 658-691.
- 7[AS 00] N. Andruskiewitsch and H.-J. Schneider, Finite Quantum Groups and Cartan Matrices, Advances in Mathematics 154, (2000) 1-45 .
- 8[AS 02] N. Andruskiewitsch and H.-J. Schneider, Pointed Hopf algebras, New Directions in Hopf Algebras, MSRI Publications, vol. 43, Cambridge University Press, 2002.
