[論文レビュー] On the Guionnet-Jones-Shlyakhtenko construction for graphs

Vijay Kodiyalam, V. S. Sunder|arXiv (Cornell University)|Nov 11, 2009

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

ひとこと要約

この論文は、有限・重み付き双対グラフへGuionnet-Jones-Shlyakhtenko (GJS)構成を拡張し、任意の有限深さ部分因子平面代数に対して、関連するvon Neumann代数が有限パラメータを持つ補間自由群因子に同型であることを示している。主な結果は、このような平面代数にGJS構成を適用することで、$1 < r,s < \infty$ を満たす $LF(r) \subseteq LF(s)$ という補間自由群因子の包含関係が得られることを示しており、有限深さ平面代数の普遍性に対する新たな証明を提供する。

ABSTRACT

Using an analogue of the Guionnet-Jones-Shlaykhtenko construction for graphs we show that their construction applied to any subfactor planar algebra of finite depth yields an inclusion of interpolated free group factors with finite parameter, thereby giving another proof of their universality for finite depth planar algebras.

研究の動機と目的

• 有限・重み付き双対グラフの文脈へGuionnet-Jones-Shlyakhtenko構成を一般化すること。
• 連結グラフ $\Gamma$ が有限深さを持つ場合、関連するvon Neumann代数 $M(\Gamma)$ が有限パラメータを持つ補間自由群因子に同型であることを確立すること。
• 有限深さ部分因子平面代数に対する補間自由群因子の普遍性の新たな証明を提供すること。
• GJS構成のコーナー代数が $M(\Gamma,0)$ および $M(\Gamma,1)$ に同型であり、これらがより単純な代数のアーマルガメートド自由積であることを示すこと。
• 有限深さ部分因子平面代数にGJS構成を適用することで、$1 < r,s < \infty$ を満たす包含関係 $LF(r) \subseteq LF(s)$ が得られることを示すこと。

提案手法

• 有限・重み付き双対グラフ $\Gamma$ から、経路とその連結を用いて、階層的でトレース的で忠実な $*$-確率空間 $Gr(\Gamma)$ を構成する。
• Temperley-Lieb同値関係に基づく和を用いて、$Gr(\Gamma)$ 上のトレース $\tau$ を定義し、GJSトレースを一般化する。
• $Gr(\Gamma)$ とフィルター付き $*$-確率空間 $F(\Gamma)$ 間の同型を確立し、代数的制御を可能にする。
• $\Gamma$ が連結でかつ1本以上の辺を持つ場合、$M(\Gamma)$、つまり $\Gamma$ に関連するvon Neumann代数が、$II_1$因子と有限次元アーベル代数の直和に同型であることを証明する。
• $Gr(\Gamma,0)$ および $M(\Gamma,0)$ のアーマルガメートド自由積分解を用いて、1つの奇数頂点を持つ部分グラフを介して $M\big(\Gamma,0\big)$ の構造を分析する。
• 有限深さ部分因子平面代数 $P$ の双対平面代数 $^{-}P$ にGJS構成を適用し、$^{-}Gr_1(Q)$ と $Gr_1(P)$ 間の同型を用いて、得られる代数が補間自由群因子に同型であることを示す。

実験結果

リサーチクエスチョン

• RQ1 Guionnet-Jones-Shlyakhtenko構成は、平面代数から有限・重み付き双対グラフの文脈へ拡張可能か？
• RQ2 有限深さ部分因子平面代数にGJS構成を適用すると、有限パラメータを持つ補間自由群因子の包含関係が得られるか？
• RQ3 連結グラフ $\Gamma$ が有限深さを持つ場合、関連するvon Neumann代数 $M(\Gamma)$ は有限パラメータを持つ補間自由群因子に同型か？
• RQ4 $M(\Gamma,0)$ の構造は、1つの奇数頂点を持つ部分グラフを用いたアーマルガメートド自由積分解によりどのように分解可能か？
• RQ5 グラフ $\Gamma$ の偶数頂点および奇数頂点に対応するコーナー代数 $M(\Gamma,0)$ および $M(\Gamma,1)$ の正確な同型型は何か？

主な発見

• 任意のモジュラス $\delta > 1$ を持つ有限深さ部分因子平面代数 $P$ に対して、GJS構成により、$N \cong LF(r)$ および $M \cong LF(s)$ を満たす部分因子包含関係 $N \subseteq M$ が得られ、$1 < r,s < \infty$ となる。これは、有限深さ代数に対する普遍性を証明する。
• 1本以上の辺を持つ連結グラフ $\Gamma$ に対して、関連するvon Neumann代数 $M(\Gamma)$ は、$II_1$因子と有限次元アーベル代数の直和に同型である。
• グラフ $\Gamma$ にPerron-Frobenius重み付けが施された場合、$M(\Gamma)$ は有限パラメータを持つ補間自由群因子に同型である。
• 偶数頂点に対応するコーナー代数 $M(\Gamma,0)$ は、1つの奇数頂点を持つ部分グラフに対応する代数のアーマルガメートド自由積に同型である。
• 1つの奇数頂点を持つグラフ $\Lambda$ に対して、$M(\Lambda,0)$ は有限パラメータを持つ補間自由群因子に同型である。
• 双対平面代数 $^{-}P$ にGJS構成を適用すると、$^{-}Gr_1(Q)$ と $Gr_1(P)$ 間の同型が得られ、その結果、$M_1$ のあるコーナーが $M(\overline{\Gamma},v)$ に同型であることが示され、これは有限パラメータを持つ補間自由群因子である。