[論文レビュー] The amalgamated free product of hyperfinite von Neumann algebras over finite dimensional subalgebras

Ken Dykema, Daniel Redelmeier|arXiv (Cornell University)|Oct 25, 2011

Random Matrices and Applications参考文献 8被引用数 3

ひとこと要約

この論文は、有限次元部分代数上での2つの超有限なフォン・ノイマン代数の結合自由積を特徴づけ、その結果が $ H \oplus \bigoplus_{i=1}^N F_i $ の形をしていることを示している。ここで $ H $ は超有限であり、$ F_i $ は補間された自由群因子である。このクラスの代数が、有限次元部分代数上でのさらなる結合自由積について閉じていることを証明し、スカラーおよびマルチ行列代数上での自由積に関する先行研究を一般化している。

ABSTRACT

In this paper we describe the amalgamated free product of two hyperfinite von Neumann algebras over a finite dimensional subalgebra. In general the free product is a finite direct sum of interpolated free group factors and a hyperfinite von Neumann algebra. We then show that the class of von Neumann algebras of this form is closed under taking amalgamated free products over finite dimensional subalgebras.

研究の動機と目的

• A と B が超有限なフォン・ノイマン代数で、D が有限次元であるとき、結合自由積 $ A *_D B $ の構造を特徴づけること。
• スカラーおよびマルチ行列代数上での自由積に関する先行結果を、有限次元部分代数上での一般の場合にまで拡張すること。
• H が超有限で、$ F_i $ が補間された自由群因子であるような形 $ H \oplus \bigoplus F_i $ のフォン・ノイマン代数のクラスが、有限次元部分代数上での結合自由積について閉じていることを確立すること。
• 文献[3]の定理5.1における誤りを是正し、連結性基準における添え字集合の有限性に関する条件を明確にすること。

提案手法

• 補間された自由群因子間の標準埋め込みの概念を用いて、自由積の構造を分析する。
• 有限次元近似の帰納的極限を用いて、代数的に自由積代数を構成する。
• 補間された自由群因子と有限次元和因子からの寄与を用いて定義される自由次元不変量 $ \text{fdim}(M) $ を用い、結合による構造的変化を追跡する。
• $ s \in (1, \infty] $ における補間された自由群因子 $ L(F_s) $ 及びその圧縮・拡大における挙動の理論に依拠する。
• 圧縮成分の分析に、公式 $ (L(F_s))_t = L(F_{1 + (s-1)/t^2}) $ を用いる。
• 文献[3]におけるマルチ行列代数に関する結果を適用し、その定理5.1における欠际を是正する。具体的には、「J と X が有限」であるという条件を「J が有限」に置き換える。

実験結果

リサーチクエスチョン

• RQ1 A と B が超有限で、D が有限次元であるとき、結合自由積 $ A *_D B $ の正確な構造は何か？
• RQ2 有限次元部分代数上での結合自由積において、自由次元 $ \text{fdim}(M) $ はどのように振る舞うか？
• RQ3 H が超有限で、$ F_i $ が補間された自由群因子であるような形 $ H \oplus \bigoplus F_i $ の代数のクラスは、有限次元部分代数上でのさらなる結合自由積について閉じているか？
• RQ4 A と B に拡散部分を含んでも、$ A *_D B $ の構造は補間された自由群因子と超有限和因子を用いて完全に記述可能か？
• RQ5 マルチ行列代数の自由積を正しく記述するためには、先行研究（例：文献[3]の定理5.1）において何らかの修正が必要か？

主な発見

• 有限次元部分代数 $ D $ 上での2つの超有限なフォン・ノイマン代数の結合自由積 $ A *_D B $ は、$ H $ が超有限で、各 $ F_i $ が補間された自由群因子であるとき、$ H \oplus \bigoplus_{i=1}^N F_i $ に同型である。
• 積の自由次元は、$ \text{fdim}(A *_D B) = 1 + \sum \tau(p_i)^2(s_i - 1) - \sum t_j^2 $ を満たし、和因子からの期待される公式と一致する。
• 例5.2では、$ i \to \infty $ のとき、$ M = A *_D B $ は $ L(F_{9/8}) \oplus L(F_{9/8}) $ に収束し、$ \text{fdim}(M) = 17/16 $ となる。これは自由次元公式と整合的である。
• 例5.3では、$ A *_D B $ が $ L^\infty \otimes M_3 $ を生じることを示しており、非自由群因子成分の出現を示している。
• 例5.4では、$ L^\infty \otimes R $ を生成することを示しており、自由積が拡散的超有限成分を有する因子を生じうることを示している。
• 例5.6では、文献[3]の定理5.1の最後の主張に対する反例を明らかにし、連結性条件においては、J と X の両方が有限である必要はなく、J のみが有限であれば十分であると訂正された。