[论文解读] Notes on 2D Conformal Field Theory and String Theory

Dennis Gaitsgory|ArXiv.org|Nov 9, 1998

Black Holes and Theoretical Physics参考文献 7被引用 23

一句话总结

本文利用贝利森与德林菲尔德发展的chiral代数形式化，为二维共形场论（CFT）提供了一个严格的数学框架，以公理化量子场的算符乘积展开（OPE）。它证明了chiral代数的共形块空间在曲线模空间上携带一个射影联络，并通过自由场理论（如海森堡代数和$bc$-系统）的显式计算加以说明，应用包括BRST约化与几何量子化。

ABSTRACT

We explain the basics of conformal theory using the language of chiral algebras of Beilinson and Drinfeld.

研究动机与目标

• 使用chiral代数为二维共形场论中的算符乘积展开（OPE）提供一个数学上严格的表述。
• 证明chiral代数的共形块空间在光滑曲线的模空间上自然携带一个射影联络。
• 将已知的物理构造（如Sugawara构造、玻色子-费米子对偶性、BRST约化）重新诠释为代数几何与D-模语言下的形式。
• 在几何量子化与模空间上的线丛背景下，证明关联函数在类似规范变换下的不变性。

提出的方法

• 本文以代数曲线上chiral代数为核心对象，其定义为带有李-*括号运算的D-模。
• 通过chiral普遍包络代数构造，从李-*代数构建chiral代数，特别关注Kac-Moody与海森堡类型的情形。
• 共形块空间被定义为余不变量空间的对偶，即可能的关联函数空间。
• 理论被推广至包含在全族曲线上关于${\mathcal{O}}$-层的局部结构，以确保在度量变形下场与OPE的局域性。
• 通过李-*代数的中心扩张以及chiral代数张量积上的微分算子，实现BRST约化，从而支持chiral代数的同调约化。
• 通过证明共形块上的泛函在$H^0(X\setminus\{x_1,\dotsc,x_n\}, \mathfrak{h} \otimes \mathcal{O})$作用下不变，实现几何量子化，进而导致通过对称积与模空间上的线丛进行因子分解。

实验结果

研究问题

• RQ1 如何利用代数几何严格形式化二维共形场论中量子场的算符乘积展开（OPE）？
• RQ2 共形块空间在曲线模空间上的几何意义是什么，其与联络的关系如何？
• RQ3 如何在chiral代数与D-模的语言下系统地表述BRST约化？
• RQ4 在几何量子化背景下，关联函数在何种意义下对无穷小规范变换保持不变？
• RQ5 与自由场（如海森堡代数、$bc$-系统）相关的chiral代数构造，如何实现已知的物理构造（如Sugawara能量-动量张量）？

主要发现

• chiral代数的共形块空间在光滑曲线的模空间上携带一个射影联络，推广了量子场论中平坦联络的概念。
• 与chiral代数相关的共形块上的泛函在$H^0(X\setminus\{x_1,\dotsc,x_n\}, \mathfrak{h} \otimes \mathcal{O})$作用下保持不变，该作用对应于无穷小规范变换。
• 显式计算表明，海森堡代数与$bc$-系统中的能量-动量张量通过Sugawara构造产生，与已知的物理结果一致。
• BRST复形通过李-*代数的中心扩张以及chiral代数张量积上的微分算子构造，实现了同调约化。
• 关联函数通过曲线的对称积进行因子分解，且映射到对偶线丛$({\mathcal{R}}_Q(X))^{-1}$的总空间在置换对称性下保持不变。
• 共形块上的泛函$\chi$被证明在群$S^m \times \cdots \times S^m$作用下不变，从而确认了关联函数在插入点上的对称性。