[论文解读] A short proof of w_1^n(Hom(C_{2r+1}, K_{n+2}))=0 for all n and a graph colouring theorem by Babson and Kozlov

Carsten Schultz|ArXiv.org|Jul 17, 2005

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

一句话总结

本文提供了关于 ${\mathbb{Z}}_2$-空间 $\operatorname{Hom}(C_{2r+1}, K_{n+2})$ 的 $n$-次第一施蒂费尔-惠特尼类为零的简洁拓扑证明，证实了 Babson 与 Kozlov 的一个猜想。通过构造一个到球面乘积的等变映射并运用庞加莱对偶性，作者证明了对所有 $n \geq 0$，有 $w_1^n(\operatorname{Hom}(C_{2r+1}, K_{n+2})) = 0$，从而确立了图着色定理的强形式。

ABSTRACT

We show that the n-th power of the first Stiefel-Whitney class of the Z_2-operation on the graph complex Hom(C_{2r+1},K_{n+2})$ is zero, confirming a conjecture by Babson and Kozlov. This proves the strong form of their graph colouring theorem, which they had only proven for odd n. Our proof is also considerably simpler than their proof of the weak form of the theorem, which is also known as the Lovász conjecture.

研究动机与目标

• 证明 Babson 与 Kozlov 的猜想：对所有 $n \geq 0$，有 $w_1^n(\operatorname{Hom}(C_{2r+1}, K_{n+2})) = 0$。
• 提供一个适用于所有 $n$ 的统一、简短的证明，克服了早期证明中对奇偶 $n$ 的区分。
• 利用示性类建立 Babson-Kozlov 图着色定理的强形式。
• 证明 $w_1^n$ 的消失性意味着图的非 $(n+2)$-可着色性，通过 ${\mathbb{Z}}_2$-作用实现。

提出的方法

• 构造一个等变映射 $f: \operatorname{Hom}(C_{2r+1}, K_{n+2}) \to X_{n,r} \setminus A_{n,r}$，其中 $X_{n,r}$ 是 $r$ 个 $S^n$ 的乘积，配备自由的 ${\mathbb{Z}}_2$-作用。
• 将 $A_{n,r}$ 定义为 $X_{n,r}$ 的 ${\mathbb{Z}}_2$-不变子空间，并证明 $f$ 不与 $A_{n,r}$ 相交。
• 使用 $\mathbb{Z}_2$ 上的庞加莱对偶性分析商空间 $X_{n,r}/{\mathbb{Z}}_2$ 与 $(X_{n,r} \setminus A_{n,r})/{\mathbb{Z}}_2$ 的上同调。
• 定义类 $c_i \in H_{(2r-1)n}(X_{n,r}; \mathbb{Z}_2)$ 为球面基本类的乘积，并证明 $c_i + c_{i+1} \in \operatorname{im} l_*$.
• 利用商映射 $Y \to Y/{\mathbb{Z}}_2$ 的偶数次数这一事实，证明 $\pi_*(c_r) = 0$，从而在同调中得出其像为零。
• 通过对偶性与 $\bar{p}_0^*(\omega)$ 的庞加莱对偶的消失性，最终得出 $w_1^n(X_{n,r} \setminus A_{n,r}) = 0$。

实验结果

研究问题

• RQ1 对所有 $n \geq 0$，包括偶数 $n$，是否成立 $w_1^n(\operatorname{Hom}(C_{2r+1}, K_{n+2})) = 0$，如 Babson 与 Kozlov 所猜想？
• RQ2 是否可以不依赖上同调计算，仅通过示性类证明 Babson-Kozlov 图着色定理的强形式？
• RQ3 是否存在一个统一的拓扑证明，使得 $w_1^n$ 的消失性对所有 $n$ 均成立，且避免对奇偶性的区分？
• RQ4 是否能通过映射到球面乘积并控制一个不变子空间，来捕捉 $\operatorname{Hom}(C_{2r+1}, K_{n+2})$ 的等变拓扑结构？

主要发现

• 第 $n$ 个幂的首阶施蒂费尔-惠特尼类为零：对所有 $r \geq 1$ 与 $n \geq 0$，有 $w_1^n(\operatorname{Hom}(C_{2r+1}, K_{n+2})) = 0$，从而证实了 Babson-Kozlov 猜想。
• 该证明避开了早期工作中复杂的上同调计算，其论证远比原始弱形式证明更为简洁。
• 消失性通过一个映射到 $r$ 个 $n$-球面乘积的等变映射得到证明，该映射避开特定的 ${\mathbb{Z}}_2$-不变子空间 $A_{n,r}$。
• 通过 $\mathbb{Z}_2$ 上的庞加莱对偶性，证明表明相关上同调类的庞加莱对偶属于边界映射的像，从而其类为零。
• 关键步骤是证明同调中 $\pi_*(c_r) = 0$，这源于商映射 $Y \to Y/{\mathbb{Z}}_2$ 的偶数次数。
• 该结果意味着强图着色定理：若 $w_1^n(\operatorname{Hom}(C_{2r+1}, G)) \neq 0$，则 $G$ 不是 $(n+2)$-可着色的。