AR箭图—类连通分支中的几乎分裂序列

<正>设A是代数闭域F上一个有限维基连通代数,modA为有限维右A-模范畴,ΓA为代数A的AR箭图.由于modA中成立Krull-Schmidt定理,通常将modA中模与它的同构类看作一回事.Auslander和Reiten在研究Artin代数的表示理论时,引进了几乎分裂序列和既约映射的概念.今天,几乎分裂序列理论已成为代数表示论的一大基石.     

弱直向代数的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也包含     

维数向量Loewy因子和Socle因子是Auslander-Reiten箭图的不变量

设k是代数闭域,Λ是有限维k-代数,不失一般性,本文总假定Λ是基的,连通的,modΛ记为Λ的有限生成模构成的范畴,ΓΛ表示Λ的Auslander-Reiten箭图,设P_1,P_2,…,P_n是Λ的所有不可分解投射模同构类的代表,任意M ∈ modA,它的维数向量定义为     

倾斜代数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;     

倾斜模唯一性的有效判定

本文总假设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,我们记     

倾斜代数的Generic模

Aronszajn和Fixman对Kronecker代数引入了可除模的概念,证明了Kroneeker代数存在唯一的不可分解挠自由可除模Q. Ringel推广了Aronszajn和Fixman的工作,对Tame遗传代数证明了同样的结论。Ringel同时还证明了Q的自同态环为除环且Q作为End(Q)上的向量空间是有限维的。Grawley-Boevey引入了Generic模的概念。Ringel的工作说明了Tame遗传代数存在唯一的Generic模。Generic模的概念尽管出现较晚,但它是非常自然和重要的,它在有限维代数的表示理论中起着举足轻重的作用。     

纤维化又是上纤维化的刻划定理

1974年,Milgram首先发现,纤维化序列K(Q/Z,n)→K(Z,n 1)→K(Q,n 1)(n≥1)又是上纤维化序列,注意到K(Q,n 1)=K(Z,n 1)_0,即K(Z,n 1)→K(Q,n 1)是单连通空间K(Z,n 1)的有理化(0-局部化).1981年,Schiffman将Milgram的例子推广到一般的单连通空间,即证明了:对于单连通空间X,局部化纤维化序列F→X→Xp又是上纤维化序列,这里Xp是X的p-局部化,p为素数或0.1983年,Alons再将Schiffman的结果推广到幂零空间,即证明了:对于幂零空间X,如果Xp是单连通的,则局部化纤维化序列F→X→Xp又是上纤维化序列.同时,Alonso也给出了纤维化序列又是上纤维化序列的充分必要条件.定理1纤维化序列F→E→B又是上纤维化序列,即诱导映射EUCF→B是同伦等价,当且仅当存在一族素数P,使得同调群(?)(F)和(?)(ΩB)中一个为P-局部的,另一个为P’-挠群,这里P’为P的余集.     

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

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

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多项式.     

SO(2,1)不可分解表示的Boson实现

P.A.M.Dirac曾指出了Lorentz群的一类尚未被人们熟知的表示——不可分解表示(Dirac称之为病态表示)在未来物理学中的重要地位。虽然B.Grnber等已研究了三维Lorentz群的通用覆盖群SU(1,1)和更一般的Poincare群的不可分解表示,但本文将特别注意到李代数的Boson实现,由Heisenberg-Weyl代数的不可分解表示构造SO(2,1)的不可分解表示。     

具有预投射分支的mild代数

本文讨论的代数都是某个固定代数闭域k上的有单位元的有限维结合代数,并且是基本的按照文献[1],一个无限表示型代数A称为mild代数,如果对A的任意非零理想I,有A/I是有限表示型代数.我们知道,如何判别一个代数是有限表示型代数是困难的.所以,通过某种简单的方法得到一大类非平凡的有限表示型代数是有兴趣的.文献[2]给出了所有的具有预     

分离倾斜模

设A是代数闭域k上任一有限维基连通代数,倾斜模(tilting module)A~T称为分离的(separating),如果A~T诱导的rorsion theory(F(A~T),C(A~T))在A-mod中可裂,即任一不可分解A-模或者属于F(A~T),或者属于G(A~T),由于在重复倾斜过程中的应用和作为对倾斜过程中不可分解模损耗的一种度量,分离倾斜模有着特殊的兴趣,例如参见文献[1—     

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阶阵的     

余可裂H-模余代数的结构

Doi从1983年起对可裂H-余模代数进行了系统的研究,并在1986年与Takeuchi一起给出了可裂H-余模代数的结构定理,即,若A为可裂右H-余模代数,则A≌A_(?)#_σH。该结构定理有较强的概括性(例如它推广了群分次环的相应结论),Blattner与Montgomery用此结论来研究交叉积A#_oH.H-余模代数的对偶概念是H-模余代数。Doi也曾讨论过H-模余代数,但始终没有给出余可裂H-模余代数的结构定理。本文先定义交叉余积,并利用交叉余积给出余可裂的H-模余代数的结构定理。定理与可裂余模代数的结构定理有类似的意义。     

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是投射模或平坦模。     

曲线上微分算子环的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)总是为拟遗传代数?     

L-Fuzzy理想的准质L-Fuzzy分解

设L=(L,≤,∨,∧)是一个完全分配格,且有最小元素0和最大元素1,X是一个非空通常集合,L-Fuzzy集是指映射A:X→L.由X上的全体L-Fuzzy集组成的集合记作F_L(X).I_L(X)表示由交换环X的全体L-Fuzzy     

关于一类倾斜代数

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

预投射偏倾斜模的自同态代数

设是有限连通且无有向循环的箭图,是在代数闭域k上的路代数,_AT是预投射倾斜模,令B=End_AT,如果不是Dynkin类的箭图,则称B是隐代数。依照是Euclid图还是野型图之分,分别称B是温顺型和野型隐代数(tame concealed,wild co-     

交叉积Hopf代数的结构

Molnar在文献[1]中用Hopf代数范畴中的可裂及余可裂短正合裂刻画了半直积Hopf代数及其对偶.Radford及Majid分别将其推广成双积(biproduct)及双交叉积(bicrossproduct),前者成为Majid的bosonization定理的一个漂亮例子,后者给出了Drinfel’d的量子偶(Double)的通用构作用.本文从新的角度推广Molnar的构作,研究张量积余代数与交叉积代数结构一起成为双代数以及Hopf代数的条件.设K为域,所论代数、余代数均指域K上的,采用文献[6]中的Sigma记号,但上、下标中省去括号,(?)简记为(?).定义 设H为双代数,B为K上向量空间,若存在双线性映射σ:H(?)H→B和线性映射·:H(?)B→B,满足1)I_H·b=b,2)∑(h_1·(l_1·b))σ(h_2,l_2)=∑σ(h_1,l_1)(h_2l_2·b),(?)b∈B,h,l∈H,则称B为左H(?)扭曲模.若代数B是左H(?)扭曲模且满足3)h·ab=∑(h_1·a)(h_2·b),4)h·1_B=ε_H(h)1_B,(?)h∈H,a,b∈B,则称B为左H(?)扭曲模代数.若余代数B是左H(?)扭曲模且满足3′)△_B(h·b)=∑h_1·b_1(?)h_2·b_2,4′)ε_B(h·b)=ε_H(h)ε_B(b),(?)h∈H,b∈B,则称B为左H(?)扭曲模余代数.若双代数B同时是左H(?)扭曲模代数和左H(?)扭曲模余代数,则称B为左H(?)扭曲模双代数.设H为双代数,B同时是代数和余代数,但不一定是双代数.若B是左H(?)扭曲模