[论文解读] Almost-crystallographic groups as quotients of Artin braid groups

Daciberg Lima Gonçalves, John Guaschi+1 more|arXiv (Cornell University)|Nov 10, 2017

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

一句话总结

该论文证明了商群 $B_n/\Gamma_k(P_n)$，其中 $B_n$ 是阿廷辫群，$\Gamma_k(P_n)$ 是纯辫群 $P_n$ 的下中央列的第 $k$ 项，对所有 $n,k \geq 3$ 均为几乎平晶格群。论文完全刻画了 $B_n/\Gamma_3(P_n)$ 中的挠子群，表明满足 $\gcd(\tau,6)=1$ 的有限阶元素 $\tau$ 恰好对应于对称群 $S_n$ 中的元素，并通过 $\Gamma_2(P_5)/\Gamma_3(P_5)$ 的基以及共轭算子的作用，显式构造了 $B_5/\Gamma_3(P_5)$ 中阶为 5 的元素。

ABSTRACT

International audience

研究动机与目标

• 建立对所有 $n,k \geq 3$，$B_n/\Gamma_k(P_n)$ 为几乎平晶格群，推广此前关于 $B_n/\Gamma_2(P_n)$ 的结果。
• 分析 $B_n/\Gamma_3(P_n)$ 的挠子群结构，特别是满足 $\gcd(\tau,6) = 1$ 的阶 $\tau$ 的元素，并将其与对称群 $S_n$ 关联。
• 通过 $\Gamma_2(P_n)/\Gamma_3(P_n)$ 的基以及共轭作用的动力学，显式构造 $B_n/\Gamma_3(P_n)$ 中的有限阶元素，特别是 $B_5/\Gamma_3(P_5)$ 中的阶为 5 的元素。
• 在小的 $n$ 值下展示 $B_n/\Gamma_3(P_n)$ 的几乎 Bieberbach 子群，包括 $B_3/\Gamma_3(P_3)$ 中的 4 维子群和 $B_4/\Gamma_3(P_4)$ 中的 10 维子群。
• 给出 $B_n/\Gamma_3(P_n)$ 的展示形式，并根据循环类型对有限阶元素的共轭类进行分类。

提出的方法

• 使用下中央列的商群 $L_q(P_n) = \Gamma_q(P_n)/\Gamma_{q+1}(P_n)$，其秩通过莫比乌斯函数公式计算：$\text{rank}(L_q(P_n)) = \frac{1}{q} \sum_{j=1}^{n-1} \sum_{d|q} \mu(d) j^{q/d}$。
• 应用 [De] 中的判别准则，证明 $B_n/\Gamma_k(P_n)$ 为几乎平晶格群，其点群为 $S_n$，维数为 $\sum_{q=1}^{k-1} \text{rank}(L_q(P_n))$。
• 引入 $\Gamma_2(P_n)/\Gamma_3(P_n)$ 的显式基 $\{a_i, b_j\}$，并分析 $\alpha_5^{-1} = \sigma_1^{-1}\sigma_2^{-1}\sigma_3^{-1}\sigma_4^{-1}$ 在该基上的作用，以识别长度为 5 的轨道。
• 利用 Witt-Hall 恒等式及 $\Gamma_2(P_n)/\Gamma_3(P_n)$ 中的群关系，计算 $\delta_5^5 = (A_{3,5}A_{4,5}\alpha_5^{-1})^5$ 为基元素的乘积。
• 通过结合一个保持中心的元素 $\theta$ 与 $\delta_n$，构造阶为 $\tau$ 且满足 $\gcd(\tau,6)=1$ 的有限阶元素，确保满足指数和条件 $\sum r_{1,j} = 0$，$\sum r_{2,j} = 1$。
• 通过为 $S_3$ 和 $S_4$ 的子群显式构造矩阵，验证仿射 nil-流形的可定向性，即其点群表示位于 $\text{SL}(d,\mathbb{Z})$ 中。

实验结果

研究问题

• RQ1 对于满足 $\gcd(\tau,6)=1$ 的阶 $\tau$，$B_n/\Gamma_3(P_n)$ 在什么情况下存在有限阶元素？这些元素与 $S_n$ 有何关系？
• RQ2 能否通过 $\Gamma_2(P_5)/\Gamma_3(P_5)$ 的基以及共轭作用的动力学，在 $B_5/\Gamma_3(P_5)$ 中显式构造阶为 5 的元素？
• RQ3 $B_n/\Gamma_3(P_n)$ 中有限阶元素的共轭类如何由其循环类型决定？何时两个此类元素共轭？
• RQ4 $B_n/\Gamma_3(P_n)$ 中几乎 Bieberbach 子群的维数与结构在小的 $n$ 值下如何？
• RQ5 $\alpha_n^{-1}$ 在 $\Gamma_2(P_n)/\Gamma_3(P_n)$ 的基上的作用如何分解为轨道？这对群结构有何含义？

主要发现

• 群 $B_n/\Gamma_k(P_n)$ 是一个几乎平晶格群，其点群为 $S_n$，维数为 $\sum_{q=1}^{k-1} \text{rank}(L_q(P_n))$，当 $k=3$ 时，该维数等于 $\binom{n}{2} + \binom{n}{3}$。
• 当 $n \geq 5$ 且 $\gcd(\tau,6) = 1$ 时，$B_n/\Gamma_3(P_n)$ 中存在阶为 $\tau$ 的元素，当且仅当 $S_n$ 中存在阶为 $\tau$ 的元素，且 $B_n/\Gamma_3(P_n)$ 与 $S_n$ 中阶为 $\tau$ 的元素的共轭类之间存在一一对应关系。
• $B_5/\Gamma_3(P_5)$ 中的元素 $\delta_5^5$ 在 $\Gamma_2(P_5)/\Gamma_3(P_5)$ 中简化为 $b_1^{-1}b_2^{-1}b_3^{-1}b_4^{-1}b_5^{-1}$，通过共轭作用与 Witt-Hall 恒等式计算得到验证。
• $B_5/\Gamma_3(P_5)$ 中阶为 5 的显式元素为 $b_1 \delta_5 = [A_{1,2}, A_{2,4}] \cdot (\sigma_4\sigma_3\sigma_2^{-1}\sigma_1^{-1})$，其构造满足基元素上的指数和条件。
• $B_3/\Gamma_4(P_3)$ 中存在 4 个非同构的几乎 Bieberbach 子群，维数为 6，分别对应于 $S_3$ 的 4 个子群，其点群表示位于 $\text{SL}(6,\mathbb{Z})$ 中。
• $B_4/\Gamma_3(P_4)$ 中存在 11 个非同构的几乎 Bieberbach 子群，维数为 10，分别对应于 $S_4$ 的 11 个非共轭子群，符合命题 10 与推论 26 的构造。