[论文解读] Embeddings of the braid groups of covering spaces, classification of the finite subgroups of the braid groups of the real projective plane, and linearity of braid groups of low-genus surfaces

Daciberg Lima Gonçalves, John Guaschi|SPIRE - Sciences Po Institutional REpository|Jun 15, 2009

Geometric and Algebraic Topology参考文献 29被引用 7

一句话总结

本文证明了紧致连通曲面的辫群可嵌入其覆叠空间的辫群中，证明了 $ B_n(\mathbb{R}P^2) $ 嵌入 $ B_{2n}(S^2) $。利用该嵌入及 $ B_n $ 的线性性，作者对 $ B_n(\mathbb{R}P^2) $ 的有限子群进行了分类，并证明了低亏格曲面上辫群的线性性，包括环面和亏格为 1 的非可定向曲面。

ABSTRACT

Let M be a compact, connected surface, possibly with a finite set of points removed from its interior. Let d,n be positive integers, and let N be a d-fold covering space of M. We show that the covering map induces an embedding of the n-th braid group B_n(M) of M in the (dn)-th braid group B_{dn}(N) of N, and give several applications of this result. First, we classify the finite subgroups of the n-th braid group of the real projective plane, from which we deduce an alternative proof of the classification of the finite subgroups of the mapping class group of the n-punctured real projective plane due to Bujalance, Cirre and Gamboa. Secondly, using the linearity of B_{n} due to Bigelow and Krammer, we show that the braid groups of compact, connected surfaces of low genus are linear.

研究动机与目标

• 建立辫群 $ B_n(M) $ 到 $ B_{dn}(\widetilde{M}) $ 的一般性嵌入，其中 $ \widetilde{M} $ 是曲面 $ M $ 的 $ d $-重覆叠。
• 利用 $ B_n(\mathbb{R}P^2) $ 嵌入 $ B_{2n}(S^2) $ 的事实，对 $ B_n(\mathbb{R}P^2) $ 的所有有限子群进行分类。
• 证明紧致连通低亏格曲面（包括球面、实射影平面和环面）上辫群的线性性。
• 为 $ n $- punctured 实射影平面的映射类群的有限子群分类提供一种替代证明。
• 通过马尔切夫关于有限指数线性子群的定理，将已知的 $ B_n $ 线性性推广至具有非平凡拓扑的曲面上的辫群。

提出的方法

• 通过覆叠映射构造从 $ B_n(M) $ 到 $ B_{dn}(\widetilde{M}) $ 的诱导同态，利用配置空间的拓扑与群论性质证明其单性。
• 利用 $ B_n(\mathbb{R}P^2) $ 嵌入 $ B_{2n}(S^2) $ 的事实，并借助已知的 $ B_n(S^2) $ 线性性来分析挠元与有限子群。
• 应用 $ B_n(S^2) $ 的有限子群分类结果，结合 $ B_n(\mathbb{R}P^2) $ 的结构，包括全扭 $ \Delta_n^2 $ 和二元可逆群 $ \mathrm{Dic}_{8n} $ 的作用。
• 应用马尔切夫定理：若一个群包含一个有限指数的线性子群，则该群本身是线性的，将其应用于曲面的纯辫群。
• 利用已知的同构关系：$ P_n(S^2 \setminus \{x_1,x_2,x_3\}) \cong P_{n-3}(\mathbb{D}^2 \setminus \{x_1,x_2\}) \cong $ $ P_{n-1} $ 的子群，而后者是线性的。
• 利用法德尔-纽尔特短正合列及其分裂性，分析 $ \mathbb{R}P^2 $ 的纯辫群，特别是 $ n=3 $ 的情形。

实验结果

研究问题

• RQ1 曲面的辫群是否可嵌入其覆叠空间的辫群中？在何种条件下成立？
• RQ2 $ B_n(\mathbb{R}P^2) $ 的所有有限子群是什么？它们与 $ B_n(S^2) $ 的结构有何关联？
• RQ3 低亏格曲面（如球面、实射影平面、环面）上的辫群是否为线性群？能否利用已知的 $ B_n $ 线性性来证明这一点？
• RQ4 $ B_n(\mathbb{R}P^2) $ 嵌入 $ B_{2n}(S^2) $ 如何影响纯辫群子群的结构？
• RQ5 能否通过辫群嵌入恢复 $ n $- punctured 实射影平面的映射类群的有限子群分类？

主要发现

• 覆叠映射诱导出从 $ B_n(M) $ 到 $ B_{dn}(\widetilde{M}) $ 的单同态，从而证明了 $ B_n(\mathbb{R}P^2) $ 嵌入 $ B_{2n}(S^2) $。
• $ B_n(\mathbb{R}P^2) $ 的有限子群已被分类：当 $ n \geq 2 $ 时，包括阶为 $ 4n $、$ 4(n-1) $ 的循环群，以及二元可逆群 $ \mathrm{Dic}_{8n} $ 和 $ \mathrm{Dic}_{8(n-1)} $。
• 纯辫群 $ P_2(\mathbb{R}P^2) $ 同构于四元数群 $ \mathcal{Q}_8 $，且 $ B_2(\mathbb{R}P^2) $ 同构于阶为 16 的广义四元数群。
• 当 $ n \geq 3 $ 时，$ B_n(\mathbb{R}P^2) $ 为无限群，且 $ P_3(\mathbb{R}P^2) $ 同构于一个秩为 2 的自由群与 $ \mathcal{Q}_8 $ 的半直积。
• 对于任意紧致连通亏格为 0 或 1 的曲面 $ M $，以及环面，辫群 $ B_n(M) $ 是线性的，该结论通过马尔切夫定理及有限指数子群得到证明。
• 通过新论证重新证明了 $ B_n(S^2) $ 的线性性：利用有限指数子群 $ P_n(S^2 \setminus \{x_1,x_2,x_3\}) \cong P_{n-3}(\mathbb{D}^2 \setminus \{x_1,x_2\}) \leq P_{n-1} $，而该子群是线性的。