Strongart数学笔记浅谈Hopf代数的MLMA分析.pdfVIP

Hopf MLMA Hopf MLMA 浅谈HHooppff代数的MMLLMMAA分析 最近我读了Eiichi Abe 的Hopf algebras，感觉这本书是用结构主 义的观点写成的，连具体实例都显得相当工整。下面我就尝试着用自 己提出的MLMA 大法，对Hopf 代数这个较复杂的基础概念做简单 剖析。 Motivation：Hopf 代数的主要动机应该源于范畴论中的对偶，当 我们掌握了通常的代数概念之后，自然就会联系到上代数（coalgebra） 的概念，进而得到双代数（bialgebra）乃至Hopf 代数。在这个具体 过程中，代数拓扑中的H-space 是一个实例型的诱因。 Level → → → → → ：基本的发展途径如下：群 环 模 代数 上代数 双 代数→Hopf 代数。 简单来说，一个完整的乘法结构就是群，其特例Abel 群中乘法 可以换为加法，在Abel 群上另外定义乘法（不要求可逆）就是环， 此乘法可交换时就是交换环，交换环作为系数在Abel 群上自然作用 就是模，对模中的Abel 群再定义乘法（不要求可逆）就是代数。 k k- A 一般假设系数 是域，在 代数 中，我们有两个基本运算： μ A×A→A η k→A 乘法 ： 与单位映射 ： ，满足下面的运算法则： 1 μ μ×1 =μ μ×1 ）结合律： （ ） （ ） 2 μ η×1 =1=μ 1×η ）单位律： （ ） （ ） 接下来，我们用范畴的观点把箭头全部反转（画图更清楚啊！）， C 得到所谓上代数的概念。在上代数 中，对应得到两个基本运算： Δ C→C×C ε C→k 上乘法 ： 与上单位映射 ： ，满足下面的运算法则： 1 Δ×1 Δ=Δ Δ×1 ）上结合律：（ ） （ ） 2 ε×1 Δ= 1×ε Δ ）上单位律：（ ） （ ） 此后，我们要让代数与上代数结合在一起，得到所谓的双代数。 这个结合的过程，要求如下的一致性条件： 1 μ η ）代数运算 、 是上代数的态射。 a μ ） 是上代数态射： Δ·μ= μ×μ · 1×τ×1 · Δ×Δ τ （ ）（ ）（ ） （这里 的表示交换） ε·μ=ε×ε b η ） 是上代数的态射： Δ·η=η×η ε·η=1 2 Δ ε 1 ）上代数运算 、 是代数的态射，可以证明它与 ）是等价的。 k- H C A 对于 双代数 ，分别记 与 为它包含的上代数与代数，在 R=Modk C A （ ， ）上可定义卷积： f*g=μ· f×g ·Δ （ ） 1 S 在这个卷积的作用下，单位算子 对应的逆元 称为双代数的对极 antipode S