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

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

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。     

Ho pf 代数作用中轨道与稳定化子的结构

设H是一个有限维的Hopf代数,A是有限维的左H-模代数,I是A的任一极小H-理想.任取A的极小理想I1■I,用维数公式证明了轨道模代数OA(I1)≌I.还考虑了当AH■A是右H*-Galois扩张时,稳定化子StabA(V)的结构,其中V是左A-模.     

关于拟三角拟双代数的量子交换代数及其对偶

文献[2]中讨论了拟双代数Smash积的性质,若代数A关于拟三角拟双代数H的作用量子交换[1],则本文得到smash积A#H的模范畴A#HM关于 A和代数A构成张量范畴.进一步,研究了HM的辫结构诱导出A#HM辫结构的充要条件.最后引入余拟三角对偶拟双代数及量子余交换余代数的概念,获得对偶情形的结果.引理1　设(H,Φ,R)是拟三角拟双代数,A为量子交换的左H 模代数,则A#HM中任意对象M有A A双模结构,其中M的右A 模结构为:m a=∑(R2·a) (R1·m).定理2　设(H,Φ,R)是拟三角拟双代数,A为量子交换的左H 模代数,则(A#HM, A,A)是张量范畴.更明确地,…     

k-线性平凡扩张范畴

设C是k-线性范畴,M是C-C双模,定义k-线性平凡扩张范畴C′=C■M,首先证明其为平凡扩张代数的自然推广,其次证明左C′-模范畴等价于左C-模范畴关于张量函子MC-的右平凡扩张范畴(C-Mod)■(MC-),推广了经典的平凡扩张代数的模范畴理论.并将此结论应用到k-线性三角矩阵范畴,重新刻画其模范畴的结构.     

三角代数上导子的两个结论

设R是有单位元的交换环,A,B都是R上的酉代数,M是非零(A,B)-酉双模,且作为左A-模和右B-模都是忠实的.记T=(A M0B)为由A,B,M构成的三角代数,D为T的导子.给出T满足[D(X),D(Y)]=0的导子的结构,并证明了三角代数T的导子都不是强保交换的.     

Hopf模代数交叉积分解

设H是数域k上的Hopf代数,B是具有右H-Hopf模结构的H-余模代数,本文给出了B的交叉积代数分解,使得H-Cleft扩张是这一结论的特例.     

单点扩张代数的表示维数

设A是一个表示无限型的Artin代数,M是一个左A模,Λ是A通过M得到的单点扩张代数。如果Fac(M)是tilting torsion类,且M是A的某个Auslander生成子的直和项,那么Λ的表示维数不超过A的表示维数,与A的整体维数加2两者的最大值。若M是APR-tilting模或者是BB-tilting模的投射部分,可以证明上述结论对由这两类模所得的单点扩张代数亦成立。     

一类Hopf路余代数的不可约表示

设D2是二面体群,H是群代数kD2上的一个Hopf路余代数,则H是非交换非余交换的.设T是H的Hopf理想,从而形成商代数H-=H/T.文中讨论了H-上的模表示,给出了H-上1维不可约模与2维不可约模,它们是H-上的互不同构所有不可约模.     

由Lazy2-余循环诱导的扭曲Hopf模的基本结构定理

本文主要通过lazy 2-余循环σ:H H→k给出了左H-余模代数A的新乘法,得到一个左H-扭曲余模代数Aσ,并给出了由左H-扭曲余模代数Aσ诱导的相关扭曲Hopf模的基本结构定理.     

Frobenius扩张下的GC-平坦性

设A/S是一个环的Frobenius扩张, 且S是凝聚环, C是半对偶S-模. 首先, 利用构造法证明相对于半对偶模的G_C-平坦性在环的Frobenius扩张下是保持的, 即对于A-模M, M_A是G_CSA-平坦模当且仅当M_S是G_C-平坦的; 其次, 证明相对于半对偶模的G_C-平坦维数在环的Frobenius扩张下是不变的.     

Poisson代数的平凡扩张的模导子

设A是Poisson代数,M是A上的左Poisson模,则在A通过M的平凡扩张代数$A\ltimes M$上存在Poisson结构。当M取成A本身或其线性对偶$A^{*} $时,则平凡扩张代数$A \ltimes A^{*}$和$A \ltimes A$都是Frobenius Poisson代数。计算了这两类Frobenius Poisson代数的模导子,这个结果可视作有限维代数的平凡扩张的Nakayama自同构在Poisson代数中对应的结论。     

Yetter-Drinfeld范畴上相关Hopf模结构定理的改进

设L是域k上的Hopf代数，其对极为sL；A是Hopf代数,其对极为sA，令B是右A 余模代数.给出了改进后的LLYD中(A,B) Hopf模的基本结构定理，它是一般Hopf模基本结构定理的推广.     

Hopf模代数与根理论(英文)

设H是一个Hopf代数,本文的目的是系统建立H—模代数的H—根理论。特别地,引入并研究了超幂零H—根、下H—根及特殊H—根,证明了Jacobson H—根是特殊H—根。本文可作为进一步研究Hopf模代数根理论的框架。     

弱拟三角Hopf代数上的量子交换代数

设H是域k上的有限维弱拟三角Hopf代数,A是弱H-模代数,且相对于(H,R)是量子交换代数。本文主要对文献[6]中大部分结果进行推广。     

Cleft扩张下的余纯投射维数

令H为有限维Hopf代数且A为固定域k上的代数, AB为H-cleft扩张. 利用cleft扩张和交叉积间的关系, 证明了当H半单时, 在cleft扩张下左余纯投射维数是不变的, 并给出了\%A与B\%的QF性质.     

Hopf-Galois coextensions and braided Lie coalgebras

Let k be a commutative ring and H a k-bialgebra. Assume that there exists an H-cogalois right H-module coalgebra C such that C is faithfully k-flat. We show that H is necessarily a Hopf algebra. Then the Lie coalgebras in Yetter-Drinfeld categories H HYD (braided Lie coalgebras) are studied. In particular, a necessary and sufficient condition for the natural map Γ C(U CM)→M to be surjective is given.     

H-Hopf双模余代数范畴与余代数范畴

引进H-Hopf双模余代数的概念．设Hopf代数H是余交换的,证明了H-Hopf双模余代数范畴等价于余代数范畴。     

Lazy元和Sweedler上边缘算子

设H是Hopf代数，A是左H-模代数．定义了集合Reg^n（H，A）中的lazy元，证明了lazy元的全体构成的集合RegL^n（H，A）对于卷积运算作成了RegL^n（H，A）的子群．并且进一步证明了在Sweedler上边缘算子作用下，lazy元依旧对应着lazy元．