[论文解读] Eliminating Higher-Multiplicity Intersections, II. The Deleted Product Criterion in the $r$-Metastable Range

Isaac Mabillard, Uli Wagner|arXiv (Cornell University)|Jan 1, 2016

Topological and Geometric Data Analysis参考文献 44被引用 13

一句话总结

该论文建立了有限m维单纯复形K到Rd中几乎r-嵌入存在的充分条件，表明在r-亚稳态范围（rd ≥ (r+1)m + 3）内，经典的删除积条件——即存在从删除r重积KrΔ到球面Sd(r−1)−1的等变映射——既是必要条件也是充分条件。该结果将Haefliger–Weber定理推广至更高重数，并提供了消除嵌入中高重交点的拓扑准则。

ABSTRACT

Motivated by Tverberg-type problems in topological combinatorics and by classical results about embeddings (maps without double points), we study the question whether a finite simplicial complex K can be mapped into R^d without higher-multiplicity intersections. We focus on conditions for the existence of almost r-embeddings, i.e., maps from K to R^d without r-intersection points among any set of r pairwise disjoint simplices of K. Generalizing the classical Haefliger-Weber embeddability criterion, we show that a well-known necessary deleted product condition for the existence of almost r-embeddings is sufficient in a suitable r-metastable range of dimensions (r d > (r+1) dim K +2). This significantly extends one of the main results of our previous paper (which treated the special case where d=rk and dim K=(r-1)k, for some k> 3).

研究动机与目标

• 建立有限单纯复形K到Rd中几乎r-嵌入存在的充分条件，其中f(σ1) ∩ ⋯ ∩ f(σr) = ∅，σi为成对不相交的单形。
• 将经典的Haefliger–Weber可嵌入性准则推广至更高重数r ≥ 2。
• 解决作者先前工作中遗留的关键开放问题，即在r-亚稳态范围内删除积条件的充分性。
• 提供一个拓扑准则，使得在r-亚稳态范围内几乎r-嵌入的可判定性得以实现。

提出的方法

• 将删除r重积KrΔ定义为r重笛卡尔积中由K中成对不相交单形组成的r元组的子复形。
• 引入目标空间Sd(r−1)−1，即(Rd)r中对角线正交补空间中的单位球面，配备标准的Sr作用（通过置换）。
• 通过从(Rd)r \ δr(Rd)到Sd(r−1)−1的形变收缩，从任意几乎r-嵌入f构造一个等变映射ef: KrΔ → Sr Sd(r−1)−1。
• 证明此类等变映射的存在性可推出几乎r-嵌入的存在性，结合了局部不相交与约化技术。
• 应用PL拓扑中的高级工具，包括块丛、正规邻域及管状邻域理论，分析交点的几何结构。
• 利用Filakovský与Vokřínek的等变映射最新算法结果，证明在r-亚稳态范围内几乎r-嵌入的可判定性。

实验结果

研究问题

• RQ1 在r-亚稳态范围内，删除积条件是否足以保证几乎r-嵌入的存在？
• RQ2 Haefliger–Weber定理能否推广至更高重数r ≥ 3？
• RQ3 在r, d, m的何种精确维数范围内，删除积条件成为几乎r-嵌入的充分条件？
• RQ4 在r-亚稳态条件下，KrΔ到Sd(r−1)−1的等变映射存在性是否蕴含几乎r-嵌入的存在性？
• RQ5 在r-亚稳态范围内，几乎r-嵌入是否可算法判定？

主要发现

• 在r-亚稳态范围（rd ≥ (r+1)m + 3）内，存在等变映射F: KrΔ → Sr Sd(r−1)−1是存在几乎r-嵌入f: K → Rd的充分条件。
• 该结果将经典Haefliger–Weber定理（即r=2的情形）推广至任意r ≥ 2，建立了可嵌入性准则的高重数类比。
• 在r-亚稳态范围内，删除积条件既是必要条件也是充分条件，解决了作者先前工作中遗留的关键开放问题。
• 证明依赖于一种新颖的局部不相交与约化技术的结合，利用PL拓扑与块丛理论控制高重数交点。
• 该结果意味着当r和d固定时，由于等变映射分类的最新进展，几乎r-嵌入在多项式时间内可算法判定。
• 即使余维d−m较小，该定理依然成立，但当d−m ≤ 2时，由于r重点的维数约束，条件会变得平凡。