特殊双列代数平凡扩张的一阶Hochschild上同调群.pdfVIP

中国秘至(A辑) 』竺丝一竺竺!竺竺：型 竺竺! 特殊双列代数平凡扩张的一阶 Hochschild上同调群丰 01月 徐运阁” 湖北大学数学与计弹机科学学院，武慢430062；巾国科学院数学与系统科学研究院，北京100080) 摘要 利用组合的方法刻画了具有normed基的特殊双列代数的一阶Hochschild同 调群，并得到了它们的维数方程．基于对向量空问AIt(DA)的组合描绘，得到了特殊 双列代数平凡扩张的一阶Hochschild上同调群的维数方程的计算公式， 关键词Hochsehild(_1：)同调平凡扩张特殊双列代数 1 引言 设A是域≈上的有限维代数，x是有限生成A—A一双模．Hochschild[1】引进了系数在x里的 等人【7J证明了代数闭域上的有限表示型代数是单连通的当且仅当它的Auslander代数的一阶 上同调群为零．M[1也猜想代数闭域上的有限维代数，如果它的一阶上同调群消失，则它的 Gabriel箭图没有定向圈．但这是不正确的，Buchweitz等人举出了反倒“．于是人们又猜想倾 斜代数是单连通的当且仅当它的一阶上同调群消失．这对Tame倾斜代数是正确的(8J一阶和 二阶Hoehschild上同调群的消失与代数的表示型也有着紧密的联系(参见文献f4，5，91)．某些 特殊代数的上同调群已被计算，如遗传代数[41，incidence代数【10’11|，具有狭窄箭图的代 数㈦4】；根方零代数【13】；截面代数【14“16】；单项式代数㈤，具有normed基的特殊双列代数 等”我们也注意到这些代数都具有乘法基． 设4是一个有限维代数，DA是A的对偶A．A一双模，则A的平凡扩张代数TA=AKDA 给出．换言之，^是TA的子代数，而DA是TA的具有零乘结构的双边理想．有限维代数 2003—06。18收耥 +国家自然科学青年基金资助项日(批准号 edu，Gn ++E-mail：xuy@hubu R SArtin with but120outerderivationsMath 1)BuchweitzQ，Liu algebrasloops RA／9907008 YHochschild of biserial Pureand 2)HanY，Xu special cohomology algebrm§J ApplAlgebra(待艟表) !竺 ! 璺 型 兰 !垒墨! 兰竺堂 的平凡扩张是可裂代数，也是对称代数．我们也注意到可裂代数对研究Happel的未解决问题 Cibils (即若存在正整数n，使得H‘∽)=00≥n)，则A是否有有限同调维数)是有帮助的[41 等人1J证明了如果A是有限维代数，那么H1(TA)是4个向量空间的直和．即有 命题1．1(脚注1中定理5．5)设TA是有限维代数A的平凡扩张，则 H1(TA)=Z(A)e／41(A)oH1(A)+oAlt(DA) 若A是单项式代数，文献【18]研究了它的中心，其维数由一个辅助箭图的连通分支的数 目决定，而且该文也得到了上式第2个和项的维数方程．后两个和项的维数方程在Cibils等人 群． 特殊双列代数是一类重要的有限或tame表示型代数，它们在群与代数的表示理论中扮演 着重要的角色[19“21】．著名的例子如具有循环或四面体亏群的群代数的块结构㈤，以及出现在 了具有normed基的特殊双列代数的一阶和二阶上同调群．首先回忆一下Han等人文3)中的 记号．设A=kQ／l是一个有限维特殊双列代数，g=91U吼是理想J