- 1、本文档共10页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
宋光艾等: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 中的原像.
对于结合代数来说,也可以类似给出好子空间的概念.在下面两节的内容中,本文将对某些结合
代
您可能关注的文档
最近下载
- 新外研版高中英语必修三Unit 3 The world of science Period 1 Starting out & Understanding ideas说课稿.doc
- 项目回款登记表.xlsx VIP
- 《药品记录与数据管理要求》解读.pptx
- 购物广场商场超市消防安全知识培训PPT.pptx VIP
- 油田运输有限公司HSE管理的体系程序文件.doc
- 人教版2022-2023学年二年级数学第一学期期中测试卷(含答案).docx
- 全科医师培训课件.pptx
- 汉字听写大会试题库(附答案).pdf VIP
- 专科医生如何带教全科医生课件.pptx
- 2024小学生汉字听写大会竞赛试题库(附答案).docx VIP
文档评论(0)