張悅,王偉
(寧夏大學數(shù)學統(tǒng)計學院,寧夏 銀川 750021)
一類無限維李代數(shù)的二上同調(diào)群
張悅,王偉
(寧夏大學數(shù)學統(tǒng)計學院,寧夏 銀川 750021)
通過計算,得到了一類無限維李代數(shù)的二上同調(diào)群和Leibniz二上同調(diào)群,這類李代數(shù)包含無中心的Virasoro子代數(shù).
Virasoro代數(shù);二上循環(huán);二上同調(diào)群
Virasoro代數(shù)[1]是一類重要的無限維李代數(shù),它可以看成復數(shù)域上的Laurent多項式代數(shù)的導子李代數(shù),其結(jié)構(gòu)和表示理論在理論物理中有著重要的運用.當前,研究與Virasoro代數(shù)相關(guān)的無限維李代數(shù)的結(jié)構(gòu)和表示是李理論研究的熱點問題.此外,利用Virasoro代數(shù)本身和它的表示可以構(gòu)造一些新的更大的李代數(shù),這樣很自然地出現(xiàn)了許多建立在Virasoro代數(shù)基礎(chǔ)之上的代數(shù)結(jié)構(gòu)[2-3].
本文主要研究了一類無限維李代數(shù)L,它具有復數(shù)域?上的一組基{Lm,Gi,m|i∈12?,m∈?},滿足的方括號運算為
可以看出,李代數(shù)L包含無中心的Virasoro子代數(shù).令,這里那么W是無中心的Virasoro代數(shù),G是W的伴隨模,它們都是李代數(shù)L的?-分次李子代數(shù).
二上同調(diào)群在研究李代數(shù)的中心擴張時起著重要作用,可以用來構(gòu)造仿射李代數(shù)等許多重要的無限維李代數(shù),同時二上同調(diào)群與李代數(shù)的結(jié)構(gòu)息息相關(guān),因而對二上同調(diào)群的研究倍受數(shù)學工作者的關(guān)注[2-6].
首先回顧一些基本概念.李代數(shù)L的一個中心擴張是一個二元組,其中是一個李代數(shù),是一個滿同態(tài),滿足Kerπ包含于的中心.當是一個完備李代數(shù)時,二元組稱為L的一個覆蓋.如果對L的每一個中心擴張,都存在唯一的李代數(shù)同態(tài)的一個泛中心擴張.
稱這樣的二上循環(huán)為L的二上邊緣或平凡的二上循環(huán).記L上的有二上邊緣所構(gòu)成的向量空間為如果φ-ψ是一個平凡的二上循環(huán),則稱二上循環(huán)φ和ψ等價.記[ψ]為所有與二上循環(huán)ψ等價的等價類,由所有這樣的等價類構(gòu)成的商空間
稱為L的二上同調(diào)群.
下面我們來確定L上的所有2-上循環(huán).設?為L上的一個2-上循環(huán),通過?定義一個?-線性函數(shù)f:L→?,
設φ=?-?f,其中?f是由(1)定義.既然所有的Ln生成無中心的Virasoro代數(shù),因此存在某個cL∈?,使得到
另一方面,利用(2)和(3),可以推出
引理2.1對任意的存在,使得
證明對三元組使用Jacobi恒等式得
在(5)中取j=m=0,可得
因此,由(4)和(6)可以推出
在(5)中,令n=1,m=-1,可以得到
進一步,在(8)中取i=0,可得到
因此,由(10)得
在(12)中取l=-1,并令k=-i+1,可以推出
在(12)中,取l=-1,用-i+2代替k,用i-1代替i,可得
在(12)中,令l=-2,用-i+2代替k,有
引理2.2存在,使得
證明對三元組(Gi,n,Gj,m,Gk,l)使用Jacobi等式,可以推出
在(18)中,取k=l=0,得到
另一方面,在(5)中,取k=0,并用-n代替m,可以推出
在(18)中,取l,k=-1,用1-n代替m,以及1-i代替j,可以得到
在(18)中,取l,k=-2,用2-n代替m,以及2-i代替j,可得
在(18)中,取m,j=-1,用i-1代替i,n-1代替n,以及2-n代替l,可以推出
此時,利用(24)~(26),可以推得
引理2.3可以得到c1=0,這里c1由引理2.1定義.
證明引理2.2給出了進一步,在(10)中,取k=1,j=-1,可得
通過上面的這些引理,我們可以得到如下定理.
定理2.4對任意的定義
注2.1通過上面的推理過程可以看出,李代數(shù)L的二上同調(diào)群就是它的Leibniz二上同調(diào)群[7],它們是一致的.
根據(jù)定理2.4以及注2.1可知L即是L的泛中心擴張,也是L的Leibniz泛中心擴張.
[1]SU YC.A Classification of IndecomposableModules and a Conjecture of Kac on Irreducible Modules over the VirasoroAlgebra[J]. JAlgebra,1993,161(1):33-46.
[2]LI JB.2-Cocycles of Twisted Deformative Schr?dinger-Virasoro Algebras[J].Communications in Algebra,2012,40(6):1933-1950.
[3]WANGW,LIJB,XINB.CentralExtensionsandDerivationsofGeneralizedSchr?dinger-VirasoroAlgebras[J].2012,19(4):735-744.
[4]LI W L.2-Cocycles on the algebra of differential operations[J].J Algebra,1989,122(1):64-80.
[5]白瑞蒲,張艷艷,孟道驥.n-李代數(shù)的中心擴張[J].數(shù)學年刊,2006,27A(4):491-502.
[6]李軍波,鄭曉燕,李志強.Heisenberg-Virasoro代數(shù)的二上同調(diào)群[J].常熟理工學院學報,2009,23(8):12-14.
[7]WANG Q,TAN SB.Leibniz Central Extension on a Block Lie Algebra[J].Algebra Colloquium,2007,14(4):713-720.
The Second Cohomology Group of a Class of Infinite Dimensional Lie Algebras
ZHANG Yue,WANG Wei
(School of Mathematics and Statistics,Ningxia University,Ningxia 750021,China)
A class of infinite dimensional Lie algebras is discussed,which contains the centerless Virasoro subalgebra.In this paper,the second cohomology group and the second Leibniz cohomology group of this kind of Lie algebras are obtained.
Virasoro algebra;2-cocycle;second cohomology group
O152.5
A
1008-2794(2017)02-0074-04
2016-07-14
國家自然科學基金項目“幾類(李、左對稱)共形(雙)代數(shù)的結(jié)構(gòu)和表示”(11661063)
張悅,碩士研究生,研究方向:李代數(shù),E-mail:14795097693@163.com.