Witt型和Virasoro型Lie双代数的对偶.pdfVIP

宋光艾等：witt型与 Virasoro型 Lie双代数的对偶 2 预备知识 若无特别说明，本文中用 F记特征为零的代数闭域．所有的向量空间假定是域Ⅲ’上的．用 z，z 和 N分别记整数集、非负整数集和正整数集．首先回顾一下 Lie双代数的相关概念，更详细的内容参 见文献 1【，15】． 定义 2．1 (1)称三元组 (， 】，)为一个Lie双代数，如果满足 (i)(L， ])是Lie代数； (ii)(L，)是 Lie余代数； (iii) ，Y]=X·()一Y·5(x)对所有的X，Y∈L， 这里 ·(Y Z)=[X，Y]Oz+Y [X，】对于X，Y，∈L． (2)Lie双代数 (， 】，)称为上边缘的，如果 是上边缘的，即存在r∈L~L记为r=∑r[r[2]1 使得 ()=z．r，对所有的 ∈L成立． (3)一个上边缘的Lie双代数 (， 】，)称为三角的，如果 r满足经典的 Yang-Baxter方程 (CYBE)， c(r)=[r12，r13】+r[12，r23]+[r13，r23]=0， (2．1) 这里f12=∑r[】r[o1，rl3=∑r[ 1 r2【】．r23=∑r[ 1 r[]是 () ()o ()中的元 素，U(L)是Lie代数 的普遍包络代数． 称 Lie双代数 (g， ]，)和 (g， ]，)是一对偶对，如果它们的双代数关系为 (If，hi，∈)=(f h，∈)， (，，∈ 叩)=(f，，叩])， f，h∈g， ∈，叩∈g， (2．2) 这里 (·，)·是定义在 g ×g上的非退化双线性型，它 自然的扩张成 (g g)×(g g)上的非退化双线 性型．特别地，如果作为向量空间g=g，则称为 自对偶的Lie双代数． 命题 2．2f。】令 (g，[．，．】，)为有限维的Lie双代数，则由对偶性知，其线性对偶空间 g ：=Hom~(0，Ⅲ’) 也是 Lie双代数，即 (g， 】，)是由 (2．2)定义的Lie双代数，此时，g=g．特别地，g和g是一对 偶对． 因此，有限维的Lie双代数 (g，[．，．】，)总是 自对偶的，因为存在向量空间g g 的同构，将 g上 的Lie双代数结构拉回到 g上，得到g上的另一种Lie双代数结构，如此一来，它就是 自对偶的．而与 有限维的情况形成鲜明对比的是，无限维Lie双代数一般不是 白对偶的． 为方便起见，作如下约定，用 记Lie代数 (g， ])的方括号运算，视其为线性映射 ：g g．÷g． 令 ：g_÷(g g)为 的对偶映射． 定义 2．3f】令 (g，)为定义在域 F上的Lie代数．称 g 的一个子空间 是 g 的一个好子空 间，如果满足 ()cV 记 =f I 是g的好子空间}，则 g。=∑ (2．3) V ∈搋 也是 g 的一个好子空间，显然也是 g 的最大好子空间． 命题 2．4IS]对于 g 的任意一个好子空间V，二元组 ( )是一个 Lie余代数．特别地，(g。， ) 是一个 Lie余代数． 1094 中国科学 ：数学 第 43卷 第 11期 显然，若 g是有限维的Lie代数，必有 g。=g．然而，若 g是无限维的Lie代数，则一般情况下有 g。C g ． 对于任意的Lie代数g，对偶空间g有 自然的右g一模结构，其定义如下：对于 ，∈g， ∈g， (．厂-)()=，([，】)，V ∈g． 记 f·g=span{y·I∈g)，g中的元素在 ，上的平移作用作成的空间． 我们归纳文献 2『-5]中的某些结果如下： 命题 2．5 令 g是Lie代数，则 (1)g。={，∈gI，·g是有限维的)． (2)g。=() (g g)，是g0g在 g 中的原像． 对于结合代数来说，也可以类似给出好子空间的概念．在下面两节的内容中，本文将对某些结合 代