[論文レビュー] Dualizability and index of subfactors

Arthur Bartels, Christopher L. Douglas+1 more|arXiv (Cornell University)|Oct 25, 2011

Advanced Operator Algebra Research参考文献 23被引用数 12

ひとこと要約

この論文は、von Neumann代数上の双モジュラーの圏的基盤を確立し、部分因子における双モジュラーの双対可能性が有限指数と同値であることを証明する。有限なホモモルフィズム（その関連する双モジュラーが双対可能であるもの）に対して、$L^2$-空間とコンヌの融合が函手的であることを示し、インデックス理論と圏的双対性を統合し、統計的次元とピムスナー–ポパの不等式に対する新たな視点を提供する。

ABSTRACT

In this paper, we develop the theory of bimodules over von Neumann algebras, with an emphasis on categorical aspects. We clarify the relationship between dualizability and finite index. We also show that, for von Neumann algebras with finite-dimensional centers, the Haagerup L^2-space and Connes fusion are functorial with respect to homorphisms of finite index. Along the way, we describe a string diagram notation for maps between bimodules that are not necessarily bilinear.

研究の動機と目的

• von Neumann代数の双モジュラーにおける双対可能性と有限インデックスの間の圏的関係を明確化すること。
• 中心が有限次元であるvon Neumann代数の間の有限ホモモルフィズムに対して、$L^2$-空間とコンヌの融合が函手的であることを確立すること。
• 双モジュラーの統計的次元がインデックスの平方に一致することを示し、圏的双対性と従来のピムスナー–ポパのインデックスを調和させること。
• 共形場理論や楕円コホモロジーに関連する部分因子不変量を理解するための圏的枠組みを提供すること。

提案手法

• 双モジュラー間の非双線形写像を表現するストリング図記法を導入し、von Neumann代数、双モジュラー、インターヴァリアントの2圏における視覚的推論を可能にする。
• 双モジュラー ${}_{A}L^2B_{B}$ が双対可能であるようなホモモルフィズムを「有限ホモモルフィズム」と定義し、有限インデックスの概念を一般化する。
• 双対性写像 $R^*$ と $S$ を用いて統計的次元を $R^*R = S^*S$ として定義し、これとインデックスを結びつける。
• ピムスナー–ポパの不等式を適用して、条件付き期待値とインデックスの上限を関連付け、最小インデックスが統計的次元の平方に一致することを証明する。
• $A \mapsto L^2(A)$ を通じて、有限次元中心を持つvon Neumann代数と有限ホモモルフィズムの圏からヒルベルト空間と有界線形写像の圏への函手を構成し、コンヌの融合に対しても3変数函手に拡張する。
• 相対可換子とテンソル積を用いて、インデックス行列のノルムの上限を導出し、$ \|\llbracket N'\cap A:M'\cap A\rrbracket\| \leq \llbracket M:N\rrbracket$ を証明する。

実験結果

リサーチクエスチョン

• RQ1 部分因子における双モジュラーの双対可能性は、そのインデックスの有限性とどのように関係するか？
• RQ2 中心が有限次元であるvon Neumann代数に対して、写像 $A \mapsto L^2(A)$ がいつ函手的になるか？
• RQ3 双モジュラーの統計的次元はインデックスの平方と同一視できるか？ また、これはピムスナー–ポパの不等式とどのように関係するか？
• RQ4 コンヌの融合は、左モジュラー、代数、右モジュラーの3変数において、常に函手的か？
• RQ5 相対可換子やテンソル積の構成によって、相対インデックス行列に対してどのようなノルムの上限が得られるか？

主な発見

• 双モジュラー ${}_{N}L^2M_{M}$ の双対可能性は、部分因子インデックス $[M:N]$ の有限性と同値であり、インデックスは統計的次元の平方に等しい。
• 写像 $A \mapsto L^2(A)$ は、中心が有限次元であるvon Neumann代数と有限ホモモルフィズムの圏から、ヒルベルト空間と有界線形写像の圏への函手を定義する。
• コンヌの融合 $H \boxtimes_A K$ は、有限ホモモルフィズムに制限した場合、$H$、$A$、$K$ の3変数において函手的であり、ヒルベルト空間への3変数函手をなす。
• 双モジュラーの統計的次元の平方は、ピムスナー–ポパの不等式によって定義される最小インデックスと一致し、従来のインデックス定義と整合性を保つ。
• $N \subset M \subset A$ が部分因子で、$N$、$M$ が因子であり $[M:N] < \infty$ であるとき、$\|\llbracket N'\cap A:M'\cap A\rrbracket\|$ のノルムは $\llbracket M:N\rrbracket$ で抑えられ、やや弱い中心条件のもとで成り立つ。
• 部分因子のインデックスは、タイプIII因子とのテンソル積をとる操作や、相対可換子への移行においても保存され、条件付き期待値がピムスナー–ポパの不等式を満たす限り、その上限が導かれる。