[論文レビュー] On multiplicity and free absorption for free Araki-Woods factors

Dimitri Shlyakhtenko|ArXiv.org|Feb 18, 2003

Advanced Operator Algebra Research被引用数 9

ひとこと要約

本稿は、自由アラキ＝ウッズ因子 $Γ(\mu,n)$ が、多重度関数 $n$ に非自明に依存することを示しており、それまでの独立性に関する予想を反証する。オザワの自由群因子に対する安定性定理を用いて、ルベーグ測度などの非原子的測度に対して、自由吸収が成立せず、$Γ(\lambda+\delta_0,1) \not\cong Γ(\lambda+\delta_0,2)$ であることを証明し、非原子的場合における多重度の重要性を示している。

ABSTRACT

We show that Ozawa's recent results on solid von Neumann algebras imply that there are free Araki-Woods factors, which fail to have free absorption. We also show that a free Araki-Woods factors $Γ(μ, n)$ associated to a measure and a multiplicity function $n$ may non-trivially depend on the multiplicity function.

研究の動機と目的

• 非原子的測度 $\mu$ に対して、自由アラキ＝ウッズ因子 $Γ(\mu,n)$ の同型類が多重度関数 $n$ に依存するかどうかという未解決問題を解消すること。
• 原子的測度の既知の結果を拡張し、非原子的測度に対して自由吸収性が成立するかを調査すること。
• オザワによる自由群因子の安定性に関する最近の結果を応用し、自由確率論およびフォン・ノイマン代数における新しい構造的結果を導出すること。
• アーマルガメートド・フリー積と作用素値半正規分布要素を用いて、コアフォン・ノイマン代数が自由アラキ＝ウッズ因子を区別する役割を明確にすること。

提案手法

• ハイパボリック群（$L(\mathbb{F}_\infty)$ を含む）のフォン・ノイマン代数が、任意の拡散的部分代数の相対可換部分代数が超有限であるという性質（安定性）を満たす、オザワの定理を活用する。
• コア $\Gamma(\mu,n)$ を $L(\mathbb{R})$ を基準とするアーマルガメートド・フリー積として解析し、$\Gamma(\mu,n) \rtimes_{\sigma^{\phi_{\mu,n}}} \mathbb{R}$ のクローズド積構造を用いる。
• 自己共分散マップ $\eta$ を持つ作用素値半正規分布要素の理論を適用し、$\mu$ が非原子的である場合に、コアを $L(\mathbb{F}_\infty) \otimes B(\ell^2)$ のフリー積としてモデル化する。
• 文献[6]の行列モデルを用いて、$B(\ell^2)$ とのフリー積を無限多重度因子と状態を保存する同型写像で結びつける。
• 相対可換部分代数に $L(\mathbb{F}_2)$ が含まれることを示し、$\Gamma(\lambda+\delta_0,2)$ のコアにおいて超有限性が成立しないことから、安定性が破れることを証明し、$L(\mathbb{F}_\infty) \otimes B(\ell^2)$ とは同型でないことを示す反例を構成する。
• $\mu_a \neq 0$ かつその台が非自明な群を生成する場合、$\Gamma(\mu,n) \cong \Gamma(\nu,\infty)$ で $\nu = \sum 2^{-j} \mu^{\gamma_j}$ となることを示し、この場合における多重度の無関係性と自由吸収を証明する。

実験結果

リサーチクエスチョン

• RQ1 非原子的測度 $\mu$ に対して、自由アラキ＝ウッズ因子 $\Gamma(\mu,n)$ の同型類が多重度関数 $n$ に依存するか？
• RQ2 非原子的 $\mu$ に対して、自由吸収性 $\Gamma(\mu,n) \cong (\Gamma(\mu,n), \phi_{\mu,n}) * (L(\mathbb{F}_\infty), \tau)$ が成立するか？
• RQ3 オザワの $L(\mathbb{F}_\infty)$ の安定性結果を、コアを介して自由アラキ＝ウッズ因子を区別するのにも応用可能か？
• RQ4 多重度関数 $n$ が $\Gamma(\mu,n)$ の分類において無視可能になる条件は何か？
• RQ5 原子的部 $\mu_a \neq 0$ かつその台が非自明な群を生成する場合、$\Gamma(\mu,n)$ と無限多重度を持つ因子との間で状態を保存する同型写像が存在するか？

主な発見

• $\mu = \lambda + \delta_0$（ルベーグ測度＋点質量）のとき、$Γ(\lambda+\delta_0,1) \not\cong Γ(\lambda+\delta_0,2)$ であることが示され、多重度関数 $n$ が自由アラキ＝ウッズ因子の同型類に非自明に依存することを証明した。
• $\Gamma(\lambda,1)$ のコアは $L(\mathbb{F}_\infty) \otimes B(\ell^2)$ に同型であるが、$\Gamma(\lambda+\delta_0,2)$ のコアはそうでない。これは相対可換部分代数が超有限でないため、オザワの安定性条件を満たさないためである。
• 自由吸収は $\Gamma(\lambda,1)$ に対して成立しない。なぜなら、$(\Gamma(\lambda,1), \phi_{\lambda,1}) * (L(\mathbb{F}_\infty), \tau)$ のコアは $L(\mathbb{F}_\infty) \otimes B(\ell^2)$ に同型でないためである。
• $\mu = \mu_c + \mu_a$ で $\mu_a$ が原子的かつ非ゼロであり、$\mu_a$ の台が非自明な群 $\Gamma$ を生成するとき、$\Gamma(\mu,n) \cong \Gamma(\nu,\infty)$ で $\nu = \sum 2^{-j} \mu^{\gamma_j}$ となる。これは $n$ に依存しないことと自由吸収が成立することを示している。
• 行列モデルとフリー積分解を用いて、$\Gamma(\mu,n) \cong \Gamma(\nu,\infty)$ である状態を保存する同型写像を確立した。これにより、$\Gamma(\mu,n)$ が $B(\ell^2)$ を吸収し、無限多重度へ安定化することが示された。
• $\Gamma(\lambda+\delta_0,1)$ のコアは $L(\mathbb{F}_\infty) \otimes B(\ell^2)$ に同型であることが確認された。これは、$n=1$ のとき点質量が存在してもコアにおける自由群因子構造が保たれることを示している。