[논문 리뷰] Metric Geometry and Collapsibility

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

Topological and Geometric Data Analysis참고 문헌 60인용 수 7

한 줄 요약

이 논문은 유클리드 기하학의 고전 정리들에 대한 이산적 대응을 수립한다: 경계가 있는 기하학을 가진 다양체의 기하적 삼등분의 수를 제한하는 이산적 히쳐 정리와, 볼록한 정점 별이 있는 CAT(0) 복합체는 붕괴 가능하다는 것을 증명하는 이산적 하다르드–카르탕 정리이다. 핵심 기여는 포르만의 이산 모스 이론이 고전적 모스 이론보다 호몰로지에 더 효과적으로 영향을 줄 수 있음을 보여주며, 이는 토폴로지, 이산 기하학, 수학적 생물학 분야에서 새로운 결과를 이끌어낸다.

ABSTRACT

Cheeger’s finiteness theorem bounds the number of diffeomorphism types of manifolds with bounded curvature, diameter and volume; the Hadamard–Cartan theorem, as popularized by Gromov, shows the contractibility of all non-positively curved simply connected metric length spaces. We establish a discrete version of Cheeger’s theorem (“In terms of the number of facets, there are only exponentially many geometric triangulations of Riemannian man-ifolds with bounded geometry”), and a discrete version of the Hadamard–Cartan theorem (“Every complex that is CAT(0) with a metric for which all vertex stars are convex, is col-lapsible”). The first theorem has applications to discrete quantum gravity; the second shows that Forman’s discrete Morse theory may be even sharper than classical Morse theory, in bounding the homology of a manifold. In fact, although Whitehead proved in 1939 that all PL collapsible manifolds are balls, we show that some collapsible manifolds are not balls. Further central consequences of our work are: (1) Every flag connected complex in which all links are strongly connected, is Hirsch. (This strengthens a result by Provan–Billera.) (2) Any linear subdivision of the d-simplex collapses simplicially, after d − 2 barycentric subdivisions. (This presents progress on an old question by Kirby and Lickorish.) (3) There are exponentially many geometric triangulations of Sd. (This interpolates between the result that polytopal d-spheres are exponentially many, and the conjecture that all triangulations of Sd are exponentially many.) (4) If a vertex-transitive simplicial complex is CAT(0) with the equilateral flat metric, then it is a simplex. (This connects metric geometry with the evasiveness conjecture.) (5) The space of phylogenetic trees is collapsible. (This connects discrete Morse theory to mathematical biology.)

연구 동기 및 목표

• 경계가 있는 기하학을 가진 다양체의 기하적 삼등분의 수를 제한하는, 히쳐의 유한성 정리의 이산적 형태를 수립하는 것.
• CAT(0) 복합체에서 정점 별이 볼록한 경우 붕괴 가능하다는 것을 보여주는 하다르드–카르탕 정리의 이산적 대응을 증명하는 것.
• 이산 모스 이론이 고전적 모스 이론보다 더 강력한 호몰로지 제약 조건을 제공할 수 있음을 보여주는 것.
• 심플렉스 붕괴에 관한 커비와 리코리시의 추측을 포함한 이산 기하학 및 토폴로지 분야의 열린 문제를 해결하는 것.
• 신규한 심플렉스 복합체의 구조적 결과를 통해 거리 기하학과 조합론, 대수적 토폴로지, 수학적 생물학을 연결하는 것.

제안 방법

• 곡률과 볼록성 제약 조건 하에서 심플렉스 복합체의 구조를 분석하기 위해 거리 기하학 도구의 사용.
• 복합체의 붕괴 가능성과 호몰로지를 연구하기 위해 포르만의 이산 모스 이론의 적용.
• d-단체의 선형 분할을 분석하기 위해 바리센터릭 분할의 활용.
• 히르슈 유형 성질을 유도하기 위해 플래그 복합체와 강하게 연결된 복합체의 사용.
• 등변 평탄한 거리계를 가진 정점에 대해 대칭인 CAT(0) 복합체가 반드시 단체여야 한다는 것을 증명하기 위해 위상수학적 및 기하학적 추론의 활용.
• 계통수 나무의 공간이 붕괴 가능하다는 것을 보여주기 위해 위상수학적 및 기하학적 추론의 활용.

실험 결과

연구 질문

• RQ1 경계가 있는 기하학을 가진 다양체의 기하적 삼등분의 수를 제한하는, 히쳐의 유한성 정리의 이산적 형태를 정의할 수 있는가?
• RQ2 어떤 거리 및 조합 조건 하에서 CAT(0) 복합체가 붕괴 가능할 수 있는가?
• RQ3 일부 경우에서 이산 모스 이론이 고전적 모스 이론보다 더 강력한 호몰로지 제약 조건을 제공할 수 있는가?
• RQ4 모든 d-단체의 선형 분할은 유한 번의 바리센터릭 분할 이후에 심플렉스 붕괴 가능할까?
• RQ5 등변 평탄한 거리계를 가진 정점에 대해 대칭인 CAT(0) 복합체는 그 위상에 어떤 구조적 제약 조건을 가질 수 있는가?

주요 결과

• 경계가 있는 기하학을 가진 리만 다양체의 기하적 삼등분은 면의 수에 대해 지수적으로만 존재한다.
• 모든 정점 별이 볼록한 거리계를 가진 CAT(0) 복합체는 붕괴 가능하며, 이는 이산 하다르드–카르탕 정리를 수립한다.
• 일부 붕괴 가능한 다양체는 구와 호환되지 않으며, 이는 붕괴 가능성은 구 모양의 위상 구조를 의미하지는 않음을 보여준다.
• 모든 d-단체의 선형 분할은 d − 2번의 바리센터릭 분할 이후에 붕괴 가능하며, 커비와 리코리시의 오랜 질문을 해결한다.
• d-구면의 기하적 삼등분은 알려진 다면체 구면 결과와 모든 삼등분에 대한 전반적 추측 사이를 연결하며 지수적으로 존재한다.
• 계통수 나무의 공간은 붕괴 가능하며, 이는 이산 모스 이론과 수학적 생물학을 연결한다.