[论文解读] Groups of small homological dimension and the Atiyah Conjecture

Peter H. Kropholler, Peter A. Linnell+1 more|ArXiv.org|Jan 23, 2004

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用 7

一句话总结

本文证明，若一个同调维数 ≤1 的群满足关于 L²-Betti 数的 Atiyah 猜想，则该群必为局部自由群，从而给出了已知结果（即局部自由群的同调维数 ≤1）的逆命题。此外，本文还证明，有限生成的初等可解群若其上同调维数 ≤2，则其 BG 存在有限的二维模型，且其平凡 ℤG-模 ℤ 具有二维的投射分解。

ABSTRACT

A group G has homological dimension less or equal to 1 if it is locally free. We prove the converse provided that G satisfies the Atiyah Conjecture about L^2-Betti numbers. We also show that a finitely generated elementary amenable group G of cohomological dimension less or equal to 2 possesses a finite 2-dimensional model for BG and in particular that G is finitely presented and the trivial ZG-module Z has a 2-dimensional resolution by finitely generated free ZG-modules.

研究动机与目标

• 在 Atiyah 猜想的假设下，建立已知事实（即局部自由群的同调维数 ≤1）的逆命题。
• 通过群的展示关系与几何模型，刻画有限生成初等可解群的上同调维数 ≤2 的结构。
• 证明此类群具有有限的二维分类空间 BG，以及其平凡 ℤG-模 ℤ 的二维投射分解。
• 研究在 Atiyah 猜想下，同调代数、冯·诺依曼维数与群论性质之间的相互作用。

提出的方法

• 利用 Atiyah 猜想对群的冯·诺依曼代数 𝒩(G) 上模的冯·诺依曼维数进行控制。
• 应用引理 4，证明在与 𝒩(G) 张量后商模维数为零的投射模必为有限生成。
• 运用引理 5，从有限冯·诺依曼维数的模中提取出商模维数为零的有限生成子模。
• 利用 Stallings 的结果：在 FP 条件下，上同调维数为 1 的群必为自由群。
• 应用 Gildenhuys 定理，对上同调维数为 2 的可解群使用单关系展示。
• 利用同调与上积的交换性，将有限生成子群的结果推广至整个群。

实验结果

研究问题

• RQ1 在何种条件下，同调维数 ≤1 的群必为局部自由群？
• RQ2 Atiyah 猜想能否用于刻画低同调维数群的群论结构？
• RQ3 有限生成初等可解群的上同调维数 ≤2 的几何与代数结构为何？
• RQ4 此类群是否具有 BG 的有限二维模型？这对其投射分解意味着什么？
• RQ5 𝒩(G) 上模的冯·诺依曼维数如何约束投射模的有限生成性？

主要发现

• 满足 Atiyah 猜想的同调维数 ≤1 的群必为局部自由群，从而给出了标准事实（即局部自由群的同调维数 ≤1）的逆命题。
• 对有限生成初等可解群，若其上同调维数 ≤2，则存在 BG 的有限二维模型，这意味着该群是有限展示的。
• 平凡 ℤG-模 ℤ 允许由有限生成自由 ℤG-模构成的二维投射分解，这是一个强有限性条件。
• 此类群要么是 ℚ 的非循环子群（若可数但非有限生成），要么具有展示 ⟨x,y | yxy⁻¹ = xⁿ⟩（n ∈ ℤ）的形式。
• 证明依赖于 Atiyah 猜想，以确保在 𝒩(H) 上的投射模若具有有限冯·诺依曼维数，则必为有限生成，从而可应用 Stallings 定理。
• 同调维数 ≤2 的初等可解群为幂零可解群，其结构受 Hirsch 长度及 G/N 对 Fitting 子群作用的约束。