×

On antipodes and integrals in Hopf algebras over rings and the quantum Yang-Baxter equation. (English) Zbl 0880.16018

In a previous paper [Trans. Am. Math. Soc. 349, No. 9, 3823-3836 (1997)] the authors showed that for every Frobenius algebra \(A\) over a commutative ring a pair of dual bases with respect to a Frobenius homomorphism of \(A\) defines a canonical solution of the quantum Yang-Baxter equation (QYBE). Let \(H\) be a Hopf algebra over a commutative ring \(K\) which is a Frobenius algebra over \(K\) such that the Frobenius homomorphism is an integral for the dual of \(H\). (By a result of B. Pareigis [J. Algebra 18, No. 4, 588-596 (1971; Zbl 0225.16008)] the latter property is satisfied if \(H\) is a finitely generated projective \(K\)-module and the Picard group of \(K\) is trivial.)
The first main result of the paper under review is a formula for a norm of \(H\) and its image under the comultiplication by using a pair of dual bases with respect to a Frobenius homomorphism of \(H\). From these formulas the authors obtain an explicit description of the canonical solution of the QYBE mentioned above in terms of the antipode and an arbitrary integral of \(H\). In particular, they prove a trace formula for the square of the antipode, which in the case that \(K\) is a field is due to R. G. Larson and D. E. Radford and was used in an essential way in their proof of a conjecture of Kaplansky [J. Algebra 117, No. 2, 267-289 (1988; Zbl 0649.16005), Am. J. Math. 110, No. 1, 187-195 (1988; Zbl 0637.16006)]. If in addition \(H\) is assumed to be unimodular (i.e., left and right integrals of \(H\) coincide), then they show that the antipode is the identity on the subspace of integrals of \(H\) and that the Nakayama automorphism (which measures the symmetry of the bilinear form associated to the Frobenius homomorphism) coincides with the square of the antipode. As a consequence, the fourth power of the antipode is the identity if \(H\) and its dual are unimodular, and the Drinfel’d double of \(H\) is symmetric if \(K\) is a field. The first result has been proved by R. G. Larson [in J. Algebra 17, No. 3, 352-368 (1971; Zbl 0217.33801)] for \(K\) a field, and the second result can be found in a paper of M. Lorenz [J. Algebra 188, No. 2, 476-505 (1997; Zbl 0873.16023)].
The second main result of this paper is a characterization of the separability of \(H\) by several equivalent conditions some of which in the case that \(K\) is a field are due to D. G. Higman [Can. J. Math. 7, 490-508 (1955; Zbl 0065.26001)] or R. G. Larson and M. E. Sweedler [Am. J. Math. 91, 75-94 (1969; Zbl 0179.05803)], respectively. Moreover, the authors obtain an explicit formula for the separability idempotent in terms of a pair of dual bases with respect to a Frobenius homomorphism which is closely related to their canonical solution of the QYBE. This in conjunction with the trace formula for the square of the antipode leads to a generalization of several results in the two papers of R. G. Larson and D. E. Radford cited above. Namely, let \(H\) be a Hopf algebra over a commutative ring \(K\) which is a finitely generated projective \(K\)-module. Then \(H\) and its dual are separable if and only if the trace of the square of the antipode of \(H\) is a unit in \(K\). If \(K\) contains the rational numbers, then \(H\) is separable if and only if its dual is separable, and in this case \(H\) (and its dual) are involutory.

MSC:

