[论文解读] Stronger counterexamples to the topological Tverberg conjecture

Sergey Avvakumov, Роман Карасев+1 more|arXiv (Cornell University)|Aug 23, 2019

Advanced Combinatorial Mathematics参考文献 16被引用 5

一句话总结

该论文通过证明当 $ r $ 不是素数幂且 $ d $ 足够大时，存在几乎 $ r $-嵌入 $ \Delta_N \to \mathbb{R}^d $，其中 $ N = (d+1)r - r\left\lceil \frac{d+2}{r+1} \right\rceil - 2 $，构建了对拓扑Tverberg猜想更强的反例。该结果通过利用广义等变映射和Mabillard–Wagner定理，改进了先前的维度界限，表明该猜想在比以往已知更广的维度范围内不成立。

ABSTRACT

Denote by $Δ_M$ the $M$-dimensional simplex. A map $f\colon Δ_M o\mathbb R^d$ is an almost $r$-embedding if $fσ_1\cap\ldots\cap fσ_r=\emptyset$ whenever $σ_1,\ldots,σ_r$ are pairwise disjoint faces. A counterexample to the topological Tverberg conjecture asserts that if $r$ is not a prime power and $d\ge2r+1$, then there is an almost $r$-embedding $Δ_{(d+1)(r-1)} o\mathbb R^d$. This was improved by Blagojević-Frick-Ziegler using a simple construction of higher-dimensional counterexamples by taking $k$-fold join power of lower-dimensional ones. We improve this further (for $d$ large compared to $r$): If $r$ is not a prime power and $N:=(d+1)r-r\Big\lceil\dfrac{d+2}{r+1}\Big ceil-2$, then there is an almost $r$-embedding $Δ_N o\mathbb R^d$. For the $r$-fold van Kampen-Flores conjecture we also produce counterexamples which are stronger than previously known. Our proof is based on generalizations of the Mabillard-Wagner theorem on construction of almost $r$-embeddings from equivariant maps, and of the Özaydin theorem on existence of equivariant maps.

研究动机与目标

• 通过最小化允许几乎 $ r $-嵌入到 $ \mathbb{R}^d $ 的单纯形 $ \Delta_N $ 的维度 $ N $，构建对拓扑Tverberg猜想更强的反例。
• 改进当 $ r $ 不是素数幂时，此类几乎 $ r $-嵌入存在的维度 $ N $ 的已知下界。
• 建立一个新的阈值 $ N = (d+1)r - r\left\lceil \frac{d+2}{r+1} \right\rceil - 2 $，该值超过此前已知的 $ (d+1)(r-1) $，从而确保存在几乎 $ r $-嵌入。
• 通过使用广义等变映射和拓扑障碍，提供一个独立于先前构造（如迭代连积方法）的自包含证明。

提出的方法

• 作者将Mabillard–Wagner定理推广，通过从等变映射到删去积空间构造几乎 $ r $-嵌入。
• 他们将Özaydin定理推广，证明在特定维度条件下，存在映射到球面 $ S^{2r-2}_{\Sigma_r} $ 的等变映射。
• 关键构造涉及在固定点 $ c $ 的邻域上定义 $ \Sigma_r $-等变同伦 $ h_{\pm} $，利用反射和移动来控制局部次数。
• 证明使用Borsuk同伦扩张定理，将 $ G $-等变同伦从子复形扩展到整个定义域，同时保持等变性。
• 通过在原点处的局部次数计算，将映射的符号与原始映射 $ f $ 的定向相关联，从而实现次数比较。
• 构造 $ h_{+} $ 和 $ h_{-} $ 依赖于一种 $ \Sigma_r $-等变形变，该形变沿 $ f(c) $ 方向移动点，确保零集恰好为 $ \Sigma_r c \times \{1/4\} $。

实验结果

研究问题

• RQ1 当 $ r $ 不是素数幂时，是否存在显著低于 $ (d+1)(r-1) $ 的维度阈值 $ N $，使得几乎 $ r $-嵌入 $ \Delta_N \to \mathbb{R}^d $ 存在？
• RQ2 是否可能在不依赖迭代连积构造的情况下，构建对拓扑Tverberg猜想更强的反例？
• RQ3 对于非素数幂的 $ r $ 和较大的 $ d $，使得几乎 $ r $-嵌入 $ \Delta_N \to \mathbb{R}^d $ 存在的最优 $ N $ 值是多少？
• RQ4 广义等变映射和局部次数理论如何在Tverberg问题背景下改进删去积障碍？

主要发现

• 该论文证明了当 $ r $ 不是素数幂且 $ d $ 足够大时，存在几乎 $ r $-嵌入 $ \Delta_N \to \mathbb{R}^d $，其中 $ N = (d+1)r - r\left\lceil \frac{d+2}{r+1} \right\rceil - 2 $，且该值严格大于 $ (d+1)(r-1) $。
• 该界限优于此前已知的最佳阈值 $ (d+1)(r-1) $，后者是在 $ d \geq 2r+1 $ 条件下建立的。
• 该构造产生的反例强于迭代连积方法所得的反例，因为 $ N $ 可以超过该方法导出的 $ F $-界。
• 当 $ d = (r+1)q - 1 $ 且 $ q \geq r+2 $ 时，论文表明 $ \Delta_{(d+1)(r-1)} \to \mathbb{R}^{d-1} $ 是可能的，从而改进了目标维度。
• 当 $ d \geq (s+2)r^2 $ 时，论文证明了几乎 $ r $-嵌入 $ \Delta_{(d+1)(r-1)} \to \mathbb{R}^{d-s} $ 的存在性，表明目标维度显著降低。
• 该结果确认了 [BFZ, 猜想5.5] 的一个部分情形，即 $ N \leq dr - 2 $ 对于 $ r < d $ 成立，并为Tverberg问题提供了新的障碍理论框架。