[論文レビュー] Regularity of fixed-point vertex operator subalgebras

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

Algebraic structures and combinatorial models被引用数 61

ひとこと要約

本稿は、単純で非負に次数づけられ、正則な頂点 operator 代数 $T$ が非特異な不変双線形形式を持つとき、その有限位数自己同型 $ olde$ による固定点部分代数 $T^ olde$ が再び正則であることを証明する。1次元モジュラー不変性と2点関数による剛性の議論を用いて、正則性に関する巡回オルビフォールド問題を解決し、$SL_2(\mathbb{Z})$-適合性を有するねじれの双子キャラクターを確立し、$V^\natural$ のような自己同型の正則な VOAs における一般化ムーンシャイン予想の中心的主張を完全に裏付ける。この結果は、有限可解群作用における固定点部分代数への正則性の拡張を実現する。

ABSTRACT

We show that if $T$ is a simple non-negatively graded regular vertex operator algebra with a nonsingular invariant bilinear form and $σ$ is a finite order automorphism of $T$, then the fixed-point vertex operator subalgebra $T^σ$ is also regular. This yields regularity for fixed point vertex operator subalgebras under the action of any finite solvable group. As an application, we obtain an $SL_2(\mathbb{Z})$-compatibility between twisted twining characters for commuting finite order automorphisms of holomorphic vertex operator algebras. This resolves one of the principal claims in the Generalized Moonshine conjecture.

研究の動機と目的

• 頂点 operator 代数における正則性という性質について、巡回オルビフォールド問題を解決すること。
• 単純で非負に次数づけられ、正則であり、非特異な不変双線形形式を持つ $T$ に対して、固定点部分代数 $T^\sigma$ が正則のままであることを確立すること。
• $SL_2(\mathbb{Z})$-適合性が、正則な VOAs における可換自己同型のねじれの双子キャラクターに対して成立することを証明し、一般化ムーンシャイン予想における重要な主張を完全に裏付けること。
• 正則性が群作用の下で保たれることを保証することで、モジュラー不変性やヴェルリンデ型定理といった強力な道具をオルビフォールド VOAs に適用可能にする。

提案手法

• $T^\sigma$ の正則性の問題を、$C_2^0$-cofinite であることと、$T^\sigma$-モジュールの射影性を示すことに帰着する。
• $T^\sigma$ における単純な電流モジュールへの $T$ の分解を用いて、ねじれモジュールの構造を分析する。
• 1次元の2点関数と Moore-Seiberg-Huang の議論を適用し、$T^\sigma$-モジュールの剛性を確立する。
• $T$ のトレース関数のモジュラー不変性を用いて、$T^\sigma$ における不変性の性質を導出し、$C_2^0$-cofinite であることと射影性に依存する。
• ヴェルリンデの公式と解析的補題を用いて、$L(0)$-固有値構造を扱い、双線形形式の非退化性を保証する。
• $SL_2(\mathbb{Z})$-作用を1次元関数空間に適用し、ねじれキャラクターの変換性を証明する。

実験結果

リサーチクエスチョン

• RQ1 単純で非負に次数づけられ、正則であり、非特異な不変双線形形式を持つ VOA $T$ に対して、有限位数自己同型 $ olde$ による固定点部分代数 $T^\nolde$ は正則のままであるか？
• RQ2 CFT型条件を仮定せず、非負の次数づけと $C_2^0$-cofinite 性に依存して、正則性に関する巡回オルビフォールド問題を解くことは可能か？
• RQ3 一般化ムーンシャイン予想が予言するように、正則な VOAs におけるねじれの双子キャラクターの $SL_2(\mathbb{Z})$-適合性は、条件なしに証明可能か？
• RQ4 $V^\natural$ の $g$-有理型性は、$C_2$-cofinite 性や CFT型条件を仮定せず、ねじれキャラクターのモジュラー不変性を可能にするか？

主な発見

• 単純で非負に次数づけられ、正則であり、非特異な不変双線形形式を持つ $T$ に対して、固定点頂点 operator 部分代数 $T^\sigma$ は正則である。
• $T^\sigma$ の $C_2^0$-cofinite 性は $T$ から引き継がれ、1次元2点関数を用いた剛性の議論により、$T^\sigma$-モジュールの射影性が確立される。
• 非負の $L(0)$-スピンスペクトルを持つ $C_2$-cofinite 正則 VOAs に対して、ねじれの双子キャラクターの $SL_2(\mathbb{Z})$-適合性は、条件なしに成立する。
• $V^\natural$ の $g$-有理型性は、すべての $g \in \mathbb{M}$ に対して証明され、一般化ムーンシャイン計画における主要な未解決問題が解決された。
• 主定理により、有限可解群作用による固定点部分代数が正則であることが示され、オルビフォールド CFT の構成の適用範囲が拡張された。
• この結果により、一般化ムーンシャイン予想の主張4が、$V^\natural$ における可換自己同型のねじれキャラクターのモジュラー不変性を確立することで裏付けられた。