[論文レビュー] $C_2$-cofiniteness of orbifold models for finite groups

Masahiko Miyamoto|arXiv (Cornell University)|Dec 3, 2018

Algebraic structures and combinatorial models被引用数 4

ひとこと要約

この論文は、$C_2$-cofinite で、CFT型で、非特異な不変双線形形式を持つ単純な頂点 operator algebra $V$ が有限自己同型群 $G$ を持つならば、対応する軌道構成 $V^G$ も $C_2$-cofinite であることを証明する。この結果は、頂点 operator algebra 理論における軌道モデルの主要な有限性性質を確立し、群作用下での代数的および表現論的性質の良好さを保証する。

ABSTRACT

We prove that if $V$ is a $C_2$-cofinite simple vertex operator algebra of CFT-type with a nonsingular invariant bilinear form and its an automorphism group $G$ is finite, then an orbifold model $V^G$ is also $C_2$-cofinite.

研究の動機と目的

• CFT型の $C_2$-cofinite VOA に有限群が作用する場合の軌道頂点 operator algebra の $C_2$-cofiniteness を確立すること。
• 有限群自己同型による軌道構成が $C_2$-cofiniteness 性質を保つかどうかという未解決問題に取り組むこと。
• 頂点 operator algebra 理論における構造的有限性結果を、特に非特異な不変双線形形式を持つ VOA に対して、軌道設定へと拡張すること。

提案手法

• 元の頂点 operator algebra $V$ の $C_2$-cofiniteness および CFT型の条件を活用して、固定点部分代数 $V^G$ の構造を制御すること。
• V に非特異な不変双線形形式が存在することを用いて、軌道構成における双対性および非退化性の性質を保証すること。
• 表現論的技法を用いて、$V^G$ の各次数成分とその $C_2$ による有限生成性を分析すること。
• 有限群作用を用いて $V$ を既約 $G$-加群に分解し、特性値理論および加群論を用いて固定点代数の構造を研究すること。
• $V^G$ の $C_2$-商空間を分析して、次元が有限であることを確認し、$C_2$-cofiniteness の重要な基準を満たすことを検証すること。
• V が単純で CFT型であることから、軌道 $V^G$ が十分な代数的制御を引き継ぎ、有限性を保証するための条件を満たすことを活用すること。

実験結果

リサーチクエスチョン

• RQ1 V が $C_2$-cofinite で、G が有限自己同型群であるとき、軌道構成 $V^G$ は $C_2$-cofiniteness 性質を保つのか？
• RQ2 V と G にどのような条件下で、$V^G$ が $C_2$-cofinite であると保証できるか？
• RQ3 V に非特異な不変双線形形式が存在する場合、それが $V^G$ の $C_2$-cofiniteness にどのように寄与するか？
• RQ4 $C_2$-cofiniteness が V に成り立つならば、有限群作用下での固定点部分代数に対しても同様に成り立つか？

主な発見

• V が $C_2$-cofinite で、CFT型で、非特異な不変双線形形式を持つ単純な頂点 operator algebra である限り、対応する軌道モデル $V^G$ は $C_2$-cofinite である。
• 有限群作用による軌道構成において、$C_2$-cofiniteness の有限性条件が保たれる。
• V に非特異な不変双線形形式が存在することは、$V^G$ の代数的有限性を保証する上で重要な役割を果たす。
• この結果により、$V^G$ が、有限次元の $C_2$-商を含む、良好な表現論的性質を満たすための必要な構造的条件を満たすことが確認された。
• 証明により、$G$-固定点部分代数 $V^G$ は、追加の仮定なしに、$V$ から十分な制御を引き継ぎ、$C_2$-cofiniteness を保証することが示された。