[论文解读] Lectures on controlled topology: mapping cylinder neighborhoods

Frank Quinn|ArXiv.org|Jan 22, 2002

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

一句话总结

本文通过使用形变收缩与控制映射，在控制拓扑中建立了映射柱邻域的存在性，构造出与子空间上的映射柱同胚的邻域。关键结果表明，当全空间的维数至少为5，或维数为4且局部基本群较小时，此类邻域存在，其依据是映射柱的受控识别定理。

ABSTRACT

The existence theorem for mapping cylinder neighborhoods is discussed as a prototypical example of controlled topology and its applications. The first of a projected series developed from lectures at the Summer School on High-Dimensional Topology, Trieste Italy 2001

研究动机与目标

• 开发受控拓扑中构造映射柱邻域的框架，连接几何与点集拓扑。
• 阐明受控拓扑如何通过全局构造技术处理局部问题，尤其在分层与非紧致情形下。
• 展示可 tame 性、同伦链与谱层上同调在管理局部基本群与障碍中的作用。
• 说明受控构造如何提供关于未受控障碍的信息，尤其与诺维科夫猜想及装配映射的关系。
• 提供受控拓扑的基础概述，聚焦于映射柱邻域存在定理作为典型范例。

提出的方法

• 使用前向tame形变，从空间到子空间构造同伦，确保形变在子空间附近的行为受到控制。
• 定义控制映射 f₁ 到 Y × [0, ∞)，以追踪到子空间的距离，从而在 Y 与区间坐标上控制形变的半径。
• 通过重参数化区间重构形变空间，利用在 t=0 处为零的连续函数 ε(t)，确保在 Y 坐标上实现 δ-控制。
• 应用映射柱识别定理的相对版本，以处理非紧致控制空间，重点聚焦于 Y × (0,1) 上的邻域。
• 使用谱层上同调与受控K-理论谱描述障碍群，尤其在伪同伦与装配映射的语境下。
• 利用分层纤维丛系统建模局部同伦类型，并控制分层集合中基本群的行为。

实验结果

研究问题

• RQ1 在何种条件下，空间 X 的子空间 Y 允许存在同胚于 Y 上映射柱的邻域？
• RQ2 如何通过受控形变收缩与控制映射构造此类邻域？
• RQ3 局部基本群与同伦链在确保映射柱邻域存在性中起何种作用？
• RQ4 子空间的可 tame 性与形变半径的控制如何影响构造过程？
• RQ5 受控构造与K-理论与L-理论中未受控障碍之间存在何种关系，尤其在诺维科夫猜想的语境下？

主要发现

• 当 X 的维数至少为5，或维数为4且局部基本群较小时，映射柱邻域存在于 X × [0, ∞) 中。
• 该构造依赖于一个通过重参数化控制映射 f₁ 到 Y × [0, ∞) 实现的形变 f，确保在 Y × {0} 附近 Y 坐标的半径较小。
• 通过重参数化区间并利用连续性，形变实现了在 Y × [0,2) 上 Y 坐标的 δ-控制，满足映射柱识别定理的条件。
• 识别定理的相对版本确保在给定假设下，Y × {0} 的邻域是 Y × (0,1−ε) 上的映射柱。
• 该方法适用于分层集合，其中 Y 上的全链映射是一个分层纤维丛系统，且控制映射 f₁ 近似于此类系统的纤维同伦等价。
• 关键障碍理论涉及受控K-理论谱与装配映射，将受控几何构造与K-理论与L-理论中的代数障碍联系起来。