N=2的Loop Ramond超共型代數的導子和自同構

付佳媛，張志蘭

(中國傳媒大學理學院，北京100024)

N=2的Loop Ramond超共型代數的導子和自同構

付佳媛，張志蘭

(中國傳媒大學理學院，北京100024)

給出了N=2的Loop Ramond超共型代數RL的定義，并進一步確定了其導子代數和自同構群.

N=2的Loop Ramond超共型代數；導子；自同構群

1 預備知識

超共型代數是近些年新興的一類李超代數.Kac等[1-2]已經給出了超共型代數的所有分類.對于N=2 的超共型代數，目前也有了一些研究結果.[2-5]文獻[6]給出了N=2 Ramond超共型代數中間序列模的分類.

李超代數運算定義如下：

[Litk，Ljtl]=(i-j)Li+jtk+l， [Hitk，Hjtl]=0，

(1)

2 RL的導子代數

記RL的導子代數為DerRL，內導子代數為adRL.易知

(DerRL)i={D∈DerRL|D(RL)j?(RL)i+j，j∈Z}.

對于Di∈(DerRL)i，稱Di為i次齊次導子.不難證明下面結論：

引理2.1 對任意的D∈DerRL，則D有如下形式：

這里Di∈(DerRL)i，且對任意的x∈RL，只有有限個i∈Z使得Di(x)≠0.

引理2.2 對任意的i≠0，D∈(DerRL)i是內導子.

D(Litk)=Litkfi，k(t)，D(Hitk)=Hitkfi，k(t)，

(2)

D(Xitk)=Xitkfi，k(t)，

D(X0t)=0，

即f0，1(t)=0.令f1，0(t)=f(t)∈F[t，t-1]，則fi，k(t)=if(t)，因此

D(Xitk)=iXitkf(t).

顯然D=-ad(L0f(t))∈adRL，從而得到下面引理.

D=ad(L0f(t)+H0g(t))=Dρ，

即ρ(tk)=itk(-f(t)±g(t))，從而g(t)=0.令k=0，則-if(t)=ρ(1)=0，i∈Z，即D=0.

綜上，有下面結論成立.

3 RL的自同構群

記RL的自同構群為AutRL，則L0，H0是RL的ad-局部有限元，從而下面結論成立.

引理3.1σ(L0)，σ(H0)∈spanF{L0，H0}，?σ∈AutRL.

令σ(L0)=a1L0+a2H0，σ(H0)=b1L0+b2H0，則可求出a1=±1.將σ作用在[H0，Hitk]=0上可求得b1=0.故上式可改寫為

σ(L0)=±L0+aH0，σ(H0)=bH0.

(3)

對于映射η：Z×Z→F[t，t-1]，記η(i，k)=ηi，k(t)∈F[t，t-1]，Finv[t，t-1]為F[t，t-1]中可逆多項式集.易知Finv[t，t-1]是一個乘法群.

引理3.2 對任意的σ∈AutRL，存在η∈Hom(Z×Z，F[t，t-1])，ε，ξ∈{±1}，a∈F，q(t)∈Finv[t，t-1]，使得：

σ(Litk)=ηi，k(t)(εLεi+aHεi)，σ(Hitk)=ξηi，k(t)Hεi，

(4)

其中ηi，k(t)∈F[t，t-1]滿足η0，0(t)=1，且ηi+j，k+l(t)=ηi，k(t)ηj，l(t)，?i，j，k，l∈Z.

證明分情況證明此命題.

情形1σ(L0)=L0+aH0.

σ(Litk)=Liηi，k(t)+aHiηi，k(t)，σ(Hitk)=Hiηi，k(t)，

其中ηi+j，k+l(t)=ηi，k(t)ηj.l(t)，η0，0(t)=1，a∈F，p(t)∈Finv[t，t-1].

σ(Litk)=Liηi，k(t)+aHiηi，k(t)，σ(Hitk)=-Hiηi，k(t)，

