[论文解读] The Schneiderman-Teichner invariant applied to immersions arising from link maps in $S^4$

Ash Lightfoot|arXiv (Cornell University)|Dec 6, 2013

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

一句话总结

该论文将Schneiderman-Teichner不变量τ应用于检测4维拓扑中Whitney技巧失效的情形，证明对于S⁴中一个特定的链映射，其Wall自交数为零，但τ(f⁺) ≠ 0，从而表明受限浸入f⁺尽管满足必要的障碍条件，却不能通过同伦变为嵌入。该不变量通过ℤ[s±¹,t±¹]中的非平凡群环权重检测出非嵌入性。

ABSTRACT

It is shown that Schneiderman and Teichner's invariant $τ$ detects the example due to Kirk of a link map $f:S^2_+\cup S^2_- o S^4$ for which the restricted map $f|S^2_+:S^2_+ o S^4-f(S^2_-)$ has vanishing Wall self-intersection but is not homotopic to an embedding.

研究动机与目标

• 解决关于Kirk的σ不变量是否为S⁴中链同伦的完整障碍的开放问题。
• 证明Schneiderman-Teichner不变量τ可在Wall自交数为零的情况下检测出非嵌入性。
• 为特定浸入f⁺: S²₊ → S⁴ − f(S²₋)提供一个新的证明，表明其虽具有零Wall障碍，却不能通过同伦变为嵌入。
• 比较并对比τ不变量与Li的ω₊-不变量，表明τ通过在ℤ[s±¹,t±¹]中赋予群环权重，对ω₊进行了细化。

提出的方法

• 构造一个链映射f: S²₊ ∪ S²₋ → S⁴，使得σ(f) = (0, t² − 4t + 3)，从而推出f⁺的Wall自交数为零。
• 将Schneiderman-Teichner不变量τ应用于受限浸入f⁺: S²₊ → X₋ = S⁴ − νf(S²₋)，其中π₁(X₋) ≅ ℤ。
• 为f⁺的成对双重点定义Whitney圆盘Wᵢ，为其分配π₁(X₋) ≅ ℤ中的主和次群元素。
• 将τ不变量计算为对Whitney圆盘的求和，权重属于ℤ[s±¹,t±¹]，使用与每个交点关联的次群元素。
• 使用同态Φ: ℤ[s±¹,t±¹] → ℤ₂[ℤ₂×ℤ₂]来评估τ(f⁺)，表明Φ(τ(f⁺)) = 1 + t ≠ 0。
• 得出结论：τ(f⁺) ≠ 0，从而阻碍其同伦为嵌入。

实验结果

研究问题

• RQ1 当Wall自交数为零时，Schneiderman-Teichner不变量τ能否检测出4维链映射中浸入的非嵌入性？
• RQ2 τ是否比Li的ω₊-不变量更强，能够检测S⁴中浸入的非嵌入性？
• RQ3 τ是否能检测Kirk构造的特定例子中Whitney技巧的失效，其σ(f) = (0, t² − 4t + 3)？
• RQ4 在此例中，τ(f⁺)在群环ℤ[s±¹,t±¹]中的精确代数结构是什么？
• RQ5 当σ不变量并非完整障碍时，τ能否检测出非平凡性？

主要发现

• 对于由Kirk的链映射（σ(f) = (0, t² − 4t + 3)）导出的浸入f⁺: S²₊ → S⁴ − f(S²₋)，不变量τ(f⁺)非零。
• 计算得出Φ(τ(f⁺)) = 1 + t ≠ 0，位于ℤ₂[ℤ₂×ℤ₂]中，从而证明τ(f⁺) ≠ 0。
• 尽管其Wall自交数μ(f⁺) = 0，f⁺仍不能通过同伦变为嵌入。
• τ不变量通过ℤ[s±¹,t±¹]中的非平凡群环权重检测出非嵌入性，从而对ω₊-不变量进行了细化。
• 该结果为Kirk的例子不能通过链同伦变为平凡链提供了新的证明，解决了σ不变量作为完整障碍失效的情形。
• 该不变量通过捕捉低阶不变量无法察觉的高阶交点数据，检测出此4维设定下Whitney技巧的失效。