[論文レビュー] Nonorientable 3-manifolds admitting coloured triangulations with at most 30 tetrahedra

Paola Bandieri, Paola Cristofori+1 more|arXiv (Cornell University)|May 10, 2007

Geometric and Algebraic Topology参考文献 7被引用数 4

ひとこと要約

本稿では、30個以下の単体を含む彩色された三角形分割を許容する非可定向的で閉じており、連結な3次元多様体の完全な集計を、コンピュータ支援による生成と分類による剛性のある非双対的結晶化に基づいて提示する。エッジ彩色グラフを操作するためのアルゴリズムと、GM複雑性などの不変量を計算することで、これら多様体は正確に33個であることが特定され、そのうち16個は素である。各多様体について、Seifertファイブレーション構造またはトーラスバンドルを用いて明示的な位相的記述が与えられる。

ABSTRACT

We present the census of all non-orientable, closed, connected 3-manifolds admitting a rigid crystallization with at most 30 vertices. In order to obtain the above result, we generate, manipulate and compare, by suitable computer procedures, all rigid non-bipartite crystallizations up to 30 vertices.

研究の動機と目的

• 26頂点の既存の境界を超えて、彩色された三角形分割を許容する非可定向的3次元多様体の分類を拡張すること。
• 計算的手法を用いて、30頂点までのすべての剛性のある非双対的結晶化を生成および分類すること。
• 既存の表と比較することで、これらの多様体の位相的型を不変量を用いて特定および区別すること。
• 30個までの単体を含む多様体について、結晶化の同値類と異なる非可定向的3次元多様体の間の一対一対応を確立すること。

提案手法

• コンピュータによる手順を用いて、30頂点までのすべての剛性のある非双対的4色グラフ（結晶化）を生成する。
• 結晶化を同じ多様体を表す同値類にグループ化するための分類プログラムを適用する。
• GM複雑性を組合せ的不変量として用い、多様体の複雑さを推定および比較する。
• Duke IIIソフトウェアを用いて、ダウプルの削除とρペアのスイッチングを実行し、グラフを簡略化および比較する。
• Burtonの三角形分割集計とReginaソフトウェアによる最小三角形分割と照合し、代表的な多様体を特定する。
• 最初のバーチャル単体分割と頂点の双対単体次元によるラベル付けを用いて、最小三角形分割から彩色された三角形分割を構成する。

実験結果

リサーチクエスチョン

• RQ1 30個以下の単体を含む彩色された三角形分割を許容する非可定向的で閉じており、連結な3次元多様体はいくつ存在するか？
• RQ2 これらの多様体のうち、どれが素であり、それらの位相的構造は何か？
• RQ3 結晶化の分類は、非可定向的3次元多様体の同相型を効果的に区別するために使用できるか？
• RQ4 GM複雑性やヘーガードジャンルといった不変量は、結晶化から多様体の位相的型を特定および検証するためにどのように役立つか？
• RQ5 エッジ彩色グラフに基づくコンピュータ支援手法は、非可定向的3次元多様体の既存の集計結果をどれほど再現または拡張できるか？

主な発見

• 30個以下の単体を含む彩色された三角形分割を許容する非可定向的で閉じており、連結な3次元多様体は正確に33個存在する。
• その33個の多様体のうち16個は素であり、それらの位相的型はSeifertファイブレーション空間構造またはトーラスバンドルを用いて明示的に特定されている。
• 多様体 $ SFS(\text{RP}^2; (2,1),(3,1)) $ は28個の単体を含む結晶化によって実現されている。
• 多様体 $ SFS(\bar{D}; (2,1),(3,1)) $ は30個の単体を含む結晶化によって実現されている。
• 分類プログラムにより、$ \tilde{\textbf{C}}^{(30)} $ 内の結晶化の同値類と、30個までの単体を含む異なる非可定向的3次元多様体との間の一対一対応が確立された。
• 結果は、Burtonらの以前の研究を確認および拡張し、30個までの単体を含むこのような多様体の完全なリストを提供している。