Integrals, quantum Galois extensions, and the affineness criterion for quantum Yetter-Drinfel'd modules (Q1348677)

The paper extends the theory of integrals for Hopf algebras to the case of Doi-Koppinen data. Such a datum is defined as a triple \((H,A,C)\), where \(H\) is a Hopf algebra, \(A\) is an \(H\)-comodule algebra and \(C\) is an \(H\)-module coalgebra. With any Doi-Koppinen datum one associates a category of Doi-Koppinen Hopf modules, i.e., \(A\)-modules and \(C\)-comodules which satisfy certain compatibility conditions. The integrals and total integrals in a Doi-Koppinen datum are defined as maps \(\gamma\colon C\to\Hom(C,A)\), which obey a condition which can be seen as a \(C\)-colinearity, and also as normalisation condition in the case of total integrals. The main result of the first part of the paper is a theorem connecting existence of total integrals with the injectivity of a representation of \((H,A,C)\) in a functorial way as a \(C\)-comodule. In particular it is shown that the existence of a total integral implies that Doi-Koppinen Hopf modules are relative injective as \(C\)-comodules. This general theory is then applied to Yetter-Drinfeld or crossed modules (which are a special case of Doi-Koppinen Hopf modules). In particular a general affineness criterion, based on the existence of total integrals, for Yetter-Drinfeld modules is found.