[論文レビュー] Metric Geometry and Collapsibility

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

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次元球面には指数関数的に多くの幾何的三角形分割が存在し、既知の多面体的球面の結果と、すべての三角形分割に関する完全な予想の間を補間する。
• 系統発生木の空間は収縮可能であり、離散的モース理論と数理生物学を結びつける。