Generalized Frobenius Algebras and Hopf Algebras

Iovanov, Miodrag Cristian

Canadian journal of mathematics, Tome 66 (2014) no. 1, pp. 205-240

Résumé

“Co-Frobenius” coalgebras were introduced as dualizations of Frobenius algebras. We previously showed that they admit left-right symmetric characterizations analogous to those of Frobenius algebras. We consider the more general quasi-co-Frobenius $\left( \text{QcF} \right)$ coalgebras. The first main result in this paper is that these also admit symmetric characterizations: a coalgebra is $\text{QcF}$ if it is weakly isomorphic to its (left, or right) rational dual $\text{Rat}\left( {{C}^{*}} \right)$ in the sense that certain coproduct or product powers of these objects are isomorphic. Fundamental results of Hopf algebras, such as the equivalent characterizations of Hopf algebras with nonzero integrals as left (or right) co-Frobenius, $\text{QcF}$ , semiperfect or with nonzero rational dual, as well as the uniqueness of integrals and a short proof of the bijectivity of the antipode for such Hopf algebras all follow as a consequence of these results. This gives a purely representation theoretic approach to many of the basic fundamental results in the theory of Hopf algebras. Furthermore, we introduce a general concept of Frobenius algebra, which makes sense for infinite dimensional and for topological algebras, and specializes to the classical notion in the finite case. This will be a topological algebra $A$ that is isomorphic to its complete topological dual ${{A}^{\vee }}$ . We show that $A$ is a (quasi)Frobenius algebra if and only if $A$ is the dual ${{C}^{*}}$ of a (quasi)co-Frobenius coalgebra $C$ . We give many examples of co-Frobenius coalgebras and Hopf algebras connected to category theory, homological algebra and the newer $q$ -homological algebra, topology or graph theory, showing the importance of the concept.

Détail

DOI : 10.4153/CJM-2012-060-7

Mots-clés : 16T15, 18G35, 16T05, 20N99, 18D10, 05E10, coalgebra, Hopf algebra, integral, Frobenius, QcF, co-Frobenius.

Bibliographie

[A] [A] Abe, E., Hopf Algebras. Cambridge University Press, Cambridge, 1977. Google Scholar

[Ab] [Ab] Abrams, L., Two-dimensional topological quantum field theories and Frobenius algebras. J. Knot Theory Ramifications 5(1996), 569–587. Google Scholar | DOI

[AF] [AF] Anderson, D. and Fuller, K., Rings and Categories of Modules. Graduate Texts in Math. Vol. 13, Springer, Berlin–Heidelberg–New York, 1974. Google Scholar

[B] [B] Bichon, J., N-Complexes et algebres de Hopf. C. R. Acad. Sci. Paris Ser. I 337(2003), 441–444. Google Scholar | DOI

[CKQ] [CKQ] Chin, W., Kleiner, M., and Quinn, D., Almost split sequences for comodules. J. Algebra 249(2002), 1–19. Google Scholar | DOI

[CM] [CM] Chin, W. and Montgomery, S., Basic coalgebras. AMS/IP Stud. Adv. Math. 4(1997), 41–47. Google Scholar

[CNO] [CNO] Cuadra, J., Năstăsescu, C., and Van Oystaeyen, F., Graded almost noetherian rings and applications to coalgebras. J. Algebra 256(2002), 97–110. Google Scholar | DOI

[CT04] [CT04] Cuadra, J. and Torrecillas, B., Serial coalgebras. J. Pure Appl. Algebra 189(2004), 89–107. Google Scholar | DOI

[DIN] [DIN] Dăscălescu, S., Iovanov, M. C., and Năstăsescu, C., Path subcoalgebras, finiteness properties, and quantum groups. J. Noncommut. Geom., to appear. Google Scholar

[D] [D] Doi, Y., Homological Coalgebra. J. Math. Soc. Japan 33(1981), 31–50. Google Scholar | DOI

[D-V] [D-V] Dubois-Violette, M., dN = 0: generalized homology. K-Theory 14(1998), 371–404. Google Scholar | DOI

[DNR] [DNR] Dăscălescu, S., Năstăsescu, C., and Raianu, Ş., Hopf Algebras: an introduction. Lecture Notes in Pure Appl. Math. 235, Marcel Dekker, New York, 2001. Google Scholar

[F] [F] Faith, C., Algebra II: Ring Theory. Grundlehren der MathematischenWissenschaften 191, Springer-Verlag, Berlin–Heidelberg–New York, 1976. Google Scholar

[G] [G] Gabriel, P., Des catégories abéliennes. Bulletin de la S.M.F. 90(1962), 323–448. Google Scholar

[GTN] [GTN] Gomez-Torrecillas, J. and Năstăsescu, C., Quasi-co-Frobenius coalgebras. J. Algebra 174(1995), 909–923. Google Scholar | DOI

[GMN] [GMN] Gomez-Torrecillas, J., Manu, C., and Năstăsescu, C., Quasi-co-Frobenius coalgebras II. Comm. Algebra 31(2003), 5169–5177. Google Scholar | DOI

[HR74] [HR74] Heyneman, R. and Radford, D., Reflexivity and Coalgebras of Finite Type. J. Algebra 28(1974), 215–246. Google Scholar | DOI

[INV06] [INV06] Castaño-Iglesias, F., Năstăsescu, C., and Vercruysse, J., Quasi-Frobenius Functors. Applications. arxiv:math/0612662. Google Scholar

