[论文解读] The homology of Richard Thompson's group F

Kenneth S. Brown|ArXiv.org|Nov 15, 2004

Homotopy and Cohomology in Algebraic Topology参考文献 15被引用 12

一句话总结

本文提供了理查德·汤普森群 F 的积分上同调与同调环的详细计算，确立了其同调为一个非单位元的结合环，由度数为 0 和 1 的元素生成，并满足特定关系。关键结果是上同调环同构于 $\bigwedge(a,b) \otimes \Gamma(u)$，其中 $a,b$ 是外代数的度数为 1 的生成元，$u$ 是分划多项式环的度数为 2 生成元，证实了 F 满足成为凯勒群的必要条件。

ABSTRACT

In the early 1980s Ross Geoghegan and I calculated the homology of Richard Thompson's group F as a graded abelian group. It turns out that the homology admits a natural ring structure, which I calculate in this paper. As a byproduct, I obtain the ring structure on the cohomology.

研究动机与目标

• 提供汤普森群 F 的积分同调环结构的自包含、原创性证明，该结果此前已被斯坦的后续工作所涵盖。
• 显式计算 F 的积分上同调环，尤其澄清了斯坦的一般框架中未充分详述的结构。
• 通过验证上积 $H^1 \otimes H^1 \to H^2$ 非平凡，回应罗斯·吉安对 F 是否为凯勒群的疑问。
• 确立 F 的同调在每个正度数上自由生成，其环结构允许通过对偶性直接计算上同调。
• 证明换位子群 $F'$ 的同调同构于 $\mathbb{Z}[t]$，且 F 在同调上表现得如同 $F' \times F_{\text{ab}}$。

提出的方法

• 构建一个立方体 $K(F,1)$ 复形 $X$，其上存在一个严格结合的乘法映射 $X \times X \to X$，该映射在 $\pi_1(F)$ 上诱导出乘法结构，从而在胞腔链复形 $C_*(X)$ 上产生一个微分分次环结构。
• 利用 $X$ 上的乘法结构定义一个同态 $\mu: F \times F \to F$，该同态在 $H_*(F)$ 上诱导出环结构，尽管 $\mu$ 仅在共轭意义下结合。
• 直接计算微分分次环 $C_*(X)$ 的同调，证明对所有 $n > 0$ 有 $H_n(F) \cong \mathbb{Z} \oplus \mathbb{Z}$，其生成元 $\alpha$ 和 $\beta$ 的度数为 1。
• 通过关系识别 $H_*(F)$ 上的环结构：$\varepsilon^2 = \varepsilon$，$\varepsilon\alpha = \beta\varepsilon = 0$，$\alpha\varepsilon = \alpha$，$\varepsilon\beta = \beta$，且 $\alpha^2 = \beta^2 = 0$，交替乘积 $\alpha\beta\alpha\cdots$ 与 $\beta\alpha\beta\cdots$ 构成基。
• 应用对偶性，通过对角映射 $\Delta: H_*(F) \to H_*(F) \otimes H_*(F)$ 的对偶计算上同调环 $H^*(F)$，利用 $\alpha$ 和 $\beta$ 的本原性以及 $t = \beta\alpha$ 的余乘法结构。
• 利用同调等价 $F \to F' \times F_{\text{ab}}$ 推出 $H^*(F) \cong H^*(F') \otimes H^*(F_{\text{ab}})$，并识别出 $H^*(F') \cong \Gamma(u)$，其中 $\deg u = 2$，且 $H^*(F_{\text{ab}}) \cong \bigwedge(a,b)$，其中 $\deg a = \deg b = 1$。

实验结果

研究问题

• RQ1 汤普森群 F 的积分同调环结构是什么？它如何从几何与代数构造中产生？
• RQ2 上积 $H^1(F) \otimes H^1(F) \to H^2(F)$ 是否为零？这对其成为凯勒群的问题有何含义？
• RQ3 上同调环 $H^*(F)$ 是否可以显式计算，并用标准代数结构（如外代数与分划多项式环）表达？
• RQ4 换位子群 $F'$ 的同调如何与 F 的完整同调相关联？它是否可识别为 $\mathbb{Z}[t]$？
• RQ5 F 在多大程度上在同调上表现得如同乘积 $F' \times F_{\text{ab}}$？这如何帮助计算其上同调？

主要发现

• 积分同调 $H_*(F)$ 是一个由度数为 0 的幂等元 $\varepsilon$ 和度数为 1 的元素 $\alpha, \beta$ 生成的非单位元结合环，满足关系 $\varepsilon^2 = \varepsilon$，$\varepsilon\alpha = \beta\varepsilon = 0$，$\alpha\varepsilon = \alpha$，$\varepsilon\beta = \beta$，且 $\alpha^2 = \beta^2 = 0$。
• 在每个正度数 $n$ 上，交替乘积 $\alpha\beta\alpha\cdots$ 与 $\beta\alpha\beta\cdots$ 构成 $H_n(F)$ 的基，且对所有 $n > 0$ 有 $H_n(F) \cong \mathbb{Z} \oplus \mathbb{Z}$。
• F 的上同调环同构于 $H^*(F) \cong \bigwedge(a,b) \otimes \Gamma(u)$，其中 $a,b$ 是外代数的度数为 1 生成元，$u$ 是分划多项式环的度数为 2 生成元。
• 元素 $t = \beta\alpha \in H_2(F)$ 生成一个同构于 $\mathbb{Z}[t]$ 的子环，该子环被识别为 $F'$ 的同调，即 F 的换位子群的同调，且在对角共作用下为本原元。
• 上积 $H^1(F) \otimes H^1(F) \to H^2(F)$ 非平凡，因为 $ab$ 是 $H^2(F)$ 中的非零元素，这与 F 作为潜在凯勒群是一致的。
• 同调等价 $F \to F' \times F_{\text{ab}}$ 诱导出同构 $H_*(F) \cong H_*(F') \otimes H_*(F_{\text{ab}})$，该分解构成了上同调环结构的基础。