[论文解读] A survey of surface braid groups and the lower algebraic K-theory of their group rings

John Guaschi, Daniel Juan-Pineda|arXiv (Cornell University)|Feb 26, 2013

Geometric and Algebraic Topology参考文献 83被引用 14

一句话总结

本文综述了曲面辫群，重点关注2-球面和实射影平面，并提出了其群环下低阶代数K-理论的新结果。利用法拉尔-琼斯同构猜想及分类空间模型，计算得出球面4-辫群的约化低阶K-群是无限生成的，其中$\widetilde{K}_0$和$\widetilde{K}_1$包含$\mathbb{Z}_2$的无限直和以及一个指数为2或4的无限生成阿贝尔群。

ABSTRACT

We give a survey of the theory of surface braid groups and the lower algebraic K-theory of their group rings. We recall several definitions and describe various properties of surface braid groups, such as the existence of torsion, orderability, linearity, and their relation both with mapping class groups and with the homotopy groups of the 2-sphere. The braid groups of the 2-sphere and the real projective plane are of particular interest because they possess elements of finite order, and we discuss in detail their torsion and the classification of their finite and virtually cyclic subgroups. Finally, we outline the methods used to study the lower algebraic K-theory of the group rings of surface braid groups, highlighting recent results concerning the braid groups of the 2-sphere and the real projective plane.

研究动机与目标

• 提供对曲面辫群的全面综述，特别是2-球面和实射影平面的辫群，因其独特的扭性质。
• 研究$\mathbb{S}^2$和$\mathbb{R}P^2$辫群中有限子群和拟循环子群的结构，这些群是非非阿贝尔的且表现出扭性质。
• 利用法拉尔-琼斯同构猜想计算曲面辫群群环的低阶代数$K$-群，特别是$B_4(\mathbb{S}^2)$。
• 开发利用拟循环子群的通用空间模型和Nil群贡献来计算约化低阶$K$-群的技术。
• 扩展对双曲群群环$K$-理论的理解，特别是在具有非平凡扭和并合结构的情况下。

提出的方法

• 利用法拉尔-琼斯同构猜想，将群环的代数$K$-理论与等变同调及分类空间联系起来。
• 构建$\underline{\underline{E}}B_4(\mathbb{S}^2)$的通用空间模型，表示为树$\mathbf{T}$与离散集$D$的连枝，利用群的双曲性与并合结构。
• 应用分解式$H^{B_4(\mathbb{S}^2)}_n(\mathbf{T};\{\mathbb{K}\}) \oplus \bigoplus_{V \in \operatorname{Max}(\mathcal{VC})} \mathrm{Nil}_n(V)$，将等变同调表示为最大拟循环子群的Nil群。
• 识别$B_4(\mathbb{S}^2)$的最大拟循环子群，其同构于$\mathcal{Q}_8 \rtimes \mathbb{Z}$（三种作用）或$\mathcal{Q}_{16} \ast_{\mathcal{Q}_8} \mathcal{Q}_{16}$，这些子群对$K$-群有非平凡贡献。
• 通过Bass、法拉尔-希昂与瓦尔德豪森Nil群计算$\widetilde{K}_i(\mathbb{Z}[B_4(\mathbb{S}^2)])$，并明确给出无限直和分量。
• 运用等变同伦论与群环$K$-理论的技术，包括约化$K$-群与Nil群结构，推导出定量结果。

实验结果

研究问题

• RQ1 辫群$B_n(\mathbb{S}^2)$与$B_n(\mathbb{R}P^2)$的结构如何，特别是其扭性、有限子群及拟循环子群？
• RQ2 群环$\mathbb{Z}[B_n(\mathbb{S}^2)]$的低阶代数$K$-群行为如何，特别是当$n=4$时？
• RQ3 法拉尔-琼斯同构猜想与拟循环子群通用空间模型在显式计算$K$-群方面能发挥多大作用？
• RQ4 Nil群在$B_4(\mathbb{S}^2)$的$K$-理论中起什么作用，它们如何导致$\widetilde{K}_0$与$\widetilde{K}_1$的无限生成？
• RQ5 $n>4$时$B_n(\mathbb{S}^2)$的$K$-理论能否被计算？主要障碍是什么，例如$\underline{\underline{E}}B_n(\mathbb{S}^2)$尚无已知模型？

主要发现

• 约化$K_1$-群$\mathbb{Z}[B_4(\mathbb{S}^2)]$为$\mathbb{Z} \oplus \mathrm{Nil}_1$，其中$\mathrm{Nil}_1 \cong \bigoplus_{\infty} [2(\mathbb{Z}_2)^\infty \oplus W]$，$W$为指数为2或4的无限生成阿贝尔群。
• 约化$K_0$-群$\mathbb{Z}[B_4(\mathbb{S}^2)]$为$\mathbb{Z}_2 \oplus \mathrm{Nil}_0$，且$\mathrm{Nil}_0$同构于$\mathrm{Nil}_1$中的相同无限直和结构。
• $K_{-1}$-群为$\mathbb{Z}_2 \oplus \mathbb{Z}$，表明负$K$-理论中存在非平凡扭部分与自由部分。
• 当$i < -1$时，约化$K_i$-群消失，表明低阶$K$-理论范围有明确的截断。
• $\widetilde{K}_0$与$\widetilde{K}_1$的无限生成源于最大拟循环子群（同构于$\mathcal{Q}_8 \rtimes \mathbb{Z}$与$\mathcal{Q}_{16} \ast_{\mathcal{Q}_8} \mathcal{Q}_{16}$）相关Nil群的贡献。
• 作者猜想对所有$i > 1$，$K_i(\mathbb{Z}[B_4(\mathbb{S}^2)])$均为无限生成，扩展了在度数0与1中观察到的模式。