[论文解读] Classification of embeddings below the metastable dimension

A. Skopenkov|ArXiv.org|Jul 18, 2006

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

一句话总结

本文提出了一种新方法，用于在非稳定维数以下对流形嵌入到欧几里得空间中的情形进行分类，该方法利用了一种新颖的嵌入不变量——准嵌入（almost-embeddings）以及光滑化理论。该研究首次给出了对非单连通4-流形 $S^1 \times S^3$ 到 $\mathbb{R}^7$ 的PL嵌入的完整显式分类，表明同痕类的集合同构于 $\mathbb{Z} \oplus \mathbb{Z} \oplus \mathbb{Z}_2$，并具有显式的几何群结构。

ABSTRACT

We develop a new approach to the classical problem on isotopy classification of embeddings of manifolds into Euclidean spaces. This approach involves studying of a new embedding invariant, of almost-embeddings and of smoothing, as well as explicit constructions of embeddings. Using this approach we obtain complete concrete classification results below the metastable dimension range, i.e. where the configuration spaces invariant of Haefliger-Wu is incomplete. Note that all known complete concrete classification results, except for the Haefliger classification of links and smooth knots, can be obtained using the Haefliger-Wu invariant. More precisely, we classify embeddings S^p x S^{2l-1} -> R^{3l+p} for p1 and for the smooth category). A particular case states that the set of piecewise-linear isotopy classes of piecewise-linear embeddings (or, equivalently, the set of almost smooth isotopy classes of smooth embeddings) S^1 x S^3 -> R^7 has a geometrically defined group structure, and with this group structure is isomorphic to Z + Z + Z_2. We exhibit an example disproving the conjecture proposed by Viro and others on the completeness of the multiple Haefliger-Wu invariant for classification of PL embeddings of connected manifolds in codimension at least 3.

研究动机与目标

• 为 $p < l$ 的情形下，对嵌入 $S^p \times S^{2l-1} \to \mathbb{R}^{3l+p}$ 实现完整的同痕分类，处于非稳定维数范围以下。
• 通过引入新不变量和新方法，克服该范围内Haefliger-Wu不变量的不完备性。
• 为所有同痕类的嵌入构造显式代表元，从而实现几何与代数上的深入理解。
• 通过构造反例（利用Whitehead环面）推翻Viro关于PL嵌入在余维数至少为3时，多重Haefliger-Wu不变量的完备性猜想。
• 在 $S^1 \times S^3 \to \mathbb{R}^7$ 的情形下，建立同痕类集合上的几何群结构，证明其同构于 $\mathbb{Z} \oplus \mathbb{Z} \oplus \mathbb{Z}_2$。

提出的方法

• 基于准嵌入与光滑化理论，引入一种新的嵌入不变量，以绕过Haefliger-Wu不变量的局限性。
• 通过显式的几何构造方法实现所有同痕类的嵌入，特别针对 $S^1 \times S^3 \to \mathbb{R}^7$ 的情形。
• 应用Edwards的切片引理（Slicing Lemma）与纤维化引理（Fibering Lemma），以控制PL嵌入中的环境同痕与纤维化结构。
• 利用Stiefel流形的同伦群，对光滑与PL范畴中的嵌入进行分类。
• 发展并应用光滑化理论，将几乎光滑范畴与光滑范畴的结果联系起来。
• 利用链接系数 $\lambda$ 与 $\beta$-不变量，构造一个长正合列，从而实现分类。

实验结果

研究问题

• RQ1 能否在 $p < l$ 的条件下，对嵌入 $S^p \times S^{2l-1} \to \mathbb{R}^{3l+p}$ 实现非稳定维数以下的完整同痕分类？
• RQ2 多重Haefliger-Wu不变量是否足以完整分类余维数至少为3的连通流形的PL嵌入？
• RQ3 $S^1 \times S^3 \to \mathbb{R}^7$ 的嵌入同痕类集合是否具有几何定义的群结构？
• RQ4 能否通过超越Haefliger-Wu不变量的新不变量实现嵌入的分类？
• RQ5 嵌入 $S^1 \times S^3 \to \mathbb{R}^7$ 的同痕类集合的精确代数结构是什么？

主要发现

• 嵌入 $S^1 \times S^3 \to \mathbb{R}^7$ 的分段线性同痕类集合构成一个群，其同构于 $\mathbb{Z} \oplus \mathbb{Z} \oplus \mathbb{Z}_2$，且群运算具有几何定义。
• 对于 $p < l$ 的情形，嵌入 $S^p \times S^{2l-1} \to \mathbb{R}^{3l+p}$ 的分类结果以Stiefel流形的同伦群表示，当 $p > 1$ 时存在微小不确定性。
• 提供了所有同痕类的显式代表元构造，证明了该分类方法的实用性与几何自然性。
• 通过构造反例（利用Whitehead环面）推翻了Viro关于多重Haefliger-Wu不变量完备性的猜想。
• 链接系数 $\lambda$ 与 $\beta$-不变量被用于实现一个长正合列，从而得出分类结果，确认了当 $l \geq 2$ 时结构为 $\pi_{2l-1}(S^l) \oplus \mathbb{Z}_{(l)}$。