[論文レビュー] Finite Free Entropy and Free Group Factors

Nathanial P. Brown|ArXiv.org|Mar 17, 2004

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

ひとこと要約

この論文は、有限な自由エントロピー（すなわち、$χ(X_1,\ldots,X_n) > -\infty$）を持つ非可換確率変数を構成し、それが自由群因子に埋め込み不可能なフォン・ノイマン代数を生成することを示している。超回帰的群に性質(T)を備えた構成と超積技術を用いて、有限な自由エントロピーが自由群因子であることを意味しないことを示し、シュリャフチェンコが提起した疑問を解決し、$L(\mathbb{F}_n)$ への埋め込み可能性を示唆する予想の反例を提供している。主な結果は、自由エントロピー次元 $\delta = n$ を持つ非同型のフォン・ノイマン代数である。

ABSTRACT

We show the existence of noncommutative random variables with finite free entropy but which do not generate a free group factor.

研究の動機と目的

• Dima Shlyakhtenko が提起した、有限な自由エントロピーがフォン・ノイマン代数が自由群因子であることを意味するかという予想を解決すること。
• 有限な自由エントロピーを持つ非可換確率変数の明示的例を構成し、それらが自由群因子を生成しないこと。
• ハーガープ近似性質とソリダリティが、自由群因子への埋め込み可能性を保証するものではないことを示すこと。
• 有限な自由エントロピー、自由エントロピー次元、生成されたフォン・ノイマン代数の構造との関係を明確にすること。
• 弱めた形の予想に対する肯定的解答が、ノヴィコフ予想と群の正確性に与える影響を探索すること。

提案手法

• 性質(T)を備えた超回帰的群 $\Gamma$ と自由群 $\mathbb{F}_n$ を用いて、トレース付き W*-確率空間を構成し、$\Gamma * \mathbb{F}_n$ の左正則表現からフォン・ノイマン代数 $M = W^*(X_1,\ldots,X_n)$ を得る。
• 超積技術を用いて $M$ の構造を分析し、ハーガープ不変量が1より厳密に大きいことから、いかなる自由群因子に対しても埋め込み不可能であることを示す。
• 既知のハーガープ近似性質およびソリダリティに関する結果を活用し、構成された例がソリダリティを満たすが、依然として自由群因子に埋め込み不可能であることを示す。
• ボイクルスキーの自由エントロピー次元理論を適用し、$\chi(X_1,\ldots,X_n) > -\infty$ のとき $\delta(X_1,\ldots,X_n) = n$ であることを示す。これは生成子の有限エントロピーに起因する。
• 不等式鎖 $\mathbb{H} \leq \delta \leq \delta^* \leq \Delta \leq n$ を用いて、構成された例においてすべての自由エントロピー不変量が $n$ に等しいことを確認する。
• $L(\Gamma) \subset R^\omega$ ならば $\Gamma$ は正確であるという事実を用い、$M$ が自由群因子に埋め込まれると仮定すると $\Gamma$ が正確であることが導かれ、これは性質(T)を備えた $\Gamma$ の選択と矛盾する。

実験結果

リサーチクエスチョン

• RQ1 有限な自由エントロピー（$\chi > -\infty$）は、生成されたフォン・ノイマン代数が自由群因子であることを意味するか？
• RQ2 自由エントロピー次元 $\delta = n$ を持つフォン・ノイマン代数が、いかなる自由群因子に対しても埋め込み不可能であることはあり得るか？
• RQ3 自由群因子への埋め込み可能性を保証するため、ハーガープ近似性質は必要か？
• RQ4 有限な自由エントロピーを備えた非弱的正確なフォン・ノイマン代数が存在するならば、非正確な群の存在が示唆されるか？
• RQ5 代数がソリダリティを満たしていても、有限な自由エントロピーと自由群因子への非埋め込み性が共存しうるか？

主な発見

• この論文は、自己随伴な非可換確率変数 $X_1,\ldots,X_n$ を用いて、$\chi(X_1,\ldots,X_n) > -\infty$ を満たすフォン・ノイマン代数 $M = W^*(X_1,\ldots,X_n)$ を構成し、これにより $\delta(X_1,\ldots,X_n) = n$ が成立する。
• 代数 $M$ はいかなる自由群因子 $L(\mathbb{F}_n)$ の部分代数とも同型でないため、$\delta = n$ ならば自由群因子であるという予想の反例を提供する。
• 構成された代数はハーガープ不変量が1より厳密に大きいことから、自由群因子への埋め込みが妨げられる。
• オザワの意味でのソリダリティを満たす例であるため、ソリダリティが自由群因子への埋め込みを保証するものではないことが示される。
• すべての自由エントロピー不変量が $\mathbb{H} = \delta = \delta^* = \Delta = n$ に等しいことから、完全なエントロピー次元が確認される。
• この結果は、有限な自由エントロピーが弱的正確性を意味するとは限らないことを示唆しており、$R^\omega$ に埋め込まれるすべての群が正確であるという仮定に依存する。これは未解決の問題のままである。