[论文解读] Formal distribution algebras and conformal algebras

Victor G. Kač|ArXiv.org|Sep 17, 1997

Algebraic structures and combinatorial models参考文献 15被引用 90

一句话总结

本文通过从算子乘积展开（OPE）的傅里叶变换导出的 $λ$-乘积，提出了一套形式化的共形代数框架，为研究具有局部性的李代数与结合代数提供了优雅且清晰的代数结构。主要贡献在于建立了一个统一的共形代数上同调理论，对维拉索罗代数和电流代数进行了显式计算，揭示了其与盖尔范德-富克斯上同调及李代数上同调的联系。

ABSTRACT

Conformal algebra is an axiomatic description of the operator product expansion (or rather its Fourier transform) of chiral fields in a conformal field theory. This is a review of recent developments in the subject.

研究动机与目标

• 通过 $λ$-乘积（即算子乘积展开（OPE）的傅里叶变换）建立共形代数的系统化代数框架，以简化并阐明局部代数的结构。
• 为李共形代数建立上同调理论，将经典李代数上同调推广至共形设定，并应用于扩张与中心扩张问题。
• 对有限共形代数及其表示进行分类，特别关注 $\mathrm{Cend}_N$、$gc_N$ 和 $W_n$，并理解其结构及其在多项式模上的作用。
• 将理论扩展至具有 $\Gamma$-局部与 $\Gamma$-扭结构的形式分布代数，并通过傅里叶变换与微分算子将其与共形代数联系起来。
• 计算关键示例（如维拉索罗代数与电流代数）的上同调群，揭示其与经典上同调理论（如盖尔范德-富克斯上同调与李代数上同调）的联系。

提出的方法

• 定义一元或二元变量的 $U$-值形式分布，利用留数映射提取系数，并通过洛朗级数表示分布。
• 引入形式 $δ$-函数 $\delta(z-w)$ 作为留数运算的生成函数，并通过条件 $(z-w)^N a(z,w) = 0$（当 $N$ 足够大时）定义局部性。
• 建立 OPE 表示：局部形式分布 $a(z,w)$ 允许唯一展开式 $\sum_j c^j(w) \partial_w^{(j)} \delta(z-w)$，其中 $c^j(w)$ 为 OPE 系数。
• 通过形式傅里叶变换定义 $λ$-乘积：$a(w)_{\lambda}b(w) = \Phi^\lambda_{z,w}(a(z)b(w)) = \sum_j \lambda^{(j)} (a_{(j)}b)(w)$，该式生成第 $j$ 个乘积。
• 利用取值于 $\mathbb{C}[\lambda_1,\dots,\lambda_n] \otimes M$ 的斜对称、$\partial$-等变映射，构建李共形代数的上链复形，并通过分次莱布尼茨法则定义微分 $d$。
• 通过商去 $\partial$ 的像构造约化上同调复形，并计算关键示例（如维拉索罗代数与电流代数）的上同调群。

实验结果

研究问题

• RQ1 如何利用 $λ$-乘积，通过代数方式形式化共形场论中 chiral 场的算子乘积展开（OPE）？
• RQ2 有限李共形代数的结构是怎样的？它们与经典李代数及其表示之间有何关系？
• RQ3 上同调理论如何推广至共形代数？在此背景下，上同调群分类了什么？
• RQ4 $gc_N$ 的哪些有限子代数在 $\mathbb{C}[\partial]^N$ 上不可约作用？它们与已知代数（如 $W_n$）有何关联？
• RQ5 形式分布代数、$\Gamma$-局部结构与共形代数之间的关系是什么？如何利用这一关系扩展理论？

主要发现

• $λ$-乘积为 OPE 提供了清晰的生成函数形式，使共形代数的结构更加透明且代数上易于处理。
• 维拉索罗共形代数在平凡系数下的上同调满足 $\widetilde{H}^0 = \widetilde{H}^3 = \mathbb{C}$，其余 $\widetilde{H}^n = 0$，且 $H^n$ 在 $n=0,2,3$ 时为一维，与盖尔范德-富克斯上同调相联系。
• 对于电流代数 $\mathrm{Cur}\mathfrak{g}$，上同调 $\widetilde{H}^*(R,\mathbb{C})$ 同构于由次数为 $2m_i+1$ 的生成元张成的格拉斯曼代数，其中 $m_i$ 为 $\mathfrak{g}$ 的指数，与 $H^*(\mathfrak{g},\mathbb{C})$ 一致。
• 对于 $\mathrm{Cur}\mathfrak{g}$，约化上同调 $H^2(R,\mathbb{C})$ 为一维，分类中心扩张；$H^1(R,\mathrm{Chom}(N,M))$ 分类模的扩张。
• $\mathrm{Cend}_N$ 与 $gc_N$ 的上同调通过表示理论得到完整描述，其在 $\mathbb{C}[\partial]^N$ 上不可约作用的有限子代数在 [DK] 中已分类。
• 形式傅里叶变换满足基本恒等式 $\Phi^\lambda_{z,w}\Phi^\mu_{x,w} = \Phi^{\lambda+\mu}_{x,w}\Phi^\lambda_{z,x}$，从而实现 OPE 的复合，并证明了 $λ$-乘积的一致性。