3.24Hopfπ-余代数上Doi-Hopf模及辫子T-代数.pdf

Hopf丌-余代数上的Doi—Hopf模及辫子T-代数 摘 要 Turaev 7r一模．V．G 型定理、Fmbenius性质，同时把这两个结果推广到entwined 引进了模的crossed7r一范畴(根据M．Zunino简称为T_范畴)，并且证明了这一范 畴能提升到带有目标空间Ⅳ(，1)的三维同伦量子场理论．本文最后讨论了T一 代数的性质，得到T．范畴的一个例子：T-代数上的余表示范畴． 第一节，引进本文用到的概念，记号及一些例子． 第二节，首先引进了标准的丌-积分的概念(定义2．1)．由此给出了Hopf”． 那么下列结论成立 面)，如果A·一模同态uI：Ⅳa一耽在范畴MA。中有保核收缩(截面)； (2)设M∈c朋§，如果蝇作为Al·模是半单的，那么M作为GM§中的 对象也是半单的． 型定理是定理2．7的特例，是相关结论的推广． 时也刻画了遗忘函子F：。M互一MA。的可分性(定理2．12)． 7r．模的Maschke型定理推广到entwined 最后。把Doi-Hopf 7r一模(定理2．18)． 价条件．本节的～个重要结果是定理3．3：设(日，A，C)为Doi—Hopf”．数据，C为 有限型的7r一余代数，那么下列等价． (1)函子G={co@·)j∈。：M A1一。Mj是遗忘函子F：。Mj—·M^，的 左伴随函子． (2)存在z一∑q固al∈CIoAl满足：对任意口∈A1， ■ z口=∞即： ∑q·Ⅱ(一1，1】@aia(o，1)=∑qoo口{． t { oAl—一ck@Al}。∈。，为：‰(c‘08)= 同时存在一族线性映射妒一{‰：戗一z ∑q—c．o口口i，对任意a∈丌，c+∈c：-1】a∈A1．使得对任意a∈It，妒。为双射． (3)存在一族双射妒一{‰：吃一，@A1—一ckoAI}。∈。，使得妒是左D丌一余 模同态，且对任意a∈7r，妒。左Al-模，右厶-模． 第四节，首先研究T-代数的性质，得到定理4,7：当B代数是辫子T-代数 时，这个T-代数的对极是双射的．对偶T_余代数表示的概念得到T．代数余表 示的概念，同时得到了一个crossed霄-范畴：B代数的余表示范畴．接着得到定 理4．8，即T．代数的余表示范畴的性质：设日为T．代数，那么H的余表示范 的方法构造拟三角Hopf”余代数的启发，构造了辫子T-代数的一个例子(定 理4．9)． 9-模，entwined datum，Doi—Hopf 关键词：舟余摸，Hopf仆余代数，Doi-Hopf 畴，P代数的余表示 ll AND HOPF丌-COALGEBRA FOR MODULES DOI_HOPF T．ALGEBRA BRAIDED ABSTRACT of The of 7／isadiscret