[论文解读] The $\Sigma$-invariants of Thompson's group $F$ via Morse theory

Stefan Witzel, Matthew C. B. Zaremsky|arXiv (Cornell University)|Jan 27, 2015

Geometric and Algebraic Topology参考文献 8被引用 3

一句话总结

本文通过在 Stein–Farley 的 Σ(0) 三维立方复形 $X$ 上应用几何 Morse 理论，重新计算了 Thompson 群 $F$ 的 BNSR 不变量 $Σ^m(F)$，提供了一种自包含的、纯拓扑的证明方法，避免了代数技术的使用。关键结果确认：当 $\chi$ 不是 $\chi_0$ 或 $\chi_1$ 的正倍数时，$[χ] \in Σ^1(F)$；当 $\chi$ 不位于 $\operatorname{Hom}(F,\mathbb{R}) \cong \mathbb{R}^2$ 的非负象限时，$[χ] \in Σ^2(F) = Σ^\infty(F)$。该方法依赖于分析由特征诱导的高度函数的上升链和上水平集。

ABSTRACT

Bieri, Geoghegan and Kochloukova computed the BNSR-invariants $\\Sigma^m(F)$ of Thompson's group $F$ for all $m$. We recompute these using entirely geometric techniques, making use of the Stein--Farley CAT(0) cube complex on which $F$ acts.

研究动机与目标

• 提供 Thompson 群 $F$ 的 BNSR 不变量 $\Sigma^m(F)$ 的几何化、自包含证明，独立于先前工作中使用的代数方法。
• 将 Bestvina–Brady Morse 理论应用于 $F$ 作用在其上的 Stein–Farley $\operatorname{CAT}(0)$ 三维立方复形 $X$ 上。
• 通过分析 $X$ 上特征高度函数的上升链和上水平集的同伦类型，刻画 $\Sigma^m(F)$。
• 证明该几何方法在具有类似几何结构的其他群的不变量计算中具有可行性。

提出的方法

• 将 Stein–Farley 的 $\operatorname{CAT}(0)$ 三维立方复形 $X$ 作为 $F$ 作用的几何模型，利用其适当性、余紧性和等距性。
• 定义特征高度函数 $h_\chi: X \to \mathbb{R}$，使得对所有 $g \in F$，$x \in X$，有 $h_\chi(gx) = \chi(g) + h_\chi(x)$，利用 $\operatorname{Hom}(F,\mathbb{R}) \cong \mathbb{R}^2$。
• 将 Bestvina–Brady Morse 理论的一个版本应用于 $F$ 在 $X$ 上的作用，重点关注顶点处上升链的同伦类型以及上水平集 $X^{t \leq \chi}$。
• 通过 $F$ 中群元素的约化树对表示 $(T/E)$ 的结构，组合地建模顶点邻域。
• 使用 Morse 引理和连通性准则分析滤子 $X^{t \leq \chi}$ 的本质连通性，特别是当 $t$ 接近零时的情形。
• 通过构造 $X^{0 \leq \chi}$ 的覆盖中子复形 $Y_{L=i}^m$ 和 $Y_{R=i}^m$ 的神经复形中的显式圈，证明当 $a > 0$，$b > 0$ 时基本群非平凡。

实验结果

研究问题

• RQ1 能否仅使用几何和拓扑工具重新推导 BNSR 不变量 $\Sigma^m(F)$，而无需依赖 HNN 结构或无自由子群等代数性质？
• RQ2 在 Stein–Farley 的 $\operatorname{CAT}(0)$ 三维立方复形 $X$ 上，高度函数的上升链和上水平集的同伦类型是什么？
• RQ3 $F$ 在 $X$ 上的作用的几何结构如何通过 BNSR 不变量反映 $F$ 的正规子群的有限性性质？
• RQ4 由 $Y_{L=i}^m$ 和 $Y_{R=i}^m$ 组成的 $X^{0 \leq \chi}$ 的覆盖的神经复形能否检测到上水平集中的非平凡基本群？
• RQ5 特征 $\chi = a\chi_0 + b\chi_1$ 的哪些条件决定了 $[\chi] \in \Sigma^1(F)$ 或 $\Sigma^2(F)$，这在 $X$ 的几何结构中如何体现？

主要发现

• 不变量 $\Sigma^1(F)$ 包含 $S^1$ 上所有 $[\chi]$，除了 $\chi_0$ 和 $\chi_1$ 的正方向，即 $[\chi] \notin \Sigma^1(F)$ 当且仅当 $\chi$ 是 $\chi_0$ 或 $\chi_1$ 的正倍数。
• 不变量 $\Sigma^2(F) = \Sigma^\infty(F)$ 包含所有满足 $\chi = a\chi_0 + b\chi_1$ 且 $a \geq 0$，$b \geq 0$ 的 $[\chi] \in S^1$，且 $[\chi] \notin \Sigma^2(F)$ 当且仅当 $a > 0$，$b > 0$。
• 当 $a > 0$，$b > 0$ 时，上水平集 $X^{0 \leq \chi}$ 不是单连通的，通过在 $Y_{L=i}^m$ 和 $Y_{R=i}^m$ 组成的覆盖的神经复形中构造非平凡圈得以证明。
• 滤子 $(X^{t \leq \chi})_{t \in \mathbb{R}}$ 对所有 $\chi$ 都是本质连通的，但当 $a > 0$，$b > 0$ 时不是本质单连通的，从而确认此情况下 $[\chi] \notin \Sigma^2(F)$。
• 当 $\chi$ 不与 $\chi_0$ 或 $\chi_1$ 对齐时，$X$ 中顶点的上升链是可缩的或同伦等价于一点，支持了水平集的连通性。
• 该证明表明 $\Sigma^1(F) \setminus \Sigma^2(F)$ 由满足 $a > 0$，$b > 0$ 的特征 $\chi = a\chi_0 + b\chi_1$ 构成，确认了不变量边界几何起源。