[论文解读] On affine Tverberg-type results without continuous generalization

Florian Frick|arXiv (Cornell University)|Feb 17, 2017

Topological and Geometric Data Analysis参考文献 29被引用 6

一句话总结

该论文在拓扑组合学的仿射与连续Tverberg型结果之间确立了一个基本的定性差异，表明对于任意 $ r \geq 3 $，存在无法以连续方式实现的仿射Tverberg型构型，即使在高维复形中也不存在渐近实现。关键贡献是在 $ \mathbb{R}^3 $ 中提出了一种新的、初等的构造方法，证明无论 $ r $ 是否满足可除性条件，仿射理论与连续理论均会分道扬镳，从而以否定方式解决了AP猜想，并通过与素性相关的拓扑障碍，将Soberón的轨道坍缩结果推广至更广义的几何设定。

ABSTRACT

Recent progress building on the groundbreaking work of Mabillard and Wagner has shown that there are important differences between the affine and continuous theory for Tverberg-type results. These results aim to describe the intersection pattern of convex hulls of point sets in Euclidean space and continuous relaxations thereof. Here we give additional examples of an affine-continuous divide, but our deductions are almost elementary and do not build on the technical work of Mabillard and Wagner. Moreover, these examples show a difference between the affine and continuous theory even asymptotically for arbitrarily large complexes. Along the way we settle the Tverberg admissible-prescribable problem (or AP conjecture) in the negative, give a new, short and elementary proof of the balanced case of the AP conjecture which was recently proven by Jojić, Vrećica, and Živaljević in a series of two papers, provide examples of Tverberg-type results that hold affinely but not continuously without divisibility conditions on the intersection multiplicity, extend a result of Soberón, and show that this extension has a topological generalization if and only if the intersection multiplicity is a prime.

研究动机与目标

• 证明仿射与连续Tverberg型结果之间的差异即使在高维复形中且固定维度下，也依然存在渐近性，且与 $ r $ 的可除性无关。
• 以否定方式解决所有 $ r \geq 3 $ 情况下的Tverberg可允许-可指定（AP）猜想，证明其在 $ \mathbb{R}^3 $ 中亦不成立。
• 提供AP猜想平衡情形的一个新、初等的证明，且不依赖于先前的技术工具。
• 将Soberón的轨道坍缩结果推广至更广义的几何设定，并通过素性条件刻画其拓扑推广。
• 利用几何构造，阻碍对称单纯复形（如多重国际象棋盘复形）的壳化性。

提出的方法

• 从高维单纯形显式构造到 $ \mathbb{R}^3 $ 的仿射映射，其表现出Tverberg型 $ r $ 重交点，但无连续对应。
• 利用彩色Carathéodory定理证明：当 $ n+1 \geq (r-1)d + 1 $ 个顶点时，仿射映射将 $ \mathbb{Z}/r $-轨道坍缩至同一点。
• 应用Dold的等变映射定理，证明当 $ r $ 为素数时连续映射会坍缩 $ \mathbb{Z}/r $-轨道，但当 $ r $ 为合数时则不会。
• 利用Özaydin和Basu-Ghosh的等变映射构造，证明对合数 $ r $ 存在不坍缩的反例。
• 将对称复形如 $ C_{2r}^{*k} $ 嵌入 $ [r]^{*(n+1)} $，以推导壳化性的拓扑障碍。
• 通过群作用与等变拓扑，证明轨道坍缩结果的拓扑推广当且仅当 $ r $ 为素数时成立。

实验结果

研究问题

• RQ1 Tverberg型结果中的仿射-连续差异是否在渐近意义下依然存在，且与 $ r $ 的可除性性质无关？
• RQ2 Tverberg可允许-可指定（AP）猜想对所有 $ r \geq 3 $ 是否成立？
• RQ3 能否使用初等、间接的方法证明AP猜想的平衡情形？
• RQ4 Soberón的轨道坍缩结果在何种条件下可实现其拓扑推广？
• RQ5 映射到 $ \mathbb{R}^d $ 的几何构造能否作为对称单纯复形壳化性的障碍？

主要发现

• AP猜想对所有 $ r \geq 3 $ 均不成立，如通过显式反例所示。
• 在 $ \mathbb{R}^3 $ 中，AP猜想的仿射版本成立，但其连续版本对所有 $ r \geq 3 $ 均不成立，无论 $ r $ 是否可除。
• 为AP猜想的平衡情形提供了一种新、简短且初等的证明，解决了Jojić、Vrećica与Živaljević提出的问题。
• Soberón轨道坍缩结果的仿射推广对所有 $ r \geq 3 $ 成立，但其拓扑推广仅在 $ r $ 为素数时成立。
• 当 $ r $ 为合数时，轨道坍缩结果的拓扑推广不成立，如存在避开对角线的等变映射所示。
• 利用映射到 $ \mathbb{R}^3 $ 的几何构造，证明了某些对称的多重国际象棋盘复形不可壳化。