[论文解读] Fundamental groups of neighborhood complexes

Takahiro Matsushita|arXiv (Cornell University)|Oct 10, 2012

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

一句话总结

本文引入了基于图 (G,v) 的 r-基本群 π₁ʳ(G,v)，建立了 π₁²ʳ(G,v) 的偶部与 r-邻域复形 Nᵣ(G) 的基本群之间的组合同构。关键结果表明 π₁³(KG₂ₖ₊₁,ₖ) ≅ ℤ/2，证明了从 Kneser 图 KG₂ₖ₊₁,ₖ 到 5-圈 C₅ 的图同态不存在，提供了一种独立于奇圈长与标准邻域复形拓扑的新型拓扑障碍。

ABSTRACT

The neighborhood complexes of graphs were introduced by Lovász in his proof of the Kneser conjecture. He showed that a certain topological property of $N(G)$ gives a lower bound for the chromatic number of $G$. In this paper, we study a combinatorial description of the fundamental groups of the neighborhood complexes. For a positive integer $r$, we introduce the $r$-fundamental group $π_1^r(G,v)$ of a based graph $(G,v)$ and the $r$-neighborhood complex $N_r(G)$ of $G$. The $1$-neighborhood complex is the neighborhood complex. We show that the even part $π_1^{2r}(G,v)_{ev}$, which is a subgroup of $π_1^{2r}(G,v)$ with index 1 or 2, is isomorphic to the fundamental group of $(N_r(G),v)$ if $v$ is not isolated. We can use the $r$-fundamental groups to show the non-existence of graph homomorphisms. For example, we show that $π_1^3(KG_{2k+1,k})$ is isomorphic to $\mathbb{Z} /2$, and this implies that there is no graph homomorphism from $KG_{2k+1,k}$ to the 5-cycle graph $C_5$. We discuss the covering maps associated to $r$-fundamental groups.

研究动机与目标

• 发展邻域复形基本群的组合描述，将 Lovász 的图着色拓扑方法加以扩展。
• 将 r-基本群 π₁ʳ(G,v) 定义为由 G 中所有 2r-圈构成的 2-复形 Xᵣ(G) 的边路群的一般化。
• 在 v 非孤立点时，精确建立 π₁²ʳ(G,v) 的偶部与 π₁(Nᵣ(G),v) 之间的同构，从而为图同态提供新的障碍。
• 研究 r-覆叠映射及其与 r-基本群子群的对应关系，为邻域复形上的覆叠空间提供图论实现。

提出的方法

• 将 r-基本群 π₁ʳ(G,v) 定义为在 G 的所有 (2s)-圈（s ≤ r）上附着 2-胞状后形成的 2-复形 Xᵣ(G) 上的边路群。
• 将 r-邻域复形 Nᵣ(G) 定义为一个单纯复形，其单体为在距离 r 内有共同邻居的顶点有限集。
• 利用边路群技巧，证明当 v 非孤立时，r-基本群的偶部 π₁²ʳ(G,v)ₑᵥ 自然同构于 π₁(Nᵣ(G),v)。
• 通过比较源图与目标图的基本群，利用 r-基本群检测图同态的障碍。
• 将 r-覆叠映射构造为拓扑覆叠映射的图论类比，证明 π₁ʳ(G,v) 的子群与连通 r-覆叠之间存在一一对应。
• 建立 Nᵣ(G) 上连通覆叠空间与 Kronecker 双重覆盖 K₂×G 上连通 2-覆叠之间的对应关系，尤其当 G 为非二分图时。

实验结果

研究问题

• RQ1 邻域复形的基本群能否通过图上的新代数不变量进行组合描述？
• RQ2 r-基本群 π₁ʳ(G,v) 是否捕捉到了通过奇圈长或标准邻域复形拓扑无法检测的图同态拓扑障碍？
• RQ3 是否存在一种纯粹图论的邻域复形覆叠空间描述，类似于拓扑覆叠理论？
• RQ4 r-基本群与 Kneser 图的结构有何关系，特别是对 C₅ 等小圈图同态的阻碍作用？
• RQ5 r-覆叠理论能否用于通过标准图构造（如 Kronecker 双重覆盖）对邻域复形上的覆叠空间进行分类？

主要发现

• 当 v 非孤立时，r-基本群的偶部 π₁²ʳ(G,v)ₑᵥ 同构于 r-邻域复形 Nᵣ(G) 的基本群。
• 对于 Kneser 图 KG₂ₖ₊₁,ₖ，其 3-基本群 π₁³(KG₂ₖ₊₁,ₖ) 同构于 ℤ/2，一个非平凡的有限群。
• 此同构意味着从 KG₂ₖ₊₁,ₖ 到 5-圈 C₅ 不存在图同态，尽管当 k ≥ 2 时 Kneser 图的奇圈长为 2k+1 ≥ 5。
• 该障碍无法通过奇圈长或标准邻域复形 N(G) 的拓扑检测，因为 N(C₃) 与 N(C₅) 均同胚于 S¹。
• π₁ʳ(G,v) 的子群与连通 r-覆叠之间存在一一对应，推广了经典覆叠空间理论至图论。
• 当 G 为非二分图时，Nᵣ(G) 上的连通覆叠空间与 K₂×G 上的连通 2-覆叠之间存在双射对应，为拓扑覆叠空间提供了图论实现。