Almost split sequences for symmetric non-semisimple Hopf algebras. (Q2508242)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Almost split sequences for symmetric non-semisimple Hopf algebras.
scientific article

    Statements

    Almost split sequences for symmetric non-semisimple Hopf algebras. (English)
    0 references
    0 references
    9 October 2006
    0 references
    Let \(H\) be a finite-dimensional Hopf algebra over a field \(k\), \(A\) a projective (left) \(H\)-module. The author's first result is that \(B\otimes A\) is projective for any \(H\)-module \(B\), where the \(H\)-action on \(B\otimes A\) is via the comultiplication of \(H\). As a corollary, \(H\) is semisimple if and only if the trivial \(H\)-module \(k\) is projective. Thus if \(H\) is nonsemisimple, there is an almost split sequence \(0\to A\to E@>f>>k\to 0\), with \(f\) the surjection of \(E\) onto \(k\). If \(X\) is an indecomposable \(H\)-module, then left tensoring with \(X\) yields an exact sequence. The author studies when this latter series is almost split. For this, it is assumed that \(H\), besides being nonsemisimple, is unimodular and that the square of the antipode is an inner automorphism, i.e., \(H\) is symmetric. The main result is that \(I\otimes f\) is either split or right almost split. The distinction between the two possibilities depends on the vanishing or nonvanishing of certain traces involving the element of \(H\) which induces the square of the antipode as an inner automorphism. Finally, an application is given when \(H\) is an indecomposable \(D(H)\)-module, \(D(H)\) its quantum double.
    0 references
    nonsemisimple Hopf algebras
    0 references
    almost split sequences
    0 references
    antipodes
    0 references
    quantum doubles
    0 references
    0 references

    Identifiers