16W30 Hopf algebras (associative rings and algebras) (MSC2000)
17B37 Quantum groups (quantized enveloping algebras) and related deformations
81R50 Quantum groups and related algebraic methods applied to problems in quantum theory
16H05 Separable algebras (e.g., quaternion algebras, Azumaya algebras, etc.)
16L60 Quasi-Frobenius rings
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] K. I. Beidar, Y. Fong, A. Stolin, November 1994, On Frobenius algebras and quantum Yang-Baxter equation; K. I. Beidar, Y. Fong, A. Stolin, November 1994, On Frobenius algebras and quantum Yang-Baxter equation
[2] K. I. Beidar, Y. Fong, A. Stolin, February 1995, On Frobenius algebras and quantum Yang-Baxter equation, II; K. I. Beidar, Y. Fong, A. Stolin, February 1995, On Frobenius algebras and quantum Yang-Baxter equation, II · Zbl 0886.16019
[3] De Meyer, F.; Ingraham, E., Separable algebras over commutative rings, Lecture Notes in Math., 181 (1971), Springer-Verlag: Springer-Verlag Berlin/Heidelberg/New York · Zbl 0215.36602
[4] V. G. Drinfel’d, Quantum groups, Proc. ICM-86, Berkeley, 1987, 1, 798, 820; V. G. Drinfel’d, Quantum groups, Proc. ICM-86, Berkeley, 1987, 1, 798, 820
[5] Drinfel’d, V. G., On almost cocommutative Hopf algebras, Leningrad Math. J., 1, 321-342 (1990) · Zbl 0718.16035
[6] Eilenberg, S.; Nakayama, T., On the dimension of modules and algebras, II, Nagoya Math. J., 9, 1-16 (1955) · Zbl 0068.26503
[7] Jacobson, N., Lie Algebras (1962), Interscience: Interscience New York · JFM 61.1044.02
[8] Lambe, L. A.; Radford, D. E., Algebraic aspects of the quantum Yang-Baxter equation, J. Algebra, 154, 228-288 (1992) · Zbl 0778.17009
[9] Larson, R. G., Characters of Hopf algebra, J. Algebra, 17, 352-368 (1971) · Zbl 0217.33801
[10] Larson, R. G.; Sweedler, M. E., An associative orthogonal bilinear form for Hopf algebras, Amer. J. Math., 91, 75-94 (1969) · Zbl 0179.05803
[11] Larson, R. G.; Radford, D. E., Semisimple cosemisimple Hopf algebras, Amer. J. Math., 110, 187-195 (1988) · Zbl 0637.16006
[12] Larson, R. G.; Radford, D. E., Finite dimensional cosemisimple Hopf algebras in characteristic 0 are semisimple, J. Algebra, 117, 267-289 (1988) · Zbl 0649.16005
[13] Majid, S., Quasitriangular Hopf algebras and Yang-Baxter equation, Internat. J. Modern Phys. A, 5, 1-91 (1990) · Zbl 0709.17009
[14] Montgomery, S., Hopf algebras and their action on rings, Regional Conference Series in Math., 82 (1993), Amer. Math. Soc: Amer. Math. Soc Providence
[15] Pareigis, B., When Hopf algebras are Frobenius algebras, J. Algebra, 18, 588-596 (1971) · Zbl 0225.16008
[16] Pierce, R. S., Associative Algebras (1982), Springer-Verlag: Springer-Verlag New York/Heidelberg/Berlin · Zbl 0497.16001
[17] Radford, D. E., The order of the antipode of a finite dimensional Hopf algebra is finite, Amer. J. Math., 98, 333-355 (1976) · Zbl 0332.16007
[18] Radford, D. E., Minimal quasi-triangular Hopf algebras, J. Algebra, 157, 285-315 (1993) · Zbl 0787.16028
[19] Rowen, L. H., Ring Theory (1988), Academic Press: Academic Press San Diego · Zbl 0651.16002
[20] Stolin, A. A., On constant solutions of CYBE forsl, Math. Scand., 69, 81-90 (1991) · Zbl 0727.17006
[21] Sweedler, M. E., Hopf Algebras (1969), Benjamin
[22] Taft, E. J., The order of the antipode of finite-dimensional Hopf algebras, Proc. Nat. Acad. Sci. U.S.A., 68, 2611-2633 (1971) · Zbl 0222.16012
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.