[論文レビュー] A sufficient condition for a 2-dimensional orbifold to be good

S.K. Roushon|arXiv (Cornell University)|Nov 8, 2018

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

ひとこと要約

本稿は、2次元オーロラフォールドが良いこと（つまり、多様体がオーロラフォールド被覆空間をもつこと）であるための十分条件を確立する。その条件とは、オーロラフォールド基本群が有限生成かつ無限であることである。証明では、位相的二重被覆を用いてオーロラフォールド境界成分を除去し、単に円錐特異性をもつ閉じた、向きつけ可能なオーロラフォールドの状況に還元する。その後、幾何的群論の分類結果を適用し、多様体被覆空間の存在を確認する。

ABSTRACT

We prove that a connected 2-dimensional orbifold with finitely generated and infinite orbifold fundamental group is good. We also describe all the good 2-dimensional orbifolds with finite orbifold fundamental groups

研究の動機と目的

• 2次元オーロラフォールドが良いこと（つまり、多様体がオーロラフォールド被覆空間をもつこと）であるための十分条件を特定すること。
• 有限なオーロラフォールド基本群をもつすべての良い2次元オーロラフォールドを分類すること。
• 特に無限基本群の場合に、既知の例を超えてオーロラフォールドの良い性質の理解を拡張すること。
• 境界成分と特異点を含む2次元オーロラフォールドの位相的および群論的構造を、単に円錐特異性をもつ閉じた、向きつけ可能な場合に還元すること。

提案手法

• 多様体境界成分に沿ったオーロラフォールド二重被覆を用いて、オーロラフォールド境界を除去し、単に円錐特異性をもつ閉じたオーロラフォールドを構成する。
• 有限被覆におけるオーロラフォールド基本群の有限指数部分群の性質を用い、無限生成性および有限生成性を保つ。
• 既知の分類結果を活用して、問題を単に円錐点のみをもつ向きつけ可能で閉じた2次元オーロラフォールドに還元する。
• 閉じた、向きつけ可能な2次元オーロラフォールドの標準的表示を用いる：⟨a₁,b₁,…,a_g,b_g, x₁,…,x_k | x_j^{p_j}=1, ∏[a_i,b_i]x₁⋯x_k=1⟩。
• オーロラフォールド基本群のアーベル化を分析し、コンパクト部分オーロラフォールドによる被覆の過程で円錐点数が安定することを示す。
• 2次元オーロラフォールドの幾何的分類（例：[3]および[4]より）を適用し、円錐点数が偶数（2点の場合には同一順序）である場合、そのオーロラフォールドは良いと結論づける。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で2次元オーロラフォールドが良いとされるか、すなわち、多様体がオーロラフォールド被覆空間をもつのか？
• RQ2 オーロラフォールド基本群の無限生成性および有限生成性のみから、良い性質が保証されるのか？
• RQ3 境界成分と特異点は、2次元オーロラフォールドの発展可能性にどのように影響するか？
• RQ4 有限なオーロラフォールド基本群をもつ良い2次元オーロラフォールドの完全な分類は何か？

主な発見

• 有限生成かつ無限なオーロラフォールド基本群をもつ連結2次元オーロラフォールドは良い。
• 2次元オーロラフォールドの多様体境界成分に沿った二重被覆は、単に円錐特異性をもつ閉じたオーロラフォールドをもたらし、オーロラフォールド基本群の無限生成性を保つ。
• コンパクト部分オーロラフォールドによる被覆の過程で、種数および円錐点数が安定化した後、そのオーロラフォールドは有限型の閉じたオーロラフォールドにコンパクト化可能であり、その場合、円錐点数が偶数、または2点の場合に同一順序である。
• このようなコンパクト化されたオーロラフォールドは、既知の幾何的分類により良いとされているため、元のオーロラフォールドに対しても良いと結論づけられる。
• 有限なオーロラフォールド基本群をもつすべての良い2次元オーロラフォールドは分類されている：それらは、有限個の円錐点をもつユークリッド（R²）または球面（S²）であり、すべてが良い。
• 種数gおよび円錐点数k（順序p₁,…,p_k）をもつ閉じた、向きつけ可能な2次元オーロラフォールドのオーロラフォールド基本群は、交換子とねじれ関係式を含む表示を持ち、そのアーベル化は ℤ^{2g} ⊕ K_{k−1}（K_{k−1}は有限アーベル群）である。