mod_pΛ中无短链的有限表示型自入射代数存在Hall多项式

在文献[1]中,Ringel定义了Finitary环A上的Hall代数(?)(A).它是以{u_[M]}[M]为基的自由Abel群,其中[M]表示有限A模M的同构类,(?)(A)的定义如下:u_[N_1]×u_[N_2]=sum from [M] ((F_(N_1)~M)×(N_2)×u_[M])由于A是Finitary环,上式右端是有限和.这里F_(N_1N_2)~M是M的适合L（?）N_2且M/L（?）N_1的子模L的个数.Hall代数(?)(A)是有单位元1=u_[0]的结合环.为简便,总假定A是有限域k上的有限维代数.所有的有限A模构成的子范畴记为mod-A.由文献[1～3]可知,Dynkin型或仿射型遗传代数的Hall代数与相应的Kac-Moody Lie代数及其量子包络代数均有深刻的内在联系,而Hall多项式在1处的赋值恰好给出了对应Lie代数的结构系数.在文献[2]中Ringel猜测:任意有限表示型k-代数总存在Hall多项式.Ringel证明了表示直向代数有Hall多项式.Guo等人证明了mod-A中没有短圈的代数A有Hall多项式.在这篇短文中,我们证明了mod_pA中没有短链的有限表示型自入射代数A存在Hall多项式.     

关于一类倾斜代数

设A是代数闭域k上基本、连通的有限维遗传代数,_AT是倾斜左A-模,B=End_AT是倾斜代数。我们熟知,当A是tame型时,_AT有预投射直和项和预入射直和项当且仅当B是有限表示型代数(见文献[1]命题5.7或文献[2]中4.1)。但当A是一般遗传代数时,是否有相应的结果,在此之前,一直是公开问题(见文献[1]中5.7)。本文给出了这个问题的完全刻化。得到     

表示直向代数的Auslander-Reiten箭图中的Hammocks

Brenner引进了Hammock的概念并用以刻划有限表示型代数的Auslander-Reiten箭图。Ringel和Vossieck给出Hammock的公理化定义,并确定了Hammock与偏序集的表示之间的关系。用组合方法来研究代数表示理论,Hammock起了很好的作用,参见文献[1～3]。本文给出一类在表示直向代数的Auslander-Reiten箭图中自然出现的Hammock,推广了Scheuer的结果。 1 主要结果 本文总约定代数A是某个代数闭域k上基的连通的带单位元的有限维代数。特别地,本文总假定A是表示直向代数。     

关于Hochschild同调群的一个恒等式

设A是域k上的有限维代数,A~e是A的包络代数,即A~e=A(?)A~(op),其中A~(op)是A的反代数.任一A-A双模M自然地视为左A~e-模:(a(?)b’)m:=amb,(?)a(?)b’∈A~e,m∈M.由此得到左 A~e-模A并且有如下维数公式(参见文献[1]):proj.dim.A~eA=gl.dim.A.根据Cartan-Eilenberg公式,A的第i次Hochschild同调群H_i(A)等同于向量空间H_i(A)(?)Ext_(A~e)~i( A,D(A))(?)Tor~A~e_i( A,A),其中D=Horm_k(-,k)为对偶函子. 关于Hochschild同调群和上同调群的原始定义和基本性质我们引用经典文献和新书.近年来的若干文献表明代数的Hochschild同调群和上同调群与代数的表示之间有紧密的联系.我们指出同时研究Hochschild同调群和上同调群     

modpΛ中无短链的有限表示型自入射代数存在Hall多项式

<正>在文献[1]中,Ringel定义了Finitary环A上的Hall代数(?)(A).它是以{u_[M]}_[M]为基的自由Abel群,其中[M]表示有限A模M的同构类,(?)(A)的定义如下     

倾斜模唯一性的有效判定

本文总假设k为代数闭域,A为k上基的(basic)连通的(connect)有限维代数(结合的,带单位元)。代数A上的模总指有限生成左A-模。在同构的意义下,记{P_A(a)|a∈I}表示所有不可分解投射模的集合,{E_A(a)|a∈I}表示所有不可分解入射模的集合,{S_A(a)|a∈I}表示所有单模的集合,这里I是固定的有限集合,P(a)/rad P(a)=S(a)=soc E(a),在不引起混淆的情况下,我们可以省略下标A.另外,对于JI,我们记     

