论文部分内容阅读
量子群按Drinfeld的术语定义为拟三角Hopf代数,拟三角Hopf代数的模范畴是一个辫子monoidal范畴,而辫子monoidal范畴的辫子结构可为量子Yang-Baxter方程提供解。对偶地,余拟三角Hopf代数的余模范畴也是一个辫子monoidal范畴。这些概念和理论有很强的物理背景并与其他数学分支有着紧密的联系,目前这一理论已经取得了很大的发展。近年来,有关Hopf代数和辫子monoidal范畴的研究可谓丰富多彩。Turaev在文献[16]中引入了π-余代数、Hopfπ-余代数以及拟三角Hopfπ-余代数的概念,其中π是一个群。在文献[17]中Virelizier研究了Hopfπ-余代数的一些基本性质,引入了π-余模的概念,并且推广了拟三角Hopfπ-余代数的一些主要性质。
本文基于上述背景,研究了Hopfπ-代数的模范畴及其自函子。首先研究了Hopfπ-代数H的模范畴,给出了左-π-模以及左H-π-模同态的概念,证明了左H-π-模范畴(H-Mod,(),K,a,I,r)是一个monoidal范畴,而且对任意的a∈π,a可诱导(H-Mod,(),K,a,l,r)到自身的一个monoidal函子(Fa,id,id)。然后引入了拟三角Hopfπ-代数的概念,并且证明了一个Hopfπ-代数H是拟三角的Hopfπ-代数当且仅当左H-π-模范畴(H-Mod,(),K,a,l,r)是一个辫子monoidal范畴,且对任意的α∈π,(Fa,id,id)为辫子monoidal函子。