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

Christian Lange|Kölner Universitäts PublikationsServer (Universität zu Köln)|Jul 18, 2013

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

ひとこと要約

この論文は、商空間が境界付きのトポロジカルまたはリプシッツ多様体であるような、ユークリッド空間上の有限直交群作用を分類する。その結果、このような商空間が多様体であるための必要十分条件は、群が反射回転群と、互いに直交する部分空間上で作用するポアンカレ群の積に分解可能であることであることを証明し、オルビフォールドの底空間が多様体である条件について長年の未解決問題を解決した。

ABSTRACT

We classify orthogonal actions of finite groups on Euclidean vector spaces for which the corresponding quotient space is a topological, homological or Lipschitz manifold, possibly with boundary. In particular, our results answer the question of when the underlying space of an orbifold is a manifold.

研究の動機と目的

• 有限直交群作用 G による商空間 ℝⁿ/G がトポロジカルまたはリプシッツ多様体（境界付き）である条件を特定すること。
• デイヴィス（2011）が提起した、反射回転群の他にポアンカレ群が唯一の例外的ケースであるかどうかという問題を解決すること。
• ミハイルォヴァの回転群に関する研究を、境界付き多様体を含むように一般化し、分類を精緻化すること。
• 有限直交群のうち、その商空間がトポロジカルまたはリプシッツ多様体となるものについて、完全な特徴付けを確立すること。
• ペトルニンの質問に応じ、このような商空間の双リプシッツ構造を示し、群が反射回転群である場合、商空間が ℝⁿ または ℝ≥₀×ℝⁿ⁻¹ に双リプシッツ同相であることを証明すること。

提案手法

• Zassenhausの有限群表現に関する定理を用いて、局所ホモロジーを解析し、余次元2または余次元4のストラトゥムの同相型群を同定する。
• 球面三角形や600胞体を用いた幾何的議論により、回転群およびポアンカレ群が互いに直交する部分空間上で作用することを示す。
• 次元に関する帰納法を用いて、回転群およびポアンカレ群によって生成される正規部分群による単位球面の商がホモロジー球面であることを証明し、商群が自明であることを示す。
• 二重サスペンション定理および一般化されたポアンカレ予想を用いて、トポロジカルなカテゴリーにおける商空間の被覆型を確立する。
• リーマン幾何的オルビフォールドおよび被覆空間の理論を応用し、方向を保つ部分群を解析することで、境界付きの場合を境界なしの場合に還元する。
• 折りたたみ可能な線形および多面体的距離構造を用いて、商空間が ℝⁿ や ℝ≥₀×ℝⁿ⁻¹ と双リプシッツ同値であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 有限直交群作用 G による商空間 ℝⁿ/G がトポロジカル多様体（境界付き）であるのはいつか？
• RQ2 Oₙ の有限部分群 G で、商空間 ℝⁿ/G がリプシッツ多様体であるものはどれか？
• RQ3 反射回転群の他に、ポアンカレ群が唯一の例外的ケースであるか？
• RQ4 ユークリッド空間の有限群作用による商空間が、ℝⁿ または ℝ≥₀×ℝⁿ⁻¹ に同相になる条件は何か？
• RQ5 オルビフォールドの底空間がトポロジカル多様体であるための必要十分条件は、すべての局所同相型群が特定の形（反射回転群またはポアンカレ群）をとることであるか？

主な発見

• 商空間 ℝⁿ/G がトポロジカル多様体（境界付き）であるための必要十分条件は、G が G = Gᵣᵣ × P₁ × ⋯ × Pₖ の形に分解可能であること。ここで Gᵣᵣ は反射回転群、各 Pᵢ は直交部分空間上で作用するポアンカレ群である。
• n ≤ 5 の場合、反射を含む Gᵣᵣ が存在するならば k = 0 であり、商空間は ℝⁿ または ℝ≥₀×ℝⁿ⁻¹ に同相である。
• 商空間 ℝⁿ/G がリプシッツ多様体であるための必要十分条件は、G が反射回転群（反射を含む・含まないを問わず）であることである。この場合、商空間は ℝⁿ または ℝ≥₀×ℝⁿ⁻¹ に双リプシッツ同相である。
• 証明により、ℝⁿ/G がトポロジカル多様体であるような有限群 G < Oₙ では、すべての同相型群が余次元2または4であり、それらは巡回群またはポアンカレ群であることが示された。
• 回転群およびポアンカレ群によって生成される正規部分群 N による単位球面 Sⁿ⁻¹ の商はホモロジー球面であり、商群 G/N はその上に自由に作用するため、G/N は自明である。
• この結果により、デイヴィスの予想を回転群の文脈に拡張して確認した。トポロジカルなカテゴリーにおいて、反射回転群の他にポアンカレ群が唯一の例外的ケースであることが示された。