1. 引言
Virasoro代数是一个特征零域上的无限维李代数,在二维共形量子场理论中具有重要作用,受到数学家和物理学家的关注。超Virasoro代数,也称作N = 1超共形代数(见 [1] ),可以看成是Virasoro代数的非平凡Z2扩张。这样的扩张主要有两种,它们分别是Ramond代数和Neveu-Schwarz代数。这两类代数在超弦理论和超共形场理论中有着密切的联系和重要的应用(见 [2] [3] )。确定超Virasoro代数上的其它代数结构问题是李代数研究中比较有意义的一项工作,论文 [4] 和 [5] 分别研究了超Virasoro代数上的左超对称代数结构和李超双代数结构。
Poisson代数源于Poisson几何的研究,具有代数结构和李代数结构,乘法与李代数乘法之间满足Leibniz法则。近来许多人研究了结合的Poisson代数结构问题,如姚裕丰等研究了Witt代数和Virasoro代数上的Poisson代数结构 [6] ,靳全勤和佟洁在文 [7] [8] 中研究了Toroidal李代数等代数上的结合Poisson代数结构。
目前,非交换、非结合的Poisson代数的研究较少。近来部分论文研究了Kac-Moody李代数,W(2,2)以及扭Heisenberg-Virasoro代数上的非交换、非结合的Poisson代数结构(见 [9] - [16] )。本文在 [10] [11] 的基础上研究超Virasoro代数的Poisson超代数结构。本文的研究对进一步研究N = 2超共形代数上的Poisson超代数结构有较大帮助。
在本文中,
表示整数环,
表示复数域,所有的代数(向量空间)都定义在
上。
2. 预备知识
本节主要介绍相关超Virasoro代数以及Poisson超代数的相关概念。
定义1.2 [1] :令
,则超Virasoro代数是指作为
上的向量空间有一组基
,且满足如下关系式:
其中向量空间
,偶子空间
,奇子空间
,显然,N = 1超共形代数
的偶部分
是Virasoro代数。
是
-阶化的:
。当
时,
;当
时,对任意
,
及
。其Cantar子代数为
。
记
为
关于理想
的商代数,则
为李超代数
的普遍中心扩张 [14] 。
定义1.3 [9] :域
上的Poisson超代数
是指
上的一个向量空间A,同时具代数乘法∗以及李超代数乘法[−, −],且满足如下的Leibniz法则:
(2.1)
如果乘法∗满足结合律,则称Poisson超代数A是结合的;如果乘法∗满足超交换律,则称Poisson超代数A是超交换的。
超Virasoro代数的偶部分Virasoro代数
的Poisson代数结构由 [10] 给出。
引理1.1 [10] :Virasoro代数
上的任何Poisson代数结构都具有如下形式:
(2.2)
其余为零,其中
。
3. 李超代数
上的Poisson超代数结构
本节主要讨论李超代数
上的Poisson超代数结构。
引理3.1:若在李超代数
上存在一个代数乘积∗使得
成为一个Poisson代数,则有
.
证明:对于任意的
有
即
。因此对任意的
,都有
。
定理3.1:
上的任何Poisson代数结构都满足如下形式:
其中
为任意常数,
。
证明:情形一:主要讨论
情形。
类似。
由引理2.1及引理3.1可设,
其中
。
下面我们分四步,可计算出系数
与
的关系:
步骤1:由于,
整理可得
(3.1)
在(3.1)中取
,有
。于是,
故
(3.2)
其中
。
步骤2:由于
,整理得
(3.3)
在(3.2)式中取
,有
于是,
故
(3.4)
其中
。
步骤3:由
,可得
(3.5)
在(3.5)中取
再根据(3.2),(3.4)得
。
在(3.5)中取
再根据(3.2),(3.4)得
。
可得
,从而
(3.6)
步骤4:根据
,整理得
(3.7)
在(3.7)中取
,再根据(3.2),(3.6)得
通过上述讨论可知
上的任何Poisson代数结构形式如下所示:
其中
为任意常数,
,
。
4. 超Virasoro代数上的Poisson超结构
根据上节内容,本节主要确定超Virasoro代数
上的Poisson超代数结构。
定理4.1:超Virasoro代数上的任何Poisson代数结构都具有如下形式
(4.1)
(4.2)
(4.3)
其余为零,其中
。
证明:下面分三个步骤来确定
上的Poisson乘法结构。
步骤1:确定元素
之间的Poisson乘法结构,分两种情形进行讨论。
根据引理2.1,我们能得到元素
之间的Poisson乘法结构满足上述结论。其余的Poisson超代数结构分两种情形进行讨论。
情形1:当
时,由定理3.1得
上的任何Poisson代数结构满足(4.1)~(4.3)。
情形2:当
时,根据引理3.1及定理3.1可假设
再根据等式
我们有
(4.4)
在(4.4)式中取
,可得
由此可知,
步骤2:确定
与中心元素C之间的Poisson乘法结构。注意到
因此我们有
类似地,由下列等式
可得对任意的
,都有
步骤3:由 [11] 可知,中心元素C之间的Poisson乘法结构:
从定理4.1看出,超Virasoro代数上任一Poisson代数结构“*”都是其换位运算的常数倍,因此有:
推论4.1:N = 1超共形代数上没有非平凡的结合的Poisson代数结构。
基金项目
国家自然科学基金项目(Nos. 11871249, 11371134);浙江省自然科学基金项目(No. LZ14A010001)。