[論文レビュー] Subfactors and Connes fusion for twisted loop groups

Antony Wassermann|arXiv (Cornell University)|Mar 11, 2010

Algebraic structures and combinatorial models参考文献 16被引用数 6

ひとこと要約

本稿は、Connes融合を用いてねじれループ群部分因子とその融合則の明示的実現を確立し、正エネルギー表現 $L^\tau SU(2N)$ が $LSU(2N)$ のVerlinde代数上にモジュール構造を持つことを示している。融合則は、$Sp(N)$ と $SU(N)$ 表現の切断された古典的テンソル積則に由来する。主な結果は、特性関数と量子次元を用いた完全な代数的・解析的記述であり、モジュラー不変性とVerlinde型の公式によって検証されている。

ABSTRACT

In this announcement we explain how to extend the von Neumann algebra definition of fusion to the case of twisted loop groups. This project completes research started by my student Robert Verrill in his 2001 Cambridge Ph.D. thesis.

研究の動機と目的

• ねじれループ群 $L^\tau SU(2N)$ の正エネルギー表現の融合カテゴリをConnes融合を用いて構成・分析すること。
• ねじれ表現のGrothendieck群が $R_\ell(SU(2N))$ であるVerlinde代数上にモジュール構造を確立すること。
• $Sp(N)$ および基本的 $SU(N)$ 表現の切断された古典的テンソル積則に帰着させることで、融合則を明示的に計算すること。
• 量子次元の恒等式と特性和のモジュラー不変性を用いて、融合則の整合性を検証すること。

提案手法

• Connes融合を用いて、$L^\tau SU(2N)$ の正エネルギー表現の融合を定義し、それらをvon Neumann代数上の双モジュールと関連付ける。
• $\zeta_i = \exp(2\pi i(g_i + N + 1/2 - i)/(2N + \ell))$ を含む行列式公式により、$Sp(N)$ の特性関数を表現する。$g_i$ は有限集合 $S$ に属する。
• $\mathcal{T}$ を対角行列 $D(g)$ の集合とするとき、評価写像 $\theta: R(Sp(N)) \to \mathbb{C}^\mathcal{T}$ を定義し、$\theta(R(Sp(N))) = \mathbb{C}^\mathcal{T}$ を示す。
• 許容的 $h$ に対する $\theta_h$ が像代数の $\mathbb{Z}$-基底をなすことを証明し、$h_1 + h_2 = \ell + 1$ を満たす $\theta_h$ が生成する核を特定する。
• 量子次元とPerron–Frobenius理論を用いて、融合分解不等式における等号を導出し、$d(\mathcal{K}_h) = C \psi_h(D(0))$ を確立する。
• KacとPetersenのモジュラー変換則を用いて、恒等式 $\sum_f d(\mathcal{H}_f)^2 = \sum_h d(\mathcal{K}_h)^2$ により正規化定数 $C$ を計算する。

実験結果

リサーチクエスチョン

• RQ1 Connes融合を用いて、ねじれループ群 $L^\tau SU(2N)$ の正エネルギー表現の融合則をどのように明示的に計算できるか？
• RQ2 ねじれ表現のGrothendieck群の代数的構造は何か？また、$LSU(2N)$ のVerlinde代数とはどのように関係するか？
• RQ3 $L^\tau SU(2N)$ の融合則は、$Sp(N)$ および $SU(N)$ 表現の古典的テンソル積則とどのように関係するか？
• RQ4 量子次元の公式 $d(\mathcal{K}_h) = C \psi_h(D(0))$ における正確な正規化定数 $C$ は何か？
• RQ5 特性和のモジュラー不変性は、融合カテゴリの整合性をどのように確認するか？

主な発見

• $L^\tau SU(2N)$ の融合則は、$Sp(N)$ および基本的 $SU(N)$ 表現の古典的テンソル積則の切断版に由来する。
• 正エネルギー表現のGrothendieck群は、Verlinde代数 $R_\ell(SU(2N))$ 上のモジュールをなす。
• $\psi_h(D(g))$ は $h_1 + h_2 = \ell + 1$ のとき消えるため、評価写像 $\theta$ の核を定義する。
• $R(Sp(N))$ の $\theta$ による像は、完全な代数 $\mathbb{C}^\mathcal{T}$ に一致し、許容的 $h$ に対する $\theta_h$ はこの像の $\mathbb{Z}$-基底をなす。
• 正規化定数 $C$ は、量子次元の二乗和の比として決定され、KacとPetersenのモジュラー変換則から明示的な公式が導かれる。
• 次元不等式 $d(\mathcal{H}_k)d(\mathcal{K}_h) \leq \sum \psi_g(D(0))$ における等号が達成され、融合カテゴリの整合性が確認される。