[论文解读] Small Quotients of Braid Groups

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

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

一句话总结

该论文通过证明当 $n = 5,6$ 时，对称群 $S_n$ 是 $B_n$ 的最小非循环商群，且当 $n = 5,6,7,8$ 时，交错群 $A_n$ 是换位子群 $B_n'$ 的最小非平凡商群，从而解决了 Margalit 关于辫群小商群的猜想。利用完全对称集和计算群论，作者建立了非循环商群阶的改进下界，并在特定情况下确认了 $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$.

研究动机与目标

• 解决 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'$ 到有限群的同态可能像。
• 实现并优化计算算法，用于检查到有限群的同态是否存在，利用群作用和共轭不变结构。

提出的方法

• 利用完全对称集理论——即在群元素共轭下封闭的两两可交换元素集合——来限制有限商群中辫群生成元的可能像。
• 使用 Lin 对换位子群 $B_n'$ 的表示，其生成元为 $u, v, w, c_i$，系统性地测试到有限群的同态。
• 实施一种计算策略：预先计算目标群 $G$ 中的所有完全对称集，然后将同态像的搜索空间限制在这些集合的相容组合上。
• 通过考虑共轭类下的完全对称集，减少搜索空间，从而避免对等价配置的重复检查。
• 利用有限群表示的 Atlas 与自定义 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 任何非循环商群的阶的最佳可能下界是什么？
• 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$ 的数值最小性。
• 本文建立了新的下界：对于 $n \geq 5$，任何非循环商群的阶至少为 $3^{\lfloor n/2\rfloor - 1} \lfloor n/2\rfloor!$。
• 计算检查确认，对于 $n=5,6,7,8$，$B_n$ 或 $B_n'$ 到阶小于 $n!$ 或 $n!/2$ 的有限群均不存在非平凡同态。
• 证明了在代数闭域上，不存在大小为三的非对角化 $2\times 2$ 矩阵的完全对称集，这支持了计算所得的下界。