1. 引言
1986年,Bocherds在 [1] 中首次提出了顶点算子代数(Vertex operator algebra, VOA)的概念,随后Frenkel-Lepowsky-Meurman在《Vertex Operator Algebras and the Monster》这本书中系统发展了顶点算子代数的理论 [2]。顶点算子代数的概念是在研究最大的离散单群——魔群(Monster)和月光猜想(Moonshine monjecture)才提出来的。最后研究得出魔群同构于月光模(Moonshine module)的自同构群,月光模也叫做月光顶点算子代数(Moonshine VOA) [2]。
对由正定偶格构造的格顶点算子代数
已经有很多研究:
的所有不可约模 [3],
的正则性 [4],
的一种刻画 [5],格顶点算子代数的自同构群 [6]。本文将要确定由正定整格构造的格顶点算子超代数的自同构群。
目前我们已经知道一些顶点算子代数的自同构群的结构,比如:月光顶点算子代数
[2],由正定偶格构造的格顶点算子代数
[6],
的子代数
[7] [8],有限生成的顶点算子代数 [9],与仿射李代数最高权表示有关的顶点算子代数 [10],与编码相关的顶点算子代数 [11],汉明码顶点算子代数(Hanming code VOA) [12],还有一些特殊的例子 [13]。
对于格顶点算子超代数也有与格顶点算子代数相对应的结论。设V是一个没有负分次、权为零的子空间维数是一的顶点算子超代数,则权为一的子空间是一个李代数,它的李括积定义为
,
,其中
是顶点算子
的分量。那么就有
是V的自同构群
的正规子群。如果
确定了,那么
也就确定了。本文将证明
同构于正定整格L的等距自同构群
的一个商群。
本文所证明的格顶点算子超代数的自同构群
的结构对于理解一般顶点算子超代数的自同构群有重要意义。在文章 [9] 中有用到格顶点算子代数的自同构群 [6] 的证明思想最终证明了有限生成顶点算子代数的自同构群。在本文证明格顶点算子超代数的自同构群的结构之后,同样的也可以考虑证明有限生成的顶点算子超代数的自同构群的结构。
本文的结构安排如下。在第2节,给出顶点算子超代数及其自同构群的定。整格的中心扩张和格顶点算子超代数的集体构造分别在第3节和第4节给出。第5节主要是为了给出格顶点算子超代数的具体结构。
2. 预备知识
设
是任意的
-分次向量空间。
(resp。
)中的元素分别叫偶的(resp.奇的)。对于任意的
,定义
。
定义2.1 [2] [14] [15] 顶点算子超代数(VOSA)是一个四元组
带有
分次:
其中
,
,满足
和当m充分小时
。
叫做V的真空向量(vacuum
vector),
叫做V的共形向量(conformal vector),Y是一个线性映射:
对于
and
,满足以下公理:
1)当n充分大时,
,
2)
,
3)
,
,
4)
的分量算子满足中心荷为
的Virasoro代数关系式,
5) Jacobi恒等式:对于
-齐次元素
有,
其中
和
展开式规定为
的非负次数展开。
定义2.2 [2] [6] [15] 顶点算子超代数V的线性自同构,保持
和
不变,满足g与
在V上的作用相容,即
其中
,则称g为V的自同构。V的全体自同构的集合记做
。
从上述定义中我们不难发现V的自同构保持齐次空间
不变,自然也保持
不变。注意到顶点算子超代数V总是有一个特殊的自同构
,这个自同构与V的顶点算子超代数结构有关,并且此自同构与其他自同构可交换,这说明
是
的中心元素。
设
,令
。
定义2.3 [2] [6] [9] [15] 顶点算子超代数V的一个自同态
满足
和
,则称D为顶点算子超代数的一个导子,导子的全体记为
。如果
,则称导子D为偶的,否则称为奇的。偶导子的全体记为
。
上述定义包含了D保持其次空间
不变,自然也保持
不变。此处有一个简单的事实,若
,则
在V中收敛,因此它是良定义的。
注记2.4 通过顶点算子超代数V的自同构的定义可以直接验证
(
)是V的一个自同构。
如果
,那么
是V的一个偶导子,称这类导子为内导子。从上述注记中可以看出
是一个自
同构。将这类自同构计作
。由于
和
,其中
,我们得出N是
的正规子群。
3. 正定整格的中心扩张
设L是一个正定整格。设正合列
是由L通过循环群
得到的中心扩张,并且有交换子映射(commutator map),其中
。选择一个映射(section)
使得
,其中对于
,记
。设
是对应的2-循环(2-cocycle),然后有
,
和
,其中
。
设
则有提升性质 [2]
(1)
事实上,
L的等距自同构定义为
(2)
随后可以得到
(3)
是
的子群。
通过(1)我们可以得出
是
的子群,并且
是一个正合列。
4. 格顶点算子超代数的构造
为了构造与正定整格L相关的格顶点算子超代数
,需要引入向量空间
并且将L的
-双线性型
通过
-线性拓展到
。将
看作是一个可交换的李代数,再考虑其仿射李代数
的李括积定义为
其中
,
。
令
我们注意到
和
是
的两个交换子代数。
的子代数
是一个Heisenberg代数。设
和
分别是
的范包络代数与对称代数,则有代数同构
。
下一步,把
看作是一维
-模,其中
在
的作用是平凡的,c在
的作用是乘1。这样我们就可以构造诱导
-模
的顶点算子代数结构由
决定,其中
。对于
中一般元素
,顶点算子定义为
,
其中
,
,
是正规序(the normal order) [2]。
设
是L通过循环群
中心扩张得到的群。构造诱导
-模
其中−1在
的作用是乘−1,
是L的群代数。对于
中的元素
,我们用
表示,其中
。
现在我们可以定义
和
在
的作用了。定义
,
,其中
。不仅如此,还需要将−1和
在
上的作用定义为
和
,其中
。
本文研究的主要对象格顶点算子超代数
的定义现在可以给出了:
它的顶点算子定义为
对于
中的一般形式元素
,顶点算子
定义为:
其中
,
。
设
为L的一组正交基,令
与
则
。然后我们可以通过算子
来定义
的分次:
如果
,则
。例如:
。注意到
。现在
可以称
是一个顶点算子超代数,它的真空向量和共形向量分别为
和
[2] [14] [15]。
5. 格顶点算子超代数的自同构群
在第4节,已经得到了关于L和
的自同构群:
与
还有正合列
首先考虑由
提升得到的关于
的自同构。具体来说,对任意的
可以通过下面的方式得到
的一个自同构,还计作
,
其中
,
,
。由于以上原因,
可以看作
的一个子群,并且它保持
不变。
我们需要以下与 [6] 类似的引理来证明顶点算子超代数
的自同构群的结构。
引理5.1 设
。如果存在
使得
,
,则有
,并且存在
使得
。
证明:由于
作用到
上是半单的,并且有
可以看出
,引理结论立即成立。
令
的子空间
。然后
的保持
不变的自同构可以看作是
的线性自同构。
引理5.2 设
,
,则有
,并且存在
使得
,
。
证明:从引理假设条件可以得出
,
。把
当作
。
上的双线性型取作
,其中
,则
上的双线性型是
-不变的。又因为
。因此,
若
,通过引理3.3.1可以得出存在
使得
,其中
。所以
。然而
并且
是
-不变的。因此
,
。
注记5.3 在引理5.2的证明中,
中的元素
和
的权一样。又因为
,所以
诱导出L的等距自同构。
引理5.4 设
,使得
,则存在
使得
。
证明:由引理条件可知
与
。由引理5.2知存在
使得
,
。对于任意的
,有
。因为
所以
。
设
是L的一组基,
,其中
,则有
。又因为存在
使得
,
(
非退化)。所以有
与
因此
。
有了上边的引理之后,我们可以的得出本文的主要定理。
定理5.5 设L是一个正定整格,则有顶点算子超代数
的自同构群的结构如下:
其中
是
的正规子群。还有
是
的子群,
同构于
的一个商群。
证明:考虑
权为1的子空间:
它是一个简约李代数 [16],李括积定义为
,
,Cartan子代数为
。
设
,则
限制到
上是一个李代数的自同构。注意到
的内自同构群是N在
上的限制。由李代数的共轭定理 [17],存在
使得
。然后由引理5.2和注记5.3知,
诱导了L的等距自同构,并且对于
,有
和
。令
使得
,则有
。由引理5.4知,存在
使得
。有了这些之后,可以得出
,
其中
,这说明
。
对于
可以诱导出
的自同构 [2]:
,其中
。通过引理5.4的证明可以看出,存在
使得
,其中
。作为
的自同构,
,这样
就可以看作是N的子群。
因为
,
和(3),可以得出
是
的一个商群。
6. 结论与展望
本文通过整格的中心扩张将L的等距自同构
提升到
的等距自同构
,再由此诱导出格顶点算子超代数的自同构
,再考虑由格顶点算子超代数的内导子诱导出其内自同构群
,并通过对格顶点算子超代数结构的观察和李代数中共轭定理的应用,最后证明了格顶点算子超代数的自同构群
。
本文是对由正定偶格构造的格顶点算子超代数的自同构群结构的研究,但是对其他顶点算子超代数自同构群的研究具有启发性,甚至对一般的有限生成的顶点算子超代数的自同构群的研究也有帮助。另一方面,本文定义的格顶点算子超代数的自同构要求保持共形向量,也可以研究不保持共形向量的自同构,那么这类自同构的自同构群的结构也值得研究。