[논문 리뷰] Eliminating Higher-Multiplicity Intersections, I. A Whitney Trick for Tverberg-Type Problems

Isaac Mabillard, Uli Wagner|arXiv (Cornell University)|2015. 08. 10.

Topological and Geometric Data Analysis참고 문헌 44인용 수 31

한 줄 요약

이 논문은 코드림이 ≥3 조건 하에서 r-Tverberg 점—R^d 내에서 r개의 서로소 단체 전이상이 존재하는 점—을 제거하기 위한 고차 다중성 웨이트니스 트릭을 제안한다. dim K = (r−1)k 이고 d = rk 이며 k ≥ 3 일 때, 삭제된 곱 기준이 r-Tverberg 점이 없는 맵의 존재에 대해 필요하고 충분함을 증명하며, 위상적 Tverberg 추측을 해결하는 데 핵심 도구를 제공한다.

ABSTRACT

Motivated by topological Tverberg-type problems and by classical results about embeddings (maps without double points), we study the question whether a finite simplicial complex K can be mapped into R^d without triple, quadruple, or, more generally, r-fold points. Specifically, we are interested in maps f from K to R^d that have no r-Tverberg points, i.e., no r-fold points with preimages in r pairwise disjoint simplices of K, and we seek necessary and sufficient conditions for the existence of such maps. We present a higher-multiplicity analogue of the completeness of the Van Kampen obstruction for embeddability in twice the dimension. Specifically, we show that under suitable restrictions on the dimensions, a well-known Deleted Product Criterion (DPC) is not only necessary but also sufficient for the existence of maps without r-Tverberg points. Our main technical tool is a higher-multiplicity version of the classical Whitney trick. An important guiding idea for our work was that sufficiency of the DPC, together with an old result of Ozaydin on the existence of equivariant maps, might yield an approach to disproving the remaining open cases of the long-standing topological Tverberg conjecture. Unfortunately, our proof of the sufficiency of the DPC requires a "codimension 3" proviso, which is not satisfied for when K is the N-simplex. Recently, Frick found an extremely elegant way to overcome this last "codimension 3" obstacle and to construct counterexamples to the topological Tverberg conjecture for d at least 3r+1 (r not a prime power). Here, we present a different construction that yields counterexamples for d at least 3r (r not a prime power).

연구 동기 및 목표

• 단체 복합체 K에서 R^d로의 연속 맵 f: K → R^d 가 r-Tverberg 점이 없는 조건을 필요로 하는 필수 및 충분 조건을 설정하는 것, 여기서 r ≥ 2이다.
• 기본적인 매립 이론—특히 Van Kampen 방해—을 고차 다중성 Tverberg 유형 문제로 일반화하는 것.
• 지역 맵 수정을 통해 부호가 반대인 고립된 r중점들을 제거할 수 있는 위상 기법을 개발하는 것.
• r가 소수의 거듭제곱이 아닐 때 남아 있는 열린 케이스에서 위상적 Tverberg 추측의 반증에 기여하는 것.
• 제약 방법에 의존하지 않는 새로운 반례 구축 방법을 제공하여, 차원 d ≥ 3r 이고 r가 소수의 거듭제곱이 아닐 때 위상적 Tverberg 추측의 반례를 구성하는 것.

제안 방법

• 코드림 d − dim K ≥ 3 조건 하에서, 지역 맵 수정을 통해 부호가 반대인 고립된 r중점들을 상쇄시키는 고차 다중성 웨이트니스 트릭을 개발한다.
• 조각별 선형 위상수학과 방향성 이론을 사용하여 교차 부호를 정의함으로써 전역 문제를 표준 국소 모델로 환원한다.
• 파이핑 및 언파이핑 기법을 적용하여 프리즘 맵 내 (m−1)-단체의 이미지를 수정함으로써 연결 수와 교차 코호몰로지 수를 조작한다.
• 등변 방해 이론과 교차 수 코호몰로지 수를 사용하여 삭제된 곱 복합체 내 프리즘 교차 수를 정의하고 추적한다.
• K = σ^N × σ^k 에 대한 프리즘 맵 구조를 사용하여 Tverberg 유형 구성과 그 교차 행동을 모델링하고 분석한다.
• dim K = (r−1)k 이고 d = rk 이며 k ≥ 3 일 때, 삭제된 곱 기준(DPC)이 r-Tverberg 점이 없는 맵의 존재에 대해 충분함을 증명한다.

실험 결과

연구 질문

• RQ1 코드림 d − dim K ≥ 3 조건 하에서, 삭제된 곱 기준(DPC)이 맵 f: K → R^d 가 r-Tverberg 점이 없는 데 대해 필수적이고 충분한 조건이 되는가?
• RQ2 코드림 d − dim K ≥ 3 일 때, 고차 다중성 웨이트니스 트릭이 부호가 반대인 고립된 r중점들을 제거할 수 있는가?
• RQ3 DPC의 충분성은 차원이 d = (r−1)/r ⋅ dim K 인 임계 차원 케이스로까지 확장되는가?
• RQ4 제약 방법에 의존하지 않는 방법으로 d ≥ 3r 이고 r가 소수의 거듭제곱이 아닐 때 위상적 Tverberg 추측의 반례를 구성할 수 있는가?
• RQ5 파이핑과 같은 국소 수정에서 프리즘 교차 수 코호몰로지 수는 어떻게 변하고, 이는 r-Tverberg 점 탐지에 어떤 역할을 하는가?

주요 결과

• 코드림 d − dim K ≥ 3 이며 dim K = (r−1)k, d = rk 이고 k ≥ 3 일 때, 삭제된 곱 기준(DPC)은 r-Tverberg 점이 없는 맵의 존재에 대해 필수적이고 충분하다.
• 코드림 ≥ 3 조건 하에서, 부호가 반대인 고립된 r중점들을 국소 맵 수정을 통해 제거할 수 있는 고차 다중성 웨이트니스 트릭이 구성되었다.
• 논문은 Frick의 제약 방법에 의존하지 않는 새로운 반례 구축 방법을 제공하여, 모든 d ≥ 3r 이고 r가 소수의 거듭제곱이 아닐 때 위상적 Tverberg 추측의 반례를 구성한다.
• 한 번의 파이핑 이동이 음의 부호를 가진 구면과 연결될 경우 프리즘 교차 수 코호몰로지 수는 −1로 변화하며, 이는 방해류의 제어적 수정을 가능하게 한다.
• 코드림 조건이 만족될 경우 r-Tverberg 점을 제거할 수 있는 맵 수정 능력을 바탕으로 DPC의 충분성이 증명된다.
• 결과적으로 DPC는 코드림 ≥3 조건 하에서 임계 차원 범위 d = (r−1)/r ⋅ dim K 내에서 완전한 장벽임을 시사하며, 매립에 대한 고전적 Van Kampen 장벽을 일반화한다.