[論文レビュー] Combinatorics of combinatorial topology

Sergey A. Melikhov|arXiv (Cornell University)|Aug 30, 2012

Advanced Combinatorial Mathematics参考文献 44被引用数 8

ひとこと要約

本稿は、可縮な多面体を特徴付けるために、構成可能ポセットを用いた組合せ的枠組みを、PL位相幾何学に導入する。これは古典的なPL手法の完全な組合せ的代替手段を提供する。本稿では、コンパクトな多面体が可縮であるための必要十分条件として、その双対順序集合が構成可能であるような三角形分割またはセル分割をもつことであることを示し、古典的結果の新たな組合せ的証明を提供するとともに、Readingによるポセットの「ジッピング」操作を用いてPLの交差性を組合せ的に精緻化する。

ABSTRACT

We develop a tighter implementation of basic PL topology, which keeps track of some combinatorial structure beyond PL homeomorphism type. With this technique we clarify some aspects of PL transversality and give combinatorial proofs of a number of known results. New results include a combinatorial characterization of collapsible polyhedra in terms of constructible posets (generalizing face posets of constructible simplicial complexes in the sense of Hochster). The relevant constructible posets are also characterized in terms of Reading's zipping of posets, which is a variation of edge contractions in simplicial complexes.

研究の動機と目的

• PL位相幾何学のよりきめ細やかな、組合せ的に精緻化された枠組みを構築し、PL同相型よりも多くの構造を追跡すること。
• PLの交差性と崩壊の組合せ的内容を明確にし、古典的なアフィン的・単体的アプローチを越えていくこと。
• Whitehead–Zeemanの線形分割法に類似したが、より効率的な、PL位相幾何学の完全な組合せ的基盤を提供すること。
• 非単体的かつ非純粋な複体に対しても一般化可能な、Hochsterの概念を拡張して、構成可能ポセットを用いた可縮多面体の特徴付けを行うこと。
• 可縮性とReadingによるポセットのジッピング操作との間の関係を確立し、PL構造を研究するための新しい組合せ的ツールを提供すること。

提案手法

• 本稿は、主にセル複体の面ポセット（face posets）を用いたポセットを研究の主対象とする。セル複体は、その非空な面の順序複体と同一視される。
• 構成可能ポセットの再帰的定義を導入する：ポセットが、その最大元の集合に覆い条件を満たす共通部分集合を持つ2つの構成可能順序イデアルの和集合であるとき、構成可能と定義する。
• 本フレームワークは、三角形分割やセル分割の双対ポセットを用い、多面体の組合せ的データから多面体を再構成可能であるように設計されている。
• Edge contractionの一般化として、Readingによるポセットのジッピング操作を用い、組合せ的崩壊をモデル化する。
• 複体とその双対の間の写像を解析するために、局所化写像とHatcher分解を用いる。
• Mayer–VietorisとSeifert–van Kampenの議論をポセットの文脈に応用し、分割の双対ポセットに関する交差性と構成可能性の結果を証明する。

実験結果

リサーチクエスチョン

• RQ1 可縮多面体は、その双対ポセットの構造を用いて、完全に組合せ的に特徴付けられるか？
• RQ2 構成可能ポセットの概念は、単体的複体から一般のセル複体や非純粋複体へと、Hochsterの概念をどのように拡張できるか？
• RQ3 PLの交差性とポセット上のジッピング操作の関係は何か？
• RQ4 古典的PL位相幾何学の結果（例：Cohen–Homma定理）は、組合せ的ポセット構成のみを用いて再証明可能か？
• RQ5 一般のセル複体に対して、単体的崩壊の組合せ的類似物が存在し、可縮性を保つことができるか？

主な発見

• コンパクトな多面体が可縮であるための必要十分条件は、その双対ポセットが構成可能であるような三角形分割またはセル分割をもつことである。これは完全な組合せ的特徴付けを確立する。
• 任意の可縮セル複体の双対ポセットは構成可能であり、逆に任意の構成可能双対ポセットは可縮多面体から生じる。
• Readingが導入したジッピング操作に関して、構成可能ポセットが閉じていることが示された。これは、単体的複体におけるエッジ収縮の一般化である。
• 交差的に構成可能な双対ポセットは、写像の合成に関して保存され、Cohen–Homma定理のような古典的結果の新たな証明を可能にする。
• 閉多様体から多面体への写像が可縮であるための必要十分条件として、その像が多様体と位相的に同相であること（組合せ的手段により拡張された古典的結果）を証明した。
• 本フレームワークにより、アフィン幾何学や線形分割に依存せずに、PLの交差性定理の組合せ的証明が可能になった。