[论文解读] Introduction to orbifolds

Francisco C. Caramello|arXiv (Cornell University)|Sep 18, 2019

Geometric and Algebraic Topology参考文献 22被引用 5

一句话总结

本文采用经典的局部图册与典范图册方法，对轨道丛（orbifolds）提供了全面且易于理解的介绍，强调其作为包含受控奇点的流形推广形式的作用。文章系统发展了轨道丛在微分几何与黎曼几何中的基础理论，包括轨道丛基本群、de Rham上同调以及黎曼结构，并建立了关键结果，如轨道丛版本的博赫纳定理、霍奇分解定理与高斯-博内定理，表明经典定理可在适当修正贝蒂数与示性类后推广至奇异情形。

ABSTRACT

We introduce orbifolds from the classical point of view, using charts, and present orbifold versions of elementary objects from Algebraic Topology, such as the fundamental group, coverings and Euler characteristic; Differential Topology/Geometry, including orbibundles, differential forms, integration and (equivariant) De Rham cohomology; and Riemannian Geometry, surveying generalizations of classical theorems to this setting.

研究动机与目标

• 提供一个自包含且易于理解的轨道丛导论，将其作为自然推广流形的模型，以包含有限群商奇点。
• 建立轨道丛的代数与微分拓扑基础，包括基本群、覆盖映射与上同调理论。
• 将黎曼几何中的经典结果——如博赫纳定理、霍奇分解与高斯-博内定理——推广至轨道丛情形，并进行适当修正。
• 证明轨道丛构成一个范畴，其范畴性质（例如对商的封闭性）优于流形，同时与光滑流形理论保持紧密联系。

提出的方法

• 采用经典方法，通过基于 ℝⁿ 有限群商的局部图册与轨道丛图册进行研究。
• 利用相容图册与群作用定义光滑映射、子轨道丛与轨道丛丛。
• 通过伪群引入轨道丛基本群，并将轨道丛覆盖构造为覆盖空间的推广。
• 利用不变微分形式发展轨道丛的 de Rham 上同调，并在此背景下证明霍奇分解定理。
• 为轨道丛赋予黎曼度量，分析测地线、曲率与长度结构，以推广黎曼几何定理。
• 利用曲率形式与 Pfaffian 定义欧拉形式，并证明轨道丛高斯-博内定理。

实验结果

研究问题

• RQ1 如何将基本群与覆盖理论推广至轨道丛，以考虑具有非平凡稳定子群的奇异点？
• RQ2 经典微分几何定理（如博赫纳消去定理与霍奇分解）在轨道丛情形下在多大程度上仍然成立？
• RQ3 对于紧致、定向、偶数维的黎曼轨道丛，高斯-博内定理的正确推广形式为何？
• RQ4 在曲率有界条件下，贝蒂数与欧拉示性数在轨道丛中如何表现？会涌现出哪些有限性或增长约束？
• RQ5 在曲率、直径与体积有界条件下，何种条件可保证一类轨道丛在轨道丛同胚意义下仅有有限多个？

主要发现

• 轨道丛基本群推广了流形基本群，并允许构造轨道丛覆盖；当轨道丛为良好轨道丛时，其万有覆盖为一光滑流形。
• 博赫纳定理推广至轨道丛：若紧致、定向、n维轨道丛满足 Ric ≥ 0，则 b₁ ≤ n，且等号成立当且仅当轨道丛为平坦环面。
• 霍奇分解定理适用于轨道丛：Ωⁱ(𝒪) 正交分解为 Im(d) ⊕ Im(δ) ⊕ ℋⁱ(𝒪)，且 H_dRⁱ(𝒪) ≅ ℋⁱ(𝒪)。
• 格罗莫夫对贝蒂数之和的线性体积界推广至轨道丛：在 −1 ≤ sec < 0 条件下，有 ∑bᵢ ≤ Cₙ vol(|𝒪|)。
• 轨道丛高斯-博内定理表述为：对于紧致、定向、2k维的黎曼轨道丛，有 ∫ Orb Pf(Ω) = (2π)^k χ^orb(𝒪)。
• 对于奇数维紧致黎曼轨道丛，轨道丛欧拉示性数为零：χ^orb(𝒪) = 0。