[论文解读] L^2-Homology for von Neumann Algebras

Alain Connes, Dimitri Shlyakhtenko|ArXiv.org|Sep 20, 2003

Advanced Operator Algebra Research参考文献 16被引用 18

一句话总结

本文通过在空间张量积 $M \bar{\otimes} M^{o}$ 中使用代数Hochschild同调，为冯诺依曼代数引入了一种新颖的 $L^2$-同调理论，通过该代数上的维数定义 $L^2$-贝蒂数。其关键贡献是压缩时的尺度性质 $\beta_k^{(2)}(pMp) = \lambda^{-2} \beta_k^{(2)}(M)$，其中投影的迹为 $\lambda$，该性质与自由群因子的压缩行为一致，并将该理论与测度等价不变量区分开来。

ABSTRACT

We define the notion of L^2 homology and L^2 Betti numbers for a tracial von Neumann algebra, or, more generally, for any involutive algebra with a trace. The definition of these invariants is obtained from the definition of L^2 homology for groups, using the ideas from the theory of correspondences. For the group algebra of a discrete group, our Betti numbers coincide with the L^2 Betti numbers of the group. We find a link between the first L^2 Betti number and free entropy dimension, which points to the non-vanishing of L^2 homology for the von Neumann algebra of a free group.

研究动机与目标

• 为冯诺依曼代数发展一种稳健的 $L^2$-同调理论，作为区分因子的强大不变量。
• 建立 $L^2$-贝蒂数与自由概率论中自由熵维数之间的联系。
• 解决冯诺依曼代数缺乏有效上同调理论的问题，特别是有界上同调无法区分代数的缺陷。
• 通过代数Hochschild同调 $H_k^{(2)}(M) = H_k(M; M \bar{\otimes} M^{o})$ 定义 $L^2$-贝蒂数，并在 $M \bar{\otimes} M^{o}$-模意义下赋予其维数。
• 探索 $L^2$-贝蒂数在压缩下的尺度行为，并与遍历等价和自由概率中的现有不变量进行比较。

提出的方法

• 将冯诺依曼代数 $M$ 的 $L^2$-同调定义为代数Hochschild同调 $H_k^{(2)}(M) = H_k(M; M \bar{\otimes} M^{o})$。
• 通过维数 $\beta_k^{(2)}(M) = \dim_{M \bar{\otimes} M^o} H_k^{(2)}(M)$ 赋予 $L^2$-贝蒂数。
• 利用对应关系理论和群与冯诺依曼代数理论之间的类比来支持该定义的动机。
• 通过自由半圆形变量和共轭算子构造对偶系统，以实现自由熵维数框架。
• 利用自由概率论中的深刻结果，包括Biane-Capitaine-Guionnet关于微态和无微态熵的不等式，对 $\beta_1^{(2)}(L(\mathbb{F}_n))$ 给出下界估计。
• 应用冯诺依曼代数的标准形式构造和Tomita-Takesaki理论，以实现对偶系统并验证交换关系。

实验结果

研究问题

• RQ1 能否为冯诺依曼代数定义一种在压缩下表现良好且与自由概率论相联系的有意义的 $L^2$-同调理论？
• RQ2 当冯诺依曼代数被迹为 $\lambda$ 的投影压缩时，其 $L^2$-贝蒂数如何尺度变化？
• RQ3 是否存在 $L^2$-贝蒂数与自由熵维数之间的深层联系，该联系能否用于推导新界限？
• RQ4 为何该理论中的 $\lambda^{-2}$ 尺度行为与测度等价不变量中的 $\lambda^{-1}$ 尺度行为不同？这反映了不变量本质的何种含义？
• RQ5 所提出的 $L^2$-贝蒂数定义是否能通过其稳健性与自由概率论中已知结果的一致性而唯一确定？

主要发现

• 对于迹为 $\lambda$ 的投影 $p \in M$，有 $\beta_k^{(2)}(pMp) = \lambda^{-2} \beta_k^{(2)}(M)$，该性质与自由群因子在压缩下的行为一致。
• 对于自由群 $\mathbb{F}_n$ 的冯诺依曼代数 $L(\mathbb{F}_n)$，其第一个 $L^2$-贝蒂数满足 $\beta_1^{(2)}(L(\mathbb{F}_n)) \geq n-1$，该结果基于自由概率论中的不等式。
• 离散群 $\Gamma$ 的修正自由熵维数 $\delta_0(\Gamma)$ 满足上界 $\delta_0(\Gamma) \leq \beta_1^{(2)}(\Gamma) - \beta_0^{(2)}(\Gamma) + 1$。
• 若群 $\Gamma$ 具有性质 $T$ 且 $L(\Gamma)$ 为弥漫的，则 $\delta_0(\Gamma) \leq 1$，当且仅当 $L(\Gamma)$ 嵌入自由群因子的超幂时取等。
• 该理论具有稳健性：其他定义无法产生与自由熵的相同联系，表明当前定义是自然的。
• $L^2$-贝蒂数在阿贝尔冯诺依曼代数上为零：对所有 $k \geq 1$，有 $\beta_k^{(2)}(A) = 0$。