[論文レビュー] Rationality of fixed-point vertex operator algebras

Masahiko Miyamoto, Scott Carnahan|arXiv (Cornell University)|Mar 17, 2016

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

ひとこと要約

本稿は、CFT型の単純な正則な頂点 operator代数 $T$ が非特異な不変双線形形式を持つとき、任意の有限自己同型 $ \sigma$ による固定点部分代数 $T^\sigma$ が自身正則であることを証明する。この結果により、これらの条件下で固定点VOAの有理的性が確立され、 conformal field theory および vertex operator algebra 理論における対称部分代数への構造的安定性が拡張される。

ABSTRACT

We show that if $T$ is a simple regular vertex operator algebra of CFT type with a nonsingular invariant bilinear form and $\sigma$ is a finite automorphism of $T$, then the fixed point vertex operator subalgebra $T^\sigma$ is also regular.

研究の動機と目的

• CFT型の単純正則なVOAの有限自己同型の下での固定点部分代数の正則性を確立すること。
• 頂点演算子代数理論における構造的安定性の結果を、群作用によって定義される対称部分代数へと拡張すること。
• 非特異な不変双線形形式の存在と元のVOAの正則性が、固定点部分代数の正則性を示すことに寄与することを確認すること。
• 対称性削減を用いた有理的VOAの分類および理解への貢献。

提案手法

• 有限自己同型 $\sigma$ による固定点部分代数 $T^\sigma$ の構造を分析するための orbifold VOA 理論の使用。
• VOA $T$ の既知の正則性と非特異な不変双線形形式の存在を活用し、$T^\sigma$ の構造的性質を導出すること。
• 表現論的技法を適用して、$T^\sigma$ が正則性の公理（モジュールの有限長および半単純性）を満たすことを示すこと。
• $T^\sigma$ が $T$ から CFT型条件および双線形形式を引き継ぐことにより、正則性の定義と整合性を保証すること。
• CFT型VOAの文脈において、正則性とすべてのモジュールが既約モジュールの直和であるという性質が同値であることを用いること。
• orbifold VOA の有理的性に関する結果を適用し、$T$ が正則で $ \sigma$ が有限であるとき、$T^\sigma$ が正則であると結論づけること。

実験結果

リサーチクエスチョン

• RQ1 CFT型の正則な頂点演算子代数 $T$ の有限自己同型 $ \sigma$ による固定点部分代数 $T^\sigma$ は、常に正則であるか？
• RQ2 $T$ と $ \sigma$ のどの構造的条件が、$T^\sigma$ が $T$ から正則性を引き継ぐことを保証するか？
• RQ3 $T$ に非特異な不変双線形形式が存在する場合、これを用いて $T^\sigma$ の正則性を証明できるか？
• RQ4 $T$ が単純で正則、CFT型であり、$ \sigma$ が有限自己同型であるとき、$T^\sigma$ の正則性は保証されるか？

主な発見

• VOA $T$ がCFT型の単純正則な頂点演算子代数であり、非特異な不変双線形形式を持つとき、任意の有限自己同型 $ \sigma$ に対して固定点部分代数 $T^\sigma$ は正則である。
• $T^\sigma$ の正則性は、$T$ の正則性、$ \sigma$ の有限性、および $T$ に非特異な不変双線形形式が存在することに起因する。
• 固定点構成はCFT型条件および双線形形式を保ち、これらは $T^\sigma$ の正則性にとって不可欠な要因である。
• この結果により、$T^\sigma$ のモジュールの圏が半単純であり、有限個の既約対象からなることが確認され、正則VOAの特徴的性質である。
• 証明により、$T^\sigma$ が頂点演算子代数理論における正則性の定義（すべてのモジュールが既約モジュールの直和であるという性質）を満たすことが示された。
• この結果により、VOAにおける対称部分代数の正則性に関する一般基準が得られ、既知の orbifold VOA 理論の結果が拡張された。