On the exponent of finite-dimensional Hopf algebras

DOI10.4310/MRL.1999.V6.N2.A1MaRDI QIDQ1574705zbMATH OpenFDO

Authors Shlomo Gelaki, Pavel Etingof

Publication date 13 August 2000

Published in Mathematical Research Letters (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9812151

zbMATH Keywords

antipodesDrinfeld doublesexponentsHopf algebrasTaft algebras

Mathematics Subject Classification ID

Abstract: One of the classical notions of group theory is the notion of the exponent of a group. The exponent of a group is the least common multiple of orders of its elements. In this paper we generalize the notion of exponent to Hopf algebras. We give five equivalent definitions of the exponent. Two of them are: 1) the exponent of H equals the order of the Drinfeld element u of the quantum double D(H); 2) the exponent of H is the order of the squared brading acting in the tensor square of the regular representation of D(H). We show that the exponent is invariant under twisting. We prove that for semisimple and cosemisimple Hopf algebras H, the exponent is finite and divides dim(H)^3. For triangular Hopf algebras in characteristic zero, we show that the exponent divides dim(H). We conjecture that if H is semisimple and cosemisimple then the exponent always divides dim(H). At the end we formulate some open questions, in particular suggest a formulation for a possible Hopf algebraic analogue of Sylow's theorem.

Review text

Let \(H\) be a Hopf algebra over a field \(k\) with invertible antipode \(S\). The exponent of \(H\) is defined to be the smallest positive integer \(n\), (or \(\infty\) if no such \(n\) exists) such that \[ m_n\circ(I\otimes S^{-2}\otimes\cdots\otimes S^{-2n+2})\circ\delta_n =u\varepsilon, \] where \(m_n\) is the multiplication on \(H^{\otimes n}\) to \(H\), \(\delta_n\) is the comultiplication of \(H\) to \(H^{\otimes n}\), and \(u\) and \(\varepsilon\) are the unit and counit, respectively. The Taft algebras over \(\mathbb{C}\) have infinite exponent. For the remainder of this review, \(H\) will be finite-dimensional with Drinfeld double \(D(H)\). The authors give four equivalent definitions for \(\exp H\), two of which are the order of the Drinfeld element \(u\) of \(D(H)\) and the order of \(R_{21}R\) for the \(R\)-matrix \(R\) of \(D(H)\). They show that \(\exp H\) is invariant under twisting and equals \(\exp(D(H))\). If \(H\) is semisimple and cosemisimple, then \(\exp H\) is finite and divides \((\dim H)^3\). If \(H\) is triangular semisimple and \(k\) has characteristic zero, then \(\exp H\) divides \(\dim H\). They also show that if \(u\) is semisimple or if \(k\) has positive characteristic, then \(\exp H\) is finite. They conclude with some open questions. It is still a conjecture that if \(H\) is semisimple and cosemisimple, then \(\exp H\) divides \(\dim H\).

Recommendations

• On the quasi-exponent of finite-dimensional Hopf algebras
• On the exponent of finite-dimensional non-cosemisimple Hopf algebras
• Note on invariance and finiteness for the exponent of Hopf algebras
• On finite-dimensional Hopf algebras
• The exponential map for Hopf algebras
• On finite dimensional semisimple hopf algebras
• scientific article; zbMATH DE number 1014784
• On a coradical of a finite-dimensional Hopf algebra
• On the number of types of finite dimensional Hopf algebras
• Hopf frobenius extensions of algebras

Cited in

(31)

• Determination of the irreducible divided power Hopf algebras
• On exponentiation of \(n\)-ary algebras
• Braided Hopf algebras arising from matched pairs of groups
• On the trace of the antipode and higher indicators.
• Some interrelations between Hopf algebras and their duals.
• Ribbon transformations, integrals, and triangular decompositions.
• Self-dual modules of semisimple Hopf algebras.
• A result on exponents of finite-dimensional simple Lie algebras and its application to Kac-Moody algebras
• On the antipode of Hopf algebras with the dual Chevalley property
• Monoidal Morita invariants for finite group algebras.
• On indicators of Hopf algebras.
• Semisimple Hopf algebras via geometric invariant theory
• Trivial central extensions of Lie bialgebras
• On some representations of the Drinfel'd double.
• A generalized power map for Hopf algebras
• Twisted exponents and twisted Frobenius-Schur indicators for Hopf algebras
• Classification of Semisimple Hopf Algebras
• Hopf algebras.
• Kernels of representations and coideal subalgebras of Hopf algebras.
• Normal Hopf subalgebras of semisimple Hopf algebras
• On a coradical of a finite-dimensional Hopf algebra
• Note on invariance and finiteness for the exponent of Hopf algebras
• On the exponent of finite-dimensional non-cosemisimple Hopf algebras
• Hopf algebras and congruence subgroups
• Counting arguments for Hopf algebras of low dimension
• Schrödinger representations from the viewpoint of tensor categories.
• On the quasi-exponent of finite-dimensional Hopf algebras
• Hopf powers and orders for some bismash products.
• Polynomial invariants for a semisimple and cosemisimple Hopf algebra of finite dimension.
• Frobenius-Schur indicators and exponents of spherical categories.
• On the exponent of tensor categories coming from finite groups.

This page was built for publication: On the exponent of finite-dimensional Hopf algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1574705)