曲线上微分算子环的Stafford-Smith问题

设XM特征为零的代数闭域k上的仿射代数曲线,O(X)表示X上的正则函r,D(X)是X上微分算子环,H(X)是D(X)的导出Artin代数.Stafford-Smith在文献[1]中提出如下两个问题:Stafford-Smith问题Ⅰ:D(X)是否有无限的总体同调维数?Stafford-Smith问题Ⅱ:给定一个任何有限维代数A,是否存在仿射曲线X,使得H(X)=A?Brown在文献[2]中提出了如下问题:是否H(X)总是为拟遗传代数?     

格蕴涵代数的滤子与结构

为了从语义角度研究命题的真值取于格上的逻辑系统,文献[1]将格与蕴涵代数相结合提出了格蕴涵代数的概念,文献[1,3～5]研究了格蕴涵代数的一些性质.本文讨论格蕴涵代数中的滤子,特别是生成滤子,并由此探讨一类格蕴涵代数的结构特征.1 滤子及其性质关于格蕴涵代数及其中滤子的定义参看文献[1].定义1 设(L,V,∧,’,→)为一个格蕴涵代数,称包含A(?)L的最小滤子(A]为由A生成的滤子.     

素特征域上的有限维Cartan型Lie超代数

关于素特证域上的Lie超代数,至今结果尚少.本文构造了F上的无限维Cartan型Lie超代数X(m,n)(X=W,S,H或K),进而定义了有限维的广义Cartan型Lie超代数,并且讨论了它们的单性与限制性.最后给出一个关于F上有限维单Lie超代数的分类的猜想.设F是特征p>2的域,n是大于1的正整数,∧(n)是F上具有生成元ξ_1,…,ξ_n的外代数.若u=(i_1,i_2,…,i_r),其中1≤i_1相似文献   

Hopf模代数的投射性与平坦性

Hopf代数是代数学的一个活跃分支。给出一个H-模代数A,Hopf代数理论的一个重要课题是研究代数A,不动子代数A~H及Smash积A#H三者代数性质之间的关系。我们知道,若A/A~H是H-Galois扩张,则_A~HA是投射模(见文献[1]中定理1.7或文献[2]中定理1.2′)。这启发我们研究在什么条件下_A~HA是投射模或平坦模。     

Euler公式q类似的另一形式

在量子代数变形振子表示理论中,Euler公式的q类似起着十分重要的作用.文献[1]对于q-Heisenberg代数     

双对称代数

左对称代数是从Lie代数,Lie群和微分几何的研究中得到的一类新的代数体系,其对于几何与代数的许多课题的研究都有着十分重要的意义(参见文献[1～3]等).本文研究的是其中的具有丰富内涵的一类左对称代数——双对称代数.在本文中,基域都是特征为零的代数闭域,而且所讨论的代数都是有限维的.     

倾斜代数AR箭图中含直向模的DT_r轨道的个数

设A是一个连通的Artin代数.mod-A表示全体有限生成右A模的范畴.Г_A表示A的AR箭图Auslander-Reiten quiver).τ表示Auslander-Reiten变换DT_r.一个A模T_A称为倾斜(tilting)模,如果(1)T_A的投射维数至多是1;     

幂零根基为Heisenberg代数的完备Lie代数的结构和实现

一个Lie代数称为完备Lie代数如果它的中心为零且所有的导子都是内导子。完备Lie代数的定义是Jacobson在 1962年给出的,近些年完备 Lie代数理论有了较大发展(部分研究可参见文献[2～5]),Jiang和Meng文给出了复数域C上所有幂零根基可换的完备Lie代数的结构和具体实现,文献[5]给出了复数域C上有限维Heisenberg代数的导子代数和全形,证明了此导子代数和全形的导子代数均为单完备Lie代数.本文讨论了复数域C上幂零根基为Heisenberg代数的有限维完备Lie代数的性质,给出了这一类完备Lie代数的同构定理,证明了一个以 Heisenberg代数为幂零根基的完备Lie代数可以分解为一个以 Heisenberg代数或一维可换Lie代数为幂零根基的可解完备Lie代数和另一个以Heisenberg代数或一维可换Lie代数为幂零根基的完备Lie代数的和,给出了所有这两类完备Lie代数的结构和具体实现.因而C上所有以Heisenberg代数为幂零根基的有限维完备Lie代数的结构和具体构造全部被研究清楚. 本文中所讨论的Lie代数均为复数城C上的有限维Lie代数.     

