双交叉积Hopf代数上的辫子结构木.PDFVIP

第23卷 第6期 工 程 数 学 学 报 Vo1．23N。．6 2OO6年12月 CHINESEJOURNALOFENGINEERING MATHEMATICS Dec．2006 文章编号：1005—3085(2006)06—1133—04 双交叉积 Hopf代数上的辫子结构木 焦争鸣 ，许晓革 (1一河南师范大学数学与信息科学学院，新乡 453007 2一北京航空航天大学理学院，北京 1000831 摘 要：本文讨论双交叉积 Hopf代数 B卢闻。H 的辫子结构。通过引进一些新的概念，给出并证明了双 交叉积 Hopf代数 B 闻 H 构成辫子 Hopf代数的充分条件与必要条件 ，同时给出了其辫予结 构的分解形式。 关键词：Hopf代数；双交叉积；辫子 Hopf代数 分类号：AMS(2000)16W30 中图分类号：O153．3 文献标识码：A 1 引言 Yang．Baxter方程 (杨振宁．巴克斯特方程)及其相关理论，来源于低维严格可解量子可积模 型与统计力学模型，有着丰富的力学与物理背景，它与解决量子多体动力学问题和统计力学模 型的本征值问题有着密切联系 1【】。近年来，人们从不同的角度寻求 Yang．Baxter方程的解，这 也引发了相关理论的产生和发展。拟三角 Hopf代数是旨在提供量子 Yang．Baxter方程的解时 引进的一类 Hopf代数 【1。作为拟三角结构的对偶，辫子 Hopf代数由LarsonTowber于1991年 给 出3【l，它同样是提供量子 Yang．Baxter方程解的有效工具，关于这一方面的一些工作可参 见3【，4]。 在文献 5『1中，Majid在 B0H上建立了一个新的Hopf代数结构，称之为双交叉积Hopf代 数，并记为B H。人们 自然会问：在什么条件下，B H 容许一个拟三角结构或者一 个辫子结构?如果有的话，它们又将具有什么样的形式?文献 6『1对双交叉积Hopf代数的拟 三角结构进行了讨论，并给出了其拟三角结构的分解形式。本文将对双交叉积 Hopf代数的 辫子结构进行研究。通过引进一些概念 ，我们给出了双交叉积 Hopf代数 B H 构成辫 子 Hopf代数的充分条件与必要条件，同时给出了其辫子结构的分解形式。作为本文结果的一 个直接应用，我们给出了双交叉积 日 H P的辫子结构。 2 预备知识 除非特别指出，通篇文章的讨论都是在一个固定的域 进行。我们沿用文7【】中的术语和 记号。对余代数C及C∈C，记△(c)：∑C1@C2。下面结果由Majid给出。 定理1【l 设 B，H 为两个 Hopf代数，使得 日是一个右 B 模代数，B是 个左 日一余模 余代数。则张量积B0H关于乘法 (Ⅱ⑧^)(6⑧g)：∑abl⑧(h司b2)g、余乘法A(b@h)= 收稿日期：2004—10—08．作者简介：焦争鸣(1956年3月生)，男，博=f=，教授，研究方向：Hop玳 数 基金项目：国家自然科学基金． 1134 工 程 数 学 学 报 第23卷 ∑b10b2(^10b2(。0h2和反对极S(b0h)=∑(IB0sH(6()^))(sB(6(。))01H)构成一 个 Hopf代数的充分必要条件是： (i)AB(^qb)=∑(^1qb1)62(’0(h2qb2(。’)，eH(hqb)=eH(h)eB(b)； (ii)fl(ab)=∑(Ⅱ()司b1)b2(0Ⅱ(。)b2(叭， (1口) 1H01B： (iii) ∑bl((^b2)0bl(。)：∑(^qb1)b2(0b2(叭． 称此新的Hopf代数为双交叉积Hopf代数，并用B卢口_习H 表示。 下面给出辫子Hopf代数及一些相关的概念。 定义13【1一个辫子Hopf代数是一个对 (H，)，这里 日是一个Hopf代数，