[論文レビュー] 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

ひとこと要約

本稿は、Artinのブレード群 $B_n$ と純ブレード群 $P_n$ の下位中心列の $k$-番目 $\Gamma_k(P_n)$ による商群 $B_n/\Gamma_k(P_n)$ が、すべての $n,k \geq 3$ に対してほぼ結晶格子群であることを証明する。$B_n/\Gamma_3(P_n)$ の torsion を完全に特徴付け、$\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)$ の torsion 構造を分析し、特に $\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 の元）を構成すること。
• $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$ を基底要素の積として計算する。
• $\sum r_{1,j} = 0$, $\sum r_{2,j} = 1$ を満たす指数和条件を満たすように、中心化元 $\theta$ と $\delta_n$ を組み合わせることで、$\gcd(\tau,6)=1$ を満たす有限位数 $\tau$ の元を構成する。
• 部分群 $S_3$ および $S_4$ に対して明示的な行列構成を用い、ホロノミー表現が $\text{GL}(d,\mathbb{Z})$ 内にあり、$\text{SL}(d,\mathbb{Z})$ に属することを示し、多様体の向き付け可能性を検証する。

実験結果

リサーチクエスチョン

• RQ1 どの位数 $\tau$ に対して $\gcd(\tau,6)=1$ を満たす $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)$ の有限位数元の共役類はサイクル型によってどのように決定され、2つの元がいつ共役になるか？
• RQ4 小さな $n$ に対して $B_n/\Gamma_3(P_n)$ のほぼ Bieberbach の部分群の次元と構造は何か？
• 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$ に同様の元が存在することであり、$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 の構成に従う。