[论文解读] Infinite-dimensional uniform polyhedra

Sergey A. Melikhov|arXiv (Cornell University)|Sep 2, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 36被引用 7

一句话总结

本文通过在可数单纯复形的几何实现上构造一致结构，提出了一类无穷维一致多面体的理论——即其底层面具有多面体拓扑结构的可度量化一致空间。关键贡献在于证明了每个完备一致 ANR 同伦等价于可数预序集的加厚双重映射望远镜的几何实现，从而为无穷维空间建立了统一的同伦分类框架。

ABSTRACT

Uniform covers with a finite-dimensional nerve are rare (i.e., do not form a cofinal family) in many separable metric spaces of interest. To get hold on uniform homotopy properties of these spaces, a reasonably behaved notion of an infinite-dimensional metric polyhedron is needed; a specific list of desired properties was sketched by J. R. Isbell in a series of publications in 1959-64. In this paper we construct what appears to be the desired theory of uniform polyhedra; incidentally, considerable information about their metric and Lipschitz properties is obtained.

研究动机与目标

• 发展一个良好的无穷维一致多面体理论，填补可分度量空间在一致同伦理论中的空白。
• 实现 J. R. Isbell 在 1950 年代启动的研究计划，该计划旨在为非紧致、无穷维空间构造多面体结构的一致类比。
• 提供一个一致范畴框架，其中一致连续性、一致覆盖和一致 ANR 取代其拓扑对应物。
• 确立每个完备一致 ANR 均可实现为无穷组合构造（如双重映射望远镜）的几何实现的一致同伦等价。

提出的方法

• 利用 $l_∞$ 范数在可数单纯复形 $K$ 的几何实现 $||K||$ 上构造一致结构，确保与度量拓扑相容。
• 通过重心剖分和可接受的单纯剖分控制一致结构，并统一地细化覆盖。
• 应用双重映射望远镜及其加厚版本，以建模完备一致 ANR 的一致同伦类型。
• 利用一致同伦等价和一致多面体序列的逆极限，表示完备一致 ANR。
• 利用 Hahn 性质和一致局部可缩性，构造恒等映射的均匀逼近映射。
• 使用映射柱构造和一致同伦提升，将映射延拓至望远镜上，确保一致连续性和同伦等价。

实验结果

研究问题

• RQ1 能否在无穷维多面体上定义一致结构，使其控制一致同伦性质，并推广 Isbell 的有限维理论？
• RQ2 每个完备一致 ANR 是否在一致结构下同伦等价于可数预序集的几何实现？
• RQ3 能否将完备一致 ANR 的一致同伦类型表示为一致多面体序列的逆极限，且各映射为一致同伦等价？
• RQ4 即使在无穷维情形下，一致多面体是否可通过迭代重心剖分和可接受覆盖实现组合控制？
• RQ5 能否对双重映射望远镜构造进行加厚，并赋予其一致结构，使其成为一致多面体，且与给定的完备一致 ANR 一致同伦等价？

主要发现

• 本文为可数单纯复形 $K$ 的 $||K||$ 构造了一致结构，该结构与度量拓扑相容，并满足经典多面体性质的一致类比。
• 证明了对任意完备一致 ANR $X$，空间 $X \times \mathbb{R}$ 同伦等价于可数预序集序列的加厚双重映射望远镜的几何实现。
• 每个完备一致 ANR 同伦等价于一个加厚双重映射望远镜的几何实现，而该望远镜本身即为一致多面体。
• 一致多面体序列的收敛逆极限可表示任意完备一致 ANR，且每个粘合映射均为同伦等价。
• 可通过迭代结合复形 $K^{\#n}$ 之间的单调映射构造一致多面体之间的一致同伦等价，且这些映射的几何实现与一致同胚一致同伦。
• 该理论确立了一致 ANR 可被一致多面体一致同伦支配，将 Isbell 的有限维结果推广至无穷维情形。