[論文レビュー] Introduction to orbifolds

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

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

ひとこと要約

本稿は、局所的チャートとアトラスを用いた古典的アプローチにより、制御された特異点を含む多様体の一般化としての軌道多様体（orbifold）について、包括的でアクセス可能な入門を提供する。微分幾何学およびリーマン幾何学における軌道多様体の基礎理論を展開し、軌道多様体の基本群、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.

研究の動機と目的

• 有限群による商空間としての特異点を含む多様体の自然な一般化としての軌道多様体について、自己完結的でアクセス可能な入門を提供すること。
• 基本群、被覆写像、コホロロジー理論を含む、軌道多様体の代数的および微分トポロジカルな基礎を確立すること。
• ボッハナーの定理、ホッジ分解、ガウス＝ボネの定理といったリーマン幾何学の古典的結果を、適切な修正を加えて軌道多様体の設定へ拡張すること。
• 軌道多様体が多様体よりも優れた圏的性質（例えば、商に関して閉じていること）を持つが、滑らかな多様体理論と密接に結びついていることを示すこと。

提案手法

• Rⁿの有限群による商空間を局所的モデルとする軌道多様体のアトラスとチャートを用いた古典的アプローチを採用する。
• 整合性のあるチャートと群作用を用いて、滑らかな写像、部分軌道多様体、軌道バンドルを定義する。
• 擬群を用いて基本群を定義し、被覆空間の一般化としての軌道被覆を構成する。
• 不変微分形式を用いて 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。