[论文解读] All generating sets of all property T von Neumann algebras have free entropy dimension $\leq 1$

Kenley Jung, Dimitri Shlyakhtenko|ArXiv.org|Mar 28, 2006

Advanced Operator Algebra Research参考文献 10被引用 8

一句话总结

该论文通过矩阵代数的超乘积中的刚性与形变技术，证明了所有具有扩散性质T的冯诺依曼代数的有限生成集的自由熵维数 ≤ 1。若代数嵌入到超有限II₁因子的超乘积中，则自由熵维数恰好为1，否则为−∞，从而解决了性质T因子下自由熵维数在生成集之间的不变性问题。

ABSTRACT

Suppose $N$ is a diffuse, property T von Neumann algebra and X is an arbitrary finite generating set of selfadjoint elements for N. By using rigidity/deformation arguments applied to representations of N in full matrix algebras, we deduce that the microstate spaces of X are asymptotically discrete up to unitary conjugacy. We use this description to show that the free entropy dimension of X, $δ_0(X)$, is less than or equal to 1. It follows that when N embeds into the ultraproduct of the hyperfinite $\mathrm{II}_1$-factor, then $δ_0(X)=1$ and otherwise, $δ_0(X)=-\infinity$. This generalizes the earlier results of Voiculescu, and Ge, Shen pertaining to $SL_n(\mathbb Z)$ as well as the results of Connes, Shlyakhtenko pertaining to group generators of arbitrary property T algebras.

研究动机与目标

• 解决性质T冯诺依曼代数的有限生成集之间自由熵维数 δ₀(X) 的不变性问题。
• 确定任意自伴生成集 X 生成的扩散性质T冯诺依曼代数 N 的 δ₀(X) 的精确值。
• 为所有此类生成集建立一般性上界 δ₀(X) ≤ 1，无论代数结构如何。
• 阐明 δ₀(X) 对 N 嵌入到超有限II₁因子超乘积中的依赖关系。

提出的方法

• 将波帕风格的形变/刚性论证应用于 N 在全矩阵代数超乘积中的表示。
• 通过酉轨道控制证明 X 的微状态空间在酉共轭下渐近离散。
• 使用 rₐ-网与 ε-网的网络论证，估计微状态集的填装维数。
• 通过有界覆盖数的对数增长速率，推导自由熵维数的上界。
• 利用不等式 δ₀(X) ≤ limsup_{ε→0} K_{5Kε}(X)/|log ε| 将覆盖熵与自由熵维数关联。
• 借助 [12] 中的已知结果，根据 N 是否嵌入到 R^ω 中，得出 δ₀(X) = 1 或 −∞。

实验结果

研究问题

• RQ1 对于扩散性质T冯诺依曼代数的所有有限生成集 X，自由熵维数 δ₀(X) 是否始终有上界 1？
• RQ2 δ₀(X) 是否与生成集 X 的选择无关？
• RQ3 决定 δ₀(X) 等于 1 或 −∞ 的因素是什么？
• RQ4 是否可以不依赖生成元的特殊代数性质，建立 δ₀(X) 的不变性？
• RQ5 性质T冯诺依曼代数是否嵌入到超有限II₁因子的超乘积中，是否完全决定了 δ₀(X) 的值？

主要发现

• 对于扩散性质T冯诺依曼代数 N 的任意自伴生成集 X，自由熵维数满足 δ₀(X) ≤ 1。
• 若 N 嵌入到超有限II₁因子的超乘积中，则 δ₀(X) = 1。
• 若 N 未嵌入到超有限II₁因子的超乘积中，则 δ₀(X) = −∞。
• δ₀(X) 的值与有限生成集 X 的选择无关，从而解决了性质T因子的不变性问题。
• 该结果将 Voiculescu 和 Ge–Shen 的早期上界推广至所有性质T冯诺依曼代数，而不仅限于具有特殊生成元结构的代数。
• 证明表明，微状态空间在酉共轭下渐近离散，从而可通过覆盖网进行维数估计。