[論文レビュー] The topological Tverberg problem beyond prime powers

Florian Frick, Pablo Soberón|arXiv (Cornell University)|May 11, 2020

Topological and Geometric Data Analysis参考文献 21被引用数 9

ひとこと要約

本稿は、古典的な等変位相的手法が素数冪以外では機能しない問題を克服するための新しい手法を導入することで、任意の整数 $ q \geq 2 $ に対して連続的トポロジカルTverberg型定理を確立する。主な結果は、任意の連続写像 $ f: \Delta_{q(d+1)-1} \to \mathds{R}^d $ が、$ q $ 個の互いに素な面からの点を同じ像に写すこと、すなわち、長年の予想である非素数冪 $ q $ に対する解決を達成するが、帰納法の段階で是正された誤りを含む。

ABSTRACT

Tverberg-type theory aims to establish sufficient conditions for a simplicial complex $Σ$ such that every continuous map $f\colon Σ o \mathbb{R}^d$ maps $q$ points from pairwise disjoint faces to the same point in $\mathbb{R}^d$. Such results are plentiful for $q$ a power of a prime. However, for $q$ with at least two distinct prime divisors, results that guarantee the existence of $q$-fold points of coincidence are non-existent -- aside from immediate corollaries of the prime power case. Here we present a general method that yields such results beyond the case of prime powers. In particular, we prove previously conjectured upper bounds for the topological Tverberg problem for all $q$.

研究の動機と目的

• 古典的手法が失敗する非素数冪の $ q $ におけるトポロジカルTverberg定理の拡張という長年の未解決問題に取り組む。
• 合成数 $ q $ に対して、連続写像のもとで $ q $ 重の一致点を保証する単体の次元に対する非自明な上界を提供する。
• Blagojević, Frick, Ziegler が提起した、すべての $ q \geq 2 $ におけるトポロジカルTverberg問題に関する予想を解決する。
• $ \mathbb{Z}/p\mathbb{Z} $-等変写像に依存する手法に代わる、新たなトポロジカル手法を開発する。これは $ q $ が素数冪でない場合に無効であるため重要である。
• 素数冪を超えた色付きTverbergの定理の拡張を提供し、頂点に制約を課えた新しい連続的Tverberg型定理を導出する。

提案手法

• $ \mathbb{Z}/p\mathbb{Z} $-等変写像に依存しない、新しい配置空間の手法を導入する。これは非素数冪 $ q $ に対して失敗する古典的手法を回避する。
• 帰納的構成により、単体的複体 $ L^a_r $ と $ M_k $ を構築し、証明に不可欠な高次元連結な配置空間を構成する。
• 写像 $ x \mapsto r+k-x $ を用いた双対性の議論により、複体間の関係を確立し、交差 $ M_{k-1} \cap (L^a_r + k) $ の連結性を示す。
• 一連の命題と還元を通じて配置空間の高次元連結性を検証し、特に $ L^a_{r-1} \cup (L^{a-1}_{r+k-2q} + (q-1)) $ の連結性を示す主な技術的ステップ（命題5.5）を含む。
• 主問題を、ある配置空間が $ (a-3) $-連結であることを示す問題に還元し、対称性と帰納的構造を活用する。
• Blagojević, Frick, Ziegler の先行研究と組み合わせることで、非素数冪 $ q $ に対する色付きTverberg型定理を導出する。

実験結果

リサーチクエスチョン

• RQ1 古典的な等変位相的手法が失敗する非素数冪の $ q $ に対して、トポロジカルTverberg定理をすべての整数 $ q \geq 2 $ に拡張することは可能か？
• RQ2 $ q $ が素数冪でない場合に、連続写像のもとで $ q $ 重の一致点を保証する単体の次元に対する非自明な上界を確立することは可能か？
• RQ3 $ q $ 個の互いに素な3サイクルが $ K_{3q} $ に含まれ、共通の点を囲むというBirchの元々の結果の連続的一般化は、すべての $ q \geq 2 $ に対して成り立つか？
• RQ4 特に各面が各色クラスから高々1つの頂点しか含まない制約の下で、色付きTverberg定理の拡張は素数冪を超えて可能か？
• RQ5 Blagojević, Frick, Ziegler が予想したように、$ q $-重の一致点を保証する単体の次元として $ n = q(d+1) - 1 $ は最適か？

主な発見

• 本稿は定理1.1を証明する：任意の $ q \geq 2 $ および $ d \geq 1 $ に対して、任意の連続写像 $ f: \Delta_{q(d+1)-1} \to \mathds{R}^d $ は、$ q $ 個の互いに素な面からの点を同じ像に写す。
• 元の証明の命題5.4に誤りが発見され、$ k = q $ の場合に帰納法の段階が破綻するため、定理1.1の証明は当初の記述では不完全である。
• 誤りが発覚したが、第4節の還元は依然有効であり、高次元連結な配置空間を構築するという核心的手法は、是正された証明への道筋として依然として有効である。
• この結果は系1.2を含意する：平面に描かれた $ K_{3q} $ の任意の図において、各3サイクルが埋め込まれている限り、共通の点を囲む $ q $ 個の頂点に互いに素な3サイクルが存在する。
• 色付きTverberg定理は素数冪を超えて拡張される：定理6.1は、$ q \geq 2 $ に対して、色クラスのサイズが有界な連続写像のもとで、次元 $ q(d+c+1)-1 $ の単体が $ q $ 重の一致点を保証することを示す。
• 定理6.2は、色クラス間で重心座標が等しくなるように制約を課した連続的Tverberg結果を提供し、$ q \geq 2 $ に対して有効である。次元は $ q(q+1)(d+1)-1 $ の単体を用い、『等しい係数』色付きTverberg定理と類似のパラメータを達成する。