[論文レビュー] 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}$ への群準同型の完全な分類を提供している。すべての such な準同型は、ほぼ共役および中心的変換（central transvections）に関して、5つの標準的タイプ（自明、埋め込み、対角埋め込み、反転対角埋め込み、$k$-ねじれケーブル写像）のいずれかに同値であることが示されている。この分類はbraid群の準同型に再帰的構造を明らかにし、単一の正則写像がmonicで平方自由な多項式の空間の間にあるという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}$ へのすべての群準同型を分類すること。
• $m \leq n+1$ の既知のケースを超えて、braid群準同型の分類を拡張すること。
• 任意のbraid群の間の準同型を理解するための再帰的枠組みを確立すること。
• 一様な正則写像がmonicで平方自由な多項式の空間の間にあるというLinの定理の幾何的証明を提供すること。

提案手法

• 代数的自己同型および内部自己同型を用いて、目標braid群の自己同型を用いて、ほぼ共役および中心的変換による準同型の同値関係を定義する。
• 変換（transvection）の概念を導入し、準同型 $\rho$ を $g \mapsto \rho(g) \cdot t^{L(g)}$ の形で合成することで変更する。ここで $t$ は変換要素である。
• 表面の自己同胚のThurston分類を用いて、$\rho$ が表面に作用する様子、特に半回転のダイナミクスとその像を分析する。
• 交差理論および表面内の曲線のダイナミクスを用い、$\rho$ による生成子の像を制約する。特に、可換なbraid群は交わらない曲線に対応することを用いる。
• 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 5つの標準的準同型（自明、埋め込み、対角、反転対角、$k$-ねじれケーブル写像）は、なぜこの範囲で唯一のタイプとして現れるのか？
• RQ3 $m \leq n+1$ を超えて、$B_n \to B_m$ の準同型の分類を再帰的に拡張できるか？
• RQ4 半回転のダイナミクスと曲線の交差が、$\rho$ の像にどのような制約を課えるか？
• RQ5 一様な正則写像がmonicで平方自由な多項式の空間の間にあるというLinの定理を、braid群準同型を用いて幾何的に再証明できるか？

主な発見

• $n \geq 5$ の場合に、すべての準同型 $B_n \to B_{2n}$ は、5つの標準的準同型（自明、埋め込み、対角埋め込み、反転対角埋め込み、$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の定理に対して幾何的証明を提供し、monicで平方自由な多項式の次数が $n$ と $2n$ である空間の間の任意の正則写像が、braid群準同型から生じることを示している。
• 分類はbraid群間の準同型に再帰的構造を示唆しており、$m = 2n$ のときのみ現れる $k$-ねじれケーブル写像という新しいタイプが存在する。