[論文レビュー] Free products of hyperfinite von Neumann algebras and free dimension

Ken Dykema|ArXiv.org|Nov 28, 1992

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

ひとこと要約

この論文は、任意の二つの有限次元ハイパーフィニートフォン・ノイマン代数の自由積が、有限次元代数と補間自由群因子 $L(\mathbb{F}_r)$ の直和に分解されることを確立している。自由次元 $r$ は、代数のスペクトル的性質によって決定される。この結果により、離散的可換群 $G$ および $H$ に対して、群フォン・ノイマン代数 $L(G*H)$ が $|G|$ と $|H|$ のみに依存する補間自由群因子であることが示され、作用素代数における重要な構造的問題が解決される。

ABSTRACT

The free product of an arbitrary pair of finite hyperfinite von Neumann algebras is examined, and the result is determined to be the direct sum of a finite dimensional algebra and an interpolated free group factor $L(\freeF_r)$. The finite dimensional part depends on the minimal projections of the original algebras and the "dimension", r, of the free group factor part is found using the notion of free dimension. For discrete amenable groups $G$ and $H$ this implies that the group von Neumann algebra $L(G*H)$ is an interpolated free group factor and depends only on the orders of $G$ and $H$.

研究の動機と目的

• 二つの有限次元ハイパーフィニートフォン・ノイマン代数の自由積の構造を特定すること。
• 得られる代数が有限次元代数と補間自由群因子 $L(\mathbb{F}_r)$ の直和として表現されることを特徴づけること。
• 元の代数のスペクトル不変量を用いて、補間自由群因子部の自由次元 $r$ を定義し計算すること。
• 結果を離散的可換群のフォン・ノイマン代数に適用し、$L(G*H)$ が $G$ と $H$ の位数にのみ依存することを示すこと。
• 自由次元を不変量として用いて、ハイパーフィニート設定における自由積の完全な構造的分類を確立すること。

提案手法

• フォン・ノイマン代数における自由積の理論、特にスカラー体を基準とするアンモリゲート自由積の構成を用いる。
• 自由積の有限次元成分を分離するために、元の代数内の最小射影を特定することに依存する。
• 自由次元 $r$ は、元の代数の生成子のトレースと固有値分布から導かれるスペクトル不変量を用いて計算される。
• Voiculescu らの結果を活用し、自由次元による補間自由群因子の分類を用いて証明を行う。
• 双対性と双対性に基づく不変量を用いて、自由積構造が入力代数のスペクトル的データによって決定されることを示す。
• 可換群のハイパーフィニート群代数と、その自由積がハイパーフィニート性およびスペクトル構造を保つという事実を用いて、結果を群フォン・ノイマン代数へと拡張する。

実験結果

リサーチクエスチョン

• RQ1 二つの有限次元ハイパーフィニートフォン・ノイマン代数の自由積の構造は何か？
• RQ2 元の代数から、補間自由群因子部の自由次元 $r$ はどのように計算できるか？
• RQ3 離散的可換群のフォン・ノイマン代数の自由積は、群の位数にのみ依存するか？
• RQ4 自由積の分解は、有限次元代数と補間自由群因子の直和として表現可能か？
• RQ5 自由次元 $r$ は、自由積の補間自由群因子部を完全に分類する不変量か？

主な発見

• 任意の二つの有限次元ハイパーフィニートフォン・ノイマン代数の自由積は、有限次元代数と補間自由群因子 $L(\mathbb{F}_r)$ の直和に同型である。
• 有限次元部は、元の代数内の最小射影から生じ、そのトレースとスペクトル的構造によって決定される。
• 補間自由群因子の自由次元 $r$ は、生成子のトレースから導かれるスペクトル的不変量を用いて計算される。
• 離散的可換群 $G$ および $H$ に対して、群フォン・ノイマン代数 $L(G*H)$ は $L(\mathbb{F}_r)$ に同型であり、$r$ は $|G|$ と $|H|$ のみに依存する。
• 自由次元 $r$ は群の構造とは無関係で、$G$ と $H$ の濃度にのみ依存するため、可換な $G,H$ に対して $L(G*H) \cong L(H*G)$ が成り立つ。
• この結果により、自由次元を主要な不変量として用いて、ハイパーフィニートフォン・ノイマン代数設定における自由積の完全な構造的分類が得られる。