[論文レビュー] Energy-momentum tensor for the toroidal Lie algebras

Yuly Billig|ArXiv.org|Jan 31, 2002

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

ひとこと要約

本稿は、全$(N+1)$-トロイダルリー代数およびその発散なし部分代数$\mathfrak{g}_{\rm div}$の頂点 operator代数（VOA）表現を構成し、エネルギー運動量テンソルを欠落していた$t_0$-微分作用素を含むことで、表現論における長年の空白を解消した。主な貢献は、アフィン、双曲的格子、$\widehat{sl}_N$、およびバーラソロ VOA のテンソル積として構成された、$\mathfrak{g}_{\rm div}$ の忠実な VOA 加群であり、中心的スケール条件$2(N+1) + \text{rank}(V_{\widehat{\dot{\mathfrak{g}}}}(c)) + \overline{c}_L = 26$を満たす。$N=12$の臨界ケースでは、$h$-関数の特徴を持つモジュラー加群が得られる。

ABSTRACT

We construct vertex operator representations for the full (N+1)-toroidal Lie algebra g. We associate with g a toroidal vertex operator algebra, which is a tensor product of an affine VOA, a sub-VOA of a hyperbolic lattice VOA, affine sl(N) VOA and a twisted Heisenberg-Virasoro VOA. The modules for the toroidal VOA are also modules for the toroidal Lie algebra g. We also construct irreducible modules for an important subalgebra gdiv of the toroidal Lie algebra that corresponds to the divergence free vector fields. This subalgebra carries a non-degenerate invariant bilinear form. The VOA that controls the representation theory of gdiv is a tensor product of an affine VOA Vaff(c) at level c, a sub-VOA of a hyperbolic lattice VOA, affine sl(N) VOA and a Virasoro VOA at level cvir with the following condition on the central charges: 2(N+1) + rank Vaff(c) + cvir = 26.

研究の動機と目的

• エネルギー運動量テンソルを担う欠落していた$t_0$-微分作用素部分を含むことで、トロイダルリー代数の表現論を完成させること。
• 長年の問題である、$t_0$-微分作用素を含まない不完全な頂点演算子実現が、共形場理論における物理的整合性に不可欠であるという問題を解決すること。
• 発散なし部分代数$\mathfrak{g}_{\rm div}$の忠実な VOA 加群を確立すること。この加群は非退化な不変双一次形式を持ち、明確に定義されたエネルギー運動量テンソルを持つ。
• アフィン、格子、およびバーラソロ VOA のレベルを関連付ける中心的スケール条件を導出することにより、表現のモジュラー不変性と物理的整合性を保証すること。

提案手法

• アフィン VOA $V_{\widehat{\dot{\mathfrak{g}}}}(c)$、双曲的格子 VOA $V^{+}_{\rm Hyp}$ の部分 VOA、アフィン$\widehat{sl}_N$ VOA、およびねじれヘイゼンベルグ＝バーラソロ VOA のテンソル積として、トロイダル VOA を構成する。
• 表現を拡張して$t_0$-微分作用素を含めることで、全$(N+1)$-トロイダルリー代数の頂点演算子実現を実装し、以前の複雑なコycleの問題を解消する。
• 文献[BB]の主実現フレームワークを用い、$\mathbb{Z}^N$-有界グレーディングモジュール$T$を、次数0部分代数の上から誘導する。ここで$T$は$\mathcal{D}_0$のテンソルモジュールであり、$\mathcal{R}_0 \otimes \dot{\mathfrak{g}} \oplus \mathcal{K}_0$のトロイダルモジュールである。
• VOA 上での$\widehat{d}_a({\bf r},z)$の作用によりエネルギー運動量テンソルを定義し、(4.6)〜(4.9)および(5.11)の明示的場の表現が、$\mathfrak{g}_{\rm div}$のリー括弧関係を満たすことを示す。
• Lemma 5.4 とモジュール構成における恒等式の保存を用いて、$\mathfrak{g}_{\rm div}$の交換関係が VOA 内で保存されることを確認し、モジュール構造を確立する。
• 不可約モジュールの存在に必要な制約として、中心的スケール条件$2(N+1) + \text{rank}(V_{\widehat{\dot{\mathfrak{g}}}}(c)) + \overline{c}_L = 26$を導出する。これは弦理論における「ノーゴースト定理」と類似している。

実験結果

リサーチクエスチョン

• RQ1 エネルギー運動量テンソルを含む、欠落していた$t_0$-微分作用素を含む全$(N+1)$-トロイダルリー代数の完全な頂点演算子代数表現をどのように構成できるか？
• RQ2 発散なし部分代数$\mathfrak{g}_{\rm div}$の不可約モジュールの構造は何か？また、全トロイダル代数とどのように関係しているか？
• RQ3 VOA のテンソル積が、$\mathfrak{g}_{\rm div}$ の一貫性があり、モジュラーかつ物理的に意味のある表現をもたらすために満たすべき中心的スケール条件は何か？
• RQ4 臨界値$N=12$において、表現論的およびモジュラー性質にどのような変化が生じるか？
• RQ5 $N=12$において、双曲的格子 VOA $V^{+}_{\rm Hyp}$ は、Lie 代数$\mathcal{D}_{\rm div} \oplus \mathcal{K}$ に対して作用可能か？その特徴関数のモジュラー性質は何か？

主な発見

• 本稿は、$\mathfrak{g}_{\rm div}$ の忠実な頂点演算子代数加群を構成した。これは、$V_{\widehat{\dot{\mathfrak{g}}}}(c)$、$V^{+}_{\rm Hyp}$、$L_{\widehat{sl}_N}(\lambda_1,0)$、および$L_{\overline{\mathcal{V}ir}}(h,\overline{c}_L)$ の不可約モジュールのテンソル積として実現され、Lie 代数作用の下で全構造が保存される。
• 中心的スケール条件$2(N+1) + \text{rank}(V_{\widehat{\dot{\mathfrak{g}}}}(c)) + \overline{c}_L = 26$は、$\mathfrak{g}_{\rm div}$ の不可約モジュールの存在にとって必要かつ十分であり、弦理論における「ノーゴースト定理」と類似している。
• $N=12$では、モジュール$V^{+}_{\rm Hyp}$ は自然に Lie 代数$\mathcal{D}_{\rm div} \oplus \mathcal{K}$ に作用し、コycle $\tau_1$ を持つ。その特徴関数は$\text{char}\, V^{+}_{\rm Hyp} = q_0 \prod_{k=1}^{\infty} (1 - q_0^{-k})^{-24} \times \prod_{p=1}^{12} \sum_{j \in \mathbb{Z}} q_p^j$ となり、モジュラー不変性を示す。
• エネルギー運動量テンソルは$\widehat{d}_a({\bf r},z)$ の作用により完全に実現され、(4.6)〜(4.9)および(5.11)の明示的場の表現が$\mathfrak{g}_{\rm div}$ のリー括弧関係を満たす。これにより、表現論における長年の障害が解消された。
• 双曲的格子の非正定値計量のため、アフィンおよびバーラソロ部がユニタリであっても、表現はユニタリでない。これは、この構成における主要な物理的制限を示している。
• 臨界ケース$N=12$では、一意の例外的モジュールが得られ、全構造が格子 VOA $V^{+}_{\rm Hyp}$ に縮退する。Lie 代数$\mathcal{D}_{\rm div} \oplus \mathcal{K}$ は頂点演算子を介して作用し、特徴関数は12個のデルタ関数と$\eta$-関数の$-24$乗の積を示す。