[论文解读] Generalized Frobenius Algebras and the Theory of Hopf Algebras

Miodrag C. Iovanov|arXiv (Cornell University)|Mar 6, 2008

Algebraic structures and combinatorial models参考文献 16被引用 12

一句话总结

本文通过证明一个余代数是拟余弗罗贝尼乌斯（QcF）当且仅当它通过其可数（共）积幂的同构，弱同构于其有理对偶，建立了对称的、基于对偶性的QcF余代数表征。核心贡献是将QcF余代数与弗罗贝尼乌斯代数及余弗罗贝尼乌斯余代数统一在一个框架下，从而通过表示论方法立即证明了霍普夫代数中的基本结果，包括对合的双射性与积分的唯一性。

ABSTRACT

"Co-Frobenius" coalgebras were introduced as dualizations of Frobenius algebras. Recently, it was shown in \cite{I} that they admit left-right symmetric characterizations analogue to those of Frobenius algebras: a coalgebra $C$ is co-Frobenius if and only if it is isomorphic to its rational dual. We consider the more general quasi-co-Frobenius (QcF) coalgebras; in the first main result we show that these also admit symmetric characterizations: a coalgebra is QcF if it is weakly isomorphic to its (left, or equivalently right) rational dual $Rat(C^*)$, in the sense that certain coproduct or product powers of these objects are isomorphic. These show that QcF coalgebras can be viewed as generalizations of both co-Frobenius coalgebras and Frobenius algebras. Surprisingly, these turn out to have many applications to fundamental results of Hopf algebras. The equivalent characterizations of Hopf algebras with left (or right) nonzero integrals as left (or right) co-Frobenius, or QcF, or semiperfect or with nonzero rational dual all follow immediately from these results. Also, the celebrated uniqueness of integrals follows at the same time as just another equivalent statement. Moreover, as a by-product of our methods, we observe a short proof for the bijectivity of the antipode of a Hopf algebra with nonzero integral. This gives a purely representation theoretic approach to many of the basic fundamental results in the theory of Hopf algebras.

研究动机与目标

• 建立拟余弗罗贝尼乌斯（QcF）余代数的左右对称表征，推广弗罗贝尼乌斯代数与余弗罗贝尼乌斯余代数的性质。
• 证明一个余代数是QcF当且仅当它通过其可数（共）积幂与自身的有理对偶弱同构。
• 通过基于QcF余代数结构的表示论方法，统一并重新推导霍普夫代数理论中的基本结果，如对合的双射性与积分的唯一性。
• 使用C*对偶函子与K-对偶函子在余模上的弱同构，提供QcF余代数的范畴化表征。

提出的方法

• 本文使用有理对偶函子 $Rat(C^*)$ 定义余代数 $C$ 与其有理对偶之间的弱同构，表明 $C$ 是QcF当且仅当 $C$ 的某个可数幂作为 $C^*$-模同构于 $Rat(C^*)$ 的某个可数幂。
• 通过弱同构，将此前仅对余弗罗贝尼乌斯余代数成立的对偶性表征（即同构于其有理对偶）推广至更广义的QcF余代数类。
• 该方法依赖于 $C^*$-模与余模之间的对偶性，利用 $Rat(C^*)$ 是 $C^*$ 中最大的有理子模这一事实，并将其应用于具有积分的霍普夫代数。
• 构造一个满的余模同态 $p: {}^aH \to Rat(H^*)$，定义为 $p(x) = x \rightharpoonup t$，其中 $t$ 是一个非零左积分，以分析 $Rat(H^*)$ 的结构。
• 对合双射性的证明采用分裂论证：存在一个从 ${}^aH$ 到 $H$ 的满余模映射 $\pi$，其通过 $Rat(H^*)$ 因子分解，且存在一个截面 $\varphi$，以证明 $H$ 中每个元素都在 $S$ 的像中。
• 范畴框架比较了 $C^*$-对偶函子 $\mathrm{Hom}_{C^*}(-, C^*)$ 与 $K$-对偶函子 $\mathrm{Hom}_K(-, K)$，表明对于QcF余代数，二者是弱同构的。

实验结果

研究问题

• RQ1 能否以类似于弗罗贝尼乌斯代数与余弗罗贝尼乌斯余代数的对称表征方式，对拟余弗罗贝尼乌斯（QcF）余代数建立左右对称的表征？
• RQ2 通过可数（共）积幂的同构，余代数与其有理对偶之间的弱同构如何表征QcF余代数？
• RQ3 QcF余代数理论能否以统一且表示论的方式重新推导霍普夫代数理论中的基本结果，如对合的双射性与积分的唯一性？
• RQ4 QcF余代数在余模上，$C^*$-对偶函子与$K$-对偶函子之间的范畴关系是什么？这如何反映其结构对称性？

主要发现

• 一个余代数 $C$ 是QcF当且仅当存在一个作为左 $C^*$-模的可数幂 $C$ 与 $Rat(C^*)$ 之间的同构。
• 该表征可推广至右侧：$C$ 是QcF当且仅当 $C^*$ 作为右 $C^*$-模弱同构于其右有理对偶 $Rat(C^*_{C^*})$。
• 霍普夫代数 $H$ 中存在非零左积分，意味着 $H$ 是余弗罗贝尼乌斯，从而也是QcF，这直接导致对合的双射性。
• 积分的唯一性可直接由 $H$ 与 $Rat(H^*)$ 之间的弱同构推出，这意味着 $\dim \int_l = \dim \int_r = 1$。
• 余弗罗贝尼乌斯霍普夫代数的对合是双射的，该结论通过在余模映射 $\pi: {}^aH \to H$ 上的分裂论证证明，利用了截面 $\varphi$ 的存在性。
• 有理对偶 $Rat(H^*)$ 同构于 $H \otimes \int_r$，该同构被用于证明 $H$ 作为余模同构于 $Rat(H^*)$，从而支持对合的证明。