[論文レビュー] Vertex operator algebras, fusion rules and modular transformations

Yi-Zhi Huang|ArXiv.org|Feb 26, 2005

Algebraic structures and combinatorial models参考文献 21被引用数 4

ひとこと要約

本論文は、頂点演算子代数（VOA）の枠組みにおいて、一般化されたヴェルリンデ予想の厳密な数学的証明を提示する。$C_2$-cofinitenessおよび半単純性の条件下で、単純なVOAの加群の圏がモジュラーテンソル圏構造を備えることを確立する。証明は、リジディティ、非退化性、braided構造およびリボン構造を備えた剛性のある非退化的でbraidedなテンソル圏を構成することに依拠し、$ au \mapsto -1/\tau$ 変換による特徴関数のモジュラー不変性を実現する。

ABSTRACT

We discuss a recent proof by the author of a general version of the Verlinde conjecture in the framework of vertex operator algebras and the application of this result to the construction of modular tensor tensor category structure on the category of modules for a vertex operator algebra.

研究の動機と目的

• 頂点演算子代数の文脈において、ヴェルリンデ予想の一般的で数学的に厳密な形の定式化と証明を行うこと。
• 有理的共形場理論の物理的公理に依存せずに、頂点演算子代数の加群の圏にモジュラーテンソル圏構造を構築すること。
• リポウスキーとアンダーソンによって構成された、半単純なbraidedテンソル圏の加群のリジディティおよび非退化性を確立すること。
• 真空特徴関数におけるモジュラー変換$\tau \mapsto -1/\tau$ の作用を、テンソル圏におけるカテゴリカル作用と一致させることで、ヴェルリンデ関係の完全な数学的実現を達成すること。

提案手法

• グレーディング制限条件、$C_2$-cofiniteness、中心指数$c$を有する共形元の存在を満たす頂点演算子代数の枠組みを用いる。
• V-加群の圏におけるテンソル積の普遍性を応用して、評価写像およびコエバリエーション写像を定義し、リジディティを確立する。
• 対偶加群$W^\prime$を左および右双対として用い、圏の半単純性を活用してリジディティの確認を単純な加群に還元する。
• F-記号（結合子）およびS-行列（モジュラーS変換）を用いて、braidingの合成のトレースを計算し、非退化性を検証する。
• F-記号およびS-行列から導かれるヴェルリンデ公式に依拠して、S-行列が可逆であることを示し、非退化性を確認する。
• $\tau \mapsto -1/\tau$ 変換を真空特徴関数に適用し、S-行列を介してカテゴリカルなモジュラー作用と一致させることで、ヴェルリンデ予想の証明を完了する。

実験結果

リサーチクエスチョン

• RQ1 頂点演算子代数$V$にどのような条件下で、ヴェルリンデ予想が数学的に厳密な枠組みで成立するか？
• RQ2 有理的共形場理論の物理的公理を仮定せずに、$V$-加群の圏にモジュラーテンソル圏構造を、頂点演算子代数の公理から純粋に構築できるか？
• RQ3 $V$が$C_2$-cofiniteであり、グレーディング制限条件を満たすとき、$V$-加群の半単純なbraidedテンソル圏はリジディティおよび非退化性を有するか？
• RQ4 真空特徴関数におけるモジュラー変換$\tau \mapsto -1/\tau$ の作用は、$V$-加群のテンソル圏におけるカテゴリカルS-行列とどのように関係するか？
• RQ5 F-記号およびS-行列は、テンソル圏の非退化性およびモジュラリティを検証するために果たす役割は何か？

主な発見

• グレーディング制限条件および完全可約性を満たす$C_2$-cofiniteで単純な頂点演算子代数の加群の圏は、リジッドで非退化的かつbraidedなテンソル圏構造を備える。
• 真空特徴関数のモジュラーS変換から得られるS-行列は可逆であり、テンソル圏の非退化性が確認される。
• 合成写像$c_{W^{a_2},W^{a_1}} \circ c_{W^{a_1},W^{a_2}}$ のトレースは$S_{a_1}^{a_2}/S_e^e$に等しく、これは可逆行列を形成し、非退化性の証明となる。
• テンソル積の普遍性を用いて構成された評価およびコエバリエーション写像は、F-記号による正規化を経て、リジディティ公理を満たし、リジディティが確認される。
• 各単純加群$W^a$におけるねじれは$e^{2\pi i h_a}$で与えられ、これによりリジッドなbraided圏はリボン圏に拡張される。
• ヴェルリンデ予想は完全に確立された：S-行列は融合則行列を対角化し、モジュラー変換$\tau \mapsto -1/\tau$ はカテゴリカル構造と一貫して作用する。