[論文レビュー] Classification and Models of Simply-connected Trivalent $2$-dimensional Stratifolds

J. C. Gómez-Larrañaga, F. González-Acuña+1 more|arXiv (Cornell University)|Nov 23, 2016

Topological and Geometric Data Analysis参考文献 5被引用数 3

ひとこと要約

この論文は、ラベル付き二部グラフを用いて、単連結な三価2次元ストラティフォールドを分類し、それらが単一の白頂点から出発し、二つの操作O1（二つのグラフを白頂点で接続する）およびO2（三つの辺がすべて1にラベル付けされた頂点を変更する）を用いて生成されるグラフに正確に一致することを証明する。主な貢献は、これらの操作を通じて、単連結な三価2次元ストラティフォールドの完全な組合的特徴付けを提供することにある。

ABSTRACT

Trivalent $2$-stratifolds are a generalization of $2$-manifolds in that there are disjoint simple closed curves where three sheets meet. We obtain a classification of $1$-connected $2$-stratifolds in terms of their associated labeled graphs and develop operations that will construct from a single vertex all graphs that represent $1$-connected $2$-stratifolds.

研究の動機と目的

• 関連するラベル付きグラフを用いて、すべての単連結な三価2次元ストラティフォールドを分類すること。
• 対応するストラティフォールドが単連結であるためのラベル付きグラフに関する必要十分条件を特定すること。
• 最小の出発点からすべてのこのようなグラフを生成する構成的演算を開発すること。
• グラフ操作を用いて、単連結な三価2次元ストラティフォールドの完全な組合的モデルを確立すること。
• 3次元多様体論における2次元ストラティフォールドの基本群および位相的構造を理解するための基盤を提供すること。

提案手法

• 各三価2次元ストラティフォールドを、白頂点（表面成分、その genus を示す）と辺がラベル付けされた二部グラフとして表現する。辺は、各1次元スケルトン成分の近傍を定義する置換の和分解に対応する。
• 操作O1*を用い、一つのグラフの任意の白頂点と別のグラフの任意の白頂点を接続することで二つのラベル付きグラフを結合し、基本群を自由積として保存する。
• 操作O2を用い、次数3の黒頂点を三つの辺がすべて1にラベル付けされたものに置き換えることでグラフを変更し、基本群を保存する。
• グラフ族の階層を定義する：単一の白頂点から出発し、O1*およびO2を繰り返し適用して集合𝒢内のすべてのグラフを生成する。
• 黒頂点の数に関する帰納法を用いて、任意の単連結な三価2次元ストラティフォールドがこの構成によって得られることを証明する。
• 2次元ストラティフォールドの基本群に関する既知の結果と、単連結空間が自明な基本群を持つという事実を活用し、可能なグラフ構造を制限する。

実験結果

リサーチクエスチョン

• RQ1 どのラベル付き三価グラフが単連結な2次元ストラティフォールドに対応するか？
• RQ2 すべての単連結な三価2次元ストラティフォールドを、明示的なグラフ操作を用いて単一の白頂点から構成できるか？
• RQ3 新しいグラフを生成しながら基本群を保存する操作は何か？
• RQ4 グラフ内の辺ラベルと頂点の genus は、ストラティフォールドの位相的不変量とどのように関係するか？
• RQ5 すべての単連結な三価2次元ストラティフォールドの完全かつ有限な組合的特徴付けは存在するか？

主な発見

• 三価2次元ストラティフォールドが単連結であるための必要十分条件は、その関連するラベル付きグラフが、単一の白頂点からO1*およびO2を用いて生成される集合𝒢に属することである。
• 操作O1*は、入力された二つのグラフの基本群を自由積として保存し、非連結成分を結合するために用いられる。
• 操作O2は基本群を保存し、黒頂点を三つの次数1の辺でラベル付けされたものに置き換えるために用いられ、単連結性を維持する。
• 分類は、任意の単連結な三価2次元ストラティフォールドが、すべての白頂点の genus が0で、辺ラベルが1または2である木構造のグラフを持つという事実に依存している。
• 黒頂点の数に関する帰納法を用い、任意のこのようなグラフがO2またはO1*を用いて単一の頂点にまで簡約可能であることを示し、𝒢に属することを確認した。
• 構成は完全である：すべての単連結な三価2次元ストラティフォールドは、単一の白頂点から出発し、O1*およびO2を繰り返し適用することで得られる。