[论文解读] Eliminating Higher-Multiplicity Intersections, I. A Whitney Trick for Tverberg-Type Problems

Isaac Mabillard, Uli Wagner|arXiv (Cornell University)|Aug 10, 2015

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

一句话总结

本文引入了一种高重数的惠特尼技巧，用于在余维数 ≥3 的条件下消除 r-Tverberg 点——即在 R^d 中具有 r 个不相交单形原像的点。当 dim K = (r−1)k 且 d = rk（k ≥ 3）时，证明了删除乘积准则（DPC）对于不存在 r-Tverberg 点的映射的存在性而言，既是必要条件也是充分条件，为解决拓扑 Tverberg 猜想提供了关键工具。

ABSTRACT

Motivated by topological Tverberg-type problems 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 triple, quadruple, or, more generally, r-fold points. Specifically, we are interested in maps f from K to R^d that have no r-Tverberg points, i.e., no r-fold points with preimages in r pairwise disjoint simplices of K, and we seek necessary and sufficient conditions for the existence of such maps. We present a higher-multiplicity analogue of the completeness of the Van Kampen obstruction for embeddability in twice the dimension. Specifically, we show that under suitable restrictions on the dimensions, a well-known Deleted Product Criterion (DPC) is not only necessary but also sufficient for the existence of maps without r-Tverberg points. Our main technical tool is a higher-multiplicity version of the classical Whitney trick. An important guiding idea for our work was that sufficiency of the DPC, together with an old result of Ozaydin on the existence of equivariant maps, might yield an approach to disproving the remaining open cases of the long-standing topological Tverberg conjecture. Unfortunately, our proof of the sufficiency of the DPC requires a "codimension 3" proviso, which is not satisfied for when K is the N-simplex. Recently, Frick found an extremely elegant way to overcome this last "codimension 3" obstacle and to construct counterexamples to the topological Tverberg conjecture for d at least 3r+1 (r not a prime power). Here, we present a different construction that yields counterexamples for d at least 3r (r not a prime power).

研究动机与目标

• 建立从单纯复形 K 到 R^d 的连续映射不存在 r-Tverberg 点的必要与充分条件，其中 r ≥ 2。
• 将经典嵌入理论（特别是 Van Kampen 障碍）推广至高重数的 Tverberg 型问题。
• 开发一种拓扑技术，能够通过局部映射修改消除孤立的符号相反的 r 重点。
• 为在 r 不是素数幂的剩余开放情形下否定拓扑 Tverberg 猜想做出贡献。
• 为 d ≥ 3r 且 r 不是素数幂的情形，提供一种独立于约束方法的新反例构造，以反驳拓扑 Tverberg 猜想。

提出的方法

• 构建一种高重数惠特尼技巧，通过局部映射修改来消除符号相反的孤立 r 重点，前提是余维数 d − dim K ≥ 3。
• 利用分段线性拓扑与定向理论定义交点符号，将全局问题约化为标准局部模型。
• 应用管道化（piping）与去管道化（unpiping）技术，修改柱状映射中 (m−1)-单形的像，以改变 linking 数与交点上循环。
• 利用等变障碍理论与交点数上循环，定义并追踪删除乘积复形中的柱状交点数。
• 在 K = σ^N × σ^k 上建立柱状映射结构，以建模 Tverberg 型构型并分析其交点行为。
• 证明在 dim K = (r−1)k 且 d = rk（k ≥ 3）的维数约束下，删除乘积准则（DPC）对于不存在 r-Tverberg 点的映射存在性而言是充分的。

实验结果

研究问题

• RQ1 在何种条件下，删除乘积准则（DPC）对于不存在 r-Tverberg 点的映射 f: K → R^d 的存在性而言，既是必要条件也是充分条件？
• RQ2 当余维数 d − dim K ≥ 3 时，高重数惠特尼技巧能否消除符号相反的孤立 r 重点？
• RQ3 DPC 对于避免 r-Tverberg 点的充分性是否可推广至临界维数情形 d = (r−1)/r ⋅ dim K？
• RQ4 能否在 d ≥ 3r 且 r 不是素数幂的情形下，使用独立于约束方法的手段构造出对拓扑 Tverberg 猜想的反例？
• RQ5 在如管道化等局部修改下，柱状交点数上循环如何变换？其在检测 r-Tverberg 点中起什么作用？

主要发现

• 当 dim K = (r−1)k 且 d = rk（k ≥ 3）且余维数 d − dim K ≥ 3 时，删除乘积准则（DPC）对于不存在 r-Tverberg 点的映射存在性而言，既是必要条件也是充分条件。
• 构建了一种高重数惠特尼技巧，可在余维数 ≥3 的前提下，通过局部映射修改消除符号相反的孤立 r 重点。
• 本文为所有 d ≥ 3r 且 r 不是素数幂的情形，提供了一种独立于 Frick 所用约束方法的新反例构造，以反驳拓扑 Tverberg 猜想。
• 单次管道化操作若与符号为负的球面相交，则柱状交点数上循环改变 −1，从而实现对障碍类的可控修改。
• DPC 的充分性通过一个证明得以确立：当余维数条件满足时，可通过修改映射来消除 r-Tverberg 点。
• 结果表明，在余维数 ≥3 条件下，DPC 在临界维数范围 d = (r−1)/r ⋅ dim K 内是完整的障碍，推广了经典嵌入问题中的 Van Kampen 障碍。