一类广义witt代数自同构导子和2-上同调-automorphism derivations and 2 - cohomology of a class of generalized witt algebras.docxVIP

第一章|司1.1选题背景和研究现状Witt代数首先是指定义在特征为p/=0的域F上的有限维李代数.考虑F代数An=F[x1,···,xn]/(xp,···,xp)，设Vn是An的F导子代数，代数V1通常称为Witt代数，Vn(n≥1n2)通常称为分裂的Jacobson-Witt代数.Vn的维数是npn.代数Vn是单的李代数，除非它是2维的.如果把有限域换成无限域(通常假设域的特征为0)，那么代数An的导子代数自然是无限维李代数.这类无限维李代数被人们广泛研究.另一个被广泛研究的无限维李代数是Virasoro代数.考虑C上的李代数，记为Vir，带有基Ln(n∈Z),c和下述交换关系[Lm,Ln]=(m?n)Lm+n+δm,?n?m3mn∈c,[c,L]=0,m,nZ.12由于C\{0}上的向量场dn=?zn+1d/dz(n∈Z)满足关系[dm,dn]=(m?n)dm+n，所以李代数Vir是具有有限Laurent级数的有孔复平面上全纯向量场的李代数的泛中心扩张.由于这个原因，Virasoro代数在共形场论中起关键作用.另一方面，令z=exp(iθ)，这里θ是单位圆周S1的参数，得到dn=ieinθd/dθ.因而S1上向量场的李代数是由在反线性对合Ln?→L?n,c?→c下不动的元素组成的李代数Vir/Cc的实型.因此，Virasoro代数与S1的微分同胚群的表示理论，么拟群的表示理论及仿射Kac-Moody代数密切相关.Virasoro代数的表示论在数学和理论物理学中有大量应用.最有趣的是Virasoro代数在复向量空间的正能量表示，由c的作用为纯量来定义，记作同一字母c(称为中心电荷)，而L0(能量算子)可对角化，特征空间的维数有限，实数谱有下界:V=自j形式级数chV=?j(dimVj)qj.≥j0Vj.这样一个表示的特征标是特征为0的域F上无限维李代数的自同构，导子和2-上同调群己经被许多学者研究了.在文献[7]中，Farnsteiner讨论了有限生成分次李代数的导子和中心扩张(即2-上同调)，而且他还给出了Kac-Moody代数的导子和中心扩张.在文献[10]和[11]中，姜翠波和孟道骥研究了量子平面的导子代数及其自同构群，此外还讨论了Virasoro-like代数的自同构群.在文献[35],[17]和[2]中，谭绍缤教授及其学生研究了由量子环面得到的李代数的自同构，导子和中心扩张.在文献[23]中，Passman定义了一类广义的Witt型李代数A??，其中A是域F上的一个交换的结合代数，?是由A的交换的F?导子构成的非零向量空间.A??中的李括积定义为:[α1?1,α2?2]=α1?1(α2)?2?α2?2(α1)?1α1,α2∈A,?1,?2∈?.在这篇文章中，他还给出了A??是单的充分必要条件.一些学者对这类李代数的某些特殊情况讨论了它的自同构和导子.例如:在文献[24]和[8]中，Grabowski和Rudakov研究了当A=F[x]时，A??的自同构.在文献[3]和[13]中，Dokovic′和赵开明，以及Kawamoto研究了当A是Laurent多项式代数时，A??的自同构.在文献[33]中，徐小平用分次算子和降次算子的混合构造了四类新的广义Cartan型单李代数.在文献[25]中，苏育才等人用一个交换的结合代数A和一个有限维局部有限交换导子代数D(其中A关于导子代数D是D-单的)构造了广义单李代数，而且发现由Passman决定的广义Witt型单李代数与徐小平的显式构造在局部有限的条件下本质上是一样的，此外他们还决定了这类广义Witt型单李代数的同构分类.在文献[14]中，Kawamoto等人研究了广义Witt型李代数A??，这里A=F[x,ex]，dxF[x,e±x],F[x±1,ex]和F[x±1,e±x]，?是由?=d生成的域F上的一维向量空间.这些李代数被Kawamoto等人分别记为W[x,ex],W[x,e±x],W[x±1,ex]和W[x±1,e±x].李代数W[x,e±x]和W[x±1,e±x]是单的，而W[x,ex]和W[x±1,ex]不是单的.在这篇文章中，Ka-wamoto决定了李代数W[x,ex]和W[x,e±x]的自同构.这四个李代数都不同于Dokovic′和赵开明所研究的李代数，因为后者有ad-半单元，而前者没有.李代数W[x,ex]和W[x,e±x]是徐小平和苏育才所讨论的特殊情况.然而，W[x±1,ex]和W[x±1,e±x]不同于苏育才所讨论的情况，这是由于这时导子?不是局部有限的.此外，结合代数F[x±1,ex]和F[x±1,e±x]不满足徐小平在文献[33]中的定义2.1的(2.2)式，因此W[x±1,ex]和W[x±1,e±x]也不同于徐小平所定义的广义Witt代数.1.2