[论文解读] Higher-Order Polynomial Invariants of 3-Manifolds Giving Lower Bounds for the Thurston Norm

Shelly Harvey|ArXiv.org|Jul 1, 2002

Geometric and Algebraic Topology参考文献 28被引用 6

一句话总结

本文引入了基于3-流形基本群的有理导出列的高阶多项式不变量 δₙ(ψ)，这些不变量为上同调类的Thurston范数提供了可计算的下界。这些不变量推广了经典的亚历山大多项式，并在Seiberg-Witten不变量失效的情况下，对纤维化、Seifert纤维化结构以及X×S¹上的辛结构提供了更强的障碍。

ABSTRACT

We define an infinite sequence of new invariants, delta_n, of a group G that measure the size of the successive quotients of the derived series of G. In the case that G is the fundamental group of a 3-manifold, we obtain new 3-manifold invariants. These invariants are closely related to the topology of the 3-manifold. They give lower bounds for the Thurston norm which provide better estimates than the bound established by McMullen using the Alexander norm. We also show that the delta_n give obstructions to a 3-manifold fibering over S^1 and to a 3-manifold being Seifert fibered. Moreover, we show that the delta_n give computable algebraic obstructions to a 4-manifold of the form X x S^1 admitting a symplectic structure even when the obstructions given by the Seiberg-Witten invariants fail. There are also applications to the minimal ropelength and genera of knots and links in S^3.

研究动机与目标

• 使用从 π₁(X) 的有理导出列导出的非交换环上的高阶亚历山大多项式模块，定义新的代数不变量 δₙ(ψ)。
• 建立这些不变量为Thurston范数提供下界，推广McMullen的亚历山大多项式不等式。
• 利用 δₙ(ψ) 作为可计算的障碍，检测3-流形是否纤维化于 S¹ 或为Seifert纤维化。
• 在经典不变量（如Seiberg-Witten不变量）失效时，检测4-流形 X×S¹ 中的辛障碍。
• 展示 δₙ(ψ) 可显著优于先前可计算不变量，对Thurston范数给出更精确的估计。

提出的方法

• 将 δₙ(ψ) 定义为有理导出列中连续商群 Gᵣ⁽ⁿ⁺¹⁾/Gᵣ⁽ⁿ⁺²⁾ 对应的高阶亚历山大多项式的次数。
• 利用庞加莱对偶性，将上同调类 ψ ∈ H¹(X;ℤ) 与 H₂(X,∂X;ℤ) 中与 ψ 对偶的曲面 F 识别。
• 应用Thurston范数的定义：||ψ||_T = inf{χ_*(F) | F 与 ψ 对偶}，其中 χ_*(F) = max{−χ(F), 0} 对每个连通分支成立。
• 证明对所有 n ≥ 0，有 δₙ(ψ) ≤ ||ψ||_T，例外情况仅出现在 β₁(X) = 1 且 X 不同胚于 S¹×S² 或 S¹×D² 时。
• 利用 Cochran-Orr-Teichner 与 Kronheimer-Mrowka 的结果，通过 Meng-Taubes 定理与 Seiberg-Witten 定理，将 δₙ(ψ) 与 X×S¹ 上的辛结构联系起来。
• 构造显式例子，其中 δₙ(ψ) > δ₀(ψ) 对 n ≥ 1 成立，表明即使经典不变量无法判断，δₙ(ψ) 也能揭示 X×S¹ 上辛结构的全新障碍。

实验结果

研究问题

• RQ1 高阶不变量 δₙ(ψ) 是否能为Thurston范数提供严格优于经典亚历山大多项式范数的下界？
• RQ2 δₙ(ψ) 是否能检测到经典亚历山大多项式范数未能捕捉的3-流形纤维化障碍？
• RQ3 当Seiberg-Witten不变量失效时，δₙ(ψ) 是否能检测到4-流形 X×S¹ 上辛结构不存在的障碍？
• RQ4 δₙ(ψ) 的增长是否与 X×S¹ 上辛结构的存在性存在关联？
• RQ5 δₙ(ψ) 在 n 上是否具有非递减性？当 X×S¹ 为辛流形时，是否对所有 n ≥ 1 都有 ||ψ||_T = δₙ(ψ) 成立？

主要发现

• 对所有 ψ ∈ H¹(X;ℤ) 和 n ≥ 0，有 δₙ(ψ) ≤ ||ψ||_T，且当 ψ 由纤维化 X → S¹ 表示时等式成立。
• 当 n = 0 时，δ₀(ψ) 等于亚历山大多项式范数 ||ψ||_A，从而为McMullen不等式提供了新的代数证明。
• 不变量 δₙ(ψ) 可检测到经典不变量失效时仍非纤维化的3-流形以及非Seifert纤维化的流形。
• 当 β₁(X) ≥ 2 时，若存在 n ≥ 1 和 ψ ∈ H¹(X;ℤ)，使得 δₙ(ψ) > δ₀(ψ)，则 X×S¹ 不允许存在辛结构。
• 当 β₁(X) = 1 时，若存在 n ≥ 1 和 ψ 为生成元，使得 δₙ(ψ) > δ₀(ψ) − 2，则 X×S¹ 不允许存在辛结构。
• 本文构造了无限多族4-流形 X×S¹，它们不是辛流形，但无法被Seiberg-Witten不变量检测到，原因在于对某个 n ≥ 1，有 δₙ(ψ) > δ₀(ψ)。