[논문 리뷰] On affine Tverberg-type results without continuous generalization

Florian Frick|arXiv (Cornell University)|2017. 02. 17.

Topological and Geometric Data Analysis참고 문헌 29인용 수 6

한 줄 요약

이 논문은 위상수학적 조합론에서 애फ인(affine)과 연속적(continuous) 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.

연구 동기 및 목표

• 모든 고차원 복합체와 고정된 차원에서, 애फ인 이론과 연속 이론 사이의 분리가 나누기 조건과 무관하게 점 渐진적으로 유지되는지 보여주는 것.
• 모든 $ r \geq 3 $ 에 대해 Tverberg admissible-prescribable (AP) 추측을 부정적으로 해결하여, $ \mathbb{R}^3 $ 에서조차도 실패함을 보여주는 것.
• 이전의 기술적 장비에 의존하지 않는, 균형 잡힌 AP 추측의 새로운 간단한 증명을 제공하는 것.
• Soberón의 궤도 수축 결과를 더 넓은 기하적 맥락으로 확장하고, 소수 조건을 통해 그 위상 일반화를 특성화하는 것.
• 기하적 구성법을 통해 대칭 심플렉스 복합체(예: 다중 체스보드 복합체)의 shellability를 방해하는 장벽을 제공하는 것.

제안 방법

• 고차원 심플렉스에서 $ \mathbb{R}^3 $ 로의 명시적 애फ인 사상들을 구성하여, 연속적 대응이 없는 Tverberg 유형의 $ r $-중 교차를 보여주는 것.
• 색다른 Carathéodory 정리를 사용하여, $ n+1 \geq (r-1)d + 1 $ 개의 정점에서 $ \mathbb{Z}/r $-궤도가 공통된 점으로 압축됨을 증명하는 것.
• Dold의 정리에 따라 $ r $ 가 소수이면 연속적 사상이 $ \mathbb{Z}/r $-궤도를 압축하지만, 복합수이면 그렇지 않음을 보여주는 것.
• Özaydin과 Basu-Ghosh의 등변 맵 구성법을 활용하여 복합수 $ r $ 에 대해 압축되지 않는 예를 증명하는 것.
• 대칭 복합체(예: $ C_{2r}^{*k} $)를 $ [r]^{*(n+1)} $ 에 통합하여 심플렉스 복합체의 shellability에 대한 위상적 장벽을 도출하는 것.
• 군 작용과 등변 위상수학을 사용하여, 궤도 수축 결과의 위상 일반화가 $ r $ 가 소수일 때에만 성립함을 증명하는 것.

실험 결과

연구 질문

• RQ1 Tverberg 유형 결과에서 애फ인-연속적 분리 현상은 $ r $ 의 나눗셈 성질과 무관하게 점 渐진적으로 유지되는가?
• RQ2 Tverberg admissible-prescribable (AP) 추측은 모든 $ r \geq 3 $ 에 대해 참인가?
• RQ3 AP 추측의 균형 잡힌 경우는 간단하고 간접적인 방법으로 증명될 수 있는가?
• RQ4 Soberón의 궤도 수축 결과가 위상적으로 일반화될 수 있는 조건은 무엇인가?
• RQ5 $ \mathbb{R}^d $ 로의 사상에 대한 기하적 구성법이 대칭 심플렉스 복합체의 shellability에 대한 장벽이 될 수 있는가?

주요 결과

• 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 $ 로의 사상에 대한 기하적 구성법을 사용하여, 특정 대칭 다중 체스보드 복합체가 shellable하지 않음을 증명한다.