[論文レビュー] Harmonic forms on manifolds with edges

Eugénie Hunsicker, Rafe Mazzeo|ArXiv.org|Mar 16, 2005

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

ひとこと要約

本稿は、不完全なエッジ特異点をもつコンパクトなリーマン的分類空間上での$L^2$調和形式の空間を、重み付きde Rhamコホロロジーとエッジ擬微分計算を用いて計算する。$L^2$調和形式が、臨界的次数でファイバーのコホロロジーが消える場合、交差コホロロジー群に対応することを確立し、不完全計量をもつ特異空間におけるホッジ理論の主要なケースを解決する。

ABSTRACT

Let $(X,g)$ be a compact Riemannian stratified space with simple edge singularity. Thus a neighbourhood of the singular stratum is a bundle of truncated cones over a lower dimensional compact smooth manifold. We calculate the various polynomially weighted de Rham cohomology spaces of $X$, as well as the associated spaces of harmonic forms. In the unweighted case, this is closely related to recent work of Cheeger and Dai \cite{CD}. Because the metric $g$ is incomplete, this requires a consideration of the various choices of ideal boundary conditions at the singular set. We also calculate the space of $L^2$ harmonic forms for any complete edge metric on the regular part of $X$.

研究の動機と目的

• コンパクトな分類空間に不完全なエッジ特異点をもつ場合の$L^2$調和形式の位相的意味を特定すること。
• 重み付き$L^2$コホロロジーと調和形式を分析することにより、不完全エッジ計量へのホッジ理論の拡張を図ること。
• 特異なストラトゥムが存在する状況下で、$L^2$調和形式と交差コホロロジーの関係を明確にすること。
• 不完全計量における特異軸での境界条件の依存性を、最小および最大のde Rham複体を区別することによって解消すること。
• 最小および最大の$L^2$ de Rham複体が一致する条件を特定し、調和形式を交差コホロロジーと同一視できることを可能にすること。

提案手法

• 分類空間の正則部分上の微分形式を分析するため、多項式的重み付き$L^2$コホロロジーを用いる。
• 不完全エッジ計量上でのホッジラプラシアンのパラメトリックスを構成するために、エッジ擬微分計算を適用する。
• 繊維付きキャプスおよび繊維付き境界の計算の類似物を、エッジ計算を用いて不完全計量に適応する。
• ラプラシアンの正規作用素を分析して、特にゼロ付近でのスペクトルギャップおよび本質的スペクトルを研究する。
• 特に、特異ストラトゥム上でのコーンバンドルに対して、層論的技法を用いて交差コホロロジーを計算する。
• 不完全計量および特異境界条件を扱うために、de Rham複体の最小および最大拡張を区別する。

実験結果

リサーチクエスチョン

• RQ1 不完全エッジ計量上での重み付き$L^2$調和形式は、その背後にある分類空間の位相的不変量とどのように関係するか？
• RQ2 不完全エッジ空間の正則部分上での最小および最大de Rham複体が一致する条件は何か？
• RQ3 不完全エッジ計量上での$L^2$調和$k$-形式の空間がいつ交差コホロロジーに対応するか？
• RQ4 ベースの次元$b$が奇数のとき、ファイバー$F$のコホロロジーは、$L^2$調和形式の次元にどのように寄与するか？
• RQ5 ホッジラプラシアンの本質的スペクトルは、無限次元の$L^2$調和形式の存在にどのように影響するか？

主な発見

• 不完全エッジ計量では、ファイバーのコホロロジー$H^\rho(F)$が消えるとき、$L^2$調和$k$-形式は$L^2\tilde{\rho}^k(M,g) \times L^2\tilde{\rho}^{k-r}(M,g)$に分解する。
• $b$が偶数、または$\rho = (2k - b - 1)/2$に対して$H^\rho(F) = 0$のとき、最小および最大de Rham複体が一致し、$L^2$調和形式が正しく定義される。
• 同じコホロロジー的消滅条件の下で、$L^2$調和$k$-形式の空間は交差コホロロジー${I\tilde{H}}^k_{\frak{m}}(X)$に同型である。
• $b$が奇数で$H^\rho(F) \neq 0$のとき、$L^2\tilde{\rho}^k(M,g)$は、$\triangle_k$の本質的スペクトルがゼロに集積するため、無限次元である。
• エッジ計算におけるパラメトリックス構成により、$\triangle_k$のゼロ付近のスペクトルギャップが確立され、$\nu$が小さく非ゼロのとき、$\triangle_k - \nu$のコンパクトな剰余が保証される。
• 本結果は、チーバーとダイの研究を一般化し、偶数次元のファイバーおよび多項式的重みの全スケールへの対応を拡張する。