[논문 리뷰] Metric Geometry, Convexity and Collapsibility

Karim Adiprasito, Bruno Benedetti|arXiv (Cornell University)|2011. 07. 28.

Advanced Combinatorial Mathematics참고 문헌 86인용 수 11

한 줄 요약

이 논문은 단체 복합체에서 거리기하학, 볼록성, 붕괴 가능성 사이의 깊은 연결 고리를 수립한다. CAT(0) 복합체에서 정점의 별형 볼록성 조건이 성립할 경우 붕괴 가능성을 증명하고, 다면체나 별형 다면체의 선형 분할은 유한 번의 바르체르트 분할을 거친 후 단체적 붕괴 가능성이 된다—이로써 리코리시와 굿릭의 오랜 난제를 해결한다. 주요 기여는 CAT(0) 거리구조를 통한 붕괴 가능 분할의 특성화이며, 구형 및 공간 형식의 기하 분할에 대한 지수적 상한을 도출하는 데 응용된다.

ABSTRACT

Collapsibility is a classical notion introduced by Whitehead as part of his simple homotopy theory. We provide several results relating it to metric geometry and convexity. (1) Every complex that is CAT(0) with a metric for which all vertex stars are convex is collapsible. (2) Any linear subdivision of any polytope is simplicially collapsible after one barycentric subdivision. This solves up to one derived subdivision a classical question by Lickorish. (3) Any linear subdivision of any star-shaped polyhedron in R^s is simplicially collapsible after d-2 barycentric subdivisions at most. This presents progress on an old question by Goodrick. We furthermore provide the following applications: (1) Any simplicial complex admits a CAT(0) metric if and only if it admits collapsible triangulations. (2) All contractible manifolds (except for some 4-dimensional ones) admit collapsible CAT(0) triangulations. This provides a polyhedral version of a classical result of Ancel and Guilbault. (3) There are exponentially many geometric triangulations of S^d. This interpolates between the known result that boundaries of simplicial (d+1)-polytopes are exponentially many, and the conjecture that d-spheres are more than exponentially many. (4) In terms of the number of facets, there are only exponentially many geometric triangulations of space forms with bounded geometry. This establishes a discrete version of Cheeger's finiteness theorem.

연구 동기 및 목표

• 단체 복합체에서 거리기하학, 볼록성, 붕괴 가능성 간의 상호작용을 탐구한다.
• 다면체나 별형 다면체의 선형 분할에 대한 붕괴 가능성에 관한 고전적 열린 문제를 해결한다.
• 붕괴 가능 분할을 통한 CAT(0) 거리구조를 갖는 단체 복합체를 특성화한다.
• 리만 기하학의 고전적 유한성 정리들(예: 케이러의 유한성 정리 등)에 대한 이산적 유사체를 수립한다.

제안 방법

• 단순 호모토피 이론 내 웨이트헤드의 붕괴 개념을 기초로 사용한다.
• CAT(0) 거리조건과 정점의 별형 볼록성을 적용하여 복합체의 붕괴 가능성을 도출한다.
• 비붕괴 복합체를 붕괴 가능하게 만들기 위해 바르체르트 분할을 활용한다.
• 다면체의 경계 및 별형 다면체에 관한 결과를 활용하여 필요한 분할 수를 제한한다.
• 기하학적 및 위상수학적 추론을 통해 CAT(0) 구조와 붕괴 가능성, 분할 수 계산 간의 관계를 규명한다.
• 경계가 있는 기하 분할을 갖는 d-구형 및 공간 형식의 기하 분할 수에 대한 지수적 상한을 수립한다.

실험 결과

연구 질문

• RQ1 어떤 거리구조 및 볼록성 조건에서 단체 복합체가 붕괴 가능할까?
• RQ2 다면체 또는 별형 다면체의 선형 분할을 단체적 붕괴 가능하게 만들기 위해 몇 번의 바르체르트 분할이 필요한가?
• RQ3 어떤 가속형 다각형이 붕괴 가능 CAT(0) 분할을 갖는가?
• RQ4 경계가 있는 기하 분할을 갖는 d-구형 및 공간 형식에 대해 기하 분할은 얼마나 존재하는가?
• RQ5 CAT(0) 거리구조의 존재와 붕괴 가능 분할의 존재 사이의 관계는 무엇인가?

주요 결과

• 모든 단체 복합체가 CAT(0) 거리구조를 갖는 것은 붕괴 가능 분할을 갖는 것과 정확히 동치이다.
• 모든 가속형 다각형(일부 4차원의 경우를 제외하고)은 붕괴 가능 CAT(0) 분할을 갖는다.
• 모든 다면체의 선형 분할은 한 번의 바르체르트 분할을 거친 후 단체적 붕괴 가능성이 된다.
• R^s 내의 별형 다면체의 선형 분할은 최대 d-2번의 바르체르트 분할을 거친 후 단체적 붕괴 가능성이 된다.
• d-구형 S^d에는 지수적으로 많은 기하 분할이 존재한다.
• 경계가 있는 기하 분할을 갖는 공간 형식에는 면의 수에 대해 지수적으로 많은 기하 분할 뿐만 아니라, 그 수가 유한함을 보여준다.