三角hop代数上的上同调.pdfVIP

三角Hopf代数上的上网调 摘要 论文擞簧考虑的巍容是土麓调与扩张，壤糖爻藏fIl，英俸懿考 与扩张疑它们之间的关系． 第一部分中，氽绍?本史辨需要的预备知识，主要是拟三角、三 角Hopf代数的定义，他们的模范畴的性麓定理，以及露的蜮质。 第纛部分中，壤据内容镑需要，余绍了三角Hopf代数嚣的模范 畴土的慕本概念：目一模代数、群一模余代数、搿～摸双代数、劈一 模Hopf代数、H朋中的童A一模、左■一模代数、左A一模余代数、 HM中的右廖一余模、ⅣM中的对极、右嚣一余横代数、右曰一余模 余代数旋它稍分秘对盛的范畴。诬镄了一黪饕赞的蛙凄：2．3注《2)： 交换镑群一摸钱数秘张萋软仍然建交换的．以茨2．6、令题． 第纛嘟分余绍露一模双代数露在拜朋审秘友嚣一模躲审懿■ 同调，瞥兜根据内容的需簧，证明了 3．1、命题： 8为余交换的H～模双代数，寰}{存在榉随靖 T．￡’．其中： 限彗lCoal9，满足： ≯《f．▲f，、fr}等《B8C，土，·：fti，}f{f·}+盯nf，1)葵中： 囊兀f·{fb0，．)嚣fbrt}s172v(f1)8f疗3-强?)◇，，f2j)． i张r){b岱f’)紫s嚣(6；o?(t妒》 bo c c)=abo 即(c)(ooc)=o一(bo V c)=b圆f(c)Ci,，b∈B，c∈C T(，)(bo 讨论了Bon n≥0在HM中的左B一模结构为船圆id口。一以及它的 求m次余积的表达式．其次为了定义上同调根据3．1中的伴随对定 义了半单复形，又根据㈣日)Reg(一，一)做了相应的余半单复形．为了 具体的计算，根据2．6有： 环及2．余边界． 第四部分介绍日一模代数扩张，首先给出了日一模代数扩张的 定义，定义了几个重要的态射： 6=(idM圆EB))、：C——÷^f 0 7=A-1(MidB)：B_C 03,I=6uc(，yo Ot)：B051一A， TM=6uc(^f圆，y)：B@B—J， 以b笃m表示O-M(60m) 证明了关于这几个态射与扩张的等式： 4．2、定理：令E为日一模代数扩张，(J^盯胁n，)为由￡导出 的系统，贝lJVa，b，c∈B，m，n∈M有： (i) (7(b)oL(m))Mo(7(6)a(m))口 =(6(1)骂(R2．m))@R1·b(2) (，y(o)，y(6))^fo(7(o)7(6))8 =rM(a(1)o砰·6(1))o(R1·o(2))6(2) 0 0 o o6))占 (A一‘(mn)A一1(n6))Mo(A一1(ma)A一1(n =m(a(1)骂R2T2．n)VM(R1·o(2)or2．bo)) 0(r1T1·o(3))b(2) 2 (it，) 1日骂m=m，b兰1M=EB(b)lM， 啊(001B)=E8(a)lM=rM(1Bon) (口) b骂mn=(b(1)骂R2．m)(R1．6(2)墨n) (i) (a(1)骂(t01)2P(1)2·b(1)芝亡(2)2P(2)2R2T2．n)) (一1删1·o(2)譬砌(P(3)2R1．b(2)oP(4)2r2．c(1))) =TM(a(1)@R2P2·6(t)) ((R1．吐(2))(r2．6(2))罢T2t2．m) c) TM((T1r1P1·o(3))(t1—6(3))o