[論文レビュー] A note on the logarithmic (p,p') fusion

AM Semikhatov|ArXiv.org|Oct 26, 2007

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

ひとこと要約

本稿は、$\mathscr{W}_{p,p'}$ 代数のキャラクターのモジュラー変換を用いて、非半単純な融合代数を導出し、$ (p,p') $ 対数的 conformal field theories における Verlinde 方式の融合手続きを有理的理論から拡張する。得られた融合規則は、対応する量子群の Grothendieck 環と正確に一致し、これらのモデルにおける量子群双対性の強力な証拠を提供する。

ABSTRACT

The procedure in [Fuchs et al.] to obtain a fusion algebra from the modular transformation of characters in logarithmic conformal field models is extended to the (p,p') logarithmic models. The resulting fusion algebra coincides with the Grothendieck ring of the quantum group of the (p,p') model.

研究の動機と目的

• Fuchs らのキャラクターに基づく融合手続きを、対数的 $(p,p')$ conformal field theories に拡張すること。
• 標準的な Verlinde 公式が失敗する非半単純な融合代数を有する対数的 CFT における課題に対処すること。
• $\mathscr{W}_{p,p'}$ 代数のモジュラー $ S $-行列データを用いて、拡張された $\mathscr{W}_{p,p'}$ 代数の整合的な融合代数を確立すること。
• この導出された融合代数が、関連する量子群 $\mathfrak{g}$ の Grothendieck 環と一致することを検証し、Kazhdan–Lusztig 双対性を支持すること。

提案手法

• $\mathscr{W}_{p,p'}$ 代数のキャラクターのモジュラー $ S $-行列変換を用いて、融合代数を定義する。
• Fuchs らおよび [9] の規定に従い、$\mathsf{P} = \mathsf{S}\mathsf{K}$ 固有行列構成を用いてモジュラーデータを融合規則に変換する。
• 方程式 (1.1) に明示された構造定数を伴う、$2pp'$ 個の要素を持つ融合生成子 $\mathscr{K}^{\pm}_{r,r'}$ を定義する。
• 非半単純構造を符号化するため、$r > p$ または $r' > p'$ の場合に、ねじれ生成子 $\widetilde{\mathscr{K}}^{\alpha}_{r,r'}$ を導入する。
• $\mathbb{C}[x,y]$ を、$U_{2p+1}(x) - U_{2p-1}(x) - 2$ および $y$ について同様の式を含むイデアルで割った商として、融合代数を導出する。
• $(p=5,p'=2)$ の場合の $\mathsf{P}$ 行列を計算し、代数的構造の整合性を確認することで、融合規則の整合性を検証する。

実験結果

リサーチクエスチョン

• RQ1 Verlinde 方式の融合手続きは、非半単純な対数的 $(p,p')$ conformal field theories に一貫して拡張可能か？
• RQ2 キャラクターのモジュラー変換から得られる $\mathscr{W}_{p,p'}$ の融合代数は、対応する量子群の Grothendieck 環と一致するか？
• RQ3 拡張された代数のモジュラー $S$-行列および $T$-行列データは、対数的設定における融合規則をどのように符号化するか？
• RQ4 $(p,p')$ モデルの融合環の代数的構造は、$(p,1)$ の場合を除いてどのように特徴づけられるか？
• RQ5 量子群の Grothendieck 環は、$\mathscr{W}_{p,p'}$-表現の融合の妥当な候補であるか？

主な発見

• $\mathscr{W}_{p,p'}$ キャラクターのモジュラー変換から得られる融合代数は、$(p,p')$ モデルに対応する量子群 $\mathfrak{g}$ の Grothendieck 環と同型である。
• $(p=5,p'=2)$ の場合、融合行列 $\mathsf{P} = \mathsf{S}\mathsf{K}$ が明示的に計算され、方程式 (1.1) の代数的構造を確認する。
• 融合規則は二つの生成子 $\mathscr{K}^{+}_{1,2}$ および $\mathscr{K}^{+}_{2,1}$ によって生成され、$\mathbb{C}[x,y]$ を $U_{2p+1}(x) - U_{2p-1}(x) - 2$、$U_{2p'+1}(y) - U_{2p'-1}(y) - 2$、および $U_{p+1}(x) - U_{p-1}(x) - U_{p'+1}(y) + U_{p'-1}(y)$ で生成されるイデアルで割った商に同型である。
• 融合代数の単位元は $\mathscr{K}^{+}_{1,1}$ であり、代数は結合的かつ可換である。
• この手続きにより、キャラクターに基づく融合法が、$(p,p')$ 全体の対数的モデルに一貫して拡張され、量子群双対性と整合することが確認された。
• 結果として、Grothendieck 環が $\mathscr{W}_{p,p'}$-表現の正しい融合規則を提供するという予想が支持された。