[论文解读] Geometrization of 3-dimensional orbifolds

Michel Boileau, Bernhard Leeb+1 more|ArXiv.org|Oct 18, 2000

Geometric Analysis and Curvature Flows参考文献 27被引用 4

一句话总结

本文证明了具有非空分支集的紧致、可定向、不可约且无环状的3-轨道丛的轨形定理，确立了此类轨形丛是几何的——即要么具有常曲率度量，要么为Seifert纤维化。证明依赖于对锥角 ≤ π 的锥流形的几何分析，利用紧致性结果、局部几何以及单纯体积消失的性质，将问题约化至已知情形，最终得出小3-轨道丛的统一化结果。

ABSTRACT

The purpose of this article is to give a proof of the Orbifold Theorem announced by Thurston in late 1981: If $O$ is a compact, connected, orientable, irreducible and topologically atoroidal 3-orbifold with non-empty ramification locus, then $O$ is geometric. As a corollary, any smooth orientation preserving non-free finite group action on $S^3$ is conjugate to an orthogonal action.

研究动机与目标

• 确立具有非空分支集的紧致、可定向、不可约且无环状的3-轨道丛的几何化。
• 证明此类轨道丛是几何的——即要么具有常曲率度量，要么为Seifert纤维化。
• 通过分析锥角 ≤ π 的锥流形，将Thurston的几何化程序扩展至3-轨道丛。
• 解决一个猜想：任一在S³上的光滑、保向且非自由的有限群作用，均微分共轭于正交作用。
• 证明每个紧致、可定向的3-轨道丛若不包含坏的2-子轨道丛，则其有限覆盖为3-流形。

提出的方法

• 开发一种基于锥角 ≤ π 的锥流形的轨道丛几何化几何方法，聚焦其局部与全局几何性质。
• 应用厚锥流形的紧致性定理，以控制几何极限中的退化现象。
• 利用不完整流形的局部Margulis引理，分析奇异点附近的薄部分及短测地线。
• 构造一个映射至二维复形，使得预像是为几乎阿贝尔群，以应用Gromov的单纯体积消失定理。
• 将主要问题约化为光滑部分为双曲的情形，随后利用双曲锥结构的形变理论。
• 采用球面统一化与SU(2)×SU(2)中的holonomy表示，以参数化球面锥结构。

实验结果

研究问题

• RQ1 每个紧致、可定向、不可约且无环状的3-轨道丛（具有非空分支集）是否可赋予常曲率几何结构或Seifert纤维化？
• RQ2 每个光滑、保向且非自由的有限群作用在S³上是否微分共轭于正交作用？
• RQ3 锥角 ≤ π 的锥流形是否具有紧致性性质，从而可控制其几何极限？
• RQ4 当JSJ分解中不包含双曲分量时，Haken 3-轨道丛的单纯体积是否消失？
• RQ5 非紧致欧几里得锥3-流形（锥角 ≤ π）的结构如何？其对纤维化定理有何启示？

主要发现

• 主定理确立：每个具有非空分支集的紧致、连通、可定向、小3-轨道丛均为几何的，即具有常曲率度量或为Seifert纤维化。
• 轨形定理得证：任何具有非空分支集的紧致、可定向、不可约且无环状的3-轨道丛均为几何的。
• 每个光滑、保向且非自由的有限群作用在S³上均微分共轭于正交作用，从而恢复并推广了先前结果。
• 若Haken 3-轨道丛的JSJ分解中不包含双曲分量，则其单纯体积消失，意味着所有分量均为Seifert型。
• 纤维化定理表明：若锥流形的光滑部分为双曲且奇异集受控，则该轨道丛为图化，因此为Seifert纤维化。
• 建立了统一化结果：小3-轨道丛为几何的，这意味着任何不包含坏2-子轨道丛的3-轨道丛均有限覆盖为3-流形。