[論文レビュー] The Stratification of Singular Locus and Closed Geodesics on Orbifolds

George Dragomir|arXiv (Cornell University)|Apr 27, 2015

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

ひとこと要約

本稿は、特異軌道の層化と、奇数の指数を持つ無限ねじれのorbifold基本群をもつ0次元特異集合を持つ場合への問題の還元を通じて、次元3、5、7のコンパクトで発展可能な軌道体上に正の長さの閉じた測地線が存在することを確立する。主な貢献は、固定点集合の構造と群作用を用いた位相的・幾何学的議論により、従来未解決であった場合の存在を示したことである。

ABSTRACT

In this note, we prove the existence of a closed geodesic of positive length on any compact developable orbifold of dimension 3, 5, or 7. The argument uses the stratification of the singular locus, and reduces the problem of existence of a closed geodesic on a compact developable orbifold to the case of even dimensional orbifolds with zero-dimensional singular locus and orbifold fundamental group infinite torsion and of odd exponent.

研究の動機と目的

• 無限ねじれの基本群をもつ場合が未解決であった、次元3、5、7のコンパクトで発展可能な軌道体上に閉じた測地線が存在するかを解明すること。
• 多様体や非発展可能な軌道体を超えて、特異軌道の層化に基づくアプローチを導入することで、閉じた測地線の理論を拡張すること。
• 問題を、0次元特異集合と奇数の指数をもつ無限ねじれのorbifold基本群をもつ偶数次元軌道体のケースに還元すること。
• 曲率に基づく手法や従来の文献で用いられた群論的仮定とは補完する幾何学的・位相的枠組みを提供すること。

提案手法

• 特異軌道 Σ ⊂ Q を次元の増加する成分に層化し、各ストラトゥムが完全測地的部分多様体であることを示す。
• 特異点における局所群作用を用いて、回帰群 Γx 及び最小次元ストラトゥム成分を固定する部分群 ΓS を特定する。
• 商群 Γ′x ≅ Γx / ΓS が偶数次元の球面上で自由かつ直交的に作用することを応用し、これが位数2の巡回群であることを示す。
• 固定点集合の構造と直交補空間の次元を活用し、有効ストラトゥム内に閉じた測地線が存在することを導出する。
• 有限群の球面上への作用の分類を用いて、問題を無限ねじれの奇数の指数をもつ基本群をもつケースに還元する。
• 定理4.3および系4.5を適用し、特に2次元ケースを基本ケースとして用いて、低次元の場合の存在を結論づける。

実験結果

リサーチクエスチョン

• RQ1 すべての次元3、5、7のコンパクトで発展可能な軌道体は、正の長さの少なくとも1本の閉じた測地線をもつか？
• RQ2 曲率の仮定やorbifold基本群に双曲的要素がない状況でも、閉じた測地線の存在を確立できるか？
• RQ3 特異軌道の層化は、軌道体上に閉じた測地線を検出する上でどのような役割を果たすか？
• RQ4 閉じた測地線の存在問題を、0次元特異集合と奇数の指数をもつ無限ねじれの基本群をもつ軌道体に還元することは可能か？
• RQ5 球面上の群作用と固定点集合は、閉じた測地線の存在という文脈で、軌道体基本群の構造をどのように制約するか？

主な発見

• 次元3、5、または7の任意のコンパクトで発展可能な軌道体は、正の長さの少なくとも1本の閉じた測地線をもつ。
• 特異軌道の層化と群作用における固定点集合の幾何学的構造を用いることで、閉じた測地線の存在が確立される。
• 最小特異次元 k > 0 の場合、特異軌道の成分は完全測地的部分多様体であり、商群 Γ′x は偶数次元の球面上で自由に作用する。
• n−k−1 が偶数のとき、γ ∈ Γx ∖ ΓS が直交補空間上で作用するならば、γ は位数2をもち、Γ′x は位数2の巡回群である。
• k が奇数で n−k が奇数のときも同様の結論が成り立ち、定理4.1により有効ストラトゥム内に閉じた測地線が存在することが保証される。
• 結果として、未解決なケースは、0次元特異集合と奇数の指数をもつ無限ねじれの基本群をもつ偶数次元軌道体に還元され、特に次元4のケースが重要となる。