特殊双列代数的Hochschild上同调.pdfVIP

中国科学A辑：数学，2007，37(5)：629-640 中国科学杂志社 http：／／www．SciChina．corn SCIENCEINCHINAPRESS 徐运阁 (湖北大学数学与计算机科学学院，武汉4a0062) 摘要 本文基于四项正合序列，利用组合的方法给出了具有正规基的特殊双列代数的一阶 和二阶Hochschild上同调群的维数公式． 关键词 特殊双列代数Hochschild上同调锦标集 16E40，16G10 MSC(2000)主题分类 1引言 群以及上同调环仍知之甚少，对某些重要代数类的Hochschild上同调群以及上同调环的实际 计算仍然是重要而困难的．目前仅对一些特殊的代数类如遗传代数14]、关联代数[7一、截面 有正规(normed)基【15】。 特殊双列代数是一类重要的代数类型，它们广泛地出现在数学的很多分支中．所有有限表 ∽+3)一维多面体∽≥4)的同伦分类问题归结为特殊双列代数的不可分解模的分类问题 的特殊双列代数的不可分解模的分类问题密切相关【2 21．除上述具体的应用之外，特殊双列 代数也常常用来作为重要的测试类，以便对有限维％一代数的一般问题有一个好的直觉．例 如特殊双列代数是第1类能够对其不可分解模进行完全分类的驯顺表示型指数增长的代数 类【1 收稿日期：2006-11—24；接受日期：2007-02-16 国家自然科学青年基金(批准号和湖北省教育厅重点基金(D200510005)资助项目 E-mail：xuy@hubu．edu．cn 中国科学A辑：数学 第37卷 方法【2引．然而，人们对一般特殊双列代数的Hochschild上同调群以及上同调环仍知之甚少． 投射双模分解．对特殊双列代数而言，目前似乎还没有有效的构造方法(Happel的极小投射 同调群的缸维数．本节将采用Cibils的策略，通过更加深入而细致地分析，计算了具有正规 的特殊双列代数是无穷小刚性代数的充分必要条件【28】．2000年在北京召开的第九届国际表 示论会议(ICRA 特殊双列代数)能够退化到特殊双列代数【29，问题161)?与此相关的一个自然的问题是：哪 些特殊双列代数能够是非特殊双列代数的退化代数而哪些不能呢?由文献【28，定理3．2】知所 有的无穷小刚性代数都不能是任意非特殊双列代数的退化代数．由本文的结果我们可以(在 任意代数闭域上)构造很多具有正规基的无穷小刚性特殊双列代数． 2特殊双列代数 P∈Q表示道路P是Q中的一条道路．kQ是以Q中的所有路为基，以路的连接为乘法作成 的域k上的路代数．kQ是有限维的当且仅当Q没有定向圈，即没有起点和终点相同的长度 的路组成的集合．七Q中的理想』称为允许理想，如果存在正整数佗≥2，使得kQ“C—I∈kQ2． 本文所涉及的理想总假定为允许理想，代数为路代数kQ或它们的商代数kQ／I，其中J为允 许理想．此外，我们也不区分同构的对象，如代数、向量空间等．我们总是按从左到右的顺序 写箭向或态射的合成． 路代数kQ／I称为特殊双列代数，如果满足下列条件：(SPl)以Q中任一顶点开始或结 角的)．本文中所提到的特殊双列代数是任意域上的代数． u 的一组k基8为半正规基，如果Qo 得C(bl，b2)blb2∈Bu{o】．．而且，kQ／I的一组半正规基称为正规基(也称为乘法基)，如果所 理1]的推论推广到任意域k上)，任意域上的零关系代数和有限表示型代数都有正规基【151． 下面的引理给出了许多具有正规基的特殊双列代数的例子： 引理2．1 直向特殊双列代数有正规基． 证明 设A=kQ／I是一个直向特殊双列代数，则A有半正规基侈．设9是j的极小 c 生成元集，则9=够1u仍，其中，91Q是由Q中的某些路组成的零关系集，仍是由形如 P—cq 0，q是Q中的路，0≠c∈七)的元素组成的半交换关系集． 第5期 徐运阁：特殊双列代数的Hochsch