[論文レビュー] 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代数のBeilinsonおよびDrinfeldのD-加群による定式化と、真空および次数構造を持たない頂点代数の形式的変数アプローチとの間の同値性を確立する。著者たちは、両フレームワークにおける歪対称性およびJacobi恒等式の公理が圏論的に同値であることを証明し、頂点代数論の2つの主要なアプローチを統一し、真空および次数構造の欠如下では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.

研究の動機と目的

• BeilinsonとDrinfeldによるD-加群による頂点代数の定式化と、Borcherds、Frenkel-Lepowsky-Meurman、Frenkel-Huang-Lepowskyによる形式的変数アプローチの2つの異なる数学的定式化を統合すること。
• D-加群の枠組みにおける圏論的歪対称性およびJacobi恒等式の公理と、形式的変数フレームワークにおけるそれらの類似物との関係を明確にすること。
• 代数曲線上のD-加群を用いて定義されるchiral代数が、真空ベクトルや次数を持たない頂点代数と同値であることを示すこと。
• 中間的構成や仮定に依存せずに、直接的かつ構造的な同値性の証明を提供すること。
• 頂点代数論を代数的幾何の枠組みに埋め込むことで、2次元共形場理論の代数的幾何的定式化に貢献すること。

提案手法

• 圏論的設定において、chiral代数のD-加群定式化における歪対称性およびJacobi恒等式の関係を形式化すること。
• BorcherdsおよびFrenkel-Lepowsky-Meurmanが定義した形式的変数による頂点代数の公理を、D-加群と整合性のある圏論的言語に翻訳すること。
• 両フレームワーク間のファンクター的対応を構築し、本質的な代数的および圏論的構造を保存すること。
• この対応の下で、D-加群の公理（歪対称性およびJacobi恒等式）が形式的変数の公理と正確に対応することを示すこと。
• 頂点演算子代数およびその表現の理論を用いて、両定式化間の整合性を検証すること。
• 形式的変数設定における真空および次数の欠如が、曲線上のchiral代数の内在的構造と正確に一致することを確立すること。

実験結果

リサーチクエスチョン

• RQ1 D-加群によるchiral代数の定式化における歪対称性およびJacobi恒等式の公理は、形式的変数による頂点代数のアプローチにおけるそれらとどのように関係しているか？
• RQ2 代数曲線上のD-加群を用いて定義されるchiral代数は、真空ベクトルや次数を持たない頂点代数と同一視できるか？
• RQ3 歪対称性およびJacobi恒等式の公理の両フレームワーク間の圏論的同値性は、本質的な代数的同一性を保存するか？
• RQ4 D-加群の公理が形式的変数の公理を含意し、逆に形式的変数の公理がD-加群の公理を含意するための構造的条件は何か？
• RQ5 真空および次数の欠如下で、2つの頂点代数論のアプローチが、どれほど同型な代数的対象を生じるか？

主な発見

• D-加群によるchiral代数の定式化における歪対称性およびJacobi恒等式の公理は、形式的変数による頂点代数のアプローチにおけるそれらの公理と圏論的に同値である。
• BeilinsonおよびDrinfeldが定義するchiral代数は、真空ベクトルがなく、次数を持たない頂点代数と構造的に同値である。
• 本質的な代数的および圏論的同一性を保存する直接的でファンクター的な対応を通じて、同値性が確立された。
• 形式的変数の公理—元々形式的冪級数および状態-場対応に基づいて定式化されたもの—は、構造の損失なしにD-加群の枠組み内に再解釈可能である。
• 形式的変数設定における真空および次数の欠如は、代数曲線上のchiral代数の内在的幾何的性質と正確に一致する。
• 結果として、D-加群のアプローチが、真空および次数の欠如下で頂点代数論の幾何的実現を提供することを確認した。これは、共形場理論における代数的幾何の目的と整合している。