[論文レビュー] Embedding simply connected 2-complexes in 3-space -- II. Rotation systems

Johannes Carmesin|arXiv (Cornell University)|Sep 14, 2017

Topological and Geometric Data Analysis参考文献 11被引用数 8

ひとこと要約

この論文は、単連結な2次元単体複体が3次元空間に位相的に埋め込めるための組合せ的特徴づけを確立し、そのような埋め込みが存在するための必要十分条件として、各辺における面の巡回的順序が整合的であり、リンクグラフが整合的な平面埋め込みを持つ平面的回転系を備えることであることを示している。主な貢献は、2次元複体に対するカトロフスキーの平面性定理の3次元版の確立である。

ABSTRACT

We prove that 2-dimensional simplicial complexes whose first homology group is trivial have topological embeddings in 3-space if and only if there are embeddings of their link graphs in the plane that are compatible at the edges and they are simply connected.

研究の動機と目的

• 単連結な2次元複体が3次元空間に位相的に埋め込めるかどうかの組合せ的特徴づけを提供すること。
• 回転系の導入により、カトロフスキーの平面性基準を3次元単体複体へと拡張すること。
• 単連結な複体に対して、平面的回転系がS^3への埋め込みの必要十分条件であることを確立すること。
• 1次ホモロジー群がF_p上自明な複体に対しても特徴づけを一般化し、位相的埋め込み可能性を代数的位相と組合せ論とで結びつけること。
• 3次元多様体への埋め込みのためのアルゴリズム的およびマイナーに基づく特徴づけの基盤を築くこと。非可定向な場合への一般化を含む。

提案手法

• 各辺に接する面の巡回的順序によって定義される2次元複体の回転系の概念を導入する。
• 各頂点におけるリンクグラフを、その頂点に接する辺と面からなるグラフとし、接続関係を保存する。
• リンクグラフが各辺における面の巡回的順序と整合する平面的埋め込みを備えることと、平面的回転系の存在が同値であることを確立する。
• ペレルマンの3次元球面定理を用いて、位相的埋め込み問題をリンクグラフの埋め込みに関する組合せ的問題に還元する。
• 局所的に3連結な場合に還元することで解析を単純化し、除外マイナー特徴づけを導出する。
• 1次ホモロジー群がF_p上自明な複体に対しても結果を拡張し、単連結性と平面的回転系の両備えがS^3への埋め込みを示すことの根拠を示す。

実験結果

リサーチクエスチョン

• RQ1 単連結な2次元複体が3次元球面S^3に位相的に埋め込めるのはいつか？
• RQ2 面の向きとリンクグラフの埋め込みに関するどの組合せ的条件が、このような埋め込みを特徴づけるか？
• RQ3 平面的回転系の存在が、複体の基本群やホモロジー群とどのように関係するか？
• RQ4 特徴づけを単連結でない複体へと拡張できるか。特にF_p上1次ホモロジー群が自明な複体に対しては？
• RQ5 3次元多様体への埋め込みの除外マイナーは何か。可定向と非可定向な場合でどのように異なるか？

主な発見

• 単連結な単体的複体は、S^3に埋め込めるための必要十分条件として、平面的回転系を備えることである。
• 単連結な2次元複体に対して、平面的回転系の存在は、S^3への位相的埋め込みの必要十分条件である。
• F_p上1次ホモロジー群が自明な複体に対しては、S^3への埋め込み可能性は、単連結であることと平面的回転系の存在の両備えに同値である。
• ホモロジー的条件を用いて、アーベル群を基本群とする一般の2次元複体や、一般の2次元複体に対しても特徴づけを一般化できる。
• S^3への埋め込みの除外マイナーのリストには、トーラスクロスオブストラクション（(1,2)を除く）と、巻き数族(1,2,2)および(1,1,1,2)に対する新しいクラインボトルクロスオブストラクションが含まれる。
• 平面的回転系の存在を検証する多項式時間アルゴリズムが存在し、一般化された平面的回転系を用いて非可定向3次元多様体への特徴づけへと一般化可能である。