[论文解读] Counterexamples to the topological Tverberg conjecture

Florian Frick|arXiv (Cornell University)|Feb 1, 2015

Topological and Geometric Data Analysis参考文献 10被引用 45

一句话总结

该论文针对所有满足 $ r \geq 6 $ 且非素数幂的整数 $ r $，以及满足 $ d \geq 3r+1 $ 的维度 $ d $，构造了拓扑Tverberg猜想的显式反例。通过结合Mabillard与Wagner的广义van Kampen定理和Özaydin的等变障碍理论，作者证明了高维单纯形到欧氏空间的连续映射可以避免Tverberg型重合，从而在这些情况下否定了该猜想。

ABSTRACT

The "topological Tverberg conjecture" by Bárány, Shlosman and Szűcs (1981) states that any continuous map of a simplex of dimension $(r-1)(d+1)$ to $\mathbb{R}^d$ maps points from $r$ disjoint faces of the simplex to the same point in $\mathbb{R}^d$. This was established for affine maps by Tverberg (1966), for the case when $r$ is a prime by Bárány et al., and for prime power $r$ by Özaydin (1987). We combine the generalized van Kampen theorem announced by Mabillard and Wagner (2014) with the constraint method of Blagojević, Ziegler and the author (2014), and thus prove the existence of counterexamples to the topological Tverberg conjecture for any number $r$ of faces that is not a prime power. However, these counterexamples require that the dimension $d$ of the codomain is sufficiently high: the smallest counterexample we obtain is for a map of the $100$-dimensional simplex to $\mathbb{R}^{19}$, for $r=6$.

研究动机与目标

• 为所有满足 $ r \geq 6 $ 且非素数幂的整数 $ r $ 否定拓扑Tverberg猜想。
• 将该猜想的失效范围扩展至此前已知的素数幂情况之外。
• 构造从高维单纯形到欧氏空间的连续映射，使其避免任意 $ r $ 个不相交面的像的 $ r $ 重交集。
• 证明约束方法与等变障碍理论可系统地生成此类反例。
• 解决拓扑组合学中长期悬而未决的开放问题：即该猜想对一般 $ r $ 是否成立。

提出的方法

• 利用Mabillard与Wagner的广义van Kampen定理，该定理将 $ r $-不相交面映射的存在性与映射到球面的 $ \mathfrak{S}_r $-等变映射的存在性联系起来。
• 应用Özaydin关于非素数幂群作用下等变映射的结果，证明当 $ r $ 不是素数幂时，存在映射到 $ S(W_r^{\oplus rk}) $ 的 $ \mathfrak{S}_r $-等变映射。
• 构造一个连续映射 $ f: \Delta_N \to \mathbb{R}^{rk} $，使得任意 $ r $ 个维度至多为 $ (r-1)k $ 的两两不相交的面的像具有空交集。
• 通过增加到 $ (r-1)k $-骨架的距离作为坐标，将该映射扩展至 $ F: \Delta_N \to \mathbb{R}^{rk+1} $，以在更高维目标空间中防止交集。
• 利用维数计数论证证明：若一组 $ r $ 个面均包含高维胞腔，则所需顶点数将超过 $ N+1 $，导致矛盾。
• 将约束方法与障碍论技术结合，将问题约化为Sylow $ p $-子群作用，并利用球面上的不动点性质。

实验结果

研究问题

• RQ1 拓扑Tverberg猜想对所有满足 $ r \geq 2 $ 的整数 $ r $ 是否成立？当 $ r $ 不是素数幂时是否存在反例？
• RQ2 广义van Kampen定理能否用于构造避免不相交面像的 $ r $ 重交集的连续映射？
• RQ3 当 $ r $ 不是素数幂时，拓扑Tverberg猜想在最小维度 $ d $ 处失效？
• RQ4 障碍论方法（如Özaydin与Mabillard–Wagner的方法）在多大程度上可系统地构造此类反例？
• RQ5 约束方法能否用于将 $ r $ 重消失条件转化为阻止Tverberg型重合的拓扑障碍？

主要发现

• 拓扑Tverberg猜想对所有满足 $ r \geq 6 $ 且非素数幂的整数 $ r $，以及满足 $ d \geq 3r+1 $ 的维度 $ d $ 均不成立。
• 存在一个连续映射 $ F: \Delta_{100} \to \mathbb{R}^{19} $，使得任意六个两两不相交的面的像具有空的公共交集，这是目前已知最小的反例。
• 当 $ r $ 不是素数幂时，对任意 $ N $，存在一个连续映射 $ f: \Delta_N \to \mathbb{R}^{rk} $，使得对任意 $ r $ 个两两不相交的面 $ \sigma_i $ 满足 $ \dim \sigma_i \leq (r-1)k $，均有 $ f(\sigma_1) \cap \cdots \cap f(\sigma_r) = \emptyset $。
• 此类映射的存在性由当 $ r $ 不是素数幂时，不存在映射到球面的 $ \mathfrak{S}_r $-等变映射所保证，其原因在于Sylow子群作用下的不动点障碍。
• 该构造依赖于 $ S(W_r^{\oplus rk}) $ 是 $ (d-2) $-连通的，且当 $ r $ 不是素数幂时，由于目标空间中的不动点，存在 $ \mathfrak{S}_r $-等变映射。
• 该反例在维数降低下是稳定的：若该猜想在维度 $ d+1 $ 处不成立，则在维度 $ d $ 处也不成立，因此该失败现象在所有 $ d \geq 3r+1 $ 下均成立。