[論文レビュー] From subfactor planar algebras to subfactors

Vijay Kodiyalam, V. S. Sunder|ArXiv.org|Jul 23, 2008

Advanced Operator Algebra Research参考文献 6被引用数 5

ひとこと要約

本稿は、GNS表現および相対可換子の計算を用い、フィルター付き代数を介して、Guionnet-Jones-Shlyakhtenkoの解析的手法（自由確率論やランダム行列理論を含む）を避ける、完全に平面上代数的な証明を提供する。その結果、任意の部分因子平面代数が、極大で有限指数のII₁部分因子から生じることを示している。主な結果は、元の平面代数と同型である極大部分因子の構成である。

ABSTRACT

We present a purely planar algebraic proof of the main result of a paper of Guionnet-Jones-Shlaykhtenko which constructs an extremal subfactor from a subfactor planar algebra whose standard invariant is given by that planar algebra.

研究の動機と目的

• Guionnet-Jones-Shlyakhtenkoの研究における主要結果を、自由確率論やランダム行列理論を含む解析的手法を一切用いずに、完全に平面代数的証明すること。
• 与えられた部分因子平面代数から直接、有限指数の極大部分因子を構成することで、平面代数的技法の強力さを示すこと。
• 平面代数に関連するフィルター付き代数のGNS表現を用いて、von Neumann代数の塔を確立すること。
• 得られた塔が、元の平面代数と同型である有限指数の極大部分因子の基本的構成塔であることを特定すること。
• 構成された部分因子の平面代数が、初期の部分因子平面代数と自然に同型であることを示すこと。

提案手法

• 部分因子平面代数 $P$ から、適合するトレースおよび条件付き期待値を持つフィルター付き*-代数 $F_k(P)$ の塔を構成する。
• $F_k(P)$ のトレースにGNS構成を適用し、有界表現を導出し、有限von Neumann代数の完備化を得る。
• 平面代数的手法を用いて相対可換子を計算することで、完備化が因子であることを証明する。
• 完備化の塔が、有限指数の極大部分因子 $M_0^ u \to M_1^ u$ の基本的構成塔として特定されることを示す。
• $k$-良いおよび $k$-優れた輪状テングラフを用いて、Guionnet-Jones-Shlyakhtenkoの順次代数 $Gr_k(P)$ とここに構成されたフィルター付き代数 $F_k(P)$ 間のトレースを保存する*-同型を確立する。
• 乗法、トレース、包含、回転などの平面テングラフ作用を用いて代数的構造を定義し、部分因子不変量と整合することを検証する。

実験結果

リサーチクエスチョン

• RQ1 部分因子平面代数から極大部分因子を構成することは、自由確率論やランダム行列理論に依存せずに、完全に平面代数的技法によって達成可能か？
• RQ2 平面代数に関連するフィルター付き代数のGNS表現は、有限von Neumann代数の塔をどのように構成するか？
• RQ3 相対可換子は、平面代数フレームワーク内での部分因子の基本的構成塔の特定において、どのような役割を果たすか？
• RQ4 Guionnet-Jones-Shlyakhtenkoの順次代数 $Gr_k(P)$ と、ここに構成されたフィルター付き代数 $F_k(P)$ は同型であるか？もしそうならば、同型はどのように実現されるか？
• RQ5 平面代数の球対称性は、構成された部分因子の極大性をどのように保証するか？

主な発見

• フィルター付き代数 $F_k(P)$ のGNS表現は有界であり、明確に定義された有限von Neumann代数の完備化をもたらす。
• 完備化 $M_k^ u$ は因子の塔をなしており、相対可換子 $(M_0^ u)' \bigcap M_k^ u$ は平面テングラフの包含を介して $P_{1,k} \bigcap P_k$ に同定される。
• 構成された部分因子 $M_0^ u \to M_1^ u$ は極大であり、指数は $\nu = \nu^2$ である。ここで $\nu$ は平面代数 $P$ のモジュラスである。
• 構成された部分因子の平面代数は、トレースを保存する条件付き期待値およびジョーンズ射影の同定を通じて、元の平面代数 $P$ と自然に同型であることが確認された。
• $k$-良いおよび $k$-優れた輪状テングラフを用いて、トレースを保存する*-同型 $\theta_k: Gr_k(P) \to F_k(P)$ 及びその逆写像を明示的に構成した。これらの同型は、対角成分が恒等行列であるブロック上三角行列として実現される。
• $Gr_k(P)$ 上のトレース $Tr_k$ は、 $F_k(P)$ 上の $\nu^k t_k$ に対応し、同型の両側でトレース構造が整合していることが確認された。