[论文解读] Survey on approximating L^2-invariants by their classical counterparts: Betti numbers, torsion invariants and homological growth

Wolfgang Lueck|arXiv (Cornell University)|Jan 29, 2015

Advanced Combinatorial Mathematics参考文献 70被引用 8

一句话总结

本综述研究通过流形或CW复形的有限覆盖，利用经典不变量（如贝蒂数、扭量）对L²不变量（如L²-Betti数、扭量、同调增长）进行逼近。它建立了在有限正规覆盖塔中归一化不变量的收敛性，并将极限识别为相应的L²不变量，关键结果涵盖欧拉示性数、示性数和贝蒂数，同时指出了扭量与秩梯度的开放猜想。

ABSTRACT

In this paper we discuss open problems concerning L^2-invariants focusing on approximation by towers of finite coverings.

研究动机与目标

• 研究在有限正规覆盖塔中，经典不变量（如贝蒂数、扭量、秩梯度）在按覆盖次数归一化后是否收敛。
• 确定此类归一化不变量的极限是否等于其万有覆盖的相应L²不变量。
• 识别关于双曲流形和剩余有限群中L²扭量、L²-Betti数与秩梯度逼近的开放问题与猜想。
• 统一并综述使用有限维类比逼近L²不变量的已知结果与开放挑战。

提出的方法

• 通过满足截面为平凡的下降正规有限指数子群链 $G_i \trianglelefteq G$ 构造 $G$-空间 $\overline{X}$ 的有限覆盖 $X[i] = G_i \backslash \overline{X}$。
• 将经典不变量 $\alpha(X[i])$ 按覆盖次数 $[G:G_i]$ 归一化，形成序列 $\alpha_i = \alpha(X[i])/[G:G_i]$。
• 分析当 $i \to \infty$ 时 $\alpha_i$ 的极限行为，目标是证明其收敛于 $\alpha^{(2)}(\overline{X}; \mathcal{N}(G))$，即 $\alpha$ 的L²类比。
• 应用谱理论、群冯诺依曼代数 $\mathcal{N}(G)$ 及L²不变量的逼近定理。
• 利用福格勒德-卡迪森行列式与马勒测度，建立L²扭量与李赫默问题的联系。
• 利用可迁穷竭、代价理论与单纯形体积的结果，探索猜想性的逼近方法。

实验结果

研究问题

• RQ1 对于任意域 $F$，归一化的第 $n$ 个贝蒂数 $b_n(X[i]; F)/[G:G_i]$ 是否收敛于L²-Betti数 $b_n^{(2)}(\widetilde{X})$？
• RQ2 归一化秩梯度 $d(G_i)/[G:G_i]$ 的极限是否等于L²-秩梯度 $\operatorname{RG}(G; (G_i))$？
• RQ3 归一化的扭量对数 $\ln|\operatorname{tors}(H_n(X[i]))|/[G:G_i]$ 是否收敛于双曲流形的L²扭量 $\rho^{(2)}_{\operatorname{an}}(\widetilde{X})$？
• RQ4 在何种条件下，双曲流形（维度 $d$）的L²-Betti数 $b_n^{(2)}(\widetilde{M})$ 为零或保持正值？
• RQ5 对于哪些群 $G$，李赫默常数 $\Lambda(G)$ 满足 $\Lambda(G) > 1$，从而将李赫默问题推广至非阿贝尔群？

主要发现

• 在给定设定下，对所有 $n$ 及任意域 $F$，归一化的贝蒂数 $b_n(X[i]; \mathbb{F}_p)/[G:G_i]$ 收敛于L²-Betti数 $b_n^{(2)}(\widetilde{X})$。
• 对于维度 $d=2n$ 的紧致双曲流形 $M$，L²-Betti数 $b_n^{(2)}(\widetilde{M})$ 等于 $(-1)^n \cdot \chi(M)$，且当 $M$ 允许负曲率度量时为正。
• 归一化的秩梯度 $d(G_i)/[G:G_i]$ 收敛于 $b_1^{(2)}(G) = \operatorname{cost}(G) - 1$，在维度2时等于 $-\chi(M)$。
• 当 $d=2n+1$ 为奇数且 $M$ 具有负曲率时，归一化的扭量对数 $\ln|\operatorname{tors}(H_n(X[i]))|/[G:G_i]$ 收敛于L²扭量 $\rho^{(2)}_{\operatorname{an}}(\widetilde{M})$。
• 对于奇维双曲流形，L²扭量满足 $(-1)^n \cdot \rho^{(2)}_{\operatorname{an}}(\widetilde{M}) \geq 0$，且若 $M$ 允许负曲率度量，则 $>0$。
• 李赫默常数 $\Lambda(G)$ 对某些群满足 $\Lambda(G) > 1$，而对一般群该问题仍为开放，且有 $\Lambda^{w}(G) \geq \Lambda(G)$。