[论文解读] Sphere eversions and realization of mappings

Sergey A. Melikhov|ArXiv.org|May 12, 2003

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

一句话总结

该论文通过使用受控稳定霍普夫不变量来表征流形间映射在 $ \mathbb{R}^{2n} $ 中可被嵌入逼近的条件，解决了几何拓扑学中长期存在的问题：证明了每个 $ n $-球面的逆极限在 $ \mathbb{R}^{2n} $ 中可嵌入（$ n > 1 $）。研究显示，当 $ n > 2 $ 时，$ S^n $ 的自映射可在 $ \mathbb{R}^{2n} $ 中实现，但某些庞加莱同调3-球面的自映射则不能实现，并构造了一个 $ S^3 \looparrowright \mathbb{R}^4 $ 的显式浸入，其稳定霍普夫不变量非零。

ABSTRACT

P. M. Akhmetiev used a controlled version of the stable Hopf invariant to show that any (continuous) map N -> M between stably parallelizable compact n-manifolds, n e 1,2,3,7, is realizable in R^{2n}, i.e. the composition of f with an embedding M\subset R^{2n} is C^0-approximable by embeddings. It has been long believed that any degree 2 map S^3 -> S^3, obtained by capping off at infinity a time-symmetric (e.g. Shapiro's) sphere eversion S^2 x I -> R^3, was non-realizable in R^6. We show that there exists a self-map of the Poincaré homology 3-sphere, non-realizable in R^6, but every self-map of S^n is realizable in R^{2n} for each n>2. The latter together with a ten-line proof for n=2, due essentially to M. Yamamoto, implies that every inverse limit of n-spheres embeds in R^{2n} for n>1, which settles R. Daverman's 1990 problem. If M is a closed orientable 3-manifold, we show that there exists a map S^3 -> M, non-realizable in R^6, if and only if π_1(M) is finite and has even order. As a byproduct, an element of the stable stem Π_3 with non-trivial stable Hopf invariant is represented by a particularly simple immersion S^3 -> R^4, namely the composition of the universal 8-covering over Q^3=S^3/{\pm1,\pm i,\pm j,\pm k}$ and an explicit embedding Q^3\subset R^4.

研究动机与目标

• 解决 R. 达弗曼1990年关于 $ n $-球面逆极限在 $ \mathbb{R}^{2n} $ 中可嵌入性的问题。
• 表征在 $ \mathbb{R}^{2n} $ 中，稳定平行化流形间连续映射是否可通过 $ C^0 $-逼近实现为嵌入。
• 确定 $ S^3 $ 和庞加莱同调3-球面的自映射在 $ \mathbb{R}^6 $ 中的实现性。
• 构造一个显式浸入 $ S^3 \looparrowright \mathbb{R}^4 $，其稳定霍普夫不变量非零。

提出的方法

• 使用受控稳定霍普夫不变量 $ h(f) = (w_1(\eta))^k [\Sigma_f / \tau] \in \mathbb{Z}/2\mathbb{Z} $ 作为 $ C^0 $-逼近为嵌入的主要障碍。
• 应用阿赫梅蒂耶夫与茨伊克斯的浸入理论方法，将 $ h(f) $ 与稳定同伦论中的经典稳定霍普夫不变量联系起来。
• 采用科什科夫的“8字”构造与扰动技术，分析重点流形及其施蒂费尔-惠特尼类。
• 利用如下事实：在受控条件下，当且仅当 $ h(f) = 0 $ 时，$ f $ 可通过 $ C^0 $-逼近实现为嵌入。
• 应用亚当斯定理：当 $ n \neq 1,3,7 $ 时，稳定霍普夫不变量恒为零，并构造出满足 $ h(f) \neq 0 $ 的显式例子。
• 利用双重点集的 $ \mathbb{Z}/2\mathbb{Z} $-同调类与相应线丛的第一施蒂费尔-惠特尼类之间的对偶性。

实验结果

研究问题

• RQ1 对于哪些 $ n $-流形，其所有自映射均可通过 $ C^0 $-逼近为嵌入而在 $ \mathbb{R}^{2n} $ 中实现？
• RQ2 庞加莱同调3-球面的自映射在什么情况下无法在 $ \mathbb{R}^6 $ 中实现？
• RQ3 稳定霍普夫不变量能否检测出 $ \mathbb{R}^{2n} $ 中流形间映射的不可实现性？
• RQ4 每个 $ n $-球面的逆极限是否在 $ \mathbb{R}^{2n} $ 中可嵌入（$ n > 1 $）？
• RQ5 是否每个具有非平凡稳定霍普夫不变量的映射都可作为简单浸入实现在 $ \mathbb{R}^{2n} $ 中？

主要发现

• 每个 $ n $-球面的逆极限在 $ \mathbb{R}^{2n} $ 中可嵌入（$ n > 1 $），从而解决了 R. 达弗曼1990年的问题。
• 当 $ n > 2 $ 时，$ S^n $ 的所有自映射均可在 $ \mathbb{R}^{2n} $ 中实现，尽管此前人们曾认为某些“封口球面翻转”构造的度数为2的映射无法实现。
• 存在一个庞加莱同调3-球面的自映射，其在 $ \mathbb{R}^6 $ 中不可实现，且此类映射存在的充要条件是 $ \pi_1(M) $ 为有限且阶为偶数。
• 稳定茎 $ \Pi_3 $ 中具有非平凡稳定霍普夫不变量的元素，可由通用8重覆盖 $ S^3 \to Q^3 $ 与显式嵌入 $ Q^3 \hookrightarrow \mathbb{R}^4 $ 的复合表示。
• 稳定霍普夫不变量 $ h(f) $ 当且仅当 $ f $ 与嵌入 $ M \hookrightarrow M \times \mathbb{R}^k $ 的复合在 $ \mathbb{R}^{2n} $ 中可被 $ C^0 $-逼近为嵌入时为零，适用于稳定平行化流形间的自横截映射。
• 当 $ n \neq 1,3,7 $ 时，所有稳定平行化 $ n $-流形间的自横截映射的受控稳定霍普夫不变量恒为零，意味着其在 $ \mathbb{R}^{2n} $ 中可实现。