[論文レビュー] Collapsing and the Differential Form Laplacian : The Case of a Singular Limit Space

John Lott|ArXiv.org|Jan 29, 2002

Geometric Analysis and Curvature Flows参考文献 25被引用数 5

ひとこと要約

本稿は、有界な断面曲率と直径をもつリーマン多様体が特異な極限空間に崩壊する際の $p$-形式ラプラシアンの挙動を研究する。グロモフの前コンパクト性定理とフレーム bundle 上の等長的幾何を用いて、極限空間上にスーパー接続ラプラシアンを構成し、曲率と直径の観点から固有値の一様な上界および下界を導出し、固有値が任意に大きくなる条件を特定する。

ABSTRACT

In this paper, which is a sequel to math.DG/9902111, we analyze the limit of the p-form Laplacian under a collapse with bounded sectional curvature and bounded diameter to a singular limit space. As applications, we give results about upper and lower bounds on the j-th eigenvalue of the p-form Laplacian, in terms of sectional curvature and diameter.

研究の動機と目的

• 崩壊するリーマン多様体における $p$-形式ラプラシアンの既存結果を特異な極限空間の状況に拡張すること。
• 断面曲率と直径の観点から、$p$-形式ラプラシアンの $j$-番目の固有値 $\lambda_{p,j}$ の一様な下界および上界を確立すること。
• 固有値が無限大に発散する条件を、極限空間の位相的・幾何的性質および特定のコhomological性質をもつアフィンファイバー束の存在と関連付けること。
• 有界曲率を伴う崩壊から生じる特異空間におけるスーパー接続理論を用いて、$p$-形式ラプラシアンの極限を分析する枠組みを構築すること。

提案手法

• 一様に有界な曲率と直径をもつ多様体の列から、グロモフの前コンパクト性定理を用いてグロモフ＝ハウスドルフ極限空間 $X$ を抽出する。
• フレーム bundle の構成を用いて、崩壊を正規直交フレーム bundle 上の $O(n)$-等長的極限に持ち上げ、滑らかな極限空間 $\check{X}$ を得る。
• チーバー、フカヤ、グロモフの結果を用い、等長的幾何を組み合わせることで、$p$-形式ラプラシアンの極限として、$X$ 上に平坦な次数1のスーパー接続を構成する。
• スーパー接続のコホモロジーを分析し、極限空間のベッチ数およびそのオーロリック構造と関連して、小さな固有値の数を関連付ける。
• スペクトル系列および層論的技法を用いて、$1$-形式ラプラシアンの小さな固有値の数を $b_1(X)$ および $\dim(M) - \dim(X)$ の観点から評価する。
• 熱核および曲率比較の議論を適用し、特に $p=0,1$ の場合に固有値の境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 極限空間 $X$ に対して、$p$-形式ラプラシアンの $j$-番目の固有値 $\lambda_{p,j}$ が任意に大きくなる条件は何か？
• RQ2 極限空間 $X$ のベッチ数および幾何的性質は、$1$-形式ラプラシアンの小さな固有値の数にどのように制約を加えるか？
• RQ3 多様体が有界曲率および有界直径を伴って崩壊する際、特異な極限空間 $X$ 上での極限作用素の構造はいかなるものか？
• RQ4 ファイバー束の一般ファイバー上で非自明なアフィン平行 $k$-形式が存在しない場合、$p$-形式ラプラシアンの固有値が無限大に発散する条件は何か？
• RQ5 曲率と直径の制約下で、$1$-形式ラプラシアンの小さな固有値の数は $b_1(M)$ および $\dim(M)$ の観点から評価可能か？

主な発見

• 直径 $\leq 1$ かつ断面曲率 $\leq K$ をもつすべての $n$-次元多様体において、$p$-形式ラプラシアンの $j$-番目の固有値の下界 $a^{1}_{n,p,j,K}$ は、$\lim_{j\to\infty} a^{1}_{n,p,j,K} = \infty$ を満たし、固有値に一様な下界が存在することを示す。
• もし $A^{1}_{p,j,K}(M) = \infty$ であれば、$M$ は $1 \leq \dim(X) \leq p-1$ を満たす極限空間 $X$ に崩壊し、$M \to X$ は、一般ファイバー $Z$ が $p - \dim(X) \leq k \leq p$ に対して非自明なアフィン平行 $k$-形式をもたないアフィンファイバー束をなす。
• $p=0$ または $p=1$ の場合、上界 $A^{1}_{n,p,j,K}$ は有限であり、曲率と直径の制約下でも固有値が一様に有界であることを意味する。
• $1$-形式ラプラシアンの小さな固有値の数は $b_1(X) + \dim(M) - \dim(X)$ で上から抑えられ、これはベルジャー球の崩壊によって実際に達成可能であることが示された。
• $p=2$ の場合、もし $A^{1}_{2,j,K}(M) = \infty$ であれば、$M$ は、非自明なアフィン平行 $1$-形式および $2$-形式をもたないほぼ平坦な多様体 $Z$ 上のアフィン微分同相のマッピングトーラス、またはそのような多様体の上での二重マッピングシリンダーのいずれかである。
• $1$-形式ラプラシアンの小さな固有値の数は $b_1(M) + \dim(M)$ で上から抑えられ、$a_{1,j,K}(M) = 0$ かつ $j > b_1(M)$ のとき、この境界は達成可能である。