[論文レビュー] The Annular Structure of Subfactors

Vaughan F. R. Jones|ArXiv.org|May 9, 2001

Inorganic Fluorides and Related Compounds被引用数 57

ひとこと要約

本稿は、プランループ代数を用いて、部分因子の輪状構造を確立し、テム्पルリー・リーブモジュール分解を分析するためのプランループ代数上のモジュールを導入する。$E_6$ プランループ代数は、内部の $\psi$-ラベル付きディスクを結ぶストリングがないタングルの基底を備えるが、$E_8$ はそうではないことを、次元数え上げとスキーン関係式を用いて示し、高インデックス部分因子における非自明なエンタングルメントを特定する。

ABSTRACT

Given a planar algebra we show the equivalence of the notions of a module over this algebra (in the operadic sense), and module over a universal annular algebra. We classify such modules, with invariant inner products, in the generic region and give applications to subfactorss, including a planar construction of the $E_6$ and $E_8$ subfactors.

研究の動機と目的

• プランループ代数上のモジュール理論を発展させ、部分因子における輪状タングルを研究するための枠組みとする。
• プランループ代数をテムプルリー・リーブモジュールに分解し、その構造に制約を導出する。
• 4未満のインデックスを持つ $A$-$D$-$E$ 部分因子系列を一様に、プランループ代数に基づいて構成する方法を提供する。
• $TL$-モジュール生成関数を用いて、プランループ代数のポincare系列に対する正値性結果を確立する。
• 特定の内部ディスクが接続されたタングルが、より単純なタングルの線形包に属するかどうかを特定し、スキーン理論における重要な問いに答える。

提案手法

• プランループ作用を用いて、部分因子の標準不変量への作用を定義し、1つの入力と1つの出力をもつタングル（輪状タングル）に焦点を当てる。
• $TL$-モジュール理論を適用し、特に最低重量 $k$ の既約モジュール ${\cal H}^{k,\omega}$ を分析する。
• 定理 B.1 からの次元公式 $\dim{\cal H}^{k,\omega}_{m} = \binom{2m}{m-k} - 1$ を用い、$TL_{2n}^a$ と $TL_{2n}^b$ の成分間の次元を比較する。
• 既約性と核条件 ($\bigcap_{i=1}^{2n+2} \ker(\epsilon_i) = 0$) に基づく数え上げ論法を用い、自明表現を除外する。
• スキーン関係式と $Q_{n,1}(\psi,\psi)$ タングルの構造を用いて、エンタングルされた構成の線形従属性または独立性を特定する。
• グレゴリーとルーラーの $TL$-モジュールに関する結果を活用し、非半単純な設定においてもタングル構成の線形独立性を確立する。

実験結果

リサーチクエスチョン

• RQ1 $E_6$ プランループ代数は、2つの $\psi$-ラベル付き内部ディスクを結ぶストリングのないすべての基底タングルを持つような、最低重量ベクトル $\psi$ によって生成可能か？
• RQ2 $E_8$ プランループ代数において、タングル $Q_{9,1}(\psi,\psi)$ は $TL$-部分モジュール ${\cal H}^{\delta}_9$ と ${\cal H}^{5,\omega}_9$ の線形包に属するか？
• RQ3 $TL$-モジュールの次元が、プランループ代数における最小タングル基底の存在に与える制約は何か？
• RQ4 プランループ代数が $TL$-モジュールに分解されることで、その分割関数とポincare系列の構造にどのような制約が生じるか？
• RQ5 部分因子の $A$-$D$-$E$ 分類は、輪状的考察とプランループ代数のモジュール論的解析に基づいて、純粋に導出可能か？

主な発見

• $E_6$ プランループ代数は、2つの $\psi$-ラベル付き内部ディスクを結ぶストリングのないタングルの基底を備える。これは、$Q_{5,1}(\psi,\psi)$ が、高々1つの内部ディスクをもつ $TL$-モジュールの線形包に属するからである。
• $E_8$ では、タングル $Q_{9,1}(\psi,\psi)$ は ${\cal H}^{\delta}_9$ と ${\cal H}^{5,\omega}_9$ の線形包に属さないため、任意の基底には、2つの $\psi$-ラベル付きディスクを結ぶストリングをもつタングルが含まれなければならない。
• 次元数え上げにより、$\dim{\cal H}^{3,\omega}_5 = 35$ および $\dim{\cal H}^{\delta}_5 = 42$ であり、合計は $77 = \dim P_5$ に等しい。これは、$E_6$ のプランループ代数がこのようなタングルによって張られることを確認する。
• $E_8$ においては、$\dim{\cal H}^{5,\omega}_9 = 2244$ および $\dim{\cal H}^{\delta}_9 = 4862$ であり、合計は $7106$ である。一方 $\dim P_9 = 7106$ であるため、$Q_{9,1}(\psi,\psi)$ はこれらの部分モジュールと線形独立でなければならない。
• $E_8$ のプランループ代数は、内部の $\psi$-ラベル付きディスクを結ぶストリングのないタングルの基底を備えない。これは、$Q_{9,1}(\psi,\psi)$ が捉える非自明なエンタングルメントに起因する。
• 結果は、$A$-$D$-$E$ 分類が輪状的考察から自然に生じることを確認しており、$E_6$ は平坦接続の解釈を許容し、$E_8$ はより複雑なタングル関係を必要とする。