[論文レビュー] Methods from Differential Geometry in Polytope Theory

Karim Adiprasito|arXiv (Cornell University)|Mar 11, 2014

Advanced Combinatorial Mathematics参考文献 38被引用数 5

ひとこと要約

本論文は、微分幾何学の手法——特にアレクサンドロフ空間理論、離散モース理論、凸超曲面の幾何学——を用いて、多面体および単体的複体理論における長年の未解決問題を解決する。正規フラッグ複体においてホイッシャー予想を証明し、実アレンジメントの補集合に対してレフシェッツ型定理を確立し、2-アレンジメントの最小性および射影的一意性に関する古典的問題を、共役ネットや境界付き局所凸超曲面といった道具を用いて解消する。

ABSTRACT

The purpose of this thesis is to study classical combinatorial objects, such as polytopes, polytopal complexes, and subspace arrangements, using tools that have been developed in combinatorial topology, especially those tools developed in connection with (discrete) differential geometry, geometric group theory and low-dimensional topology.

研究の動機と目的

• メトリック幾何学、特にアレクサンドロフ空間理論を用いて単体的複体の直径に対する上界を確立する。
• 離散モース理論を用いて凸およびスターダムド複体における崩壊可能性および非逃避性に関する予想を解消する。
• 離散微分幾何学の道具を用いて2-アレンジメントの最小性を証明し、ペルレスおよびシーファードの古典的問題を解決する。
• 幾何的構成を用いて射影的一意な多面体の普遍性を示し、シーファードの予想を反証する。
• 共役ネットや局所凸超曲面といった概念を多面体的複体に応用することで、組み合わせ的トポロジーと微分幾何学を統合する。

提案手法

• 有界曲率のアレクサンドロフ空間理論を用いて、正規フラッグ複体の直径に対する上界を導出し、このクラスにおいてホイッシャー予想を証明する。
• フォーマンの離散モース理論を用いて部分空間アレンジメントの補集合を研究し、代数幾何学に依存せずにレフシェッツ超平面定理を実アレンジメントへ一般化可能であることを示す。
• 離散双対性および補集合マッチングを用いて2-アレンジメントのストラティフィケーションを分析し、外向きマッチングされた面を用いて最小性を証明する。
• 境界付き局所凸超曲面の理論および共役ネットを用いて、最小性および射影的一意性の問題を解消する。
• 凸位置に配置された理想クロスベッドイングキューブィカルトーラス（CCT）を構成し、実現空間が次元が小さい多くの4次元多面体の存在を示す。
• 回転対称性および射影を用いて幾何的不等式を球面距離計算に還元し、ヘミスフィア幾何学における重要な包含関係を証明する。

実験結果

リサーチクエスチョン

• RQ1 正規フラッグ複体においてホイッシャー予想は成り立つのか。また、メトリック幾何学を用いて証明可能か。
• RQ2 深い代数幾何学に依存せずに、実部分空間アレンジメントの補集合に対してレフシェッツ型超平面定理を確立できるか。
• RQ3 2-アレンジメントは、可能な限り少ない面数を持つという意味で最小性を満たすのか。また、離散微分幾何学を用いてこれを証明できるか。
• RQ4 射影的一意な多面体の普遍性を確立できるか。また、これによりシーファードの予想が反証されるか。
• RQ5 次元が低い実現空間をもつ無限個の4次元多面体が存在するか。また、このような例を明示的に構成できるか。

主な発見

• メトリック幾何学およびアレクサンドロフ空間理論を用いて、正規フラッグ複体におけるホイッシャー予想が証明され、直径に対する上界が確立された。
• 実部分空間アレンジメントの補集合に対して離散的レフシェッツ定理が確立され、従来は代数幾何学に依存していた結果が一般化された。
• 離散モース理論および補集合マッチングを用いて2-アレンジメントの最小性が証明され、ペルレスおよびシーファードの古典的問題が解決された。
• 凸位置に配置された理想クロスベッドイングキューブィカルトーラス（CCT）の存在が示され、実現空間が次元が小さい多くの4次元多面体の構成が可能になった。
• シーファードの予想に対する反例が構成され、固定次元における射影的一意な多面体の普遍性が証明された。
• 球面上の特定の射影点間の距離がπ/4未満であれば、その点がヘミスフィアの内部にあることが示され、重要な包含関係の議論が可能になった。