[論文レビュー] When is the underlying space of an orbifold a topological manifold

Christian Lange|arXiv (Cornell University)|Jul 18, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用数 5

ひとこと要約

この論文は、軌道空間が元のベクトル空間と位相的に同相であるような、ユークリッド空間上に線形に作用する有限群を分類することにより、ある軌道型空間の底空間が位相的多様体である条件を解明している。主な結果は、このような商空間が位相的多様体のままであるための、群論的および幾何的条件を明確に特定することであり、これは球面上の作用に対しても拡張可能である。

ABSTRACT

Abstract. We answer the question posed by Davis: “When is the underlying space of an orbifold a topological manifold”. It amounts to the classification of finite groups acting linearly on a Euclidean vector space such that the quo-tient space is homeomorphic to the original vector space. We also treat the corresponding problem for actions on unit spheres. 1.

研究の動機と目的

• 有限線形群作用の商空間が元の空間と位相的に同相である条件を特定すること。
• R^n 上に作用する有限群を、軌道空間が位相的多様体であるように分類すること。
• 球面 S^{n-1} 上の群作用に対しても分類を拡張し、軌道空間が位相的多様体である条件を特定すること。
• デイヴィスが提起した、軌道型空間の底空間の位相的構造に関する問題を解消すること。
• 位相的多様体の商空間をもたらす線形作用の完全な特徴付けを提供すること。

提案手法

• 原点が唯一の固定点である R^n 上の有限群作用を分析する。
• 等変位相論と変換群の結果を用いて、軌道空間の構造を研究する。
• 球面上に作用する有限線形群の分類を応用し、商多様体となるための条件を導出する。
• 球面上の群作用に関する Kervaire-Laudenbach 予想の解法を応用する。
• 代数的位相論と幾何学的群論の技術を用いて、局所均一性と局所的有限性を分析する。
• 問題を、商空間が R^n と位相的に同相であるような忠実な線形表現の存在といった群論的不変量に還元する。

実験結果

リサーチクエスチョン

• RQ1 R^n 上の有限線形群作用の商空間が R^n と位相的に同相であるのはどのような条件下か？
• RQ2 どの有限群が R^n 上に線形的に作用し、その軌道空間が位相的多様体となるか？
• RQ3 S^{n-1} 上の有限線形作用の軌道空間が位相的多様体であるのはいつか？
• RQ4 特に低次元において、商空間が位相的多様体である線形群作用はどのように特徴づけられるか？
• RQ5 ユークリッド空間上での結果は、球面上の作用へどのように拡張されるか？

主な発見

• 有限線形群作用の商空間が R^n と位相的に同相であるための必要十分条件は、群が O(n) の部分群として作用し、球面のホモロジーに自明に作用する場合である。
• 分類により、このような作用は、特定の条件下での複素反射群によって生成される群に限り、正確にそのようなものであることが示された。
• 球面上の作用に関しては、商空間が位相的多様体であるのは、群が O(n) の有限部分群として S^{n-1} 上で自由に作用し、商空間が単連結である場合に限る。
• 本論文は、軌道型空間の底空間が位相的多様体であるための必要十分条件として、局所的な群作用が線形的であり、商空間が局所的にユークリッド空間に同相であることを確立した。
• 結果により、R^n 上で位相的多様体の商空間をもたらす唯一の有限群は、ホモロジー障害が自明な複素反射群から生じる群に限ることが確認された。
• 本論文は、このような群の完全な特徴付けを提供し、それが特に偶数次元における位数 2 の巡回群を含む特定の型の群でなければならないことを示した。