[ITh] [ITh] Iovanov, M. C., The Representation Theory of Profinite Algebras. In: Interactions with Category Theory, Algebraic Topology and Compact Groups, PhD Thesis, SUNY Buffalo, 2009. Google Scholar

[I] [I] Iovanov, M. C., Co-Frobenius Coalgebras. J. Algebra 303(2006), 146–153; arxiv:math/0604251, xxx.lanl.gov/abs/math.QA/0604251. Google Scholar | DOI

[I09] [I09] Iovanov, M. C., When Does the Rational Torsion Split Off for Finitely Generated Modules. Algebr. Represent. Theory 12(2009), 287–309. DOI 10.1007/s10468-009-9144-7 Google Scholar | DOI

[IR12] [IR12] Iovanov, M. C. and Raianu, S., The bijectivity of the antipode revisited. Comm. Algebra 39(2011), 4662–4668. Google Scholar | DOI

[Kap96] [Kap96] Kapranov, M., On the q-analogue of Homological algebra. Preprint, arxiv:9611005v1; arxiv.org/PS cache/q-alg/pdf/9611/9611005v1.pdf. Google Scholar

[Kas] [Kas] C. Kassel, , Quantum Groups. Graduate Texts in Math. 155, Springer-Verlag, 1995. Google Scholar

[KW] [KW] Kassel, C. and Wambst, M., Algebre homologique des N-complexes et homologie de Hochschild aux racines de l'unite. Publ. Res. Inst. Math. Sci. Kyoto 34(1998) 91–114. Google Scholar | DOI

[L] [L] I-Peng Lin, B., Semiperfect coalgebras. J. Algebra 49(1977), 357–373. Google Scholar | DOI

[LS] [LS] Larson, R. G. and Sweedler, M. E., An associative orthogonal bilinear form for Hopf algebras. Amer. J. Math. 91(1969), 75–94. Google Scholar | DOI

[M42a] [M42a] Mayer, W., A new homology theory. I. Ann. of Math. 43(1942), 370–380. Google Scholar | DOI

[M42b] [M42b] Mayer, W., A new homology theory. II. Ann. of Math. 43(1942), 594–605. Google Scholar | DOI

[M] [M] Montgomery, S., Hopf algebras and their actions on rings. Amer. Math. Soc., Providence, RI, 1993. Google Scholar

[MTW] [MTW] Menini, C., Torrecillas Jover, B., and Wisbauer, R.,Strongly rational comodules and semiperfect Hopf algebras over QF rings. J. Pure Appl. Algebra 155(2001), 237–255. Google Scholar | DOI

[Par81] [Par81] Pareigis, B., A noncommutative noncocommutative Hopf algebra in “nature”. J. Algebra 70(1981), 356–374. Google Scholar | DOI

[R] [R] Radford, D. E., Finiteness conditions for a Hopf algebra with a nonzero integral. J. Algebra 46(1977), 189–195. Google Scholar | DOI

[R1] [R1] Radford, D., Coreflexive coalgebras. J. Algebra 26(1973), 512–535. Google Scholar | DOI

[Rad82] [Rad82] Radford, D. E., On the structure of pointed coalgebras. J. Algebra 77(1982), 1–14. Google Scholar | DOI

[Ra] [Ra] Raianu, ş., An easy proof for the uniqueness of integrals. In: Hopf algebras and quantum groups (Brussels, 1998), Lecture Notes in Pure and Appl. Math. 209, Dekker, New York, 2000, 237–240. Google Scholar

[Si] [Si] Simson, D., Incidence coalgebras of intervally finite posets, their integral quadratic forms and comodule categories. Colloq. Math. 115(2009), 259–295. Google Scholar | DOI

[Su] [Su] Sullivan, J. B., The uniqueness of integrals for Hopf algebras and some existence theorems of integrals for commutative Hopf algebras. J. Algebra 19(1971), 426–440. Google Scholar | DOI

[Sw] [Sw] Sweedler, M. E., Hopf Algebras. Benjamin, New York, 1969. Google Scholar

[Sw1] [Sw1] Sweedler, M. E., Integrals for Hopf algebras. Ann. Math. 89(1969), 323–335. Google Scholar | DOI

[St] [St] ştefan, D., The uniqueness of integrals (a homological approach). Comm. Algebra 23(1995), 1657–1662. Google Scholar | DOI

[Tak] [Tak] Takeuchi, M., Topological Coalgebras. J. Algebra 97(1985), 505–539. Google Scholar | DOI

[Tak77] [Tak77] Takeuchi, M., Morita theorems for categories of comodules. J. Fac. Sci. Univ. Tokyo Sect. IA Math. 24(1977), 629–644. Google Scholar

[Taf71] [Taf71] Taft, E. J., The Order of the Antipode of Finite-dimensional Hopf Algebra. Proc. Nat. Acad. Sci. USA 68(1971), 2631–2633. Google Scholar | DOI

[vD] [vD] van Daele, A., The Haar measure on finite quantum groups. Proc. Amer. Math. Soc. 125(1997), 3489–3500. Google Scholar | DOI

[vD1] [vD1] van Daele, A., An algebraic framework for group duality. Adv. Math. 140(1998), 323–366. Google Scholar | DOI

[W] [W] Weibel, C., An introduction to homological algebra. Cambridge Stud. Adv. Math. 38, Cambridge University Press, Cambridge, 1994. Google Scholar