[论文解读] Homotopically non-trivial maps with small k-dilation

Larry Guth|ArXiv.org|Sep 9, 2007

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

一句话总结

本文构建了从球面 $S^m$ 到 $S^n$ 的同伦非平凡映射，其 3-膨胀度可任意小，适用于无穷多对 $(m,n)$，包括 $m=4, n=3$。它引入了滤子 $V_k\pi_m(S^n)$，并证明 $V_4\pi_7(S^4)$ 等于挠子群 $\mathbb{Z}_{12}$，从而证明 $\pi_7(S^4)$ 中的同伦类可实现为任意小的 4-膨胀度，当且仅当其为挠类。

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-膨胀度行为分类映射的同伦不变工具。
• 解决 Gromov 提出的关于 $|\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)$ 定义为 $\pi_m(X)$ 中可由任意小 k-膨胀度实现的同伦类构成的子群，证明其为同伦不变滤子。
• 利用 Hopf 纤维丛和长正合列分析 $\pi_7(S^4)$，识别出 Hopf 不变量的核即为挠子群。
• 利用悬垂映射 $\pi_6(S^3) \to \ker H \subset \pi_7(S^4)$ 是同构的事实，证明所有挠类元素均属于 $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-膨胀度的映射实现？
• RQ3 $V_k\pi_m(S^n)$ 的结构是什么？它与 Hopf 不变量等经典不变量有何关系？
• RQ4 小 k-膨胀度在多大程度上蕴含同伦于常值映射？这一结论如何依赖于 $k$？
• RQ5 在悬垂和其他同伦运算下，$V_k$-滤子的行为如何？

主要发现

• 对每个 $n \geq 2$，存在无穷多个 $m$，使得 $\pi_m(S^n)$ 包含属于 $V_3\pi_m(S^n)$ 的非平凡元素，即存在任意小 3-膨胀度的非平凡映射。
• $\pi_4(S^3) \cong \mathbb{Z}_2$ 中的非平凡元素属于 $V_3\pi_4(S^3)$，由悬垂的 Hopf 纤维丛实现。
• $V_4\pi_7(S^4)$ 恰好等于挠子群 $\mathbb{Z}_{12}$，其同构于 Hopf 不变量 $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)$，构成嵌套滤子。