[论文解读] Null, recursively starlike-equivalent decompositions shrink

Jeffery L. Meier, Patrick Orson+1 more|arXiv (Cornell University)|Sep 13, 2019

Geometric Analysis and Curvature Flows被引用 33

一句话总结

该论文证明，空的、递归星形等价分解的紧凑度量空间缩小，即商映射可以被同胚近似，且有与 Freedman 的圆盘嵌入定理相关的应用。

ABSTRACT

A subset $E$ of a metric space $X$ is said to be starlike-equivalent if it has a neighbourhood which is mapped homeomorphically into $\mathbb{R}^n$ for some $n$, sending $E$ to a starlike set. A subset $E\subset X$ is said to be recursively starlike-equivalent if it can be expressed as a finite nested union of closed subsets $\{E_i\}_{i=0}^{N+1}$ such that $E_{i}/E_{i+1}\subset X/E_{i+1}$ is starlike-equivalent for each $i$ and $E_{N+1}$ is a point. A decomposition $\mathcal{D}$ of a metric space $X$ is said to be recursively starlike-equivalent, if there exists $N\geq 0$ such that each element of $\mathcal{D}$ is recursively starlike-equivalent of filtration length $N$. We prove that any null, recursively starlike-equivalent decomposition $\mathcal{D}$ of a compact metric space $X$ shrinks, that is, the quotient map $X o X/\mathcal{D}$ is the limit of a sequence of homeomorphisms. This is a strong generalisation of results of Denman-Starbird and Freedman and is applicable to the proof of Freedman's celebrated disc embedding theorem. The latter leads to a multitude of foundational results for topological $4$-manifolds, including the $4$-dimensional Poincaré conjecture.

研究动机与目标

• 在拓扑4-流形的背景下激发分解空间和缩小性的研究。
• 定义并分析递归星形等价分解及其过滤长度。
• 建立用于紧凑度量空间的空、递归星形等价分解的一般缩小定理。
• 展示对 Freedman 的圆盘嵌入定理及相关四维流形结果的应用。

提出的方法

• 引入并回顾分解空间理论中的关键概念，包括上半连续分解和缩小性。
• 证明一个星形收缩结果（Starlike shrinking lemma），在处理空集合的同时控制 E 的收缩。
• 将收缩论扩展到星形等价集合以及包含此类集合的空分解（引理 3.1 和 3.2）。
• 对递归星形等价集合的过滤长度 N 进行归纳，以证明主缩小定理 1.1。
• 将主定理应用以获得 D^4 的红细胞样分解的推论（定理 3.4）。

实验结果

研究问题

• RQ1 在什么条件下，紧凑度量空间的空、递归星形等价分解会缩小？
• RQ2 是否可以将星形等价和递归星形等价分解的缩小结果推广以得到更高过滤长度的同胚逼近？
• RQ3 如何利用缩小结果来支持 Freedman 的圆盘嵌入定理及相关四维流形结果？

主要发现

• 在紧凑度量空间中，长度为 N 的空、递归星形等价分解在适当的开集合条件下，其商映射是可以被同胚近似的（收缩）。
• 通过归纳将问题归结为较低的过滤长度并应用星形等价收缩引理来建立收缩。
• 一个关键的技术工具是控制在收缩一个星形等价集合时对空集合的收缩（引理 3.1 和 3.2）。
• 主要结果推广了 Denman–Starbird 与 Freedman 的先前收缩，为 Freedman 的圆盘嵌入定理和四维流形拓扑的应用提供支持（定理 3.4）。
• 定理 3.4 为 D^4 的分解成过滤长度为一的递归星形等价元素提供了具体的收缩同胚，在边界条件下。