Liftings of Nichols algebras of diagonal type I. Cartan type A

TL;DR

This paper develops an explicit algorithm to classify all liftings of finite-dimensional Nichols algebras of Cartan type A over cosemisimple Hopf algebras, extending previous work to include roots of unity of order 2 and 3.

Contribution

It provides a comprehensive classification of liftings of Nichols algebras of Cartan type A, including new phenomena at small roots of unity, and introduces an explicit computational algorithm.

Findings

Classified all liftings of Nichols algebras of Cartan type A.

Discovered deformations of quantum Serre relations at roots of unity of order 2 and 3.

Produced new families of finite-dimensional pointed Hopf algebras.

Abstract

After the classification of the finite-dimensional Nichols algebras of diagonal type arXiv:math/0411477, arXiv:math/0605795, the determination of its defining relations arXiv:1008.4144, arXiv:1104.0268, and the verification of the generation in degree one conjecture arXiv:1104.0268, there is still one step missing in the classification of complex finite-dimensional Hopf algebras with abelian group, without restrictions on the order of the latter: the computation of all deformations or liftings. A technique towards solving this question was developed in arXiv:1212.5279, built on cocycle deformations. In this paper, we elaborate further and present an explicit algorithm to compute liftings. In our main result we classify all liftings of finite-dimensional Nichols algebras of Cartan type $A$, over a cosemisimple Hopf algebra $H$. This extends arXiv:math/0110136, where it was assumed that the parameter is a root of unity of order $>3$ and that $H$ is a commmutative group algebra. When the parameter is a root of unity of order 2 or 3, new phenomena appear: the quantum Serre relations can be deformed, this allows in turn the power root vectors to be deformed to elements in lower terms of the coradical filtration, but not necessarily in the group algebra. These phenomena are already present in the calculation of the liftings in type $A_2$ at a parameter of order 2 or 3 over an abelian group arXiv:math/0204075, arXiv:1003.5882, done by a different method using a computer program. As a by-product of our calculations, we present new infinite families of finite-dimensional pointed Hopf algebras.