Kashina’s exponent conjecture

For every finite-dimensional semisimple and cosemisimple Hopf algebra HH over a field kk, the exponent of HH divides its dimension: exp(H)dimkH\exp(H)\mid\dim_k H.

Sources & referencesView supporting material

Progress summary

Refreshed
Partially solved

A new 2026 paper settles the conjecture for a broad class of Hopf algebras, but the general conjecture remains open.

Formulated by Kashina and recorded by Etingof–Gelaki in 1998, the conjecture asserts that the exponent divides the dimension for every finite-dimensional semisimple and cosemisimple Hopf algebra.

Known results

  • Kashina verified several special cases (before 1998).
  • Etingof–Gelaki, 1998: the general bound exp(H)dim(H)3\exp(H)\mid\dim(H)^3.
  • Etingof–Gelaki, 1998: [exp(H)dim(H)[\exp(H)\mid\dim(H) for semisimple triangular Hopf algebras in characteristic 00.

2026 group-theoretical case

A 2026 arXiv paper proves [exp(H)dimk(H)[\exp(H)\mid\dim_k(H) whenever Rep(Hkk)\operatorname{Rep}(H\otimes_k\overline{k}) is group-theoretical. It includes prime-power dimensions, dimensions of forms pqpq, pq2pq^2, p2qp^2q, and pqrpqr, and every dimension below 3636; it does not claim the unrestricted conjecture.

Current status (as of August 2026): The conjecture is proved for geometrically group-theoretical Hopf algebras and several dimension classes, while the full finite-dimensional semisimple and cosemisimple case remains open.

Sources

Solutions 0

No solutions have been posted yet.