[논문 리뷰] Combinatorics of embeddings

Sergey A. Melikhov|arXiv (Cornell University)|2011. 03. 28.

Advanced Combinatorial Mathematics참고 문헌 49인용 수 8

한 줄 요약

이 논문은 유일한 보완 세포를 가진 유한 세포 복합체인 이항 세포 복합체(dichotomial cell complexes)를 도입하여 유클리드 공간 내 임베딩을 통합적인 조합론적 프레임워크로 이해하는 데 기여한다. 이는 $(2n+1)$차원의 이항 세포 복합체의 $n$-스켈레톤이 $ olimits\mathbb{R}^{2n}$에 대한 임베딩을 금지하는 최소 미니어(minor)임을 증명하며, 평면성과 링크 없는 임베딩에 대한 Kuratowski 및 Robertson–Seymour–Thomas 기준에 대한 새로운 시각을 제공한다.

ABSTRACT

We offer the following explanation of the statement of the Kuratowski graph planarity criterion and of 6/7 of the statement of the Robertson-Seymour-Thomas intrinsic linking criterion. Let us call a cell complex 'dichotomial' if to every cell there corresponds a unique cell with the complementary set of vertices. Then every dichotomial cell complex is PL homeomorphic to a sphere; there exist precisely two 3-dimensional dichotomial cell complexes, and their 1-skeleta are K_5 and K_{3,3}; and precisely six 4-dimensional ones, and their 1-skeleta all but one graphs of the Petersen family. In higher dimensions n>2, we observe that in order to characterize those compact n-polyhedra that embed in S^{2n} in terms of finitely many "prohibited minors", it suffices to establish finiteness of the list of all (n-1)-connected n-dimensional finite cell complexes that do not embed in S^{2n} yet all their proper subcomplexes and proper cell-like combinatorial quotients embed there. Our main result is that this list contains the n-skeleta of (2n+1)-dimensional dichotomial cell complexes. The 2-skeleta of 5-dimensional dichotomial cell complexes include (apart from the three joins of the i-skeleta of (2i+2)-simplices) at least ten non-simplicial complexes.

연구 동기 및 목표

• Kuratowski 평면성 기준과 Robertson–Seymour–Thomas의 내재 링크 기준에 대한 조합론적 해석을 제공하기 위해.
• $n$-다양체의 $ olimits\mathbb{R}^{2n}$ 내 임베딩을 유한한 수의 금지된 미니어로 특성화하기 위해.
• $\mathbb{R}^{2n}$ 내 임베딩에 대한 최소 장애물이 되는 세포 복합체의 클래스인 이항 복합체를 규명하기 위해.
• 모든 진부분 복합체와 몫 복합체가 임베딩 가능한 조건에서 $(2n+1)$차원 이항 복합체의 $n$-스켈레톤이 정확히 임베딩 불가능한 최소 복합체임을 보여주기 위해.
• 계산이 불가능한 위상수학적 개념(예: PL 구면)에 의존하는 것을 제거하기 위해 결과를 순수히 조합론적 조건으로 재구성하기 위해.

제안 방법

• 모든 비어있지 않은 세포가 유일한 보완 세포를 가지는 세포 복합체를 이항 복합체로 정의하기.
• 모든 이항 세포 복합체가 구면과 PL 위상동형임을 증명하여 강력한 위상적 제약 조건을 확립하기.
• 모든 3차원 및 4차원 이항 복합체를 분류: 1-스켈레톤이 각각 $K_5$와 $K_{3,3}$인 두 개, 1-스켈레톤이 페터센 가문(Petersen family)의 그래프에서 하나를 제외한 여섯 개.
• 링크-불일치 조건 하에서의 변형 수축(edge contractions)을 통한 $h$-미니어의 개념을 도입하여 임베딩 가능성의 금지된 미니어 특성화를 정의하기.
• mod 2 van Kampen 방해와 그 코바운더리 조건을 적용하여, 방해가 사라지면 위트니 트릭 실현을 통해 임베딩이 존재함을 보여주기.
• 링킹 수와 대수적 교차의 기하학적 기하학적 기하학적 성질을 활용하여, 이sov의와 콘 구조를 이용해 사상에서의 겹침 점들을 제거하기.

실험 결과

연구 질문

• RQ1 Kuratowski 평면성 기준과 내재 링크 기준의 배경이 되는 조합론적 구조는 무엇인가?
• RQ2 어느 유한한 세포 복합체가 $ olimits\mathbb{R}^{2n}$ 내 $n$-다양체의 임베딩에 대한 최소 장애물이 되는가?
• RQ3 $S^{2n+1}$ 내 링크 없는 임베딩의 존재는 유한한 수의 금지된 미니어로 특성화될 수 있는가?
• RQ4 이항 세포 복합체는 4차원에서 van Kampen 방해와 위트니 트릭과 어떻게 관련되는가?
• RQ5 PL 구면과 수축 가능한 다양체와 같은 위상수학적 개념은 임베딩 기준에서 순수히 조합론적 조건으로 대체될 수 있는가?

주요 결과

• 모든 이항 세포 복합체는 구면과 PL 위상동형이므로, 이 클래스에 대해 강력한 위상적 불변량을 제공한다.
• 정확히 두 개의 3차원 이항 세포 복합체가 존재하며, 그 1-스켈레톤은 각각 $K_5$와 $K_{3,3}$이다.
• 정확히 여섯 개의 4차원 이항 세포 복합체가 존재하며, 그 1-스켈레톤은 페터센 가문의 그래프에서 하나를 제외한 모든 그래프이다.
• $(2n+1)$차원 이항 세포 복합체의 $n$-스켈레톤은 유한한 비임베딩 가능한 $(n-1)$-연결 $n$-복합체의 존재를 가정할 경우, $ olimits\mathbb{R}^{2n}$ 내 임베딩에 대한 완전한 최소 장애물 목록을 이룬다.
• 5차원 이항 세포 복합체의 2-스켈레톤은 $(2i+2)$-단체의 $i$-스켈레톤의 합성 외에도 최소 열 개의 비단체 복합체를 포함한다.
• mod 2 van Kampen 방해가 사라지고 링킹 조건이 만족될 경우, 4차원에서 2-다양체 $P$와 그 1차원 부분 복합체 $Q$에 대해 위트니 트릭이 작동한다.