[論文レビュー] 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

ひとこと要約

この論文は、4次元位相幾何におけるホイットニーの技法の失敗を検出するために、シュナイダーマン＝タイヒナー不変量 τ を適用する。特定の S⁴ 内のリンク写像において、ウォール自己交差不変量が消えるにもかかわらず、τ(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.

研究の動機と目的

• S⁴ におけるキーカーの σ-不変量がリンクホモトピーの完全な障害であるかどうかという未解決問題を解消すること。
• ウォール自己交差不変量が消える状況においても、シュナイダーマン＝タイヒナー不変量 τ が非埋め込み性を検出できることを示すこと。
• 特定の浸漬 f⁺: S²₊ → S⁴ − f(S²₋) が、ウォール障害が消えるにもかかわらず、埋め込みにホモトープでないことを示す、新たな証明を与えること。
• リーの ω₊-不変量と τ-不変量を比較・対比し、τ が ℤ[s±¹,t±¹] 内の群環重みを割り当てることで ω₊ を精錬することを示すこと。

提案手法

• σ(f) = (0, t² − 4t + 3) であるように、S²₊ ∪ S²₋ → S⁴ へのリンク写像 f を構成し、f⁺ に対してウォール自己交差が消えることを示す。
• 制限された浸漬 f⁺: S²₊ → X₋ = S⁴ − νf(S²₋) に対して、シュナイダーマン＝タイヒナー不変量 τ を適用する。ここで π₁(X₋) ≅ ℤ である。
• f⁺ の対となる二重点に対し、ホイットニー・ディスク Wᵢ を定義し、π₁(X₋) ≅ ℤ 内の一次的および二次的群元を割り当てる。
• 各交点に対し関連する二次的群元を用いて、ホイットニー・ディスクの和として τ-不変量を計算し、重みを ℤ[s±¹,t±¹] 内にとる。
• ホモモルフィズム Φ: ℤ[s±¹,t±¹] → ℤ₂[ℤ₂×ℤ₂] を用いて τ(f⁺) を評価し、Φ(τ(f⁺)) = 1 + t ≠ 0 であることを示す。
• 結論として、τ(f⁺) ≠ 0 であり、埋め込みへのホモトピーが妨げられることを示す。

実験結果

リサーチクエスチョン

• RQ1 ウォール自己交差不変量が消える状況において、シュナイダーマン＝タイヒナー不変量 τ は、4次元リンク写像における非埋め込み性を検出できるか？
• RQ2 S⁴ 内の浸漬の非埋め込み性を検出する際、τ はリーの ω₊-不変量よりも強い障害であるか？
• RQ3 σ(f) = (0, t² − 4t + 3) であるキーカーが構成した特定の例において、τ はホイットニーの技法の失敗を検出できるか？
• RQ4 この例において、τ(f⁺) の正確な代数的構造は、群環 ℤ[s±¹,t±¹] 内でどのように記述されるか？
• RQ5 σ-不変量が完全な障害でない場合、τ は非自明性を検出できるか？

主な発見

• キーカーのリンク写像 f に対して σ(f) = (0, t² − 4t + 3 であるとき、浸漬 f⁺: S²₊ → S⁴ − f(S²₋) に対して τ(f⁺) は非ゼロである。
• 計算により、ℤ₂[ℤ₂×ℤ₂] 内で Φ(τ(f⁺)) = 1 + t ≠ 0 であることが得られ、τ(f⁺) ≠ 0 であることが証明される。
• ウォール自己交差不変量 μ(f⁺) = 0 であるにもかかわらず、f⁺ は埋め込みにホモトープでない。
• τ-不変量は、ℤ[s±¹,t±¹] 内の非自明な群環重みを通じて非埋め込み性を検出し、ω₊-不変量を精錬する。
• この結果により、キーカーの例がリンクホモトピー的に自明なリンクでないことを示す、新たな証明が得られ、σ-不変量が完全な障害でない場合のケースを解決する。
• τ-不変量は、低次の不変量では見えない高次交差データを捉えることで、この4次元設定におけるホイットニーの技法の失敗を検出する。