拟三角Hopf代数扭曲冲积的Maschke型定理

该文给出了拟三角Hopf代数扭曲冲积的Maschke型定理,推广了量子交换代数smash积的半单性.

Hopf拟群上扭曲冲积(英文)

为了研究平行球面s7的代数结构,引进了Hopf拟群上的拟模和双拟模代数的概念,由于这些概念的公理中模缺少结合性的条件,通过增加对极的条件来弥补结合性的条件.并通过双拟模代数构造了扭曲冲积的概念,事实上这种扭曲冲积是Hopf代数上扭曲冲积的推广,并且证明了扭曲冲积与张量余积成为Hopf拟群的充要条件为当且仅当下列条件(h1→a)h2=(h2→a)h1,(a←S(h1))h2=(a←S(h2))h1成立.所得到的结果推广并改进了Hopf代数上扭曲冲积一些相应的结果.

扭曲冲积的同调维数

当H是半单的Hopf代数及其对偶H~*是幺模的Hopf代数时,通过构造可分扩张A~*H/A,利用比较法得到了扭曲冲积A~*H的整体维数、弱维数和有限维数小于或等于子代数A的整体维数、弱维数和有限维数.所得结果与著名的有限维数猜想有一定的联系.

H-交换代数扭曲冲积的Maschke型定理

利用著名的Maschke型定理讨论了H-交换代数扭曲冲积的半单性,设H为域k上的有限维Hopf代数带有非退化的积分t,A是Yetter-Drinfeld模代数和H-双模代数,并且是H交换代数,根据已有文献的工作,给出了H交换代数扭曲冲积的Maschke型定理,通过对H中的积分和H的投射性质的研究,刻画了扭曲冲积A#H的半单性。利用Hopf代数的模论和双模代数的性质,对任意的左A#H-模M和N,定义了H的右A-模结构,并且验证了H是A-A双模,并讨论了A#H-模范畴中的态射集的性质与其上的模作用,证明了HomA(M,N)是一个左A#H-模,从而得到(HomA(M,N))H=A#HHom(A,M),并且进一步研究了A的投射性质。若假设A是半单的,得到A#H是半单的当且仅当A是投射的左A#H-模。最后给出在A是半单的前提下,则A#H是半单的当且仅当t·c=1对某个C∈A。