[论文解读] Homomorphisms between braid groups

Lei Chen, Kevin Kordek+1 more|arXiv (Cornell University)|Oct 1, 2019

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

一句话总结

该论文对 $n \geq 5$ 时从 braid 群 $B_n$ 到 $B_{2n}$ 的同态进行了完整分类，表明每个此类同态在几乎共轭和中心平移作用下均等价于五种标准类型之一：平凡、包含、对角包含、翻转对角包含以及 $k$-扭绞缆化。该分类揭示了 braid 群同态中的递归结构，并为 Lin 关于首一、无重根多项式空间之间全纯映射的定理提供了几何证明。

ABSTRACT

We give a complete classification of homomorphisms from the braid group on $n$ strands to the braid group on $2n$ strands when $n$ is at least 5. We also classify endomorphisms of the braid group on 4 strands, as well as homomorphisms from the commutator subgroup of the braid group on $n$ strands to the braid group on $2n-5$ strands. Our classifications suggest a recursive classification of homomorphisms between any braid groups. We also give a simple, geometric proof of a theorem of Lin that highly constrains the holomorphic maps that may exist between spaces of monic, square-free polynomials of two given degrees.

研究动机与目标

• 对 $n \geq 5$ 时从 braid 群 $B_n$ 到 $B_{2n}$ 的所有群同态进行分类。
• 将现有 braid 群同态分类结果扩展至已知的 $m \leq n+1$ 之外的情况。
• 建立理解任意 braid 群之间同态的递归框架。
• 通过 braid 群同态为 Lin 关于首一、无重根多项式空间之间全纯映射的定理提供几何证明。

提出的方法

• 通过目标 braid 群的自同构和内自同构定义同态的等价性，使用几乎共轭和中心平移。
• 引入平移的概念，其中同态 $\rho$ 通过与 $g \mapsto \rho(g) \cdot t^{L(g)}$ 复合而被修改，其中 $t$ 为平移元素。
• 利用曲面同胚的 Thurston 分类分析 $\rho$ 在曲面上的作用，特别是对半扭转及其像的动力学行为。
• 应用交集理论和曲面上的曲线动力学，利用交换 braid 对应于不相交曲线的事实，对 $\rho$ 下生成元的像施加约束。
• 利用 Dyer–Grossman 定理对 $\operatorname{Aut}(B_n)$ 的结果，该定理将自同构识别为共轭和反演自同构。
• 利用平移元素 $t$ 必须与 $\rho(B_n')$ 交换的性质，且中心平移由阿贝尔化映射 $L: B_n \to \mathbb{Z}$ 决定。

实验结果

研究问题

• RQ1 对于 $n \geq 5$，所有可能的同态 $B_n \to B_{2n}$ 在等价关系下有哪些？
• RQ2 在该范围内，标准同态——平凡、包含、对角、翻转对角以及 $k$-扭绞缆化——为何是唯一可能的类型？
• RQ3 同态 $B_n \to B_m$ 的分类能否在 $m \leq n+1$ 之外递归扩展？
• RQ4 半扭转的动力学行为和曲线交集对 $\rho$ 的像施加了哪些约束？
• RQ5 能否通过 braid 群同态，以几何方式重新证明 Lin 关于首一、无重根多项式空间之间全纯映射的定理？

主要发现

• 对于 $n \geq 5$，每个同态 $B_n \to B_{2n}$ 均等价于五种标准同态之一：平凡、包含、对角包含、翻转对角包含或 $k$-扭绞缆化。
• 等价性通过几乎共轭和中心平移定义，且所有此类同态均与其中心等价的标准形式等价。
• 同态 $\rho: B_n \to B_{2n}$ 的平移元素恰好是那些位于 $\rho(B_n')$ 的中心化子中的元素，且其支撑位于 $B_n$ 的作用为循环的子曲面上。
• 对于 $n \geq 5$，当 $m < 2n$ 时，$B_n \to B_m$ 的分类可通过复合包含映射 $B_m \to B_{2n}$ 得到，且此类映射等价于标准形式。
• 本文给出了 Lin 定理的几何证明，表明任意从首一、无重根多项式空间（次数分别为 $n$ 和 $2n$）之间的全纯映射必须源于 braid 群同态。
• 该分类暗示了 braid 群之间同态的递归结构，其中 $k$-扭绞缆化映射是一种新类型，仅在 $m = 2n$ 时出现。