[论文解读] The limit of F_p-Betti numbers of a tower of finite covers with amenable fundamental groups

Peter A. Linnell, Wolfgang Lueck+1 more|arXiv (Cornell University)|Mar 1, 2010

Topological and Geometric Data Analysis被引用 6

一句话总结

该论文为具有可约基本群的有限覆叠塔中 F_p-贝蒂数的极限建立了一个公式，表明该极限等于局部化群环上同调模的 Ore 维数。通过使用 Ore 局部化和同调代数，该研究将 L^2-贝蒂数逼近定理推广至任意域，特别是正特征域，适用于本质上无挠的可约群。

ABSTRACT

We prove an analogue of the Approximation Theorem of L^2-Betti numbers by Betti numbers for arbitrary coefficient fields and virtually torsionfree amenable groups. The limit of Betti numbers is identified as the dimension of some module over the Ore localization of the group ring.

研究动机与目标

• 确定具有可约基本群的有限覆叠残余链中 F_p-贝蒂数的极限。
• 将 L^2-贝蒂数逼近定理推广至任意特征的域，特别是正特征域。
• 通过群环模的 Ore 维数以纯代数方式表达该极限。
• 利用同调代数技术（如谱序列）使该极限可计算。
• 为本质上无挠的可约群建立该结果，推广先前针对无挠群的结果。

提出的方法

• 使用群环 kG 在乘法集 S = kG ∖ {0} 上的 Ore 局部化，当 kG 无零因子时，该局部化形成一个斜域。
• 应用 Ore 维数函数 dim^Ore_{kG}(M) = dim_{S^{-1}kG}(S^{-1}kG ⊗_{kG} M) 以代数方式定义极限。
• 运用谱序列论证（如 Hochschild-Serre）计算局部化环上的同调。
• 依赖可约群理论中的次可加函数收敛原理（Lindenstrauss-Weiss, Weiss）以确立极限的存在性。
• 通过域嵌入将特征零情形约化至 C，利用已知的 von Neumann 维数与 Ore 维数结果。
• 使用普遍系数定理关联不同域上的贝蒂数，尤其比较特征 0 与特征 p 的情形。

实验结果

研究问题

• RQ1 对于可约群，沿有限覆叠残余链的归一化 F_p-贝蒂数极限是否存在？
• RQ2 如果存在，该极限能否仅通过群环及其局部化以纯代数方式表达？
• RQ3 该极限如何依赖于域的选择，特别是在正特征情形？
• RQ4 对于有限自由 G-CW 复形，该极限是否等于同调模的 Ore 维数？
• RQ5 该极限能否通过同调代数技术（如谱序列）计算？

主要发现

• 归一化 F_p-贝蒂数的极限 lim_{n→∞} dim_k H_i(G_n\X; k) / [G:G_n] 存在，且等于 Ore 维数 dim^Ore_{kG}(H_i(X))，其中 X 为有限自由 G-CW 复形。
• 对于有限生成的 kG-模 M，极限 lim_{n→∞} dim_k (k ⊗_{kG_n} M) / [G:G_n] 等于 dim^Ore_{kG}(M)。
• 对于满足零因子猜想的本质上无挠可约群，该极限与残余链的选择无关。
• 在特征 p 情形，该极限可能严格大于 L^2-贝蒂数，表明其对域 k 的依赖性。
• 例 6.2 表明 dim^Ore_{kG}(H_i(X;k)) 依赖于 k 的特征：当 char(k) ≠ p 时为 0，当 char(k) = p 时为 1。
• 对于本质上无挠的初等可约群，归一化贝蒂数 b_i(G/G_n; k)/[G:G_n] 在极限下趋于零，即使 i ≥ 1。