[論文レビュー] Analysis and Geometry of Boundary-Manifolds of Bounded Geometry

Thomas Schick|ArXiv.org|Oct 17, 1998

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

ひとこと要約

この論文は、有界幾何構造を持つ向き付け可能境界多様体における L^2-コホモロジーの Hodge-de Rham 定理を確立し、強いボッハラー型消滅結果を証明する。このような多様体が、コンパクト集合の外部で非負のリッチ曲率と非負の境界平均曲率を持つ有界幾何構造を持つ計量を備えるならば、その第一相対 L^2-コホモロジーは消える。解析は、これらの非コンパクト多様体におけるラプラシアンの一様強楕円型境界値問題に依拠する。

ABSTRACT

In this paper, we investigate analytical and geometric properties of certain non-compact boundary-manifolds, namely manifolds of bounded geometry. One result are strong Bochner type vanishing results for the L^2-cohomology of these manifolds: if e.g. a manifold admits a metric of bounded geometry which outside a compact set has nonnegative Ricci curvature and nonnegative mean curvature (of the boundary) then its first relative L^2-cohomology vanishes (this in particular answers a question of Roe). We prove the Hodge-de Rham-theorem for L^2-cohomology of oriented boundary-manifolds of bounded geometry. The technical basis is the study of (uniformly elliptic) boundary value problems on these manifolds, applied to the Laplacian.

研究の動機と目的

• 有界幾何構造を持つ向き付け可能境界多様体における L^2-コホモロジーの Hodge-de Rham 分解定理を確立すること。
• 幾何的条件、特に非負のリッチ曲率と非負の境界平均曲率の下での L^2-コホモロジーの消滅を調査すること。
• ロウが提起した、幾何的制約の下での相対 L^2-コホモロジーの消滅に関する問いに応えること。
• 非コンパクト多様体における一様強楕円型境界値問題のための関数解析的枠組みを構築すること。
• コンパクト多様体における古典的解析を、制御された幾何的構造を持つ非コンパクト境界多様体へと拡張すること。

提案手法

• 有界幾何構造を持つ境界多様体におけるラプラシアンを、一様強楕円型境界値問題を用いて分析する。
• L^2-コホモロジーに関数解析的技法を適用し、de Rham複体のホッジ分解に注目する。
• 幾何的条件を課す：有界幾何構造、コンパクト集合の外部での非負のリッチ曲率、境界の非負の平均曲率。
• 多様体の幾何構造を用いて、微分形式が無限遠における振る舞いを制御する。
• 境界付き非コンパクト空間における楕円型作用素の理論を用い、一様強楕円性と有界幾何構造に依拠する。
• これらの多様体における L^2-設定での境界値問題の解の存在性と正則性を確立する。

実験結果

リサーチクエスチョン

• RQ1 有界幾何構造を持つ境界多様体の第一相対 L^2-コホモロジーが、どのような幾何的条件下で消えるか。
• RQ2 Hodge-de Rham 定理を、有界幾何構造を持つ非コンパクト境界多様体における L^2-コホモロジーへと拡張できるか。
• RQ3 曲率条件、特に非負のリッチ曲率と非負の境界平均曲率が、L^2-コホモロジーの消滅にどのように影響するか。
• RQ4 一様強楕円型境界値問題が、このような多様体における L^2-コホモロジーの解析において果たす役割は何か。
• RQ5 コンパクト多様体における古典的解析を、有界幾何構造を持つ非コンパクト境界多様体へどの程度一般化できるか。

主な発見

• 有界幾何構造を持つ向き付け可能境界多様体における L^2-コホモロジーに対して、Hodge-de Rham 定理が成り立つ。
• 有界幾何構造を持つ境界多様体が、コンパクト集合の外部で非負のリッチ曲率と非負の境界平均曲率を持つ計量を備えるならば、その第一相対 L^2-コホモロジーは消える。
• この消滅結果は、ロウが提起した、このような曲率条件の下での相対 L^2-コホモロジーの消滅に関する問いに対して肯定的な回答を提供する。
• これらの多様体における一様強楕円型境界値問題の解析が、主な結果の技術的基盤を提供する。
• 古典的ボッハラー型定理が、境界付きで有界幾何構造を持つ非コンパクト設定へと拡張される。
• 開発された枠組みにより、制御された幾何構造を持つ非コンパクト多様体におけるスペクトル理論と楕円型正則性が、L^2-設定で応用可能になる。