[論文レビュー] Commuting Squares and Index for Subfactors

John Schou|arXiv (Cornell University)|Apr 22, 2013

Advanced Operator Algebra Research参考文献 3被引用数 14

ひとこと要約

この博士論文は、フォン・ノイマン代数における部分因子の文脈において、可換な正方形を調査し、双ユニタリ条件を導入して、ヒルベルト空間上のハイパファイント $II_1$-因子の非可約部分因子を構成する。インデックス値が $(4,5)$ の範囲にあるのは、有限および無限グラフから生じることを確立し、主な結果として、非負整数行列を用いて得られる最小のインデックス値が $\frac{5+\sqrt{13}}{2} \approx 4.302$ であることが示され、また、$T(1,2,\infty)$ のような無限グラフは、有限グラフでは実現できない新しいインデックス値をもたらすことが判明した。

ABSTRACT

This is the 1990 Ph.D. thesis of John Kehlet Schou, advised by Uffe Haagerup at Odense University.

研究の動機と目的

• 多行列代数の可換正方形を双ユニタリ条件を用いて特徴付けることにより、ヴェンツルのラダー構成を一般化する。
• 非負整数成分を持つ行列 $G$ が、可換正方形を介して $(4,5)$ 範囲のインデックス値をもたらす条件を特定する。
• 有限次元から無限次元の多行列代数への部分因子構成理論を拡張する。
• 特にシアーが定義するような無限グラフが、可換正方形を定義し、有限グラフでは実現できない新しいインデックス値をもたらすかどうかを調査する。
• 特定のインデックス値、例えば $T(1,2,\infty)$ からのものなど、有限グラフでは実現できないことが示され、既知の部分因子インデックスの集合が拡張されることを示す。

提案手法

• 包含行列 $G,H,K,L$ から可換正方形を構成するための必要十分条件として、双ユニタリ条件 $HL^t = G^tK$ を導入する。
• 可換正方形の性質を保証するため、トレースを保存する条件付き期待値条件 $E_A = E_B E_C = E_C E_B$ を適用する。
• 有限および無限グラフのスペクトルノルムをインデックス値の候補として分析するために、ペロン＝フロベニウス理論を用いる。
• ディンキン図 $A_l$ および $E_{10}$ を用いて可換正方形を構成し、ヴェンツルの既知のインデックス値を再現する。
• シアーが定義する無限グラフ $\Gamma_\lambda$ の構造を分析し、そのペロン＝フロベニウスベクトルが和分可能であることを示し、これにより無限次元可換正方形への応用が可能であることを示す。
• ユニタリ行列の拡張とベクトルノルム制約を用いて、特定のグラフに基づく行列に対する双ユニタリ問題を解く。

実験結果

リサーチクエスチョン

• RQ1 多行列代数の可換正方形が、ハイパファイント $II_1$-因子の非可約部分因子を、$(4,5)$ 範囲のインデックス値で与えるための行列的条件は何か？
• RQ2 4より大きいインデックス値は、有限グラフでは実現できない無限グラフによって実現可能か？
• RQ3 双ユニタリ条件は、包含行列から可換正方形を構成する方法を一意に特徴付けるか？
• RQ4 無限次元の多行列代数が、指定されたインデックス値を持つ部分因子を構成するために使用可能となる条件は何か？
• RQ5 $T(1,2,\infty)$ グラフを用いて、有限グラフでは実現できない新しいインデックス値を与える可換正方形を構成できるか？

主な発見

• 非負整数行列を用いて得られる $(4,5)$ 範囲の最小インデックス値は $\frac{5+\sqrt{13}}{2} \approx 4.302$ であり、これは特定の行列 $G$ が双ユニタリ条件を満たすことで得られる。
• オクネアヌの方法により構成されたグラフ $E_{10} = S(1,2,6)$ は、非負整数行列を用いて実現可能な4より大きい最小の既知のインデックス値をもたらす。
• ディンキン図 $A_l$ を用いた可換正方形は、ヴェンツルの構成と同じインデックス値を再現する：$\frac{\sin^2(k\pi/l)}{\sin^2(\pi/l)}$（$l \geq 3$、$2 \leq k \leq l-2$）。
• 無限グラフ $T(1,2,\infty)$、$T(1,3,\infty)$、$T(1,4,\infty)$ は、可換正方形を構成するために使用可能であり、有限グラフでは実現できないインデックス値をもたらす。
• シアーの無限グラフ $\Gamma_\lambda$ のペロン＝フロベニウスベクトルは、$\lambda > \sqrt{2 + \sqrt{5}}$ のとき和分可能であり、無限次元部分因子構成の可能性を示唆する。
• $T(1,2,\infty)$ に対して、特定のノルム制約を持つユニタリ行列を用いて、双ユニタリ問題の対称的解を構成し、このグラフに対する可換正方形の存在を確認した。