Yetter-Drinfeld领域中的双Frobenius代数.pdfVIP

p37771：q 引言 Fmbenius代数是一类重要的代数，它在表示论、订珩、拓扑量子场理论及 算子代敷中的Markov扩张等方面有很好的应用．它不仅与Ha一代数有着密 代数结杓又有Frobenius余代致结构并且还有双射对极的代数． 来刻面的．它是Hopf代数的更—般化．近年来许多代敦学者研究辫子Hopf代 数，而且很多有限维H0pf代数的性质被推广蓟有限维辫子l女。I，f代数匕。如 同对极的关系．最后给出了模映射-及槐元的性质并证明了它们同列极的交换 性．虽然本文中的某些性质f6]6中也有，但【6]是以图形的形式给出的，而本文 完全是以代数系统的形式表达的，而且证明过程也截然不同，这使得这些结论 更清晰易懂． ’…，……一。一… 一…1…“1一 中文摘要 年来由于辫子Hopf代数的发展·许多亳匿壅星!延越被推广判辫子范畴·由 Ikobeaim代数的定义、基本性质，对偶基及NakBy哪自同构． 5主要结论如下· Drlnfeld范畸中的双Frobemm代敦s 相1．2 推论1．3A是j；70bF代效，则t E以，≯∈层．． 命■1,5 A是j；yDbF代数，t∈后，币∈正．，则 Vn∈A，h∈H有 1)．存在卢∈AIg(H,^】，；错元n∈日朽E ≠(^—}a)=卢(^)咖(8) n毋(。)=∑雪(n_)≯(一) h_+t=O(A)t ∑t一10to=s(n)ot 1 命赢1．BA是嚣y口bF代数，V口∈A，h∈且t∈以，币∈矗．，贝!f有 h—}t!fa)=t币(^--9n) 命蠢L7 n是^的模函数。9是^的模元，则下列成立 h’9=e(h)9 ∑g一1890=1圆g ∑口。口(扩】=a(a)ltr 命囊1．8A∈等3仞，贝|『以+∈{；3rD 定理1．16 ．其单位为IA·=E^ A嚣YDbF代数，则A’也是gyz)bF ^+的余乘法定义为△^．(，)=E^o，2，2,a．=(f)一1(m^)+： 或 ∑ll(aLf2(b)=∑州6叫斗a)bc) ， 节中鼻yzIbF代数的对板公式加以推广．j生要结论如下- 命曩2．2‘‘}：A一叶uA是id：嚣如—+嚣3rD到id的自然变换． 2 命囊2．3‘‘J是monoidal函子id的monoidal自同构． ，自：理2．4 命纛3．5 a，b∈A，则有 A是备yDbF代数，V ∑毋(al(a2。1_+b))a20=∑毋(061)妒(62) 的关系式．最后给出了模映射及模元的性质，并证明了它们同对极豹交换性． ／ ／命蠢3．1A是嚣39DbF代数，尉 、1)．Ⅳ与。Ⅳ都是器如映射． 2】．N：且—寸∥印)。是暑3，D代数映射． 3)．cⅣ：A—}^(唧)。是j；WI余代数映射． 命■3