[論文レビュー] Small Quotients of Braid Groups

Noah Caplinger, Kevin Kordek|arXiv (Cornell University)|Sep 21, 2020

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

ひとこと要約

この論文は、braid群の小規模な商についてMargalitの予想を解決する。$n = 5,6$ に対して、対称群 $S_n$ は $B_n$ の最小の非巡回商であり、$n = 5,6,7,8$ に対して、交換子群 $B_n'$ の最小の非自明な商は交代群 $A_n$ である。完全対称集合と計算群論を用いて、非巡回商の位数に対する改善された下界を確立し、特定のケースにおける $S_n$ と $A_n$ の最小性を確認した。

ABSTRACT

We prove that the symmetric group $S_n$ is the smallest non-cyclic quotient of the braid group $B_n$ for $n=5,6$ and that the alternating group $A_n$ is the smallest non-trivial quotient of the commutator subgroup $B_n'$ for $n = 5,6,7,8$. We also give an improved lower bound on the order of any non-cyclic quotient of $B_n$.

研究の動機と目的

• braid群およびその交換子群に対する対称群と交代群の商としての最小性に関するMargalitの予想を解決すること。
• $n \geq 5$ に対して、$B_n$ の非巡回商の位数に対する改善された下界を確立すること。
• $n=5,6$ に対して $S_n$ が $B_n$ の最小の非巡回商であり、$n=5,6,7,8$ に対して $A_n$ が $B_n'$ の最小の非自明な商であることを証明すること。
• 完全対称集合を構造的道具として用い、$B_n$ および $B_n'$ から有限群への可能な準同型を制約すること。
• 群作用と共役不変構造を活用して、有限群への準同型の存在をチェックする計算アルゴリズムを実装・最適化すること。

提案手法

• 完全対称集合（群の元による共役作用に関して閉じた、互いに可換な元の集合）の理論を用い、有限商における braid群生成元の像を制約する。
• 生成元 $u, v, w, c_i$ を用いた $B_n'$ の Lin の表現を用い、有限群への準同型を体系的にテストする。
• 目標群 $G$ に含まれるすべての完全対称集合を事前に計算し、その後、これらの集合の整合性のある組み合わせに制限して準同型の探索空間を削減する計算戦略を実装する。
• 同型類を同一視することで、同値な構成の重複チェックを回避し、探索空間を削減する。
• 有限群の表示のアトラスとカスタム Sage スクリプトを用い、小規模な有限群への非自明な準同型の非存在を検証する。
• 代数的に閉じた体上の表現論的議論を用い、行列の完全対称集合の大きさを制限する。特に、$ \mathrm{GL}(2,\mathbb{C})$ にサイズ3の非対角化可能 $2\times 2$ 行列の完全対称集合は存在しないことを証明した。

実験結果

リサーチクエスチョン

• RQ1 $n=5,6$ に対して、$S_n$ は $B_n$ の最小の非巡回商か？
• RQ2 $n=5,6,7,8$ に対して、$A_n$ は $B_n'$ の最小の非自明な商か？
• RQ3 $n=5,6,7$ に対して、$B_n$ の非巡回商が $n!$ より小さい位数をもつ可能性はあるか？
• RQ4 任意の非巡回商 $B_n$ の位数に対する最良の下界は何か？
• RQ5 $n=5,6,7,8$ に対して、$n!/2$ と $n!$ の間の厳密に大きい位数の非巡回商 $B_n$ は存在するか？

主な発見

• $n=5,6$ に対して、$S_n$ は $B_n$ の最小の非巡回商であり、$S_n$ の群レベルでの最小性が確認された。
• $n=5,6,7,8$ に対して、$A_n$ は $B_n'$ の最小の非自明な商であり、この文脈における $A_n$ の最小性が確立された。
• $n=7$ に対して、$B_n$ の任意の非巡回商は位数 $n!$ 以上でなければならない。これにより、$S_n$ の数値的最小性が確認された。
• 本論文では、任意の非巡回商 $B_n$ の位数が $3^{\lfloor n/2\rfloor - 1} \lfloor n/2\rfloor!$ 以上であるという新たな下界を確立した。$n \geq 5$ に対して成り立つ。
• 計算的チェックにより、$n=5,6,7,8$ に対して、$B_n$ や $B_n'$ から位数が $n!$ より小さい、またはそれぞれ $n!/2$ より小さい有限群への非自明な準同型は存在しないことが確認された。
• 代数的に閉じた体上に、非対角化可能な $2\times 2$ 行列の完全対称集合が3つ存在しないことが証明された。これは計算的下界の裏付けを提供する。