-
在本文中,
$\mathbb{Z}$ 表示整数集,$\mathbb{C}$ 表示复数域,所有的模(向量空间)都定义在$\mathbb{C}$ 上.令L是结合代数,若映射ψ:L→L满足ψ(x)x = xψ(x)(∀x∈L),则称ψ是交换的.结合代数上的交换映射理论有较长的历史,具有丰富的结果,应用于如李代数等许多领域.记
李代数上的交换映射ψ也可定义为[ψ(x),x] = 0(∀x∈L)[1-2].将交换映射推广到李超代数上,分成标准和非标准的[3-4].如超Virasoro代数上的所有线性超交换映射是标准的[3].
在研究顶点算子代数时产生的W-代数W(2,2),在物理理论以及数学的许多领域起重要作用[5],其作为复数域上的向量空间,有基
$\left\{L_{m}, I_{m} | m \in \mathbb{Z}\right\}$ ,并满足如下李括号:已有许多关于W(2,2)的结构与表示的研究成果[5-10].形变超W-代数Wts(2,2)[11](下面简记为
$\widetilde{W}$ )的偶部分是W(2,2).$\widetilde{W}$ 是复数域上的向量空间,其基$\left\{L_{m}, I_{m}, G_{p}, H_{p} | m \in \mathbb{Z}, p \in s+\mathbb{Z}\right\}$ 满足如下关系式(未出现的为0):其中s = 0,
$\frac{1}{2}, t \in \mathbb{C}$ .双导子是研究结合代数或李代数上交换映射的有效工具[12-13].对于结合超代数和李超代数,超双导子起同样重要的作用[3-4,14].超双导子分为内导子和非内导子,如超Virasoro代数上的所有超双导子是超双内导子[3].注意到对L中的齐次元x,y,有|φ(x,y)| = |x|+|y|.
本文考虑
$\widetilde{W}$ 上的超双导子和超交换映射.证明$\widetilde{W}$ 上的超斜对称超双导子存在非内导子.基于此结果,得到此代数上的线性超交换映射是非标准的.这个结果有别于文献[3,14].引理1
$\forall L_{m}, L_{n} \in \widetilde{W}, m, n \in \mathbb{Z}$ ,存在λ1,λ2∈$\mathbb{C}$ ,使得证 因为|φ(Lm,Ln)| = |Lm|+|Ln| = 0,所以可设
其中
$a_{a}^{(1)}\in \mathbb{C}, b_{\beta }^{(1)}\in \mathbb{C}$ .当m = n时,[Lm,Ln] = 0,由文献[3]中引理2.2得φ(Lm,Ln)∈Z(
$\widetilde{W}$ ) = 0.下设m≠n,由文献[3]中引理2.2有因此
从而:
所以当α≠m+n时,aα(1) = 0;当β≠m+n时,bβ(1) = 0.故
由文献[3]中引理2.1有
可得
由k的任意性,从而:
因此:
分别令a1(1) = λ1,b1(1) = λ2,引理1得证.
引理2
$\forall L_{m}, I_{n} \in \widetilde{W}, m, n \in \mathbb{Z}$ ,则$\varphi\left(L_{m}, I_{n}\right) = \lambda_{1}(m-n) I_{m+n} = \lambda_{1}\left[L_{m}, I_{n}\right]$ .证 因为|φ(Lm,In)| = |Lm|+|In| = 0,所以可设
其中
$a_{a}^{(2)}\in \mathbb{C}, b_{\beta }^{(2)}\in \mathbb{C}$ .当m = n时,[Lm,In] = 0,从而φ(Lm,In)∈Z(
$\widetilde{W}$ ) = 0.下设m≠n,由因此
从而当α≠m+n时,aα(2) = 0.故
$\varphi\left(L_{m}, I_{n}\right) = a_{m+n}^{(2)} L_{m+n}+\sum\limits_{\beta \in \mathbb{Z}} b_{\beta}^{(2)} I_{\beta}$ .又由
可得
因此am+n(2) = 0,且当β≠m+n时,bβ(2) = 0.由k的任意性,从而bm+n(2) = λ1(m-n).引理2得证.
引理3
$\forall G_{r}, G_{s} \in \widetilde{W}$ ,r,s∈$\mathbb{Z}$ 或$r, s \in \frac{1}{2}+\mathbb{Z}$ ,则$\varphi\left(G_{r}, G_{s}\right) = \lambda_{1} I_{r+s} = \lambda_{1}\left[G_{r}, G_{s}\right]$ .证 因为|φ(Gr,Gs)| = |Gr|+|Gs| = 0,所以可设
其中
$a_{a}^{(3)}\in \mathbb{C}, b_{\beta }^{(3)}\in \mathbb{C}$ .由[φ(Gr,Gs),[Gr,Gs]] = 0,因此从而当α≠r+s时,aα(3) = 0.故
$\varphi\left(G_{r}, G_{s}\right) = a_{r+s}^{(3)} L_{r+s}+\sum\limits_{\beta \in \mathbb{Z}} b_{\beta}^{(2)} I_{\beta}$ .又由
可得
因此ar+s(3) = 0,且当β≠r+s时,bβ(3) = 0.由k的任意性,从而br+s(3) = λ1.所以φ(Gr,Gs) = λ1Ir+s.
引理4
$\forall L_{m}, H_{p} \in \widetilde{W}, m \in \mathbb{Z}, p \in \mathbb{Z}$ 或$p \in \frac{1}{2}+\mathbb{Z}$ ,则$\varphi\left(L_{m}, H_{p}\right) = \lambda_{1}\left(\frac{m}{2}-p\right) H_{m+p} = \lambda_{1}\left[L_{m}, H_{\rho}\right]$ .证 因为|φ(Lm,Hp)| = |Lm|+|Hp| = 1,所以可设
其中
$a_{a}^{(4)}\in \mathbb{C}, b_{\beta }^{(4)}\in \mathbb{C}$ .当ε = 0时,由
可得
因此aα(4) = 0,且当β≠m+p时,bβ(4) = 0,
$b_{m+p}^{(4)} = \lambda_{1}\left(\frac{m}{2}-p\right)$ .所以当ε = 1时,由
可得
因此aα(4) = 0,且当β≠m+p时,bβ(4) = 0,
$b_{m+p}^{(4)} = \lambda_{1}\left(\frac{m}{2}-p\right)$ .所以引理5
$\forall L_{m}, G_{r} \in \widetilde{W}, m \in \mathbb{Z}, r \in \mathbb{Z}$ 或$r \in \frac{1}{2}+\mathbb{Z}$ ,则证 因为|φ(Lm,Gr)| = |Lm|+|Gr| = 1,所以可设
其中
$a_{a}^{(5)}\in \mathbb{C}, b_{\beta }^{(5)}\in \mathbb{C}$ .当ε = 0时,由
可得
所以:
因此当α≠m+r时,
$a_{\alpha}^{(5)} = 0, a_{m+r}^{(5)} = \lambda_{1}\left(\frac{m}{2}-r\right)$ .代入(1)式,则当β≠m+r时,bβ(5) = 0,且即
$b_{m+r}^{(5)} = \lambda_{2}(m-2 r)+\lambda_{1} t(m+1)$ .所以当ε = 1时,由
可得
所以:
因此当α≠m+r时,
$a_{\alpha}^{(5)} = 0, a_{m+r}^{(5)} = \lambda_{1}\left(\frac{m}{2}-r\right)$ .代入(3)式,则当β≠m+r时,bβ(5) = 0,且即
$b_{m+r}^{(5)} = \lambda_{2}(m-2 r)+\lambda_{1} t(m+1)$ .所以引理6
$\forall I_{m}, G_{r} \in \widetilde{W}, m \in \mathbb{Z}, r \in \mathbb{Z}$ 或$r \in \frac{1}{2}+\mathbb{Z}$ ,则$\varphi\left(I_{m}, G_{r}\right) = \lambda_{1}(m-2 r) H_{m+r} = \lambda_{1}\left[I_{m}, G_{r}\right]$ .证明过程类似于引理4.
定理1 如果φ是
$\widetilde{W}$ 上的超斜对称超双导子,则φ有如下形式:其中λ1,λ2∈
$\mathbb{C}$ ,φ0是上的双线性映射.证 构造
$\widetilde{W}$ 上的双线性映射φ0,满足如下条件:其中
$m, n \in \mathbb{Z}, r \in \frac{\varepsilon}{2}+\mathbb{Z}, \varepsilon = 0, 1, (x, y)$ 是除了(Lm,Ln)和(Lm,Gr)的其它基对.易证φ0是
$\widetilde{W}$ 上的非内导子.若[x,y] = 0,则由文献[3]的引理2.2及φ0的定义可得结论.若[x,y]≠0,则由引理1-6,可得结论.定理2 设ψ是
$\widetilde{W}$ 上的超交换映射,则ψ有如下形式其中λ∈
$\mathbb{C}$ ,ψ0是$\widetilde{W}$ 上的线性映射.从而$\widetilde{W}$ 上的线性超交换映射是非标准的.证 设ψ是
$\widetilde{W}$ 上的线性超交换映射.定义φ:$\varphi : G \times G \longrightarrow G, \varphi(x, y) \longmapsto[\psi(x), y](x, y \in G)$ .注意到φ保持G上的Z2-阶,而且即φ相对第二个元素是超导子.因为ψ是线性超交换映射,所以[ψ(x),y] = (-1)|x||y|[x,ψ(y)],因此φ相对第一个元素也是超导子.所以φ是
$\widetilde{W}$ 上的超双导子.又由φ的定义,它是超斜对称的.这样,φ是$\widetilde{W}$ 上的超斜对称的超双导子.由定理1,存在λ1,λ2∈$\mathbb{C}$ ,使得由φ的定义,因此
引入
$\widetilde{W}$ 上的辅助线性映射ψ0,满足如下条件:其中m∈
$\mathbb{Z}$ ,x是异于Lm的基.从而由(4)式有
因为
$\widetilde{W}$ 无中心,所以进一步地,在(5)式中取x = Gr,由[ψ(Gr),Gr] = 0,可得λ1 = 0.记λ2为λ,从而定理2得证.
Super-Biderivations and Super-Commuting Maps on a Class of Deformative Super W-Algebras
-
摘要: 设$\widetilde{W}$是一类形变超W-代数Wts(2,2).首先确定$\widetilde{W}$上的超斜对称双导子,证明了非内导子的存在性.进一步得到$\widetilde{W}$上的线性超交换映射是非标准的.Abstract: In this paper, we first determine all the super-skewsymmetric super-biderivations of a class of deformative super W-algebras WtS(2, 2). We have proved that there exist non-inner super-biderivations of the algebras. Based on the result of super-biderivations, the result shows that every linear super-commuting maps on thealgebras are non-standard.
-
Key words:
- deformative super W-algebras /
- super-biderivation /
- skew-symmetric /
- super-commuting map .
-
-
[1] WANG D Y, YU X X.Biderivations and Linear Commuting Maps on the Schrödinger-Virasoro Lie Algebra[J]. Communications in Algebra, 2013, 41(6):2166-2173. doi: 10.1080/00927872.2012.654551 [2] doi: http://www.wanfangdata.com.cn/details/detail.do?_type=perio&id=679edc310472d98ae2577edc61ccc68d HAN X, WANG D Y, XIA C G. Linear Commuting Maps and Biderivations on the Lie Algebra W(a, b)[J]. J Lie Theory, 2016, 26:777-786. [3] XIA C G, WANG D Y, HAN X. Linear Super-Commuting Maps and Super-Biderivations on the Super-Virasoro Algebras[J]. Communications in Algebra, 2016, 44(12):5342-5350. doi: 10.1080/00927872.2016.1172617 [4] FAN G, DAI X. Super-Biderivations of Lie Superalgebras[J]. Linear and Multilinear algebra, 2017, 65:58-66. doi: 10.1080/03081087.2016.1167815 [5] ZHANG W, DONG C. W-Algebra W(2, 2) and the Vertex Operator Algebra $L\left(\frac{1}{2}, 0\right) \otimes L\left(\frac{1}{2}, 0\right)$[J]. CommunMath Phys, 2008,285(3):991-1004. [6] doi: http://www.wanfangdata.com.cn/details/detail.do?_type=perio&id=a09b281791b359aa0f36470fc8c01232 CHEN H J, LI J B. Left-Symmetric Algebra Structures on the W-Algebra W(2, 2)[J]. Linear Algebra Appl, 2012,437(2):1821-1834. [7] JIANG W, PEI Y. On the Structure of Verma Modules Over the W-Algebra W(2, 2)[J]. J MathPhys, 2010, 51:1-8. [8] doi: http://d.old.wanfangdata.com.cn/OAPaper/oai_arXiv.org_0801.2603 LIU D, GAO S L, ZHU L S. Classification of Irreducible Weight Modules Over W-Algebra W(2, 2)[J].J Math Phys, 2008, 49:1-6. [9] LI J B, SU Y C, XIN B. Lie Bialgebras of a Family of Lie Algebras of Block Type[J]. Chinese Annals of Mathematics (Ser B), 2008, 29(5):487-500. doi: 10.1007/s11401-007-0447-x [10] ZHANG X F, TAN S B. θ-Unitary Representations for the W-Algebra W(2, 2)[J]. Linear Multilinear Alg, 2012, 60(5):533-543. doi: 10.1080/03081087.2011.611944 [11] doi: http://www.wanfangdata.com.cn/details/detail.do?_type=perio&id=751a97152fdce750736423013bea4eab WANG Y, CHEN Z Q, BAI C M. Classification of Balinsky-Novikov Superalgebras with Dimension 2|2[J]. JPhys(A), 2012, 45(10):201-225. [12] doi: https://repository.uwyo.edu/cgi/viewcontent.cgi?article=3100&context=ela CHEN Z X. Biderivations and Linear Commuting Maps on Simple Generalized Witt Algebras Over a Field[J]. Electronic Journal of Linear Algebra, 2016, 31(1):1-12. [13] TANG X M, ZHONG Y. Biderivations of the Planar Galilean Conformal Algebra and Their Applications[J]. Linear and Multilinear Algebra, 2018, 67(3):1-11. [14] CHENG X, SUN J C. Super-Biderivations and Linear Super-Commuting Maps on the N = 2 Superconformal Algebra[J]. Mathematics and Statistics, 2018, 48(4):1-13. -
计量
- 文章访问数: 1004
- HTML全文浏览数: 711
- PDF下载数: 59
- 施引文献: 0