[論文レビュー] Unique prime factorization and bicentralizer problem for a class of type III factors

Cyril Houdayer, Yusuke Isono|arXiv (Cornell University)|Mar 4, 2015

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

ひとこと要約

本稿は、クラス $\pi_{(\text{AO})}$ 内の非可解型 III 因子のテンソル積に対して、一意的な素因数分解を確立する。これは、II$_1$ 因子および型 III 因子に対する既存の結果を統合するものである。Ozawa の (AO) 条件と Popa の連結技術を用いて、このようなテンソル積が、安定同型に関して因子の個数と個々の因子を保持することを証明する。主な応用として、自由 Araki-Woods 因子が得られ、クラス $\pi_{(\text{AO})}$ 内の型 III$_1$ 因子に対して、Connes の二重中心化子問題が肯定的に解かれる。

ABSTRACT

We show that whenever $m \geq 1$ and $M_1, \dots, M_m$ are nonamenable factors in a large class of von Neumann algebras that we call $\mathcal C_{( ext{AO})}$ and which contains all free Araki-Woods factors, the tensor product factor $M_1 \mathbin{\overline{\otimes}} \cdots \mathbin{\overline{\otimes}} M_m$ retains the integer $m$ and each factor $M_i$ up to stable isomorphism, after permutation of the indices. Our approach unifies the Unique Prime Factorization (UPF) results from [OP03, Is14] and moreover provides new UPF results in the case when $M_1, \dots, M_m$ are free Araki-Woods factors. In order to obtain the aforementioned UPF results, we show that Connes's bicentralizer problem has a positive solution for all type ${ m III_1}$ factors in the class $\mathcal C_{( ext{AO})}$.

研究の動機と目的

• クラス $\pi_{(\text{AO})}$ 内の非可解因子のテンソル積に対して一意的素因数分解（UPF）を確立し、既知の II$_1$ 因子および型 III 因子の結果を拡張すること。
• Ozawa-Popa（2003）と Isono（2014）の UPF 結果を、一つの枠組みで統合すること。
• クラス $\pi_{(\text{AO})}$ 内のすべての型 III$_1$ 因子に対して、Connes の二重中心化子問題が肯定的に解かれるのを証明すること。
• 自由 Araki-Woods 因子のテンソル積を用いて、新たな非同型性結果を示すこと。

提案手法

• Ozawa の C$^*$-代数的技法を、強力な (AO) 条件を介して相対可換束を分析するために用いる。
• Popa の生成子による連結技術を、部分代数の検出と安定同型不変量の確立に応用する。
• 解析的要素 $W(\eta)$（$\eta \in K_{\text{an}}$）によって生成される、$M$ に含まれる $\sigma$-弱的に稠密な正確な $C^*$-部分代数 $A \subset M$ を構成し、これにより (AO) 条件が成立することを保証する。
• $[\mathcal{C}, JAJ] \subset \mathbf{K}(H)$ を証明することで、コンパクト作用素との交換子推定を用いて、強い (AO) 条件を示す。
• 期待値を伴う部分代数および忠実な状態を伴う自由積に対して、クラス $\pi_{(\text{AO})}$ の安定性を活用する。
• モジュラー理論と解析的ベクトルを用いて、$\eta \in K_{\text{an}}$ に対して $W(\eta)$ が解析的であることを示し、モジュラー自己同型群の制御を可能にする。

実験結果

リサーチクエスチョン

• RQ1 クラス $\pi_{(\text{AO})}$ 内の非可解型 III 因子のテンソル積に対して、一意的素因数分解を確立できるか？
• RQ2 クラス $\pi_{(\text{AO})}$ 内のすべての型 III$_1$ 因子に対して、Connes の二重中心化子問題は肯定的に解かれるか？
• RQ3 II$_1$ 因子（Ozawa-Popa）と型 III 因子（Isono）の UPF 結果は、一つの枠組みで統合可能か？
• RQ4 自由 Araki-Woods 因子のテンソル積は、安定同型と因子の順序の入れ替えに関して一意的に因数分解可能か？
• RQ5 クラス $\pi_{(\text{AO})}$ 内の因子は、テンソル積において、安定同型類と個数を保持するか？

主な発見

• 非可解因子 $M_i \in \pi_{(\text{AO})}$ と可解因子 $M_0$ のテンソル積 $M_0 \overline{\otimes} M_1 \overline{\otimes} \cdots \overline{\otimes} M_m$ が、別の同様の積と安定同型であるための必要十分条件は、非可解因子の個数が一致し、可解部分が安定同型であり、非可解因子が順序の入れ替えを除いて安定同型であることである。
• クラス $\pi_{(\text{AO})}$ はすべての自由 Araki-Woods 因子を含むため、この結果により、それらのテンソル積に対する新たな非同型性結果が得られる。
• $M = \Gamma(\mathbb{R}, \lambda_{\mathbb{R}})^{\prime\prime}$ として、型 III$_1$ の自由 Araki-Woods 因子を考える。このとき、$m \geq 1$ に対して $M^{\overline{\otimes} m}$ は互いに同型でないことが示され、一意的因数分解が確立される。
• Connes の二重中心化子問題は、クラス $\pi_{(\text{AO})}$ 内のすべての型 III$_1$ 因子に対して肯定的に解かれる。これは、状態の二重中心化子が自明であることを意味する。
• 強い (AO) 条件は、剛性を意味するため、$\pi_{(\text{AO})}$ 内の非可解因子は素因数である。すなわち、型 I 因子を除いて、非自明なテンソル積に分解することはできない。
• 証明により $[\mathcal{C}, JAJ] \subset \mathbf{K}(H)$ が示され、$M$ が強い (AO) 条件を満たすことが確認される。これは UPF 結果の鍵となる。