3-流形中零同调带框链的 Kirby 演算

Kirby 定理给出了$S^3$中两个带框链产生保向微分同胚手术结果的充要条件。Kirby 定理是构造 3-流形不变量的重要方法。本文证明了该定理在 3-流形中零同调带框链情形下的一个变体。该结果涉及一种称为 IHX-移动的新类型移动，其与有限型不变量理论中的 IHX 关系密切相关。当$M$的第一同调群为自由阿贝尔群时，我们将此结果细化至$M$中$\pm1$-带框、代数分裂的零同调带框链。