[論文レビュー] 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 \geq 3 $ に対して、Tverberg可適・指定可能（AP）予想を否定的に解決し、$ \mathbb{R}^3 $ においても成立しないことを示すこと。
• 従来の技術的道具に依存しない、AP予想のバランス型ケースに対する新しい素朴な証明を与えること。
• Soberónの軌道収縮結果をより広い幾何的設定に拡張し、その位相的一般化を素数性条件によって特徴付けること。
• 幾何的構成を用いて、多重チェス盤複体を含む対称的単体的複体のシェーリング不可能性を遮断すること。

提案手法

• 高次元単体から $ \mathbb{R}^3 $ への明示的なアフィン写像を構成し、連続的対応物が存在しないTverberg型 $ r $ 重交差を示す。
• カラーフルカラテオドリの定理を用いて、$ 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予想は $ \mathbb{R}^3 $ で成立するが、連続的対応物はすべての $ r \geq 3 $ に対して成立せず、整除性にかかわらず成立しない。
• Jojić, Vrećica, Živaljević が提起した問題を解決するため、AP予想のバランス型ケースに対する新しい短く素朴な証明が与えられた。
• Soberónの軌道収縮結果の拡張は、すべての $ r \geq 3 $ に対してアフィン的に成立するが、位相的一般化は $ r $ が素数である場合にのみ成立する。
• 合成数 $ r $ に対して、対角線を避ける等変写像の存在によって、軌道収縮結果の位相的一般化が失敗することが示された。
• $ \mathbb{R}^3 $ への写像の幾何的構成を用いて、特定の対称的多重チェス盤複体がシェーリング不可能であることを証明した。