[論文レビュー] A Jacobi identity for intertwining operator algebras

Yi-Zhi Huang|arXiv (Cornell University)|Apr 9, 1997

Algebraic structures and combinatorial models参考文献 16被引用数 1

ひとこと要約

本稿は、種数0の conformal field theory における主要な構造を統一する、相互作用作用素代数の基本的なヤコビ恒等式を確立する。適切な頂点作用素代数のための相互作用作用素がこの恒等式を満たすことを証明し、それに基づいて2つの同等の代数的定義を提示する。これにより、ヴェルラインデ代数、結合行列とブレーディング行列、およびモジュール理論の統一的枠組みが得られる。

ABSTRACT

We find a Jacobi identity for intertwining operator algebras. Most of the main properties of genus-zero conformal field theories, including the main properties of vertex operator algebras, modules, intertwining operators, Verlinde algebras, and fusing and braiding matrices, are incorporated into this identity. We prove that intertwining operators for a suitable vertex operator algebra satisfy this Jacobi identity. Two equivalent definitions of intertwining operator algebra in terms of this Jacobi identity are given.

研究の動機と目的

• 種数0の conformal field theory の核となる性質を要約する普遍的なヤコビ恒等式を定式化すること。
• 適切な頂点作用素代数のための相互作用作用素がこの恒等式を満たすことを示すこと。
• ヤコビ恒等式に基づいて、相互作用作用素代数の2つの同等の代数的定義を提示すること。
• 1つの恒等式内でヴェルラインデ代数、結合行列とブレーディング行列、およびモジュール理論の構造を統一すること。
• 作用素代数の公理に基づき、種数0の conformal field theory の代数的構造の基礎的枠組みを確立すること。

提案手法

• 相互作用作用素、モジュール、および頂点作用素代数の公理を統合する新しいヤコビ恒等式を導出すること。
• 相互作用作用素の結合則と反対称性の性質を用いて、恒等式を構成すること。
• 代数的変形により、適切な頂点作用素代数における相互作用作用素が恒等式を満たすことを検証すること。
• ヤコビ恒等式に基づく2つの相互作用作用素代数の定義の同等性を示すこと。
• 頂点作用素代数の形式的計算を用いて、定義された演算における整合性と閉包性を証明すること。
• ヤコビ恒等式が、ヴェルラインデ代数、結合行列、ブレーディング行列の標準的公理を含意することを示すこと。

実験結果

リサーチクエスチョン

• RQ1 1つのヤコビ恒等式が、種数0の conformal field theory の主な代数的構造を統一できるか？
• RQ2 適切な頂点作用素代数における相互作用作用素が普遍的なヤコビ恒等式を満たすか？
• RQ3 この恒等式に基づく相互作用作用素代数の2つの同等の代数的定義は何か？
• RQ4 ヤコビ恒等式は、conformal field theory における結合行列とブレーディング行列の性質をどのように含意するか？
• RQ5 ヤコビ恒等式は、ヴェルラインデ代数とモジュール理論の構造を統一する上で果たす役割は何か？

主な発見

• 種数0の conformal field theory の主な性質を符号化する普遍的なヤコビ恒等式が定式化された。
• 適切な頂点作用素代数のための相互作用作用素が、このヤコビ恒等式を満たすことが示された。
• ヤコビ恒等式に基づいて、相互作用作用素代数の2つの同等の定義が確立された。
• ヤコビ恒等式は、ヴェルラインデ代数、結合行列、ブレーディング行列の標準的公理を含意する。
• 恒等式は、モジュール理論と作用素積和（operator product expansions）を含む統一的代数的枠組みを提供する。
• 結果として、種数0の場合の conformal field theory の代数的構造の基礎的恒等式が確立された。