[論文レビュー] The Yamabe invariant of orbifolds and $L^2$-harmonic spinors

Kazuo Akutagawa, Boris Botvinnik|arXiv (Cornell University)|Apr 5, 2002

Geometric and Algebraic Topology被引用数 1

ひとこと要約

本稿では、共形幾何学および $ L^2 $-インデックス理論を用いて、有限特異点をもつコンpakトなオルビフォールドのオルビフォールド・ヤマベ不変量 $ Y_{\text{orb}}(M) $ を定義し、その解析を行う。十分な条件下で $ Y_{\text{orb}}(M) \leq Y(S^n)/d $ が成り立ち、$ d = \max_j |\Gamma_j|^{2/n} $ である。また、$ L^2 $-調和スピンルを用いて4次元オルビフォールドの位相的推定を行う。

ABSTRACT

We study compact orbifolds with finite number of singularities by means of conformal geometry and L2-index theory. For such an n-orbifold M with singularities Σ = {(p1,Γ1),...,(ps,Γs)} (where the groups Γj < O(n) are finite), we define and study the orbifold Yamabe invariant Y orb (M). We give a sufficient condition when the invariant Y orb (M) coincides with the corresponding cylindrical Yamabe invariant defined by the authors [3]. Under the same condition, we prove that the invariant Y orb (M) is bounded by Y (Sn)/d from above, where d = maxj |Γj | 2 n. We study the 4-dimensional case and use the L 2-index theory to estimate the cylindrical and orbifold Yamabe invariant in topological terms. We conclude by explicit estimate of the invariant Y orb (M) for particular 4-orbifolds M. 1

研究の動機と目的

• 有限特異点をもつコンパクトなオルビフォールドのオルビフォールド・ヤマベ不変量 $ Y_{\text{orb}}(M) $ を定義し、その研究を行う。
• $ Y_{\text{orb}}(M) $ が円筒ヤマベ不変量と一致する条件を確立する。
• 標準球のヤマベ不変量および最大群位数を用いて、$ Y_{\text{orb}}(M) $ の上界を導出する。
• $ L^2 $-インデックス理論を用いて4次元オルビフォールドのヤマベ不変量を推定する。
• 特定の4次元オルビフォールドにおける $ Y_{\text{orb}}(M) $ の明示的推定を提供する。

提案手法

• 著者らは、孤立した特異点が $ \mathbb{R}^n / \Gamma_j $ の形でモデル化されるオルビフォールド上のヤマベ不変量を共形幾何学を用いて分析する。ここで $ \Gamma_j \subset O(n) $ は有限群である。
• オルビフォールド・ヤマベ不変量 $ Y_{\text{orb}}(M) $ を、滑らかな共形計量の下でのスカラー曲率を $ L^n $-ノルムで正規化したものの上界として定義する。
• オルビフォールド・ヤマベ不変量 $ Y_{\text{orb}}(M) $ が円筒ヤマベ不変量に一致する十分条件を確立し、特異的ストラトゥムの幾何と関連付ける。
• 4次元オルビフォールドに対して、$ L^2 $-インデックス理論を適用して、不変量を普遍被覆上のディラック作用素のインデックスに関連付ける。
• $ L^2 $-コhomologyから導かれる位相的不変量を用いて、オルビフォールドの特異構造に基づいてヤマベ不変量を上界で推定する。
• 得られた上界と特異構造を用いて、特定の4次元オルビフォールドに対して $ Y_{\text{orb}}(M) $ の明示的推定を導出する。

実験結果

リサーチクエスチョン

• RQ1 オルビフォールド・ヤマベ不変量 $ Y_{\text{orb}}(M) $ が円筒ヤマベ不変量と一致する条件は何か？
• RQ2 標準球のヤマベ不変量および群位数 $ |\Gamma_j| $ を用いて、$ Y_{\text{orb}}(M) $ の鋭い上界は何か？
• RQ3 $ L^2 $-インデックス理論を用いて、4次元オルビフォールドのヤマベ不変量をどのように推定できるか？
• RQ4 4次元の場合に、$ Y_{\text{orb}}(M) $ の値を制御する位相的不変量は何か？
• RQ5 特定の4次元オルビフォールドにおいて、$ Y_{\text{orb}}(M) $ の明示的な値または上界を計算できるか？

主な発見

• 十分な幾何的条件下で、オルビフォールド・ヤマベ不変量 $ Y_{\text{orb}}(M) $ は $ Y(S^n)/d $ で上から抑えられ、ここで $ d = \max_j |\Gamma_j|^{2/n} $ である。
• 十分条件が満たされれば、$ Y_{\text{orb}}(M) $ は先行研究で定義された円筒ヤマベ不変量に一致する。
• 4次元オルビフォールドでは、$ L^2 $-インデックス理論がヤマベ不変量の上界を制約する位相的制約を提供する。
• 得られた上界と特異構造を用いて、特定の4次元オルビフォールドにおける $ Y_{\text{orb}}(M) $ の明示的推定を導出する。
• 不変量 $ Y_{\text{orb}}(M) $ は、局所群 $ \Gamma_j $ の最大位数に依存しており、群が大きいほど上界が小さくなる。
• 結果は、オルビフォールド特異点の幾何と、それらの空間の共形不変量との間に深い関係があることを示している。