[论文解读] From vertex operator algebras to conformal nets and back

Sebastiano Carpi, Yasuyuki Kawahigashi+2 more|Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)|Mar 4, 2015

Algebraic structures and combinatorial models参考文献 88被引用 39

一句话总结

本文建立了强局部幺正顶点算子代数（VOA）与共形网之间严格且可逆的对应关系——这是代数量子场论中的关键结构。该文构造了一个满足能量界和强局部性的VOA所对应的共形网，证明该构造与内积选择无关，并展示了VOA可从该网中恢复，从而在自然的解析条件下，证明了两套主要的共形场论形式之间的深刻等价性。

ABSTRACT

We consider unitary simple vertex operator algebras whose vertex operators satisfy certain energy bounds and a strong form of locality and call them strongly local. We present a general procedure which associates to every strongly local vertex operator algebra V a conformal net A_V acting on the Hilbert space completion of V and prove that the isomorphism class of A_V does not depend on the choice of the scalar product on V. We show that the class of strongly local vertex operator algebras is closed under taking tensor products and unitary subalgebras and that, for every strongly local vertex operator algebra V, the map W\mapsto A_W gives a one-to-one correspondence between the unitary subalgebras W of V and the covariant subnets of A_V. Many known examples of vertex operator algebras such as the unitary Virasoro vertex operator algebras, the unitary affine Lie algebras vertex operator algebras, the known c=1 unitary vertex operator algebras, the moonshine vertex operator algebra, together with their coset and orbifold subalgebras, turn out to be strongly local. We give various applications of our results. In particular we show that the even shorter Moonshine vertex operator algebra is strongly local and that the automorphism group of the corresponding conformal net is the Baby Monster group. We prove that a construction of Fredenhagen and Jörss gives back the strongly local vertex operator algebra V from the conformal net A_V and give conditions on a conformal net A implying that A= A_V for some strongly local vertex operator algebra V.

研究动机与目标

• 建立幺正顶点算子代数与共形网之间严格的数学对应关系，二者是共形场论中两个基础性框架。
• 定义并表征一类VOA——‘强局部’VOA——满足能量界和顶点算子的强局部性条件，以确保与算子代数方法的兼容性。
• 证明从此类VOA构造的共形网与VOA上内积的选择无关，从而确保构造的良定义性。
• 证明VOA的幺正子代数与关联共形网的协变子网之间存在一一对应关系。
• 证明已知的VOA（如月亮MOONSHINE VOA和幺正Virasoro代数）是强局部的，并且其关联的网实现了完整的自同构群（例如，婴儿怪物群）。

提出的方法

• 将‘强局部’VOA定义为满足能量界和顶点算子强局部性条件的幺正、单个VOA。
• 在强局部VOA $V$ 的希尔伯特空间完备化上构造一个共形网 $\mathcal{A}_V$，利用顶点算子及其截断场。
• 证明该网 $\mathcal{A}_V$ 满足Möbius协变性、协变性与局部性，从而构成一个合法的共形网。
• 利用Bisognano-Wichmann性质与解析延拓技术（通过Schwarz反射原理）建立哈密顿算子的定义域性质与能量界。
• 通过推广Fredenhagen-Jörß构造，从共形网重构原始VOA，从而证明完全可逆性。
• 将该理论应用于已知VOA（如Virasoro、仿射、$c=1$、MOONSHINE）并验证其为强局部VOA，明确实现其关联网的构造。

实验结果

研究问题

• RQ1 能否系统地将满足能量界和强局部性的幺正顶点算子代数与一个共形网对应起来，且该对应关系与VOA上内积的选择无关？
• RQ2 VOA的幺正子代数与关联共形网的协变子网之间的对应关系是否为双射？
• RQ3 能否从其关联的共形网中重构原始顶点算子代数？该重构在何种条件下成立？
• RQ4 哪些已知VOA（如MOONSHINE、$c=1$、仿射）是强局部的？其关联共形网的对称性是什么？
• RQ5 哪些解析与代数条件可确保一个共形网源自一个强局部顶点算子代数？

主要发现

• 从强局部VOA $V$ 构造共形网 $\mathcal{A}_V$ 的过程与 $V$ 上内积的选择无关，从而确保了构造的良定义性。
• 映射 $W \mapsto \mathcal{A}_W$ 给出了 $V$ 的幺正子代数 $W$ 与 $\mathcal{A}_V$ 的协变子网之间的一一对应关系。
• 证明了更短的月亮MOONSHINE顶点算子代数是强局部的，其关联共形网的自同构群同构于婴儿怪物群。
• Fredenhagen-Jörß构造能够从其关联共形网中恢复原始的强局部VOA，从而建立了可逆对偶性。
• 强局部VOA类在张量积与幺正子代数取向上是封闭的，确保了其在自然代数运算下的稳定性。
• 已知的Virasoro、仿射李代数、$c=1$ 与MOONSHINE VOA——所有典型例子——均满足强局部性条件，证实了其与共形网形式的相容性。