[論文レビュー] 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$-積を生成する。
• 偏微分作用素$\partial$に反応する反対称写像を用いて、$\mathbb{C}[\lambda_1,\dots,\lambda_n] \otimes M$値のコチェーンの基本複体を構成し、微分作用素$d$を階数付きライブニッツ則により定義する。
• 微分作用素$\partial$の像を商取ることで、削減されたコホモロジー複体を定義し、ヴァイラスロおよびカレント代数といった主要な例のコホモロジー群を計算する。

実験結果

リサーチクエスチョン

• RQ1 共形場理論におけるチャーラル場の演算子積展開（OPE）は、$λ$-積を用いてどのように代数的に形式化できるか？
• RQ2 有限リー共形代数の構造は何か？ そして、古典的リー代数およびその表現とどのように関係するか？
• RQ3 コホモロジー理論はどのように共形代数に一般化できるか？ また、この文脈においてコホモロジー群が分類するものは何か？
• RQ4 $\mathbb{C}[\partial]^N$上で無限に作用する有限部分代数$gc_N$は何か？ そして、$W_n$などの既知の代数とどのように関係するか？
• RQ5 形式的分布代数、$\Gamma$-局所構造、および共形代数の間の関係は何か？ そして、この関係を理論の拡張にどう応用できるか？

主な発見

• $λ$-積はOPEの洗練された生成関数的表現を提供し、共形代数の構造をより透明にし、代数的に取り扱いやすくする。
• 自明な係数をもつヴァイラスロ共形代数のコホモロジーは、$\widetilde{H}^0 = \widetilde{H}^3 = \mathbb{C}$および$\widetilde{H}^n = 0$（$n\neq 0,3$）を満たし、$H^n$は$n=0,2,3$に対して1次元であり、ゲルファンド＝フッホスコホモロジーと関連づけられる。
• カレント代数$\mathrm{Cur}\mathfrak{g}$のコホモロジー$\widetilde{H}^*(R,\mathbb{C})$は、$\mathfrak{g}$の指数$m_i$に対応する$2m_i+1$次の生成子からなるグラスマン代数に同型であり、$H^*(\mathfrak{g},\mathbb{C})$と一致する。
• 削減されたコホモロジー$H^2(R,\mathbb{C})$は$\mathrm{Cur}\mathfrak{g}$に対して1次元であり、中心拡張を分類する。また、$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の合成を可能にし、$λ$-積の整合性を証明する。