[논문 리뷰] Subdivisions, shellability, and the Zeeman conjecture

Karim Adiprasito, Bruno Benedetti|arXiv (Cornell University)|2012. 02. 29.

Commutative Algebra and Its Applications인용 수 3

한 줄 요약

이 논문은 볼록 다면체의 충분히 세분화된 직각 삼각분할이 셸러블함을 증명하며, 접합 연산을 분석하기 위해 상대적 셸러블성 프레임워크를 도입한다. 이는 삼각분할이 유한한 수의 유도된 세분화 이후에 셸러블해지면 그것이 조각별 선형(PL)임을 보여주며, 증명되지 않은 오랜 질문들인 Zeeman, Whitehead, Billera–Swartz의 문제를 해결하고, 붕괴 가능성과 비회피성에 관한 결과를 확장한다.

ABSTRACT

We prove that the second derived subdivision of any rectilinear triangulation of any convex polytope is shellable. Also, we prove that the first derived subdivision of every rectilinear triangulation of any convex 3-dimensional polytope is shellable. This complements Mary Ellen Rudin's classical example of a non-shellable rectilinear triangulation of the tetrahedron. Our main tool is a new relative notion of shellability that characterizes the behavior of shellable complexes under gluing. As a corollary, we obtain a new characterization of the PL property in terms of shellability: A triangulation of a sphere or of a ball is PL if and only if it becomes shellable after sufficiently many derived subdivisions. This improves on results by Whitehead, Zeeman and Glaser, and answers a question by Billera and Swartz. We also show that any contractible complex can be made collapsible by repeatedly taking products with an interval. This strengthens results by Dierker and Lickorish, and resolves a conjecture of Oliver. Finally, we give an example that this behavior extends to non-evasiveness, thereby answering a question of Welker.

연구 동기 및 목표

• 임의의 볼록 다면체의 직각 삼각분할에 대해 두 번째 유도된 세분화가 셸러블함을 증명하는 것.
• 3차원 볼록 다면체의 임의의 직각 삼각분할에 대해 첫 번째 유도된 세분화가 셸러블함을 보여주는 것. 이는 Rudin의 비셸러블 예제를 보완한다.
• 셸러블 복합체가 부분복합체를 따라 접합될 때의 행동을 특성화하는 상대적 셸러블성의 개념을 개발하는 것.
• 충분한 수의 유도된 세분화 이후 셸러블성이 성립하는 것으로 조각별 선형(PL) 성질을 새롭게 특성화하는 것.
• 수축 가능한 복합체가 반복적으로 구간과의 곱을 취할 때 붕괴 가능(비회피적)이 되도록 하는 결과를 확장하는 것.

제안 방법

• 셸러블 복합체가 부분복합체를 따라 접합될 때의 행동을 분석하기 위해 새로운 상대적 셸러블성 개념을 도입하는 것.
• 상대적 셸러블성 프레임워크를 적용하여 직각 삼각분할의 유도된 세분화의 셸러블성을 증명하는 것.
• 인도크션과 다면체 복합체의 구조적 분해를 이용하여 유도된 세분화 하에서의 셸러블성을 검증하는 것.
• 기존의 유도된 세분화와 PL 위상수학에 관한 결과를 활용하여 셸러블성과 PL 성질 간의 관계를 규명하는 것.
• 계약 가능한 복합체를 붕괴 가능하게 만들기 위해 구간과의 곱 연산을 적용하는 것. 이는 Dierker와 Lickorish의 이전 결과를 일반화한다.
• 반복적인 구간 곱에 의한 비회피성의 유지 여부를 분석하기 위해 예시를 구성함으로써 비회피성에 대한 분석을 확장하는 것.

실험 결과

연구 질문

• RQ1 임의의 볼록 다면체의 직각 삼각분할에 대해 두 번째 유도된 세분화가 셸러블함을 보일 수 있는가?
• RQ2 모든 3차원 볼록 다면체의 직각 삼각분할에 대해 첫 번째 유도된 세분화가 셸링을 갖는가?
• RQ3 삼각분할된 구 또는 공의 PL 성질은 유한한 수의 유도된 세분화 이후 셸러블성이 성립함으로써 특성화될 수 있는가?
• RQ4 임의의 수축 가능한 복합체를 반복적으로 구간과의 곱을 취함으로써 붕괴 가능하게 만들 수 있는가?
• RQ5 셸러블성의 세분화에 대한 행동이 Welker의 비회피성 개념으로도 확장되는가?

주요 결과

• 임의의 볼록 다면체의 직각 삼각분할에 대해 두 번째 유도된 세분화는 셸러블하다.
• 3차원 볼록 다면체의 임의의 직각 삼각분할에 대해 첫 번째 유도된 세분화는 셸러블하다.
• 구 또는 공의 삼각분할은 그것이 충분한 수의 유도된 세분화 이후에 셸러블해지면 PL임과 동치이다.
• 임의의 수축 가능한 복합체는 충분히 많은 수의 구간과의 곱을 취함으로써 붕괴 가능하게 만들 수 있다.
• 셸러블성의 세분화에 대한 행동은 비회피성으로도 확장되며, 구성된 예시로 이를 입증하였다.
• 논문은 Oliver의 붕괴 가능성에 관한 추측을 해결하였고, Billera와 Swartz, Welker의 비회피성에 관한 질문들에 답하였다.