[论文解读] Relative hyperbolicity, classifying spaces, and lower algebraic K-theory

Jean‐François Lafont, Ivonne Johanna Ortiz|arXiv (Cornell University)|Jun 19, 2006

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

一句话总结

本文为科瓦克斯eter群 $\Gamma_3$ 的虚拟循环子群族构建了其分类空间 $E_{\mathcal{V}\mathcal{C}}(\Gamma_3)$，该群是 $SO(3,1)$ 中的一个非均匀格。利用相对双曲性和 Bass-Serre 理论，本文对极大无限虚拟循环子群进行了分类，并首次在该背景下显式计算了相关的 Waldhausen Nil-群，从而完成了 $\mathbb{Z}\Gamma_3$ 的下层代数 $K$-理论的计算。

ABSTRACT

For $Γ$ a relatively hyperbolic group, we construct a model for the universal space among $Γ$-spaces with isotropy on the family VC of virtually cyclic subgroups of $Γ$. We provide a recipe for identifying the maximal infinite virtually cyclic subgroups of Coxeter groups which are lattices in $O^+(n,1)= \iso(\mathbb H^n)$. We use the information we obtain to explicitly compute the lower algebraic K-theory of the Coxeter group $\gt$ (a non-uniform lattice in $O^+(3,1)$). Part of this computation involves calculating certain Waldhausen Nil-groups for $\mathbb Z[D_2]$, $\mathbb Z[D_3]$.

研究动机与目标

• 为相对双曲群构造一个具有虚拟循环子群族中各向同性子群的通用 $\Gamma$-空间的几何模型。
• 对作为 $SO(n,1)$ 中格的科瓦克斯eter群中的极大无限虚拟循环子群进行分类，特别是针对 $\Gamma_3 \subset SO(3,1)$ 的情形。
• 利用所构建的分类空间和 Farrell-Jones 同构猜想，计算 $\mathbb{Z}\Gamma_3$ 的下层代数 $K$-理论。
• 显式确定 $\tilde{K}_0(\mathbb{Z}\Gamma_3)$ 和 $Wh(\Gamma_3)$ 中出现的 Waldhausen Nil-群。

提出的方法

• 在相对双曲群的情形下，通过已知的 $E_{\mathcal{F}\mathcal{I}\mathcal{N}}(\Gamma)$ 模型，采用适配的族构造方法来构建 $E_{\mathcal{V}\mathcal{C}}(\Gamma)$。
• 利用 Dahmani 对相对双曲群的 $E_{\mathcal{F}\mathcal{I}\mathcal{N}}(\Gamma)$ 的模型，构造 $\mathcal{V}\mathcal{C}$ 的分类空间。
• 将 $\mathbb{H}^3$ 上 $\Gamma_3$-作用下的测地线划分为 I 型、II 型和 III 型，以分析稳定化子并确定其同构类型。
• 应用 Bass-Serre 理论分析 I 型测地线的稳定化子，这些稳定化子不适用于 II 型和 III 型所采用的短正合列方法。
• 利用 Farrell-Jones 同构猜想，将下层 $K$-群的计算归约为在所构建的 $E_{\mathcal{V}\mathcal{C}}(\Gamma_3)$ 上的等变同调计算。
• 通过 F.T. Farrell 所建议的技术，显式计算了 $\mathbb{Z}[D_2]$ 和 $\mathbb{Z}[D_3]$ 的 Waldhausen Nil-群，从而实现了 $\tilde{K}_0(\mathbb{Z}\Gamma_3)$ 和 $Wh(\Gamma_3)$ 的完整计算。

实验结果

研究问题

• RQ1 如何为相对双曲群中的虚拟循环子群族构造分类空间？
• RQ2 作为 $SO(n,1)$ 中格作用的科瓦克斯eter群中，其极大无限虚拟循环子群的结构是怎样的？
• RQ3 对于 $\Gamma_3$ 为 $SO(3,1)$ 中非均匀格的情形，其整数群环 $\mathbb{Z}\Gamma_3$ 的下层代数 $K$-理论是什么？
• RQ4 在 $\Gamma_3$ 的 $K$-理论中，哪些 Waldhausen Nil-群会出现，以及如何显式计算它们？

主要发现

• 本文为 $\Gamma_3$ 的虚拟循环子群族构建了一个 8 维的分类空间 $E_{\mathcal{V}\mathcal{C}}(\Gamma_3)$。
• $\Gamma_3$ 的极大无限虚拟循环子群根据其稳定化的测地线类型，被分类为 $\mathbb{Z}$、$D_\infty$、$\mathbb{Z} \times \mathbb{Z}/2$ 或 $D_\infty \times \mathbb{Z}/2$。
• 利用 Farrell-Jones 同构猜想，显式计算了 $n \leq -1$ 时的下层代数 $K$-理论群 $K_n(\mathbb{Z}\Gamma_3)$。
• $\tilde{K}_0(\mathbb{Z}\Gamma_3)$ 和 Whitehead 群 $Wh(\Gamma_3)$ 已被计算，并表明其涉及 $\mathbb{Z}[D_2]$ 和 $\mathbb{Z}[D_3]$ 的 Waldhausen Nil-群。
• 本文首次显式计算了 $\mathbb{Z}[D_2]$ 和 $\mathbb{Z}[D_3]$ 的 Waldhausen Nil-群，解决了 $K$-理论计算中的关键一环。
• 本工作首次完整计算了在半单李群中具有非平凡 Nil-群的格的下层代数 $K$-理论。