[논문 리뷰] Stronger counterexamples to the topological Tverberg conjecture

Sergey Avvakumov, Роман Карасев외 1명|arXiv (Cornell University)|2019. 08. 23.

Advanced Combinatorial Mathematics참고 문헌 16인용 수 5

한 줄 요약

이 논문은 $ r $ 가 소수거듭제곱이 아니고 $ d $ 가 충분히 클 때, $ N = (d+1)r - r\left\lceil \frac{d+2}{r+1} \right\rceil - 2 $ 인 경우에 대해 $ \Delta_N \to \mathbb{R}^d $ 에 대한 거의 $ r $-임bedding의 존재성을 입증함으로써, 위상적 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 $-임베딩이 존재하는 심플렉스 $ \Delta_N $ 의 차원 $ N $ 을 최소화함으로써 위상적 Tverberg 추측에 대한 더 강력한 반례를 구축한다.
• 소수거듭제곱이 아닌 $ r $ 에 대해 이러한 거의 $ r $-임베딩이 존재하는 데 필요한 차원 $ N $ 의 알려진 하한을 향상시키는 것.
• 이전에 알려진 $ (d+1)(r-1) $ 보다 더 큰 $ N = (d+1)r - r\left\lceil \frac{d+2}{r+1} \right\rceil - 2 $ 를 새로운 임계값으로 설정하여 거의 $ r $-임베딩의 존재성을 입증하는 것.
• 반복 합성 방법과 같은 이전의 구성에 의존하지 않고, 일반화된 등변 매핑과 위상적 차단 조건을 사용하여 자가 일관된 증명을 제공하는 것.

제안 방법

• 저자들은 Mabillard–Wagner 정리를 일반화하여, 삭제된 곱 공간으로의 등변 매핑에서 거의 $ r $-임베딩을 구성한다.
• 특정 차원 조건 하에서 등변 매핑이 구면 $ S^{2r-2}_{\Sigma_r} $ 으로 존재함을 보이기 위해 Özaydin 정리를 확장한다.
• 핵심 구성은 고정점 $ c $ 근처의 근방에서 $ \Sigma_r $-등변 호모토피 $ h_{\pm} $ 를 정의하는 것으로, 반사와 이동을 사용하여 국소 차수를 제어한다.
• Borsuk 호모토피 확장 정리를 사용하여, 부분复체에서부터 전체 정의역으로 $ G $-등변 호모토피를 확장함으로써 등변성을 유지한다.
• 원점에서의 국소 차수 계산을 통해 매핑의 부호를 원래 매핑 $ f $ 의 방향성과 연결하여 차수 비교를 가능하게 한다.
• $ h_{+} $ 와 $ h_{-} $ 의 구성은 $ f(c) $ 방향으로 점들을 이동시키는 $ \Sigma_r $-등변 변형에 의존하며, 이는 영점 집합이 정확히 $ \Sigma_r c \times \{1/4\} $ 가 되도록 보장한다.

실험 결과

연구 질문

• RQ1 소수거듭제곱이 아닌 $ r $ 에 대해, 거의 $ r $-임베딩 $ \Delta_N \to \mathbb{R}^d $ 가 존재하는 차원 임계값 $ N $ 이 이전에 알려진 $ (d+1)(r-1) $ 보다 크게 줄일 수 있는가?
• RQ2 반복 합성 구성에 의존하지 않고, 더 강력한 반례를 위상적 Tverberg 추측에 대해 만들 수 있는가?
• RQ3 소수거듭제곱이 아니고 $ d $ 가 큰 경우에 대해, 거의 $ r $-임베딩 $ \Delta_N \to \mathbb{R}^d $ 가 존재하는 최적의 $ N $ 값은 무엇인가?
• RQ4 일반화된 등변 매핑과 국소 차수 이론은 Tverberg 문제의 맥락에서 삭제된 곱 차단 조건을 어떻게 정교화하는가?

주요 결과

• 논문은 $ r $ 가 소수거듭제곱이 아니고 $ d $ 가 충분히 클 때, $ N = (d+1)r - r\left\lceil \frac{d+2}{r+1} \right\rceil - 2 $ 인 거의 $ r $-임베딩 $ \Delta_N \to \mathbb{R}^d $ 가 존재함을 입증한다. 이 값은 $ (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] 의 부분적 경우를 확인하며, $ r < d $ 이면 $ N \leq dr - 2 $ 라고 한다. 또한 Tverberg 문제에 대한 새로운 장애 이론 프레임워크를 제공한다.