[論文レビュー] Von Neumann Algebras of Sofic Groups with $\beta_{1}^{(2)}=0$ are Strongly $1$-Bounded

Dimitri Shlyakhtenko|arXiv (Cornell University)|Apr 28, 2016

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

ひとこと要約

この論文は、有限生成かつ有限表示のsofic群 $\Gamma$ で、一階 $L^2$ ベッチ数がゼロ（$\beta_1^{(2)}(\Gamma) = 0$）であるものの、von Neumann代数 $L(\Gamma)$ がJungの定義における強1-有界であることを確立する。証明は、非微視的自由エントロピー技法を用いて、Jungの研究から得られた重要な推定値を再導出し、簡略化する。この推定値は、代数的関係と微分を介して群のvon Neumann代数に適用される。主な結果は、自由エントロピー次元が1より大きい群 $\Lambda$（例えば自由群）に対して $L(\Gamma) \not\cong L(\Lambda)$ であることを示唆する。

ABSTRACT

We show that if $\\Gamma$ is an infinite finitely generated finitely presented sofic group with zero first $L^{2}$ Betti number then the von Neumann algebra $L(\\Gamma)$ is strongly $1$-bounded in the sense of Jung. In particular, $L(\\Gamma)\ ot\\cong L(\\Lambda)$ if $\\Lambda$ is any group with free entropy dimension $>1$, for example a free group. The key technical result is a short proof of an estimate of Jung using non-microstates entropy techniques.

研究の動機と目的

• $\beta_1^{(2)}(\Gamma) = 0$ を満たすsofic群 $\Gamma$ に対して、von Neumann代数 $L(\Gamma)$ の強1-有界性を確立し、これは任意の生成集合に対して自由エントロピー次元1を意味する。
• Jungの自由エントロピー次元の境界に関する推定値を、代数的関係を用いて、より短く非微視的技法に基づいて再証明する。
• 自由エントロピー次元が1より大きい群 $\Lambda$（例えば自由群）に対して、$L(\Gamma) \not\cong L(\Lambda)$ を示す。
• 有限表示sofic群において、$\beta_1^{(2)}$ の消滅が $W^*$-同型不変量であることを示す。

提案手法

• 代数的関係の存在下での自由エントロピーの成長を制限するために、非微視的自由エントロピーおよびFisher情報の推定値を用いる。
• 文献[2]の結果を応用し、非微視的推定値を微視的自由エントロピー不等式に結びつける。
• 微分とHochschildコホモロジー枠組みを用いて、ヤコビ行列 $\partial F(X)$ のランクを $\beta_1^{(2)}(\Gamma)$ に関連付ける。
• sofic群における行列式予想を用いて、$\log^+\|\partial F(X)^*\partial F(X)\| \in L^1$ を保証する。
• $\dim_{L(\Gamma \times \Gamma^o)} \ker \partial F(X) = n - \operatorname{rank} \partial F(X) = \beta_1^{(2)}(\Gamma) - \beta_0^{(2)}(\Gamma) + 1$ であることに依存する。
• 定理2.5を適用して、生成元の $r$-有界性を結論づける。ここで $r = \beta_1^{(2)}(\Gamma) - \beta_0^{(2)}(\Gamma) + 1$ である。

実験結果

リサーチクエスチョン

• RQ1 $\beta_1^{(2)}(\Gamma) = 0$ を満たすsofic群 $\Gamma$ に対して、$L(\Gamma)$ は強1-有界性を満たすか？
• RQ2 Jungの自由エントロピー次元に関する推定値は、非微視的技法を用いてより簡潔に再証明可能か？
• RQ3 有限表示sofic群において、$\beta_1^{(2)}$ の消滅は $W^*$-同型下でも保存されるか？
• RQ4 $L(\Gamma)$ の強1-有界性は、$\delta_0(C\Gamma) = 1$ を示し、$\delta_0 > 1$ を持つ代数への同型を防ぐか？
• RQ5 すべての有限表示sofic群に対して $\delta_0(C\Gamma) = \beta_1^{(2)}(\Gamma) + 1$ は成り立つか？

主な発見

• $\Gamma$ が有限生成かつ有限表示のsofic群で、$\beta_1^{(2)}(\Gamma) = 0$ を満たすならば、$L(\Gamma)$ は強1-有界である。
• このような $\Gamma$ に対して、$L(\Gamma)$ の任意の生成集合は、自由エントロピー次元が正確に1である。
• $\delta_0(C\Lambda) > 1$ を満たす任意の群 $\Lambda$（例えば $n \geq 2$ の自由群 $F_n$）に対して、$L(\Gamma) \not\cong L(\Lambda)$ である。
• この結果は行列式予想およびConnes埋め込み予想を仮定するが、sofic群に対しては条件なしに証明可能である。
• $\beta_1^{(2)}$ の消滅は、有限表示sofic群において $W^*$-同型不変量である。
• 無限大で有限表示sofic性を持つ性質(T)群 $\Gamma$ に対して、$\beta_1^{(2)}(\Gamma) = 0$ ならば、$L(\Gamma)$ は強1-有界である。