[論文レビュー] Homotopically non-trivial maps with small k-dilation

Larry Guth|ArXiv.org|Sep 9, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 5被引用数 6

ひとこと要約

本稿は、無限個のペア $(m,n)$ に対して、$S^m$ から $S^n$ へのホモトピー的に非自明な写像を、任意に小さい 3-拡大で構成する。特に $m=4, n=3$ を含む。また、$V_k\pi_m(S^n)$ というフィルトレーションを導入し、$V_4\pi_7(S^4)$ が torsion 部分群 $
2$ に一致することを示した。これは、$\pi_7(S^4)$ のホモトピー類が、任意に小さい 4-拡大を持つことと、それが torsion であることとが同値であることを証明する。

ABSTRACT

We construct homotopically non-trivial maps from S^m to S^n with arbitrarily small 3-dilation for certain pairs (m,n). The simplest example is m=4, n=3. Other examples include arbitrarily large values of m and n. We show that a homotopy class in pi_7(S^4) can be represented by maps with arbitrarily small 4-dilation if and only if the class is torsion.

研究の動機と目的

• 球面間の写像のホモトピー型が、小さい k-拡大によってどの程度制御されるかを調査すること。
• $\pi_m(S^n)$ のどのホモトピー類に対して、任意に小さい k-拡大が可能かを特定すること。
• $V_k\pi_m(X)$ を定義し、その k-拡大の挙動に基づく写像の分類に用いるホモトピー不変量としての性質を研究すること。
• グロモフが提起した、$|\Lambda^k df|_{L^q}$-ノルムが小さい写像の零ホモトピー性に関する問いを解決すること。

提案手法

• 非自明なホモトピー類を $\pi_m(S^n)$ から $\pi_{m+p}(S^{n+p})$ にススペンションを用いて持ち上げることで、$k, m, n, p$ に特定の条件を満たす場合、高次のススペンションが小さい k-拡大で実現可能であることを示した。
• 長方形領域を $(m+p)$-次元球面に準等長埋め込みすることで、微分のノルム $|\Lambda^k df|$ を用いて体積歪みを制御した。
• $V_k\pi_m(X)$ を、任意に小さい k-拡大で表せるホモトピー類からなる $\pi_m(X)$ の部分群として定義し、それがホモトピー不変なフィルトレーションであることを証明した。
• ホプフファイブレーションと長完全系列を用いて $\pi_7(S^4)$ を分析し、ホプフ不変量の核が torsion 部分群であることを特定した。
• ススペンション写像 $\pi_6(S^3) \to \ker H \subset \pi_7(S^4)$ が同型であるという事実を用いて、すべての torsion 要素が $V_4\pi_7(S^4)$ に属することを示した。
• 命題 1 を適用し、$k > n + (n/m)p$ ならば、そのクラスの $p$ 重ススペンションが $V_k\pi_{m+p}(S^{n+p})$ に属することを示した。

実験結果

リサーチクエスチョン

• RQ1 どのペア $(m,n)$ に対して、$S^m \to S^n$ のホモトピー的に非自明な写像が、任意に小さい 3-拡大で実現可能か？
• RQ2 $\pi_7(S^4)$ のホモトピー類が、任意に小さい 4-拡大で表せるかどうかは、それが torsion であることと同値か？
• RQ3 フィルトレーション $V_k\pi_m(S^n)$ の構造は何か？ そして、ホプフ不変量のような古典的不変量とどのように関係するか？
• RQ4 小さい k-拡大がどの程度、零ホモトピー性を意味するか？ これは $k$ に依存するか？
• RQ5 $V_k$-フィルトレーションは、ススペンションや他のホモトピー的演算に対してどのように振る舞うか？

主な発見

• 任意の $n \geq 2$ に対して、$\pi_m(S^n)$ に非自明な要素が $V_3\pi_m(S^n)$ に属するような無限個の $m$ が存在する。これは、任意に小さい 3-拡大を持つ非自明な写像が存在することを意味する。
• $\pi_4(S^3) \cong \mathbb{Z}_2$ の非自明な要素は $V_3\pi_4(S^3)$ に属し、ススペンデッド・ホプフファイブレーションによって実現される。
• $V_4\pi_7(S^4)$ は正確に torsion 部分群 $\mathbb{Z}_{12}$ に一致する。これはホプフ不変量 $H: \pi_7(S^4) \to \mathbb{Z}$ の核に同型である。
• $\pi_5(S^4) \cong \mathbb{Z}_2$ の非自明な要素は $V_4\pi_5(S^4)$ に属する。これは二重ススペンションであるためである。
• $\pi_6(S^4) \cong \mathbb{Z}_2$ の非自明な要素も、再びススペンションの起源であるため、$V_4\pi_6(S^4)$ に属する。
• $V_k\pi_m(X)$ は $\pi_m(X)$ のホモトピー不変な部分群であり、$V_k\pi_m(X) \subset V_{k+1}\pi_m(X)$ を満たし、入れ子になったフィルトレーションを形成する。