[论文解读] Graph Cohomologies from Arbitrary Algebras

Laure Helme-Guizon, Yongwu Rong|ArXiv.org|Jun 1, 2005

Homotopy and Cohomology in Algebraic Topology参考文献 8被引用 15

一句话总结

本文通过使用任意有限维、交换、分次的$$\mathbb{Z}$$-代数（保持次数的乘法）构造图的分次上同调，将图上同调理论进行了推广。该构造得到的上同调，其分次欧拉示性数等于在代数的分次维数处求值的色多项式，从而推广了基于$\mathbb{Z}[x]/(x^2)$的早期工作。一个关键结果是，这种上同调能够检测到比色多项式本身更精细的图不变量，包括在某些情况下存在的奇 torsion。

ABSTRACT

For each commutative, graded algebra with finite dimension in each degree, we construct a graded cohomology theory for graphs whose graded Euler characteristic is the chromatic polynomial of the graph. This extends our previous work which was based on the algebra $\mathbb {Z}[x]/(x^2)$.

研究动机与目标

• 将图上同调的构造从先前工作中使用的特定代数$\mathbb{Z}[x]/(x^2)$推广至更一般的框架。
• 建立一种图的上同调理论，其分次欧拉示性数等于在任意有限维、交换、分次的$\mathbb{Z}$-代数的分次维数处求值的色多项式。
• 证明该上同调理论能够区分具有相同色多项式的非同构图，表明其强于色多项式本身。
• 探索上同调群中 torsion 的存在性，特别是早期构造中不存在的奇 torsion。

提出的方法

• 通过图的每条边上的代数张量积，基于边的子集对链复形进行定义。
• 利用代数的乘法与单位映射构造微分，确保其与分次结构及次数保持一致。
• 以状态和公式$P_G(\lambda) = \sum_{s \subseteq E(G)} (-1)^{|s|} \lambda^{k(s)}$为基础，构建上同调理论。
• 将上同调群定义为链复形的同调，其分次由代数的分次结构诱导。
• 引入上同调的扭变版本，以增强其区分图的能力。
• 对加法群为$\mathbb{Z} \oplus \mathbb{Z}$的交换$\mathbb{Z}$-代数进行分类，以支持计算示例。

实验结果

研究问题

• RQ1 能否为任意有限维、交换、分次的$\mathbb{Z}$-代数（保持次数的乘法）构造图的分次上同调理论？
• RQ2 该上同调的分次欧拉示性数是否等于在代数的分次维数处求值的色多项式？
• RQ3 该上同调能否检测到色多项式之外的图不变量，例如具有相同色多项式的非同构图？
• RQ4 该上同调是否表现出 torsion，特别是早期构造中不存在的奇 torsion？
• RQ5 该上同调与 Eastwood 和 Huggett 的拓扑构造之间有何关系，后者将$P_G(\lambda)$实现为欧拉示性数？

主要发现

• 该上同调理论适用于任意有限维、交换、分次的$\mathbb{Z}$-代数（保持次数的乘法），推广了先前的结果。
• 该上同调群的分次欧拉示性数等于在$\lambda = q\dim\mathcal{A}$（代数的分次维数）处求值的色多项式$P_G(\lambda)$。
• 构造了一个长正合列，其范畴化了色多项式的删除-收缩关系。
• 当代数为$\mathbb{Z}[x]/(x^3)$时，上同调群可能包含三阶 torsion，证明了奇 torsion 的存在。
• 对于具有相同色多项式$\lambda(\lambda-1)^2(\lambda-2)^2$的图$G_1$和$G_2$，其上同调群非同构，表明该理论强于色多项式。
• 对加法群为$\mathbb{Z} \oplus \mathbb{Z}$的环的分类表明，同构类型由$b^2 + 4a$和$b \mod 2$决定，这支持了非平凡示例的构造。