[논문 리뷰] Eliminating Higher-Multiplicity Intersections, II. The Deleted Product Criterion in the $r$-Metastable Range

Isaac Mabillard, Uli Wagner|arXiv (Cornell University)|2016. 01. 01.

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

한 줄 요약

이 논문은 유한한 m차원 단체 복합체 K의 Rd로의 거의 r-임bedding이 존재하기 위한 충분조건을 확립한다. r-중요 범위(r-metastable range)인 rd ≥ (r+1)m + 3 범위에서, 고전적인 삭제된 곱 조건—KrΔ에서 Sd(r−1)−1로의 S r-등변 맵의 존재—이 필수적이고도 충분한 조건임을 보여준다. 이 결과는 Haefliger–Weber 정리의 고차 다중성으로의 일반화이며, 임베딩에서 고차 다중 교차를 제거하기 위한 위상적 조건을 제공한다.

ABSTRACT

Motivated by Tverberg-type problems in topological combinatorics 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 higher-multiplicity intersections. We focus on conditions for the existence of almost r-embeddings, i.e., maps from K to R^d without r-intersection points among any set of r pairwise disjoint simplices of K. Generalizing the classical Haefliger-Weber embeddability criterion, we show that a well-known necessary deleted product condition for the existence of almost r-embeddings is sufficient in a suitable r-metastable range of dimensions (r d > (r+1) dim K +2). This significantly extends one of the main results of our previous paper (which treated the special case where d=rk and dim K=(r-1)k, for some k> 3).

연구 동기 및 목표

• 유한한 단체 복합체 K의 Rd로의 거의 r-임베딩이 존재하기 위한 충분조건을 확립하는 것. 여기서 f(σ1) ∩ ⋯ ∩ f(σr) = ∅이며, σi는 상호소거된 단체이다.
• 고전적인 Haefliger–Weber 임베딩 기준을 r ≥ 2의 고차 다중성으로 일반화하는 것.
• 저자들의 이전 연구에서 제기된 핵심 열린 문제를 해결하는 것—즉, r-중요 범위에서 삭제된 곱 조건의 충분성에 관한 것.
• r-중요 범위에서 거의 r-임베딩 가능성을 알고리즘적으로 결정할 수 있는 위상적 기준을 제공하는 것.

제안 방법

• KrΔ를 K의 r개의 상호소거된 단체의 r-튜플로 이루어진 r중곱의 부분복합체로 정의한다.
• Sd(r−1)−1을 (Rd)r의 대각선의 직교보완에서의 단위구로 정의하며, 여기에 표준적인 S r-작용(순열에 의한 작용)을 부여한다.
• 임의의 거의 r-임베딩 f로부터, (Rd)r \ δr(Rd)에서 Sd(r−1)−1로의 변형 수축과의 복합을 통해 ef: KrΔ → Sr Sd(r−1)−1로의 S r-등변 맵을 구성한다.
• 지역적 분리와 축소 기법의 조합을 통해, 그러한 S r-등변 맵의 존재가 거의 r-임베딩의 존재를 암시함을 증명한다.
• PL 위상수학의 고급 도구, 특히 블록 번들의 이론, 정규근방, 관형근방 이론을 활용하여 교차의 기하학적 성질을 분석한다.
• Filakovský 및 Vokřínek의 최근 등변 맵에 관한 알고리즘적 결과를 활용하여, r-중요 범위에서 거의 r-임베딩 가능성이 알고리즘적으로 결정 가능함을 보인다.

실험 결과

연구 질문

• RQ1 r-중요 범위에서 삭제된 곱 조건은 거의 r-임베딩 존재에 충분한가?
• RQ2 Haefliger–Weber 정리는 r ≥ 3의 고차 다중성으로 확장될 수 있는가?
• RQ3 삭제된 곱 조건이 거의 r-임베딩 가능성을 충분히 만족시키는 정확한 차원 범위(즉, r, d, m 기준)는 무엇인가?
• RQ4 r-중요 조건 하에서 KrΔ에서 Sd(r−1)−1로의 등변 맵 존재는 거의 r-임베딩의 존재를 암시하는가?
• RQ5 r-중요 범위에서 거의 r-임베딩 가능성이 알고리즘적으로 결정될 수 있는가?

주요 결과

• r-중요 범위(즉, rd ≥ (r+1)m + 3)에서, KrΔ에서 Sr Sd(r−1)−1로의 S r-등변 맵 F의 존재는 거의 r-임베딩 f: K → Rd의 존재를 충분히 보장한다.
• 이 결과는 고전적인 Haefliger–Weber 정리(r=2의 경우)를 임의의 r ≥ 2로 일반화하며, 임베딩 기준의 고차 다중성에 해당하는 해를 제공한다.
• r-중요 범위에서 삭제된 곱 조건은 필수적이며 동시에 충분하므로, 저자들의 이전 연구에서 제기된 핵심 열린 문제를 해결한다.
• 증명은 국소적 분리와 축소 기법의 새로운 조합에 기반하며, PL 위상수학과 블록 번들의 이론을 활용하여 고차 다중성 교차를 제어한다.
• 최근 등변 맵의 분류에 관한 진전 덕분에, r과 d가 고정되어 있을 경우 거의 r-임베딩 가능성이 다항식 시간 내에 알고리즘적으로 결정 가능함을 시사한다.
• 이 정리는 코디멘션 d−m이 작을 경우에도 성립하지만, d−m ≤ 2일 경우 r-겹 점의 차원 제약으로 인해 조건이 자명해진다.