[论文解读] 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

一句话总结

本文分类了欧氏空间上有限正交群作用的类型，其商空间为带边的拓扑或Lipschitz流形。证明了此类商空间为流形当且仅当该群可分解为在正交子空间上作用的反射-旋转群与Poincaré群的直积，从而解决了关于何种情况下轨道空间的底空间为流形的长期悬而未决问题。

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 的商空间何时为带边的拓扑或Lipschitz流形。
• 解决Davis（2011）提出的问题：Poincaré群是否为反射-旋转群之外的唯一例外情况。
• 通过包含带边流形并细化分类，推广Mikhaîlova关于旋转群的工作。
• 建立有限正交群的完整刻画，其商空间为拓扑或Lipschitz流形。
• 回答Petrunin关于此类商空间的双Lipschitz结构问题，表明当群为反射-旋转群时，商空间双Lipschitz同胚于 ℝⁿ 或 ℝ≥₀×ℝⁿ⁻¹。

提出的方法

• 利用Zassenhaus关于有限群表示的定理分析局部上同调，识别余维数为二或四的轨道子群。
• 应用涉及球面三角形和600面体的几何论证，证明旋转群与Poincaré群在成对正交子空间上作用。
• 通过维数归纳法证明：由旋转群与Poincaré群生成的正规子群作用在单位球面上的商空间为同调球面，从而推出商群平凡。
• 利用双重悬垂定理与广义Poincaré猜想，确立拓扑范畴下商空间的同胚类型。
• 应用黎曼轨道空间与覆盖空间的结果，通过分析保向子群，将带边情形约化为无边情形。
• 利用分段线性与多面体度量结构，证明商空间与标准空间（如 ℝⁿ 或 ℝ≥₀×ℝⁿ⁻¹）的双Lipschitz等价性。

实验结果

研究问题

• RQ1 在何种条件下，有限正交群作用下 ℝⁿ/G 的商空间为带边的拓扑流形？
• RQ2 哪些有限子群 G < Oₙ 满足其商空间 ℝⁿ/G 为Lipschitz流形？
• RQ3 Poincaré群是否为反射-旋转群之外唯一例外情况，即一般规则下仅当群为反射-旋转群时商空间为流形？
• RQ4 在何种条件下，欧氏空间关于有限群作用的商空间同胚于 ℝⁿ 或 ℝ≥₀×ℝⁿ⁻¹？
• RQ5 轨道空间的底空间为拓扑流形当且仅当所有局部轨道子群均为特定形式（即反射-旋转群或Poincaré群）？

主要发现

• 商空间 ℝⁿ/G 为带边的拓扑流形当且仅当 G 可分解为直积 G = Gᵣᵣ × P₁ × ⋯ × Pₖ，其中 Gᵣᵣ 为反射-旋转群，每个 Pᵢ 为在正交子空间上作用的Poincaré群。
• 当 n ≤ 5 时，若存在反射或 Gᵣᵣ 包含反射，则必有 k = 0，此时商空间同胚于 ℝⁿ 或 ℝ≥₀×ℝⁿ⁻¹。
• ℝⁿ/G 为Lipschitz流形当且仅当 G 为反射-旋转群（无论是否含反射），此时商空间双Lipschitz同胚于 ℝⁿ 或 ℝ≥₀×ℝⁿ⁻¹。
• 证明表明：若 ℝⁿ/G 为拓扑流形，则任何有限群 G < Oₙ 的所有轨道子群必为余维数二或四，且这些轨道子群为循环群或Poincaré群。
• 单位球面 Sⁿ⁻¹ 关于由旋转群与Poincaré群生成的正规子群 N 的商空间为同调球面，且商群 G/N 自由作用于其上，从而推出 G/N 平凡。
• 结果在旋转群的更广背景下确认了Davis的猜想，表明在拓扑范畴中，Poincaré群是反射-旋转群之外唯一的例外情况。