[论文解读] L^2-Betti numbers for subfactors

Andreas Thom|ArXiv.org|Jan 17, 2006

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

一句话总结

本文在存在双有限对合对应关系的前提下，为 $II_1$-因子的 $L^2$-贝蒂数建立了比例公式。通过使用平坦基变换和冯诺依曼代数中的维数理论，证明了两个 $II_1$-因子的 $L^2$-贝蒂数之比与连接对应关系的维数成反比，推广了群的情形，并将康奈斯–什利赫坚科的 $L^2$-贝蒂数理论扩展至子因子。

ABSTRACT

We study L^2-Betti numbers for von Neumann algebras, as defined by D. Shlyakhtenko and A. Connes, in the presence of a bi-finite correspondence and prove a proportionality formula.

研究动机与目标

• 将 $L^2$-贝蒂数理论从离散群推广至冯诺依曼代数，特别是 $II_1$-因子。
• 在有限指标子因子包含下，建立 $L^2$-贝蒂数的比例原理。
• 阐明双有限对合对应关系在关联不同 $II_1$-因子的 $L^2$-贝蒂数中的作用。
• 提供几何群论中已知的群 $L^2$-贝蒂数比例关系在冯诺依曼代数框架下的推广。

提出的方法

• 使用康奈斯–什利赫坚科通过 $A \otimes A^o$ 上的 Tor函子、取值于 $M \mathbin{\overline{\otimes}} M^o$ 的 $L^2$-贝蒂数定义。
• 应用平坦基变换，关联不同系数代数上的 Tor 群，特别是 $M \otimes N^o$ 和 $M \otimes \tilde{M}^o$。
• 采用吕克理论中的广义 $M \mathbin{\overline{\otimes}} M^o$-维数函数，计算 Tor 模的维数。
• 利用皮姆斯纳–波帕基底，将有限指标子因子实现为较小代数上的有限生成投射模。
• 应用关联 $\dim_N L$ 与 $\dim_M L$ 的维数公式，通过指标 $[M:N]$ 关联 $\dim_{M \mathbin{\overline{\otimes}} N^o} \operatorname{Tor}_k^{M \otimes N^o}(M \mathbin{\overline{\otimes}} N^o, L)$ 与 $\beta_k^{(2)}(M)$ 及 $\dim_N L$，并建立对称性以推导出 $\beta_k^{(2)}(M)$ 与 $\beta_k^{(2)}(N)$ 之间的比例恒等式。

实验结果

研究问题

• RQ1 在 $II_1$-因子的有限指标子因子包含下，$L^2$-贝蒂数如何表现？
• RQ2 是否可以在冯诺依曼代数框架下建立类似于群情形的 $L^2$-贝蒂数比例公式？
• RQ3 何种条件下，两个 $II_1$-因子之间的对应关系可确保其 $L^2$-贝蒂数通过维数因子相关联？
• RQ4 对合对应关系定义中的 $*$-同态条件是否必要？在何种情况下会自动满足？
• RQ5 康奈斯–什利赫坚科的 $L^2$-贝蒂数构造在多大程度上可从群代数推广至一般冯诺依曼代数？

主要发现

• 本文证明了比例公式：对于任意双有限对合 $M \otimes N^o$-模 $L$，有 $\frac{\beta_k^{(2)}(M)}{\dim_M L} = \frac{\beta_k^{(2)}(N)}{\dim_{N^o} L}$，该公式推广了群的情形。
• 对于有限指标子因子 $N \subset M$，该公式特化为 $[M:N] \cdot \beta_k^{(2)}(M) = \beta_k^{(2)}(N)$，当 $N = \mathbb{C}H$，$M = \mathbb{C}G$ 且 $H \subset G$ 为有限指标时，与已知的群情形一致。
• 证明依赖于平坦基变换与维数理论，表明 $\dim_{M \mathbin{\overline{\otimes}} N^o} \operatorname{Tor}_k^{M \otimes N^o}(M \mathbin{\overline{\otimes}} N^o, L) = \dim_{N^o} L \cdot \beta_k^{(2)}(M)$。
• 模 $L$ 在 $M$ 上的维数与 $M_n(M)$ 中投影的迹相关，公式使用未归一化的迹 $t = n \tau(p)$ 来缩放 $L^2$-贝蒂数。
• 结果在 $M$ 与 $N$ 之间对称，确认了 $L^2$-贝蒂数之比与模维数之比互为倒数。
• 该框架适用于具有有限指标的 $M$-$N$ 对应关系，特别是由皮姆斯纳–波帕基底产生的对应关系，确认此类对应关系为双有限且对合。