[論文レビュー] Characteristics of graph braid groups

Ki Hyoung Ko, Hyo Won Park|arXiv (Cornell University)|Jan 13, 2011

Topological and Geometric Data Analysis参考文献 6被引用数 4

ひとこと要約

本稿では、グラフ理論的不変量を用いて、グラフのブレイド群の1次ホモロジーの明示的公式を提示し、有限グラフ上のnブレイド群の1次ホモロジーが、そのグラフが平面的であるときかつそのときに限りねじれがないことを証明する。純粋2ブレイド群のホモロジーに関する予想を確認し、平面的グラフ上での2ブレイド群および純粋2ブレイド群が、互いに素なサイクルに対応する語の交換子である関係式を持つ表示を持つことを確立する。これは[9]に由来する長年の予想を解決する。

ABSTRACT

We give formulae for the first homology of the $n$-braid group and the pure 2-braid group over a finite graph in terms of graph theoretic invariants. As immediate consequences, a graph is planar if and only if the first homology of the $n$-braid group over the graph is torsion-free and the conjectures about the first homology of the pure 2-braid groups over graphs in \cite{FH} can be verified. We discover more characteristics of graph braid groups: the $n$-braid group over a planar graph and the pure 2-braid group over any graph have a presentation whose relators are words of commutators, and the 2-braid group and the pure 2-braid group over a planar graph have a presentation whose relators are commutators. The latter was a conjecture in \cite{FS2} and so we propose a similar conjecture for higher braid indices.

研究の動機と目的

• 有限グラフ上のnブレイド群および純粋2ブレイド群の1次ホモロジーの明示的公式を、グラフ理論的不変量を用いて導出すること。
• 純粋2ブレイド群の1次ホモロジーに関する長年の予想（ねじれやベッチ数に関するもの）を検証すること。
• 平面的グラフ上での2ブレイド群および純粋2ブレイド群が、互いに素なサイクルに対応する語の交換子である関係式を持つ表示を有することを確立すること。
• 平面的グラフ上での高次ブレイド指数群の構造に関する予想を提示・支持すること。ただし、$\Theta_4$に同型な部分グラフを含まないものとする。

提案手法

• 連続的配置空間 $C_n\Gamma$ および $UC_n\Gamma$ の立方体複体 $D_n\Gamma$ および $UD_n\Gamma$ への変形再びの性質を用いる。
• ホモロジー代数的手法を適用し、$H_2(D_2\Gamma)$、$H_2(\Gamma \times \Gamma)$、相対ホモロジーを含む完全系列を用いて2次元ホモロジーを分析する。
• ティーツェ変換を群の表示に適用し、生成子と関係式のペアを削除する。これは、モース複体におけるキャンセルする1セルおよび2セルの圧縮に対応する。
• メイヤー＝ビエトリス系列およびオイラー標数の議論を用い、モース複体の2セルの数と2次ベッチ数との関係を導出する。
• 平面的グラフは、$H_2(UD_2\Gamma)$ を生成する境界を持つ互いに素なサイクルのペアを有することを活用し、交換子関係式を導出する。
• 文献[3]および[12]の結果を応用し、配置空間のベッチ数と基底となるグラフのベッチ数との関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 有限グラフ上のnブレイド群の1次ホモロジーがいつねじれなしになるか？
• RQ2 有限グラフ上の純粋2ブレイド群の1次ホモロジーの正確な公式は、グラフ不変量を用いてどのように表されるか？
• RQ3 平面的グラフ上での2ブレイド群および純粋2ブレイド群は、互いに素なサイクルに対応する語の交換子である関係式を持つのか？
• RQ4 平面的グラフ上でのnブレイド群が、いつ「単純交換子関係式型」（simple-commutator-related）となるか？特に $n \geq 3$ の場合に。
• RQ5 $\Theta_4$ の部分グラフの存在が、高次ブレイド群における単純交換子関係式型構造を妨げるのか？

主な発見

• 有限グラフ上のnブレイド群の1次ホモロジーがねじれなしであることは、そのグラフが平面的であることと同値である。
• 有限グラフ上の純粋2ブレイド群の1次ホモロジーは、グラフ内の互いに素なサイクルペアの数によって定まる。明示的公式は定理3.25に提示されている。
• 平面的グラフに対しては、2ブレイド群 $B_2\Gamma$ および純粋2ブレイド群 $P_2\Gamma$ は、すべての関係式が互いに素なサイクルに対応する語の交換子である表示を持つ。
• $UD_2\Gamma$ の2次ベッチ数は $D_2\Gamma$ の半分である。すなわち $\beta_2(UD_2\Gamma) = \frac{1}{2}\beta_2(D_2\Gamma)$ が成り立ち、これは交換子構造を支持する。
• 2ブレイド群および純粋2ブレイド群は、平面的グラフ上では単純交換子関係式型である。定理4.8で証明され、[9]の予想が解決された。
• $n \geq 3$ に対して、$\Gamma$ が $\Theta_4$ の部分グラフを含む場合、ブレイド群 $B_n\Gamma$ は単純交換子関係式型ではない。このため、このような部分グラフがその性質を妨げるという予想が導かれる。