[论文解读] Quotients of the Artin braid groups and crystallographic groups

Daciberg Lima Gonçalves, John Guaschi+1 more|arXiv (Cornell University)|Mar 16, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 19被引用 4

一句话总结

本文研究商群 $B_n/[P_n, P_n]$，证明当 $n \geq 3$ 时，该群为晶格群，且其挠子群仅含奇数阶元素。本文建立了该商群中有限阶元素的共轭类与 $S_n$ 中奇数阶元素共轭类之间的一一对应关系，并证明对所有 $n \geq 7$，21阶的弗罗贝尼乌斯群可嵌入 $B_n/[P_n, P_n]$，从而完整刻画了奇数阶子群的实现情况。

ABSTRACT

Let n be greater than or equal to 3. We study the quotient group B\_n/[P n,P\_n] of the Artin braid group B\_n by the commutator subgroup of its pure Artin braid group P\_n. We show that B\_n/[P n,P\_n] is a crystallographic group, and in the case n=3, we analyse explicitly some of its subgroups. We also prove that B\_n/[P n,P\_n] possesses torsion, and we show that there is a one-to-one correspondence between the conjugacy classes of the finite-order elements of B\_n/[P n,P\_n] with the conjugacy classes of the elements of odd order of the symmetric group S\_n, and that the isomorphism class of any Abelian subgroup of odd order of S\_n is realised by a subgroup of B\_n/[P n,P\_n]. Finally, we discuss the realisation of non-Abelian subgroups of S\_n of odd order as subgroups of B\_n/[P n,P\_n], and we show that the Frobenius group of order 21, which is the smallest non-Abelian group of odd order, embeds in B\_n/[P n,P\_n] for all n greater than or equal to 7.

研究动机与目标

• 分析 Artin braid 群关于其纯 braid 群的交换子群的商群 $B_n/[P_n, P_n]$ 的代数结构。
• 确定 $B_n/[P_n, P_n]$ 中有限阶元素是否仅限于奇数阶，并对其共轭类进行分类。
• 研究奇数阶有限群作为 $B_n/[P_n, P_n]$ 的子群的实现情况，特别是非交换群的情形。
• 建立 $S_n$ 中奇数阶元素的共轭类与 $B_n/[P_n, P_n]$ 中奇数阶元素共轭类之间的确切对应关系。
• 证明对所有 $n \geq 7$，21阶弗罗贝尼乌斯群可嵌入 $B_n/[P_n, P_n]$，并考察其他非交换奇数阶群的实现可能性。

提出的方法

• 利用短正合列 $1 \to \mathbb{Z}^{n(n-1)/2} \to B_n/[P_n, P_n] \to S_n \to 1$ 证明 $B_n/[P_n, P_n]$ 是晶格群。
• 分析 $S_n$ 在 $P_n/[P_n, P_n] \cong \mathbb{Z}^{n(n-1)/2}$ 上的作用，以确定群扩张结构。
• 研究元素 $\alpha_{0,r}$ 对 $P_n/[P_n, P_n]$ 的基 $\{A_{i,j}\}$ 的诱导作用，以分析挠子群与轨道结构。
• 构造线性方程组（如方程 (52) 和 (53)）以表达 $B_n/[P_n, P_n]$ 中存在 $n$ 阶元素的条件。
• 运用表示论与群论技巧，包括对 $A_7$ 中极大子群的分类，以确定非交换奇数阶子群的实现性。
• 利用已知同构关系，如 $B_n/[P_n, P_n] \cong PS_n$，将结果与伪对称辫子范畴及增强对称群的研究联系起来。

实验结果

研究问题

• RQ1 $B_n/[P_n, P_n]$ 是否为晶格群？其几何与代数结构如何？
• RQ2 $B_n/[P_n, P_n]$ 是否包含偶数阶元素，或其挠子群是否仅限于奇数阶？
• RQ3 是否存在 $B_n/[P_n, P_n]$ 中有限阶元素的共轭类与 $S_n$ 中奇数阶元素共轭类之间的一一对应？
• RQ4 哪些奇数阶有限群可作为 $B_n/[P_n, P_n]$ 的子群实现？
• RQ5 21阶弗罗贝尼乌斯群是否对所有 $n \geq 7$ 均可嵌入 $B_n/[P_n, P_n]$？它是否是该商群中可实现的最小非交换奇数阶群？

主要发现

• 对所有 $n \geq 3$，商群 $B_n/[P_n, P_n]$ 是晶格群，且存在短正合列 $1 \to \mathbb{Z}^{n(n-1)/2} \to B_n/[P_n, P_n] \to S_n \to 1$。
• $B_n/[P_n, P_n]$ 不含偶数阶元素；所有挠子群均为奇数阶。
• 在 $B_n/[P_n, P_n]$ 中有限阶元素的共轭类与 $S_n$ 中奇数阶元素的共轭类之间存在一一对应关系，且该对应保持阶数不变。
• $S_n$ 中所有奇数阶阿贝尔子群的同构类均可作为 $B_n/[P_n, P_n]$ 的子群实现。
• 对所有 $n \geq 7$，21阶弗罗贝尼乌斯群可嵌入 $B_n/[P_n, P_n]$，且它是该商群中可实现的最小非交换奇数阶群。
• 当 $n \geq 7$ 时，$B_n/[P_n, P_n]$ 中存在 $n$ 阶元素的充要条件是某个整数环上的线性方程组有解，且此类元素存在无穷多次。