其中ηi+j，k+l(t)=ηi，k(t)ηj，l(t)，η0，0(t)=1，a∈F，q(t)∈Finv[t，t-1].

用類似方法可討論a=-1的情況.

情形2σ(L0)=-L0+aH0.

子情形2.1

σ(Litk)=-L-iηi，k(t)+aH-iηi，k(t)，σ(Hitk)=H-iηi，k(t)，

這里ηi+j，k+l(t)=ηi，k(t)ηj，l(t)，η0，0(t)=1，a∈F，p(t)∈Finv[t，t-1].

子情形2.2

σ(Litk)=-L-iηi，k(t)+aH-iηi，k(t)，σ(Hitk)=-H-iηi，k(t)，

這里ηi+j，k+l(t)=ηi，k(t)ηj，l(t)，η0，0(t)=1，a∈F，q(t)∈Finv[t，t-1].

記Hom(Z×Z，F*)為加群Z×Z到乘群F*的同態，μθ為其單位元.記Hom(Z×Z，F)為Z×Z到F的加群同態，νθ為其單位元.

若ηi，k(t)∈F[t，t-1]，滿足ηi+j，k+l(t)=ηi，k(t)+ηj，l(t)以及η0，0(t)=1，易知

ηi，k(t)=μ(i，k)tν(i，k)∈Finv[t，t-1]，

其中μ∈Hom(Z×Z，F*)，ν∈Hom(Z×Z，F).由引理3.2，

AutRL={σ(μ，ν，ε，ξ，a，q(t))|μ∈Hom(Z×Z，F*)，ν∈Hom(Z×Z，F)，

ε，ξ∈AutZ，a∈F，q(t)∈Finv[t，t-1]}，

AutRL的單位元是σ(μθ，νθ，1，1，0，1)，并且

其中

μ(i，k)=μ2(i，k)μ1(ε2i，ν2(i，k))，ν(i，k)=ν1(ε2i，ν2(i，k)).

(5)

易證μ∈Hom(Z×Z，F*)，ν∈Hom(Z×Z，F).

令τ=〈σ(μ，ν，1，1，a，q(t))|σ∈AutRL〉，易證τ是AutRL的自同構群，從而有如下定理：

定理3.1 (1) AutRL同構于

Hom(Z×Z，F*)×Hom(Z×Z，F)×AutZ×AutZ×F×Finv[t，t-1]；

[1] KAC V G，VAN DE LEUER.On classification of superconformal Algebras[M].Singapore：World Scientific，1988：1-30.

[2] CHENG S，KAC VG.A newN=6 superconformal algebra[J].Comm Math Phys，1997，186：219-231.

[3] DORRZAPF M.Superconformal field theories and their representations [D].Cambridge：University of Cambridge，1995.

[4] DORRZAPF M.The embedding structure of unitaryN=2 minimal model [J].Nucl Phys B，1998，529：639-655.

[5] FU J Y，JIANG Q F，SU Y C.Classification of modules of intermediate series over RamondN=2 supercomformal algebras [J].J Math Phy，2007，48(4)：105-110.

[6] KIRITSIS E.Character formula and the structure of the represetations of theN=1，N=2 superconformal algebras [J].Int J Mod Phys A，1988，3：1871-1906.

(責任編輯：李亞軍)

DerivationandautomorphismgroupofLoopRamondN=2superconformalalgebra

FU Jia-yuan，ZHANG Zhi-lan

(School of Science，Communication University of China，Beijing 100024，China)

The definition of the Loop RamondN=2 superconformal algebras is proposed.The derivation algebra and the automorphism group are investigated.

Loop RamondN=2 superconformal algebra；derivation；automorphism group

1000-1832(2017)03-0001-04

10.16163/j.cnki.22-1123/n.2017.03.001

2015-12-01

國家自然科學基金資助項目(11271056).

付佳媛(1978—)，女，博士，副教授，主要從事李(超)代數研究；通信作者：張志蘭(1989—)，女，碩士，主要從事李(超)代數研究.

O 152.5 [學科代碼] 110·21

A