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

Finite-dimensionality of Nichols algebras for simple Yetter–Drinfeld modules over non-abelian groups

Determine necessary and sufficient conditions under which the Nichols algebra B(M(O,ρ)) of a simple Yetter–Drinfeld module M(O,ρ) over kG, constructed from a conjugacy class O in a non-abelian finite group G and an irreducible representation ρ of the centralizer G^g, is finite-dimensional.

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

Background

For non-abelian groups, simple Yetter–Drinfeld modules are parametrized by pairs (O,ρ), where O is a conjugacy class and ρ is an irreducible representation of the corresponding centralizer. While the finite-dimensionality problem has been resolved in several multi-summand cases via Weyl groupoids, the single-summand case remains unresolved and is central to understanding Nichols algebras over non-abelian groups.

References

Determining when a Nichols algebra $B(M(O,\rho))$ is finite-dimensional is an open question, while the case where there are two or more summands, even still difficult, has been already solved: the role of the Weyl groupoid is fundamental in controlling the dimension of the Nichols algebra, as we will explain in the next paragraphs.

Pointed Hopf algebras revisited, with a view from tensor categories (2510.03124 - Angiono, 3 Oct 2025) in Subsection 2.2 (Nichols algebras), Nichols algebras over non-abelian groups