[论文解读] Approximation of center-valued Betti-numbers

Anselm Knebusch|ArXiv.org|Apr 3, 2008

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

一句话总结

本文将Lück的$L^2$-贝蒂数逼近定理推广至中心值贝蒂数，后者是从群的冯诺依曼代数上的通用迹导出的更精细的不变量。研究证明，与非局部化贝蒂数相关的中心值贝蒂数的傅里叶系数，可通过基本群的有限商进行逼近，从而将非交换几何中非迹值维数的逼近框架推广至更一般情形。

ABSTRACT

In this paper we generalize the approximation theorem for L^2-Betti numbers to an approximation theorem for center-valued Betti-numbers.

研究动机与目标

• 将经典$L^2$-贝蒂数逼近定理推广至更精细的中心值贝蒂数，后者利用群冯诺依曼代数上的中心值迹来度量同调维数。
• 建立中心值贝蒂数的傅里叶系数——与非局部化贝蒂数相关——可通过基本群的有限商的有限维对应物进行逼近。
• 通过在群环上的矩阵代数上使用迹逼近技术，将逼近框架推广至包含剩余有限群和可约群的类$\mathcal{G}$中的群。
• 通过将逼近结果从复数值迹推广至有限冯诺依曼代数中的通用迹，为阿蒂yah猜想及相关不变量提供技术基础。

提出的方法

• 使用群冯诺依曼代数$\mathcal{N}(G)$上的通用（中心值）迹$\operatorname{tr}^u_{\mathcal{N}(G)}$，定义中心值贝蒂数为$\dim^u_{\mathcal{N}(G)}(\ker \Delta_p)$。
• 对具有有限共轭类的元素$g$，应用非局部化迹$\operatorname{tr}^{\langle g\rangle}_{\mathcal{N}(G)}$，以提取中心值维数的傅里叶系数。
• 依赖于在群同态$G_i \to G$下，矩阵$A \in M_d(\mathbb{Z}G)$相关的谱投影与分布函数$F^{\langle g\rangle,\operatorname{Re}}_A(\lambda)$的逼近。
• 使用对数积分$\int_{0^+}^{\kappa(A)} \frac{F^{\langle g\rangle,\operatorname{Re}}_A(\lambda) - F^{\langle g\rangle,\operatorname{Re}}_A(0)}{\lambda} d\lambda$作为算子对数迹的代理量。
• 通过实部谱分布函数及其极限的统一有界性，证明在商映射下非局部化迹的收敛性。
• 通过分布函数的下极限与上极限论证，建立非局部化迹$\operatorname{tr}^{\langle g\rangle}_{\mathcal{N}(G_i)}(A[i])$收敛于$\operatorname{tr}^{\langle g\rangle}_{\mathcal{N}(G)}(A)$。

实验结果

研究问题

• RQ1 能否将$L^2$-贝蒂数的逼近定理推广至更精细的中心值贝蒂数，后者是非交换几何中的更精细不变量？
• RQ2 中心值贝蒂数的傅里叶系数——对应于非局部化贝蒂数——是否可通过基本群的有限商进行逼近？
• RQ3 对于类$\mathcal{G}$中的群，非局部化迹$\operatorname{tr}^{\langle g\rangle}_{\mathcal{N}(G_i)}(A[i])$收敛于$\operatorname{tr}^{\langle g\rangle}_{\mathcal{N}(G)}(A)$是否一致且在商映射下稳定？
• RQ4 逼近框架能否从复数值迹推广至有限冯诺依曼代数中的通用迹？

主要发现

• 中心值贝蒂数$\beta_p^u(X)$可通过有限维对应物$\beta_p^u(\widetilde{X}/\pi_i)$进行逼近，从而将Lück定理推广至通用迹设定。
• 中心值维数的傅里叶系数（即非局部化贝蒂数的倍数）在商映射$G_i \to G$下收敛。
• 非局部化迹$\operatorname{tr}^{\langle g\rangle}_{\mathcal{N}(G_i)}(A[i])$的极限存在，且等于$\operatorname{tr}^{\langle g\rangle}_{\mathcal{N}(G)}(A)$，这由谱分布函数的收敛性所证明。
• 对于类$\mathcal{G}$中的群（包括剩余有限群和可约群），该逼近对矩阵$A \in M_d(\mathbb{Z}G)$一致成立。
• 关键技术步骤是证明$\liminf_{i\in I} F^{\langle g\rangle,\operatorname{Re}}_{A[i]}(0) = \limsup_{i\in J} F^{\langle g\rangle,\operatorname{Re}}_{A[i]}(0) = F^{\langle g\rangle,\operatorname{Re}}_A(0)$，从而确保迹的收敛性。
• 证明依赖于对谱分布差的对数积分的有界性，表明其统一有界于$2d \ln(\kappa(A))$，从而推出迹的收敛性。