[论文解读] Eliminating higher-multiplicity intersections in the metastable dimension range

Arkadiy Skopenkov|arXiv (Cornell University)|Apr 1, 2017

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

一句话总结

本文建立了用于消除元数据稳定范围中 r 重交点的 r 重惠特尼技巧，证明了在条件 $rd \geq (r+1)k + 3$ 下，从 k 维球面的不相交并集到 d 维球体的适当映射可以通过相对于边界进行同伦变形来消除所有 r 重交点，前提是某个配置空间映射可以延拓。该结果将经典的惠特尼技巧推广到更高重数，并为拓扑组合学与嵌入问题提供了关键工具。

ABSTRACT

The procedure to remove double intersections called the Whitney trick is one of the main tools in the topology of manifolds. The analogues of Whitney trick for $r$-tuple intersections were `in the air' since 1960s. However, only recently they were stated, proved and applied to obtain interesting results. Here we prove and apply the $r$-fold Whitney trick when general position $r$-tuple intersection has positive dimension. A continuous map $f\colon M o B^d$ from a manifold with boundary to the $d$-dimensional ball is called proper, if $f^{-1}(\partial B^d)=\partial M$. Theorem. Let $D=D_1\sqcup\ldots\sqcup D_r$ be disjoint union of $k$-dimensional disks, and $f:D o B^d$ a proper map such that $f\partial D_1\cap\ldots\cap f\partial D_r=\emptyset$, and the map $$f^r:\partial(D_1 imes\ldots imes D_r) o (B^d)^r-\{(x,x,\ldots,x)\in(B^d)^r\ :\ x\in B^d\}$$ extends continuously to $D_1 imes\ldots imes D_r$. If $rd\ge (r+1)k+3$, then there is a proper map $\bar f:D o B^d$ such that $\bar f=f$ on $\partial D$ and $\bar fD_1\cap\ldots\cap \bar fD_r=\emptyset$.

研究动机与目标

• 将经典的惠特尼技巧从双交点推广到元数据稳定范围中的 r 重交点。
• 建立在何种条件下，从 k 维流形到 d 维球体的映射的 r 重交点可通过环境同胚消除。
• 为解决嵌入与几乎嵌入问题，特别是拓扑 Tverberg 猜想背景下的问题，提供一个拓扑工具。
• 形式化并证明当一般位置的 r 重交点具有正维数时的 r 重惠特尼技巧，该情况此前尚未解决。
• 在 r 重惠特尼技巧的发展背景下，澄清并确认对先前工作的正确归属，特别是 [MW16]。

提出的方法

• 证明依赖于从圆盘的乘积到球体中互异 r 元组配置空间（排除对角线）的等变映射的构造。
• 利用边界上该映射的延拓性作为关键障碍理论准则。
• 应用庞特里亚金-托姆构造和嵌入手术技术，实现 r 重像的分离。
• 证明过程通过局部分离定理，随后是全局分离的实现定理。
• 利用元数据范围条件 $rd \geq (r+1)k + 3$ 确保等变延拓问题存在解。
• 该方法通过用配置空间上的延拓条件替代代数交点数，推广了经典惠特尼技巧。

实验结果

研究问题

• RQ1 在何种维数条件下，从 k 维流形到 d 维球体的映射的 r 重交点可通过环境同胚消除？
• RQ2 当一般位置交点具有正维数时，如何将经典惠特尼技巧从双交点推广到 r 重交点？
• RQ3 消除 r 重交点的精确障碍是什么？它如何用等变映射和配置空间表述？
• RQ4 r 重惠特尼技巧与元数据范围及拓扑 Tverberg 猜想有何关联？
• RQ5 r 重惠特尼技巧的发展应如何正确归因，特别是与先前工作如 [MW16] 的关系？

主要发现

• r 重惠特尼技巧在条件 $rd \geq (r+1)k + 3$ 下成立，确保可通过相对于边界的适当同伦消除 r 重交点。
• 消除 r 重交点的关键障碍是将映射从乘积空间的边界延拓到配置空间中互异 r 元组的能力。
• 该定理为存在一个适当映射 $\overline{f}$ 提供了充分条件，该映射在边界上等于 $f$，且满足 $\overline{f}D_1 \cap \cdots \cap \overline{f}D_r$ 为空集。
• 该结果将经典惠特尼技巧从双交点推广到更高重数，并将元数据范围框架扩展至 r 重情形。
• 本文确认先前工作，特别是 [MW16]，得到了正确归属，且证明独立且自包含，尽管与早期结果存在关联。
• 该方法为研究拓扑组合学中的几乎嵌入与嵌入问题提供了基础工具，尤其在拓扑 Tverberg 猜想的反例研究中具有重要意义。