[论文解读] An infinite-dimensional phenomenon in finite-dimensional metric topology

Alexander Dranishnikov, Steven C. Ferry+1 more|arXiv (Cornell University)|Oct 31, 2006

Advanced Operator Algebra Research参考文献 36被引用 4

一句话总结

本文证明，在有限维度度量拓扑中，闭流形之间的同伦等价可由映射到无限维像空间的胞射映射产生，但由于 KO-理论中的奇 torsion，这些同伦等价无法同伦于同胚。关键结果是在维数 >6 时对这类同伦等价进行分类，表明它们精确对应于结构群中的奇 torsion 类，且该结果在黎曼流形的 Gromov-Hausdorff 变形空间中有应用。

ABSTRACT

We show that there are homotopy equivalences $h:N o M$ between closed manifolds which are induced by cell-like maps $p:N o X$ and $q:M o X$ but which are not homotopic to homeomorphisms. The phenomenon is based on construction of cell-like maps that kill certain $\mathbb L$-classes. The image space in these constructions is necessarily infinite-dimensional. In dimension $>6$ we classify all such homotopy equivalences. As an application, we show that such homotopy equivalences are realized by deformations of Riemannian manifolds in Gromov-Hausdorff space preserving a contractibility function.

研究动机与目标

• 理解闭流形之间的同伦等价在何种情况下虽源于胞射映射，却无法同伦于同胚。
• 通过杀死 L-类的胞射映射，分析无限维像空间在有限维度度量拓扑中的作用。
• 利用手术理论与 KO-理论，对维数 >6 的此类同伦等价进行分类。
• 将这些现象与在 Gromov-Hausdorff 空间中满足一致局部收缩性的黎曼流形的变形相联系。
• 定义并研究结构群中由 Gromov-Hausdorff 变形实现的同伦结构子群 $ S^{CE}(M) $。

提出的方法

• 构造从闭流形到无限维空间 $ X $ 的胞射映射 $ p: N \to X $ 和 $ q: M \to X $，使得其在同伦群上诱导出同构。
• 利用手术精确序列和对偶 $ (E_2(M), M) $ 的 $ \mathbb{L} $-理论，检测由此产生的同伦等价 $ f: N \to M $ 是否无法同伦于同胚。
• 证明障碍位于 $ KO_m(M) $ 的奇 torsion 子群中，利用受控对称指标和手术精确序列中的边界映射 $ \partial $。
• 应用 McMillan 的胞射性准则以及 Perelman–Freedman 的结果，为具有收缩函数 $ \rho $ 的流形构造拓扑单射函数。
• 证明受控 Mischenko-Ranicki 指标 $ \Delta_M $ 和 $ \Delta_{M'} $ 在 $ H_n(X; \mathbb{L})[1/2] $ 中映射到同一类，暗示了无限维同调流形 $ X $ 的特征类理论。
• 利用 Gromov-Hausdorff 距离和 $ LGC(\rho) $ 条件定义变形等价性，并证明其在黎曼流形的预紧子集上构成等价关系。

实验结果

研究问题

• RQ1 有限维流形之间的同伦等价是否可能源于映射到无限维空间的胞射映射，却无法同伦于同胚？
• RQ2 在维数 >6 时，同伦等价无法同伦于同胚的精确障碍是什么？
• RQ3 KO_m(M) 中的奇 torsion 类如何与 Gromov-Hausdorff 空间中黎曼流形的变形相关？
• RQ4 结构群 $ S(M) $ 是否可基于同伦结构是否源于 Gromov-Hausdorff 变形而划分为不同分支？
• RQ5 是否存在关于作为胞射映射像的无限维同调流形 $ X $ 的良好定义的特征类理论？

主要发现

• 对于满足 $ m \geq 7 $ 且 $ \pi_2(M) $ 平凡的单连通闭流形 $ M^m $，同伦等价 $ f: N \to M $ 无法同伦于同胚，当且仅当 $ KO_m(M) $ 包含奇 torsion。
• 每个奇 torsion 类 $ \tau \in KO_m(M) $ 对应唯一一个由 $ LGC(\rho) $-流形的预紧子集中的变形实现的同伦等价 $ f: N \to M $。
• 所有此类同伦结构构成子群 $ S^{CE}(M) \subset S(M) $，其为结构群的奇 torsion 子群。
• 对于基本群为词双曲群或半单李群中格子的流形，$ S^{CE}(M) $ 是有限的。
• 受控 Mischenko-Ranicki 指标 $ \Delta_M $ 和 $ \Delta_{M'} $ 在 $ H_n(X; \mathbb{L})[1/2] $ 中映射到同一类，暗示了无限维同调流形 $ X $ 的潜在特征类理论。
• 当 $ M $ 具有收缩函数 $ \rho $，且满足 $ n + k \geq 5 $ 和 $ k \geq 1 $ 时，$ M \times Q $ 存在拓扑单射函数，其构造基于 McMillan 的胞射性准则与嵌套的 PL 邻域。