[論文レビュー] An orthogonal approach to the subfactor of a planar algebra

Vaughan F. R. Jones, Dimitri Shlyakhtenko+1 more|ArXiv.org|Jul 25, 2008

Advanced Operator Algebra Research参考文献 4被引用数 15

ひとこと要約

本稿では、部分因子平面代数の階数付き代数に対する図式的正規直交化手法を提示し、GNS構成が元の平面代数を回復する標準的不変量を持つII₁因子を生じることの簡潔な証明を可能にする。エピおよび非ネストエピテンプレリー＝リーマン図を用いた基底変換を通じて正規直交基底を導入することで、内積および乗法構造が単純化され、Fock空間やC*-代数の道具立てに依存せずに、正規直交構成と元の構成との間の同型を証明する。

ABSTRACT

By changing to an orthogonal basis, we give a short proof that the subfactor of the graded algebra of a planar algebra reproduces the planar algebra.

研究の動機と目的

• 平面代数に付随する部分因子のGNS構成を、標準的な非直交基底の代わりに直交基底を用いることで単純化すること。
• II₁因子塔の結果を証明する際に、完全なFock空間やグラフC*-代数に依存しないようにすること。
• 階数付き代数の部分因子が元の平面代数を再現することを、直接的で図式的な証明により示すこと。
• 明示的な基底変換を通じて、正規直交構成と元のGJS構成との間の同型を確立すること。
• 正規直交基底が代数的構造を保存すると同時に、内積計算を単純化できることを示すこと。

提案手法

• エピおよび非ネストエピテンプレリー＝リーマン図の和によって定義される基底変換を用いて、$Gr_k(\frak{P})$ の正規直交基底を導入する。
• 写像$X$をすべてのエピTL図の和として定義し、$Y$を符号$(-1)^{i-j}$を伴う非ネストエピTL図の和として定義し、これらが逆対をなすことを示す。
• TL図における最も内側/外側の折り返し部分に包含除法を適用することで、$X$と$Y$が互いに逆元であることを証明する。
• 正規直交基底における乗法$\star$が$X(a \bullet b) = X(a) \star X(b)$を満たすことを示し、代数的構造を保存することを保証する。
• 元の基底における内積$\langle\langle a,b\rangle\rangle$が、正規直交基底における$\langle X(a), X(b) \rangle$に等しいことを確立する。
• 左乗法写像の有界性を用いて、正規直交代数に対してもGNS構成が直接適用可能であることを検証する。

実験結果

リサーチクエスチョン

• RQ1 平面代数に付随する部分因子の構成を、内積構造を単純化する直交基底を用いて再証明することは可能か？
• RQ2 直交基底は、元の階数付き代数の代数的乗法および*-構造を保存するか？
• RQ3 Fock空間を用いずに、正規直交代数上のGNS構成は元のGJS構成と同型であるか？
• RQ4 図式的手法を用いて、正規直交代数と元の代数との間の同型を明示的に構成できるか？
• RQ5 直交基底を用いることで、関数解析的道具立てを最小限に抑えてII₁因子塔の結果をより直接的に証明できるか？

主な発見

• すべてのエピTL図の和として定義される写像$X$は、元の代数から直交基底への基底変換を提供する。
• 符号が交互に付いた非ネストエピ図の和として定義される逆写像$Y$は、$XY = YX = 1$を満たし、基底変換が逆行列をもつことを証明する。
• 正規直交基底における乗法$\star$は$X(a \bullet b) = X(a) \star X(b)$を満たし、代数的同型を保証する。
• 元の基底における内積$\langle\langle a,b\rangle\rangle$は、正規直交基底における$\langle X(a), X(b) \rangle$に等しく、トレース構造が保存される。
• 正規直交基底において、$Gr_k(\frak{P})$ の元による左乗法写像は有界であるため、GNS構成がII₁因子を生じることを保証する。
• 得られるII₁因子の標準的不変量は元の平面代数と同型であり、直交的手段による塔構成が確認された。