[论文解读] Normal subgroups of the braid group and the metaconjecture of Ivanov

Alan McLeay|arXiv (Cornell University)|Jan 16, 2018

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

一句话总结

该论文通过证明辫子群和带标记点的球面的映射类群的某些正规子群的自同构群与抽象共轭群同构于映射类群，从而解决了伊万诺夫关于'区域图'的元猜想。它表明，任何与中心平凡相交且包含至多 $(n-1)/3$ 个标准生成元乘积的辫子群 $B_n$ 的正规子群 $N$ 的自同构群同构于 $\mathrm{Mod}^\pm(S_{n+1})$ 中 $\Psi(N)$ 的正规化子，恢复了已知结果，并将其推广至低中心列、导出列和约翰逊滤子的项。

ABSTRACT

We show that many normal subgroups of the braid group modulo its centre, and of the mapping class group of a sphere with marked points, have the property that their automorphism and abstract commensurator groups are mapping class groups of such spheres. As one application, we establish the automorphism groups of each term in the lower central series and derived series of the pure braid group. We also obtain new proofs of results of Dyer-Grossman and Orevkov, showing that the automorphism groups of the braid group and of its commutator subgroup are isomorphic. We then calculate the automorphism and abstract commensurator groups of each term in the hyperelliptic Johnson filtration, recovering a result of Childers for the Torelli case. The techniques used in the paper rely on resolving a metaconjecture of Nikolai V. Ivanov for "graphs of regions", extending work of Brendle-Margalit.

研究动机与目标

• 解决尼古拉·伊万诺夫关于辫子群与映射类群的正规子群的自同构群与抽象共轭群结构的元猜想。
• 刻画纯辫子群的低中心列、导出列及双曲型约翰逊滤子各项的自同构群。
• 将布伦德尔-马加拉特的技术扩展至区域图，使自同构群可识别为带标记点的球面的映射类群。
• 为辫子群及其交换子群的自同构群提供经典结果的新证明。

提出的方法

• 通过在具有 $n+1$ 个标记点的球面上的几何实现，将辫子群模其中心 $B_n/Z$ 视为扩展映射类群 $\mathrm{Mod}^\pm(S_{n+1})$ 的子群。
• 利用单射同态 $\Psi: B_n/Z \hookrightarrow \mathrm{Mod}^\pm(S_{n+1})$，将 $B_n/Z$ 的正规子群与映射类群的子群关联起来。
• 应用包含自同构群、共轭群与正规化子群的群同态图，将 $\mathrm{Aut}N$ 与 $\mathrm{Mod}^\pm(S_{n+1})$ 中 $\Psi(N)$ 的正规化子关联起来。
• 运用区域图理论及在曲线复形上的作用，分析自同构与共轭群的结构。
• 利用 $\mathrm{Mod}(S_{n+1},p)$ 是 $\mathrm{Mod}(S_{n+1})$ 的有限指数子群的事实，推导出涉及 $\mathrm{Mod}^\pm(S_{n+1},p)$ 的同构关系。
• 通过一系列单射同态 $\Phi_1, \dots, \Phi_6$ 建立同构关系，证明在特定条件下有 $\mathrm{Aut}N \cong \mathrm{Comm}N \cong \mathcal{M}_1$。

实验结果

研究问题

• RQ1 对于与中心平凡相交且包含至多 $(n-1)/3$ 个标准生成元乘积的辫子群 $B_n$ 的正规子群 $N$，其自同构群的结构是什么？
• RQ2 纯辫子群的低中心列与导出列各项的自同构群与共轭群如何与映射类群关联？
• RQ3 能否使用几何群论方法在辫子群与映射类群的背景下解决伊万诺夫关于'区域图'的元猜想？
• RQ4 辫子托里奇群模中心的自同构群是什么？它与带标记点的球面的扩展映射类群有何关系？
• RQ5 在何种条件下，正规子群 $N$ 的抽象共轭群同构于其自同构群？

主要发现

• 任何满足 $N \cap Z = \{1\}$ 且包含至多 $(n-1)/3$ 个标准生成元乘积的辫子群 $B_n$ 的正规子群 $N$ 的自同构群同构于 $\mathrm{Mod}^\pm(S_{n+1})$ 中 $\Psi(N)$ 的正规化子。
• 当 $n \geq 7$ 时，有 $\mathrm{Aut}[B_n, B_n] \cong \mathrm{Mod}^\pm(S_{n+1},p) \cong B_n/Z \rtimes \mathbb{Z}/2\mathbb{Z}$。
• 辫子托里奇群模中心的自同构群同构于 $\mathrm{Mod}^\pm(S_{n+1})$。
• 双曲型约翰逊滤子各项的抽象共轭群同构于其自同构群，且两者均同构于带标记点的球面的映射类群。
• 纯辫子群的低中心列与导出列各项的自同构群同构于带标记点的球面的映射类群。
• 本文为 Dyer-Grossman 的经典结果提供了新证明：当 $n \geq 4$ 时，有 $\mathrm{Aut}B_n \cong \mathrm{Mod}^\pm(S_{n+1},p)$。