Dice Question Streamline Icon: https://streamlinehq.com

Andruskiewitsch–Schneider generation-in-degree-one conjecture

Prove that for any finite group G and any finite-dimensional coradically graded connected Hopf algebra R in the Yetter–Drinfeld category over kG, the algebra R is generated by its degree-one component R^1; equivalently, establish that R equals the Nichols algebra B(R^1).

Information Square Streamline Icon: https://streamlinehq.com

Background

The Lifting Method reduces the classification of finite-dimensional pointed Hopf algebras to three steps, the second of which asks for the structure of coradically graded connected Hopf algebras R given an infinitesimal braiding V. The conjecture asserts that any such finite-dimensional R must coincide with the Nichols algebra B(V), i.e., be generated in degree one. This result is known in several cases (e.g., abelian coradical and various non-abelian settings) but remains open in general.

References

Related with this step there is a famous conjecture made by Andruskiewitsch and Schneider : Assume that $K=\Bbbk G$, where $G$ is a finite group. If $R=\oplus_{n\ge 0} Rn\in}{#1{K}$ is a coradically graded connected Hopf algebra such that $\dim R<\infty$, then $R$ is generated as an algebra by $R1$; in other words, $R=B(R1)$.

Pointed Hopf algebras revisited, with a view from tensor categories (2510.03124 - Angiono, 3 Oct 2025) in Subsection 2.1 (The Lifting method), after LM2