有限连接集循环有向图的 GLMY 路径同调是什么？

模数超过 2 max S 后为何不再影响结果

循环有向图的顶点是模 n 的剩余类，连接集 S 中每个步 s 给出从 a 到 a+s 的有向边。它的路径复形就是 GLMY 复形：链由连续步都落在 S 中的允许路径张成，只保留边界仍然允许的那些链。论文的核心做法是把有限循环群换成无限循环提升，在提升中步变成普通整数，不再发生绕回。

由此得到一个阈值。当 S 是含 1 的有限正步集、K 是任意域时，论文证明只要 n > 2 max S，就存在一条分裂正合序列，把提升的路径同调、循环有向图的路径同调，以及提升中低一次的同调联系起来。论文还把循环有向图的同调等同于一个有限步字复形 C*(S;K) 的同调，该复形由各步之间的短加法关系构造。由于这个复形不再依赖 n，同调在任意域、所有次数上都稳定，包括特征整除 n 的域。

短加法关系决定步字复形

步字复形是几何问题转化为组合问题的地方。一条允许路径被记录为 S 中步组成的字，删去一个内部顶点会把相邻两步合并为它们的和。如果这个和仍在 S 中，对应的面就是允许的；如果不在，这个面就是禁止面，其系数必须与其他产生同一合并步的字相互抵消。

论文的引导性例子把这一机制讲得很具体。对五个顶点、步为 1 和 2 的循环有向图，含子串 22 的字会合并出步 4，而 4 不是边，因此该字的系数必须为零。只差一次相邻 12 与 21 交换的两个字会合并出同一个步 3，因此它们的系数必须相反。这些规则合起来，在每个正次数、每个起点上只留下两条独立链，于是每个次数 n ≥ 1 的维数都是 10，同调在 0 次和 1 次为一维，更高次数为零。

这个例子也说明有限计算为何棘手：链空间是无限维的，同调却塌缩了。步字复形正是把这种塌缩系统化、而非逐例处理的工具。

无碰撞步集在高次数上给出外代数同调

第一个较广的结构性结果针对没有加法碰撞的步集。若 (S+S) ∩ S 为空，且每一对无序步的和都互不相同，那么当 n > 2 max S 时，循环有向图的路径同调作为分次向量空间，同构于由 S 张成的向量空间上的外代数。换言之，Betti 数就是 |S| 的二项式系数，同调在直到 |S| 次的范围内非零。

这里“无碰撞”很关键。该条件恰好排除了那些会让禁止面被合法面抵消的合并，于是短关系复形退化为只有一次生成元、没有进一步关系。论文随后把它细化为环层面的陈述：在其短关系命题的假设下，路径上同调环同构于某个格的上同调，后者在一次生成元上是外代数，且一次生成元的平方为零，在特征二下也成立。

三个正步按七种加法模式分类

对形如 S = {1, a, b}（1 < a < b）的连接集，论文在 n 满足精确 Freiman 容许条件时给出完整分类。答案由一个整数 r(a,b) 表达，它只依赖三个步的加法形状，不依赖 n：m 次路径同调就是 K^{r(a,b)} 的 m 次外幂。

r(a,b) 的取值是：当 (a,b) 为 (2,3) 或 (2,4) 时为 1；当 a ≥ 3 且 b 不属于 {a+1, 2a−1, 2a} 时为 3；其余情形为 2。这一公式背后的七种加法模式在论文中以表格列出。作为具体检验，{1,2,4}、{1,2,5} 和 {1,4,6} 的 Betti 序列分别为 (1,1)、(1,2,1) 和 (1,3,3,1)，其后全为零。

实际含义是：对三个步而言，整个同调轮廓由这些步实现七种加法配置中的哪一种决定。具有相同模式的两个步集有相同的 Betti 数，改变模式才会改变答案。

矩形加法类型与等差数列

对任意多个步，论文计算了两类结构化族。满足相应定理假设的 d 维矩形加法类型，在任意域、任意容许模数下，使循环有向图的路径同调同构于 K^{d+1} 的 m 次外幂，提升则同构于 K^{d} 的 m 次外幂。循环有向图多出的一维来自正合序列中提升的次数平移。

等差数列是最鲜明的实例：对 S = {1, 1+q, …, 1+kq}，稳定 Betti 序列为 (1,2,1,0,…)。因此无论等差数列包含多少步，只有 0、1、2 次非零，维数分别为 1、2、1。这与无碰撞情形形成强烈对比：那里非零次数的个数随 |S| 增长。按等差数列增加步数不会增加同调次数，反而使它们塌缩。

倍增串及其边界秩

最后一族是相反的极端。在特征零下，假设 S 中无序对的和唯一，且唯一合法的对和是倍增，即 s+t 落在 S 中仅当 s = t。令 D 为满足 2s 在 S 中的步 s 的集合，b = |S| − |D|。那么当 n > 2 max S 时，m 次路径同调的维数是 b 选 m 的二项式系数。

论文还进一步记录了边界秩。记 a_m 为步字复形中从 m 次到 m−1 次的边界映射的秩，则 a_0 = a_1 = 0，并给出用 b 和 d = |D| 表示这些秩的生成函数。论文还给出路径同调的一组基：对每个递增的指标元组，对所有排列取步字链的交替和是一个闭链，再对所有初始顶点求和就得到一个基元素。

两个算例展示了参数如何相互作用。对 S = {1,2,4}，有 (b,d) = (1,2)，m ≥ 1 时链维数为 2m+1，Betti 序列为 (1,1,0,…)。对 S = {1,2,5}，有 (b,d) = (2,1)，一次链维数为 3，m ≥ 2 时链维数为 4，Betti 序列为 (1,2,1,0,…)。因此同一 Betti 序列可以来自不同的链层面数据，这也是论文报告秩而不只报告 Betti 数的原因。

稳定性定理的适用范围与边界

稳定性陈述的成立条件很具体：S 必须是含 1 的有限正步集，且 n > 2 max S。这个不等式消除了绕回，使合并步成为普通整数和而非剩余类。三步分类还额外要求 n 满足精确 Freiman 容许条件，倍增串公式则在特征零、无序对和唯一且只有倍增为合法和的条件下成立。

方向同样重要。论文比较了有向循环图与其对称化版本，并表明同调可能改变：对 n = 5、S = {1,2}，有向循环图在 0 次和 1 次同调为 K、更高次数为零，而对称循环图在那里是完全图，只在 0 次同调为 K。加入反向步会产生新的填充，因此有向循环图的结论不能未经检查就搬到无向循环图上。

对读者最有用的区分是论文划出的两种情形。当合法合并缺失或无碰撞时，同调分散在多个次数上，可由步上的外代数读出。当合法合并大量存在时，如等差数列，同调集中在低次数。决定给定 S 落入哪种情形的是步字复形，而不是连接集的大小。

本文引用的文献