Hopf余模余代数的对偶定理

Blattner和Montgomery在文献[1]中讨论了Hopf模代数的对偶定理.此定理概括了VonNeumann代数的交叉余积的对偶.早在1977年,Molnar在文献[3]中给出了Hopf模代数的对偶概念Hopf余模余代数,并讨论了其性质.但关于Hopf余模余代数的对偶定理至今未见,它具有与文献[2]同等的意义.本文将通过定义左(右)Smash余积,在Hopf代数H有限维时,给出了这一对偶定理:若H~*在H×_H~*~LH~*上的右余作用为右强余内的,那么(C×H)×H~*≈C(?)(H×H~*).     

Cartan型Z-阶化李超代数W(n)与S(n)的阶化模

本文首先将文献[1]的混合积推广到李超代数,然后决定了混合积(作为W(n)模与S(n)模)的不可约子模及合成因子,从而决定了李超代数W(n)与S(n)的不可约的正的阶化模.本文总设F是特征零的代数闭域,A(n)是F上具有生成元ξ_1,…,ξ_n的外代数.则A(n)=(?)是Z阶化的超代数.我们将A(n)中元素ξ_1∧ξ_2∧…∧ξ_n用ξ表示.符号(?)(i_1,…,i_r)表示(?)中删去因子所得到的元素.显然(?).设gl(n)为F上n阶阵的     

遗传及全遗传JB-子代数的刻画

如所周知,遗传及全遗传C~*-子代数在C~*-代数的Morita等价理论及相关课题研究中起着很重要的作用。Edwards在文献[3]中把遗传C~*-子代数概念推广到了非结合代数——JB代数中,并获得了 命题A(文献[3],定理2.3)设A是JB-代数,则A的遗传JB-子代数与A的二次理想(即内理想)一致。 最近Edwards与Rttimann在文献[4]中证明了 命题B(文献[4],推论2.2) 设A是JB-代数,B为其JB-子代数,则B是A的二次理想(内理想)的充要条件是:B~(*+)中的任意正线性泛函到A~(*+)中的保范扩张唯一。 本文从此出发,给出了JB-子代数成为遗传JB-子代数的若干充要条件。进而又给出了全遗传JB-子代数的一个刻画。     

量子群GL(n)_q的矩阵元代数的结构与Verma模

量子群、量子代数及其表示理论在许多非线性可积物理模型中起着重要作用。量子群是由满足Yang-Baxter方程的量子(?)-矩阵中抽象出来的数学结构,并可解释为量子平面上的变换群。Florator,Weyers和Fhakrabarti等人利用Heisenberg-Weyl关系研究了量子群GL(n)_q的矩阵元代数A(n)_q的表示。文献[7]给出了A(2)_q的不可约表     

弱直向代数的Hochschild上同调群

本文提出了弱直向代数的概念,它是在代表表示中占有重要地位的直向代数和投射直向代数的推广;然后确定了它的各次Hochschild上同调群,这推广了直向代数中的相应结果.以下总设A是代数闭域k上有限维代数.modA是有限维A-左模范畴.通常,直向性仅对不可分解模有定义,1993年Happe1和Ringel作了如下推广:任一A-模M(未必不可分解)称为直向模.如果不存在不可分解模W及M的不可分解直和项M_1,M_2,使得M_1≤τW和W≤M_2,其中τ是Auslander-Reiten平移(为了下面的应用需说明符号W≤M_2也包含     

有限维单Lie代数的拟有理自同构

本文所用述语及符号与文献[1]中所用一致。 以下总假定g是一个X_N型的单有限维复Lie代数,n是取定的一个CSA,△′是相应的根系,{a′_1,…,a′_N}是取定的一个素根系,e_i,f_i,h_i(i=1,2,…N)是取定的一组标准生成元.如文献[1]中§8.2所述,对于g的k阶自同构u,引入记号E_i,F_i,H_i(i=0,1,…,l),那么 E_0,…,E_1生成g.令