[论文解读] Torsion numbers of augmented groups: with applications to knots and links

Daniel S. Silver, Susan G. Williams|ArXiv.org|Feb 19, 2002

Geometric and Algebraic Topology参考文献 23被引用 23

一句话总结

本文提出了一种计算增强群（即到 ℤ 的满射存在、有限生成的群）挠数的一般框架，该框架推广了经典纽结与链环不变量。证明了挠数满足线性递推关系，并表现出指数增长，而其 p 进分量则表现出次指数增长，从而加强了关于纽结挠数中素因子无穷多的经典结果。

ABSTRACT

Torsion and Betti numbers for knots are special cases of more general invariants associated to a finitely generated group G and epimorphism from G to the integers. The sequence of Betti numbers is always periodic; under mild hypotheses, the sequence of torsion numbers satisfies a linear homogeneous recurrence relation with constant coeffiencts. Generally, the torsion number sequence exhibits exponential growth rate. However, again under mild hypotheses, the p-part has trivial growth for any prime p. Applications to branched cover homology for knots and links are presented.

研究动机与目标

• 将纽结与链环的挠数和贝蒂数推广至任意增强群 (G, χ)，其中 χ: G → ℤ。
• 在较弱假设下，建立此类群的挠数 br 满足线性齐次递推关系。
• 分析 br 的增长行为，特别是 br 的 p 进分量，证明对任意素数 p 均呈现次指数增长。
• 通过证明对任意纽结，除非 br 序列周期性，否则其分解中包含无穷多个不同的素因子，从而加强经典结果。
• 将该理论应用于纽结与链环的分枝循环覆盖空间，通过模理论方法计算同调不变量。

提出的方法

• 将 ker(χ) 的阿贝尔化定义为 ℤ[t, t⁻¹]-模，记为 ℳ，并通过表示矩阵 𝒜 将其表达为 ℛ₁^N / 𝒜ℛ₁^M 的形式。
• 对每个 r ∈ ℕ，构造商模 ℳ_r = ℳ / (t^r − 1)ℳ，其为有限生成阿贝尔群。
• 将 ℳ_r 分解为自由部分与挠部分：ℳ_r ≅ ℤ^{β_r} ⊕ Tℳ_r，并定义 br = |Tℳ_r| 为第 r 个挠数。
• 利用初等理想与特征多项式 Δ_i(t) 的理论分析 ℳ 的结构，并推导递推关系。
• 应用 Everest 与 Fhlathúin 提出的 p 进版本 Jensen 公式，对 br 的 p 部分进行有界，证明其呈现次指数增长。
• 在 ℳ 的庞特里亚金对偶上使用对偶性与不动点论证，研究分枝覆盖的同调，尤其针对 linking number 不被素数 p 整除的链环。

实验结果

研究问题

• RQ1 在何种条件下，增强群 (G, χ) 的挠数序列 br 满足线性递推关系？
• RQ2 随着 r 增大，br 的 p 进赋值如何变化？能否对任意素数 p 证明其呈现次指数增长？
• RQ3 经典结果中，纽结的纯挠数增长速率等于亚历山大多项式的 Mahler 范数，该结果能否推广至非纯情形？
• RQ4 对任意纽结，br 序列是否要么周期性，要么在其分解中包含无穷多个不同的素因子？
• RQ5 如何通过增强群的模理论不变量计算链环的分枝循环覆盖的同调？

主要发现

• 在满足较弱假设的增强群下，挠数 br 满足具有常系数的线性齐次递推关系。
• br 的 p 部分（即整除 br 的最大 p 的幂）对任意素数 p 均呈现次指数增长，与 br 本身的指数增长形成对比。
• 对任意纽结，序列 br 要么周期性，要么在其素因子分解中包含无穷多个不同的素因子，从而加强了 C. Gordon 的结果。
• 对一个 2 个分量的链环 l，若其 linking number 不被素数 p 整除，则 l 的 p^k 重分枝覆盖的同调中，p-挠部分平凡且贝蒂数为零。
• 挠数 br 可通过商模 ℛ₁/(g, ν_r) 的阶计算，其中 ν_r 为第 r 个分圆多项式，从而推广了 Fox 的公式。
• 当 ℳ 为循环模的直和时，挠数 br 通过各分量阶的乘积计算，每个分量的阶可用结式或分圆因子表示。