[论文解读] On the D-module and formal-variable approaches to vertex algebras

Yi-Zhi Huang, James Lepowsky|ArXiv.org|Mar 23, 1996

Algebraic structures and combinatorial models参考文献 5被引用 6

一句话总结

本文建立了贝利诺森与德林费尔德关于代数曲线上的微分模形式的 chiral 代数理论与无真空或分次结构的顶点代数形式变量方法之间的等价性。通过证明两种框架中反对称性与雅可比恒等式公理在范畴论上的等价性，作者统一了顶点代数理论的两种主要方法，表明在缺乏真空与分次结构的情况下，chiral 代数本质上即是顶点代数。

ABSTRACT

In a program to formulate and develop two-dimensional conformal field theory in the framework of algebraic geometry, Beilinson and Drinfeld have recently given a notion of ``chiral algebra'' in terms of D-modules on algebraic curves. This definition consists of a ``skew-symmetry'' relation and a ``Jacobi identity'' relation in a categorical setting. In this paper, we show directly that these chiral algebras are essentially the same as vertex algebras without vacuum vector (and without grading), by establishing an equivalence between the skew-symmetry and Jacobi identity relations of Beilinson-Drinfeld and the (similarly-named, but different) skew-symmetry and Jacobi identity relations in the formal-variable approach to vertex operator algebra theory as formulated by Borcherds, Frenkel-Lepowsky-Meurman and Frenkel-Huang-Lepowsky.

研究动机与目标

• 调和顶点代数的两种不同数学表述：贝利诺森与德林费尔德的微分模方法，以及博赫尔斯、弗伦克尔-利波夫斯基-莫尔曼，以及弗伦克尔-黄-利波夫斯基的形式变量方法。
• 阐明微分模设定中范畴化的反对称性与雅可比恒等式公理与其在形式变量框架中的对应公理之间的关系。
• 表明通过代数曲线上的微分模定义的 chiral 代数与缺乏真空向量与分次的顶点代数是等价的。
• 通过直接、结构性的证明建立等价性，不依赖于中间构造或假设。
• 通过将顶点代数理论嵌入几何框架，为二维共形场论的代数几何表述做出贡献。

提出的方法

• 在范畴设定中，通过反对称性与雅可比恒等式关系形式化 chiral 代数的微分模定义。
• 将博赫尔斯与弗伦克尔-利波夫斯基-莫尔曼定义的形式变量顶点代数公理翻译为与微分模兼容的范畴语言。
• 在两种框架之间构建函子对应，保持其基本代数与范畴结构。
• 证明在该对应下，微分模公理（反对称性与雅可比恒等式）精确对应于形式变量公理。
• 利用顶点算子代数及其表示理论验证两种表述之间的一致性。
• 确立形式变量设定中缺乏真空与分次的结构，与曲线上 chiral 代数的内在结构完全一致。

实验结果

研究问题

• RQ1 微分模形式的 chiral 代数中的反对称性与雅可比恒等式公理，与形式变量方法中顶点代数的相应公理有何关系？
• RQ2 能否将通过代数曲线上微分模定义的 chiral 代数识别为缺乏真空向量与分次的顶点代数？
• RQ3 是否存在一种范畴等价，使得两种框架之间的基本代数恒等式得以保持？
• RQ4 何种结构性条件可确保微分模公理蕴含形式变量公理，反之亦然？
• RQ5 在缺乏真空与分次的情况下，两种顶点代数理论方法在多大程度上产生同构的代数对象？

主要发现

• 微分模形式的 chiral 代数中的反对称性与雅可比恒等式公理，在范畴论上等价于形式变量方法中顶点代数的相应公理。
• 贝利诺森与德林费尔德定义的 chiral 代数在结构上等价于缺乏真空向量与分次的顶点代数。
• 该等价性通过保持基本代数与范畴恒等式的直接函子对应建立。
• 原本以形式幂级数与态-场对应形式表述的形式变量公理，可在不损失结构的前提下重新解释于微分模框架中。
• 形式变量设定中缺乏真空与分次的结构，精确匹配了代数曲线上 chiral 代数的内在几何性质。
• 结果确认，微分模方法在缺乏真空与分次的情况下，为顶点代数理论提供了几何实现，与共形场论中代数几何的目标一致。