[论文解读] The Rank Theorem and $L^2$-invariants in Free Entropy: Global Upper Bounds

Kenley Jung|arXiv (Cornell University)|Feb 15, 2016

Advanced Operator Algebra Research参考文献 21被引用 5

一句话总结

该论文通过非交换版本的秩定理，建立了迹 von Neumann 代数中微状态自由熵维数 δ₀(X) 的全局上界。通过引入类似导数的算子 DsF(X)，并将其零度与 δ₀(X) 关联，作者证明了 δ₀(X) ≤ Nullity(DsF(X)) + δ₀(F(X):X)，在特殊情况下取等。关键贡献在于证明：对于非阿贝尔自由群 F₂ 以外的、双生成的、左序的、sofic 群 Γ，其群 von Neumann 代数 L(Γ) 是强 1-有界的，这意味着对于任意有限生成集 X，均有 δ₀(X) = 1。

ABSTRACT

Using an analogy with the rank theorem in differential geometry, it is shown that for a finite $n$-tuple $X$ in a tracial von Neumann algebra and any finite $m$-tuple $F$ of $*$-polynomials in $n$ noncommuting indeterminates, \begin{eqnarray*} δ_0(X) & \leq & ext{Nullity}(D^sF(X)) + δ_0(F(X):X) \end{eqnarray*} where $δ_0$ is the (modified) microstates free entropy dimension and $D^sF(X)$ is a kind of derivative of $F$ evaluated at $X$. When $F(X) =0$ and $|D^sF(X)|$ has nonzero Fuglede-Kadison-Lück determinant, then $X$ is $α$-bounded in the sense of \cite{j3} where $α= ext{Nullity}(D^sF(X))$. Using Linnell's $L^2$ integral domain results in \cite{l} as well as Elek and Szabó's work on Lück's determinant conjecture for sofic groups in \cite{es} the following result is proven. Suppose $Γ$ is a sofic, left-orderable, discrete group with 2 generators and $Γ eq \{0\}$. The following conditions are equivalent: (1) $Γ ot\simeq \mathbb F_2$. (2) $L(Γ) ot\simeq L(\mathbb F_2)$. (3) $L(Γ)$ is strongly $1$-bounded. (4) $δ_0(X) = 1$ for any finite set of generators $X$ for $L(Γ)$. From Brodskiĭ and Howie's results on local indicability (\cite{b}, \cite{h}), it follows that a sofic, torsion-free, one-relator group von Neumann algebra on two generators with nontrivial relator is strongly $1$-bounded. It also follows from the residual solvability of the positive one relator groups (\cite{baum}) that a one-relator group von Neumann algebra on two generators whose relator is a nontrivial, positive, non-proper word in the generators is strongly $1$-bounded.

研究动机与目标

• 将微分几何中的经典秩定理推广至迹 von Neumann 代数与自由概率的非交换设定。
• 以非交换导数 DsF(X) 的零度为基准，建立修正的微状态自由熵维数 δ₀(X) 的全局上界。
• 将该上界与 L²-不变量（特别是 Fuglede-Kadison-Lück 行列式）关联，并将其应用于群 von Neumann 代数。
• 证明：对于 sofic、左序、双生成群 Γ ≠ F₂，群因子 L(Γ) 是强 1-有界的，这意味着对于任意有限生成集 X，均有 δ₀(X) = 1。

提出的方法

• 引入非交换导数 DsF(X) 作为取值于 M ⊗ M^op 的矩阵，推广经典微分几何中的雅可比矩阵。
• 通过其核上投影的（未归一化）迹定义 DsF(X) 的零度，类比于解空间的维数。
• 应用 Linnell 关于 L² 整环的结果，以及 Elek-Szabó 对 sofic 群的 Lück 行列式猜想的工作，以控制 DsF(X) 的 Fuglede-Kadison-Lück 行列式。
• 利用覆盖熵 Kα 和 Hausdorff 熵 Hα 定义 α-有界性，其中 Kα < ∞ 意味着 δ₀ ≤ α。
• 使用 Stirling 公式和特征值初等对称函数的不等式，对奇异值集合的渐近体积进行估计。
• 通过 St. Raymond 方法的变量替换公式，对满足奇异值约束的集合的 ǫ-邻域体积进行控制。

实验结果

研究问题

• RQ1 微分几何中的经典秩定理能否推广至迹 von Neumann 代数与自由概率的非交换设定？
• RQ2 非交换导数 DsF(X) 的零度与自由熵维数 δ₀(X) 之间的确切关系为何？
• RQ3 在何种条件下，不等式 δ₀(X) ≤ Nullity(DsF(X)) + δ₀(F(X):X) 成为等式或导出强有界性？
• RQ4 哪些群类的群 von Neumann 代数是强 1-有界的，其与群结构有何关联？
• RQ5 L²-不变量（如 Fuglede-Kadison-Lück 行列式与 L²-Betti 数）如何约束群因子的自由熵维数？

主要发现

• 论文证明了不等式 δ₀(X) ≤ Nullity(DsF(X)) + δ₀(F(X):X)，将秩定理推广至自由概率与算子代数。
• 当 F(X) = 0 且 |DsF(X)| 的 Fuglede-Kadison-Lück 行列式非零时，X 是 α-有界的，其中 α = Nullity(DsF(X))。
• 对于 sofic、左序、双生成群且 Γ ≠ F₂ 的情形，群 von Neumann 代数 L(Γ) 是强 1-有界的，即对于任意有限生成集 X，均有 δ₀(X) = 1。
• 该结果意味着 L(Γ) ≇ L(F₂)，且 L(Γ) 不同构于自由群因子 F₂。
• 证明依赖于 Linnell 的 L² 整环结果与 Elek-Szabó 对 sofic 群的 Lück 行列式猜想的工作的结合。
• 论文建立了覆盖熵的统一上界：Kǫ(E(r, p, k, δk)) ≤ (Dp(r + 1)² / ǫ)^{8δ^{1/2}k²}，其中 k 足够大，且 Dp 依赖于 p。