[论文解读] Characteristics of graph braid groups

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

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

一句话总结

本文提供了基于图论不变量的图辫子群一阶上同调的显式公式，证明了有限图上 n-辫子群的一阶上同调无挠当且仅当该图为平面图。本文证实了关于纯 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-辫子群的一阶上同调的显式公式。
• 验证关于图上纯 2-辫子群一阶上同调的长期猜想，特别是关于挠元与贝蒂数的问题。
• 确立在平面图上，2-辫子群与纯 2-辫子群的展示关系为不相交圈对应词的换位子。
• 提出并支持一个关于平面图上更高辫子指数群结构的猜想，排除同构于 Θ₄ 的子图。

提出的方法

• 利用离散配置空间 $D_n\Gamma$ 和 $UD_n\Gamma$ 作为立方复形，其为连续配置空间 $C_n\Gamma$ 和 $UC_n\Gamma$ 的形变收缩。
• 应用同调代数技术，包括涉及 $H_2(D_2\Gamma)$、$H_2(\Gamma \times \Gamma)$ 和相对上同调的正合序列，以分析二维上同调。
• 在群展示上使用 Tietze 变换以消除生成元-关系对，对应 Morse 复形中抵消的 1-和 2-胞腔。
• 利用 Mayer-Vietoris 序列与欧拉示性数论证，将 Morse 复形中 2-胞腔的数量与第二贝蒂数联系起来。
• 利用平面图可存在不相交圈对，其边界生成 $H_2(UD_2\Gamma)$ 的事实，从而导出换位子关系。
• 应用 [3] 和 [12] 的结果，将配置空间的贝蒂数与底层图的贝蒂数联系起来。

实验结果

研究问题

• RQ1 有限图上 n-辫子群的一阶上同调在何时无挠？
• RQ2 纯 2-辫子群在有限图上的一阶上同调的精确公式是什么？其表达式以图不变量表示。
• RQ3 在平面图上，2-辫子群与纯 2-辫子群是否均为与换位子相关，且关系为不相交圈对应词的换位子？
• RQ4 在何种条件下，平面图上的 n-辫子群（特别当 $n \geq 3$ 时）为与换位子相关？
• RQ5 若图中存在 $\Theta_4$ 子图，是否阻碍更高阶辫子群的换位子相关结构？

主要发现

• 有限图上 n-辫子群的一阶上同调无挠当且仅当该图为平面图。
• 有限图上纯 2-辫子群的一阶上同调由图中不相交圈对的数量决定，其显式公式见定理 3.25。
• 对于平面图，2-辫子群 $B_2\Gamma$ 与纯 2-辫子群 $P_2\Gamma$ 具有展示形式，其中所有关系均为对应不相交圈的词的换位子。
• $UD_2\Gamma$ 的第二贝蒂数为 $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$ 子图，则 braid 群 $B_n\Gamma$ 不为与换位子相关，由此提出该类子图会阻碍该性质的猜想。