扭曲碎积的gorenstein及calabi-yau性质-gorenstein and ca labi - yau properties of distorted products.docxVIP

目录摘要..................................................................(i)Abstract................................................................(ii)§1引言..............................................................(1)§2预备知识...........................................................(3)§3扭曲碎积的Gorenstein性质.......................................(6)§4扭曲碎积的不变量spli和silp..................................(15)§5扭曲碎积的Calabi-Yau性质.....................................(18)参考文献..............................................................(26)攻读硕士学位期间完成的主要学术论文..........................(29)致谢..................................................................(30)§1引言碎积(smashproduct),交叉积(crossedproduct)的性质己经被很多学者学习并研究了,扭曲碎积(twistedsmashproduct)A?H是由王栓宏和李金其1998年在[26]中首先定义的,接着由王栓宏和Kim在[27]中进行了进一步研究.扭曲碎积A?H包含一般的碎积(Molnar[19]),Drinfeld偶(Drinfeld[6])和Doi-Takeuchi代数(Doi-Takeuchi[5]),故它在量子群理论中很重要.而张鹏,张良云和牛瑞芳2011年在[31]中研究了扭曲碎积A?H的同调性质和整体维数.我们知道当A是一个左H-模代数,碎积代数A?H是指,对?a,b∈A,h,k∈H,作为向量空间有A?H=A?H,而它的乘法定义为(a?h)(b?k)=Σa(h1·b)?h2k.但是当H是霍卡夫代数,A是一个H-双模代数(即A是一个H双模,而且是一个左H模代数同时是一个H模代数),它的左H模作用用→表示,它的H模作用用←表示,故我们知道A?H上的扭曲碎积A?H,它的乘法为对?a,b∈A,h,g∈H,(a?h)(b?g)=a(h1→b←S(h3))?h2g.潘群星2012年在[22]中研究了L-R碎积AqH和左AqH模范畴与左A模范畴之间的Gorenstein投射(平坦)预盖和Gorenstein内射预包的性质以及AqH-模的Gorenstein维数,而在[33]中我们知道,如果H是有限维余交换霍卡夫代数,L-R碎积是扭曲碎积.借此想法,本文用扭曲碎积代替L-R碎积得到第一部分的结论.推论3.12设H是有限维霍卡夫代数,U,V,W∈Mod-A?H,GpdA?H(A?H?AU)≤GpdA(U)≤GpdA?H(U);GidA?H(A?H?AV)≤GidA(V)≤GidA?H(V);GfdA?H(A?H?AW)≤GfdA(W)≤GfdA?H(W).定理3.14设H是有限维霍卡夫代数,U,V,W∈Mod-A?H.假设A?H?A?是可分的,那么U在Mod-A?H中有Gorenstein投射预盖的充要条件是U在Mod-A中有Goren-stein投射预盖;V在Mod-A?H中有Gorenstein内射预包的充要条件是V在Mod-A中有Goren-stein内射预包;W在Mod-A?H中有Gorenstein平坦预盖的充要条件是W在Mod-A中有Goren-stein平坦预盖.因为对于环R,它的不变量silp,spli在Gorenstein整体维数起着很重要的作用,故第二部分我们研究了扭曲碎积A?H的不变量silp,spli,得到命题4.3设H是半单霍卡夫代数,A?H为扭曲碎积,则fin.dim(A?H)≤silp(A);若spli(A?H)∞,则spli(A?H)≤silp(A);若silp(A?H)∞,则silp(A?H)≤spli(A?H);若spli(A?H)∞,silp(A?H)∞,则spli(A?H)=fin.dim(A?H)=silp(A?H)≤fin.dim(A),而且,若还有spli(A)∞,silp(A)∞,则spli(A?H)=fin.dim(A?H)=silp(A?H)≤fin.dim(A)=spli(A