1. 引言
众所周知,Virasoro代数是一类非常重要的无限维李代数,它在数学、物理等众多领域有着重要应用,曾有大量文献对Virasoro代数及其广义、超代数(N = 1共形代数)情形,类似及其中间序列模等进行研究 [1] - [6]。同时,也存在不同的广义(无中心)的Virasoro代数 [7] [8],文 [7] 研究了Loop-Virasoro代数,给出了在Loop-Virasoro代数上不可约Harish-Chandra模的分类。文 [8] 研究了广义Loop无中心的Virasoro代数的导子代数,自同构群和第二同调群。对李代数导子的研究是李理论中一个重要的课题,李代数的导子结构是李代数结构研究方向之一,对无限维Virasoro代数的导子也是如此,本文主要研究特征为零的代数闭域上广义Loop-Witt代数上的2-局部齐次导子的性质。
设
是结合环或结合代数,
是线性映射,若对任意的
有
,则称
为
的导子;如果存在
使得对任意的
有
,则称
为代数
上的内导子,记为
。另外,许多代数存在着不是内导子的导子,一些与导子相关的线性映射被发现,1990年,Kadison (分别地,Larson和Sourour)在文 [9] 中引入了一类重要的映射——局部导子,
上的线性映射
称为局部导子,如果对给定的
,有
的导子
(这里
依赖于x)使得
。通过对局部导子的研究,相应的给出2-局部导子的概念,1997年,Semrl在文 [10] 中将局部导子定义中的线性去掉,最先给出2-局部导子的定义。称
(这里
不一定是线性的),如果对任意的
,存在一个导子
(这里
依赖于x和y),使得
且
,则称
为
上的2-局部导子。
近几年,2-局部导子的讨论是代数中比较活跃的研究领域,对2-局部导子的研究主要集中在局部导子是否是导子 [11] [12]。文 [11] 证明了特征为零代数闭域上有限维半单李代数的2-局部导子都是导子,并且给出了维数大于3的幂零李代数不是导子的2-局部导子的例子,文 [12] 得到了无限维Witt代数上的2-局部导子都是导子的结论,并给出无限维李代数2-局部导子不是导子的例子。本文将研究在特征为零的代数闭域上无限维广义Loop-Witt代数上定义的2-局部齐次导子是否为导子的问题。
本文的第1部分给出了Loop-Witt代数的定义、符号和一些基本结果;第2部分证明在Loop-Witt代数上定义的每一个2-局部齐次导子都是导子。
2. 预备知识
设
是特征为零的代数闭域,
是域
的加法子群,且有
,
是可换群
的群代数,它带有一组无限基
,也记为
;
是域
上所有Laurent多项式构成的交换代数。
定义2.1:令
,称其为
上的广义Loop-Witt代数;它是
-阶化的李代数:
,其中子空间
,
并带有如下括积运算:
.
定义2.2:设有线性映射
,如果对任意的
,都有
,则称D为导子,所有导子构成的集合记为
;对
,线性映射
,
是一个导子,称为内导子,所有内导子构成的集合记为
。
定义2.3:李代数
到其自身的映射T (这里T不必是线性的)称为
的一个2-局部导子,如果对任意的
,都存在导子
(只与
有关),使得
,
。
根据文献 [8] 中给出的结果,有以下引理:
引理2.1:对阶化李代数
,有
,其中
。
特别,当
时,有包含关系:
;
当
时,有
。
为了研究阶化李代数
的2-局部导子,我们引入下列定义:
定义2.4:对
,称李代数
到其自身的映射
(不一定是线性的)为2-局部n次齐次导子,如果对任意的
都能找到
,使得
,
。
由引理2.1可知,当
时,广义Loop-Witt代数的导子都是内导子,从而
的2-局部n次齐次导子(
)
可以描述为:对任意的
,必存在元素
(依赖于
),使得
,
.
当
时,广义Loop-Witt代数
的零次导子都可以通过向量空间
中的元素所诱导(见文献 [8])。特别,对任意群同态
, 定义相应的I-型零次导子:
,
,
.
对任意导子
,定义II-型零次导子:
,
,
.
3. 主要结果
现在给出本文的主要结果:广义Loop-Witt代数
的任何2-局部齐次导子都是导子,其证明分两种情形进行讨论如下:
引理3.1:设
是
的2-局部n次齐次导子,且
。如果对某个单项式元素
,有
,那么,映射
。
证明:任取元素
,根据2-局部n次齐次导子(
)的定义,必存在元素
,使得
,
.
不妨设
,根据给定的条件得到
,
从而有
,
,于是
。因此,有
,
由于元素
是任意的,必有
。
定理3.2:设
是广义Loop-Witt代数
的2-局部n次齐次导子(
),则存在元素
,使得
。
证明:根据2-局部n次齐次导子的定义,对
,能找到相应的元素
,使得
,
.
令
,则
也是一个2-局部n次齐次导子,且有
,
应用引理3.1,直接推出:
。因此,
是一个导子且为内导子。即存在元素
,使得
。
引理3.3:设
是
的2-局部零次齐次导子,
是由1生成的加法子群.如果对某个
,
,有
,则
。
证明:任取元素
,若存在Ⅰ-型零次齐次导子
,它只与
和
有关,使得下式成立:
.
根据给定的条件,有
,
必有,
。再根据引理的条件,对任意的
,有
,从而
. (3.1)
若存在II-型零次齐次导子
,它只与
和x有关,使得
,
令
,根据给定的条件,有
.
因为
,必有
。从而有下列式子:
. (3.2)
由(3.1)和(3.2)可知,不管是哪种情况,总有
。
定理3.4:设
是
的2-局部零次齐次导子,
是由1生成的加法子群,则存在导子
,使得
。
证明:根据2-局部零次齐次导子的定义,对
,可以找到相应的零次导子
,使得
.
令
,则
也是一个2-局部零次齐次导子,且有
.
应用引理3.3,直接推出:
。因此,
是一个零次导子。
注记3.5:在定理3.4中,当
是整数加法群时,条件自动成立。此时,广义Loop-Witt代数
的任何2-局部齐次导子都是导子;类似可说明,对有理数加法群,此结论同样成立。
致谢
本论文是在王宪栋教授的悉心指导下完成的,感谢王老师一直以来的培养和教诲。王老师对学科前沿敏锐的洞察力和渊博的学识给我留下了深刻的印象,此外,他严谨的教学态度、一丝不苟的作风和踏踏实实的精神深深影响了我,这些都使我终身受益。
我还要感谢所有关心我、支持我和帮助过我的同学、老师和亲人。
最后,我要感谢国家自然科学基金项目的资助。
基金项目
本文受到国家自然科学基金项目(11472144)资助。