[論文レビュー] Some applications and constructions of intertwining operators in LCFT

Dražen Adamović, Antun Milas|arXiv (Cornell University)|May 18, 2016

Algebraic structures and combinatorial models参考文献 15被引用数 9

ひとこと要約

本稿は、新規の変形実現を用いて、単集合頂点代数 $\omega(2)$ の融合則予想を証明することにより、循環オルビフォルト頂点代数 $\omega(2)^{A_m}$ の非可約モジュールの分類を確立する。この実現を用いてインタウィーニング作用素を構成することで、$p=2$ の場合の融合則 $M_{t_1} \times M_{t_2} = M_{t_1+t_2} \oplus M_{t_1+t_2-2}$ が確認され、これは $\mathcal{W}(2)^{A_m}$ のモジュール分類の完全性を示し、長年の予想を解決する。

ABSTRACT

We discuss some applications of fusion rules and intertwining operators in the representation theory of cyclic orbifolds of the triplet vertex operator algebra. We prove that the classification of irreducible modules for the orbifold vertex algebra W(p)^{A_m} follows from a conjectural fusion rules formula for the singlet vertex algebra modules. In the p=2 case, we computed fusion rules for the irreducible singlet vertex algebra modules by using intertwining operators. This result implies the classification of irreducible modules for W(2)^{A_m}, conjectured previously in [4]. The main technical tool is a new deformed realization of the triplet and singlet vertex algebras, which is used to construct certain intertwining operators that can not be detected by using standard free field realizations.

研究の動機と目的

• 循環オルビフォルト $\mathcal{W}(p)^{A_m}$ の非可約モジュールの分類予想を、単集合頂点代数の融合則を用いて解決すること。
• $p=2$ および $p=3$ における三重集合、単集合、二重集合頂点代数の新しい変形実現を確立し、従来検出できなかったインタウィーニング作用素の構成を可能とすること。
• 明示的なインタウィーニング作用素の構成により、特定の単集合モジュールが一般化された単純電流であることを証明すること。
• $\overline{M(1)}$ の $p=2$ における融合則予想を厳密に証明し、先行研究からの重要な予測を確認すること。

提案手法

• 二重集合頂点代数 $\mathcal{A}(p)$ の新しい変形実現を開発し、$p=2,3$ において単集合 $\overline{M(1)}$ および三重集合 $\mathcal{W}(p)$ 代数へ拡張し、$p\geq4$ に対しても予想的に成立するとする。
• Heisenberg Fock モジュール $M(1, \frac{t}{2p}\alpha)$ の非可約商モジュールとして単集合モジュール $M_t$ を実現し、インタウィーニング作用素の明示的計算を可能にする。
• より大きな頂点代数 $U = M_{\alpha_1}(1) \otimes V_{\mathbb{Z}2\alpha_2}$ 内の自由場実現を用いて、型 ${M_{t_1+t_2} \choose M_{t_1}\ M_{t_2}}$ および ${M_{t_1+t_2-2} \choose M_{t_1}\ M_{t_2}}$ のインタウィーニング作用素を構成する。
• より大きな $U$-モジュールのカテゴリから制限することで、構成されたインタウィーニング作用素の $L(-1)$-性質および結合則を検証する。
• 構成された作用素を用いて、融合積 $M_{t_1} \cdot M_{t_2} = M_{t_1+t_2} \oplus M_{t_1+t_2-2}$ が成り立つことを証明し、$p=2$ における融合則予想を確認する。
• 融合則の結果を応用して、[4]で予想された通り、非可約 $\mathcal{W}(2)^{A_m}$-モジュールの分類が完全に確立されることを導く。

実験結果

リサーチクエスチョン

• RQ1 単集合頂点代数モジュールの融合則予想は、非可約 $\mathcal{W}(p)^{A_m}$-モジュールの分類を示唆するか？
• RQ2 三重集合および単集合頂点代数の新しい変形実現を構築することで、従来検出できなかったインタウィーニング作用素に到達可能か？
• RQ3 $p=2$ の場合に、モジュール $M_t$ は、非自明なインタウィーニング作用素の存在によって示唆される一般化された単純電流であるか？
• RQ4 $p=2$ の場合に構成されたインタウィーニング作用素は、非可約 $\mathcal{W}(2)^{A_m}$-モジュールの完全分類を確認するか？

主な発見

• 新しい実現およびインタウィーニング作用素構成を用いて、すべての $t_1, t_2 \in \mathbb{C}$ に対して $t_1, t_2 \notin \mathbb{Z}$、$t_1 + t_2 \in \mathbb{Z}$ を満たす場合に、融合則 $M_{t_1} \times M_{t_2} = M_{t_1+t_2} \oplus M_{t_1+t_2-2}$ が成立することが証明された。
• 型 ${M_{t_1+t_2} \choose M_{t_1}\ M_{t_2}}$ および ${M_{t_1+t_2-2} \choose M_{t_1}\ M_{t_2}}$ の非自明なインタウィーニング作用素の存在は、特定の $M_t$ モジュールが $\overline{M(1)}$-モジュールのカテゴリにおいて一般化された単純電流であることを確認する。
• 非可約 $\mathcal{W}(2)^{A_m}$-モジュールの分類が完全に確立され、[4]で予想された内容が $p=2$ の融合則結果を用いて確認された。
• $p=2$ および $p=3$ に対して、$\mathcal{A}(p)$、$\overline{M(1)}$、$\mathcal{W}(p)$ の新しい変形実現が構成され、$p \geq 4$ に対しても予想される。これにより、従来の自由場実現では検出できなかったインタウィーニング作用素の構成が可能となった。
• 構成されたインタウィーニング作用素が $L(-1)$-性質および結合則を満たすことが示され、頂点代数の枠組み内での有効性が保証された。
• 結果は $N=1$ スーパーオーミラルトの場合へも拡張可能であり、著者らはほとんどの結果が $N=1$ 単集合／三重集合頂点代数へ一般化可能であると述べており、進行中の研究で示唆されている。