[論文レビュー] On the Omori-Yau Maximum Principle and Geometric Applications

Barnabé Pessoa Lima, Leandro De Freitas Pessoa|arXiv (Cornell University)|Jan 9, 2012

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

ひとこと要約

本稿は、関数γの曲率および成長条件を弱めた場合のリーマン多様体におけるオモリ・ヨウ最大原理の一般化版を提示する。ピゴラ＝リゴリ＝セッティらの先行研究を拡張する。この手法により、高さ関数の漸近的制御を緩くした場合や曲率の境界が存在しない場合の部分多様体および超曲面の平均曲率に関する鋭い推定が可能になる。

ABSTRACT

We introduce a version of the Omori-Yau maximum principle which generalizes the version obtained by Pigola-Rigoli-Setti 21. We apply our method to derive a non-trivial generalization Jorge-Koutrofiotis Theorem 15 for cylindrically bounded submanifolds due to Alias-Bessa-Montenegro 2, we extend results due to Alias-Dajczer 5, Alias-Bessa-Dajczer 1 and Alias-Impera-Rigoli 6.

研究の動機と目的

• リッチ曲率の下界が存在しない場合でも、新たな補助関数γを導入することでオモリ・ヨウ最大原理をリッチ曲率の境界を超えて拡張すること。
• 新しい最大原理フレームワークを用いて、シリンダーベースの部分多様体に対するジョルジュ＝クアウトロフィオティスの定理を一般化すること。
• 高さ関数が有界でない場合を含む、ワーペッド積多様体内の超曲面の平均曲率推定を拡張すること。
• 非コンパクトな部分多様体に対して、特に曲率が緩やかに減少する空間においても適用可能な統一的な解析的ツールを提供すること。
• 高さ関数がγに対してゆっくり成長する場合でさえも、内在的な幾何的データに基づいて平均曲率の上界の鋭い下界を確立すること。

提案手法

• h1（∞におけるγ → ∞）、h2（G(γ)および1/√Gの積分による勾配の境界）、h3（Gおよびγを含むラプラシアンの境界）を満たす新たな関数γを導入する。
• このようなγが存在する場合、ラプラシアンに対するオモリ・ヨウ最大原理が成り立つことを証明し、|grad u|およびΔuが0に近づく近似列の構成を可能にする。
• L^ℓ × P^nへの等長埋め込みφ: M → L^ℓ × P^nにこの原理を適用し、P上の距離関数ρ_Pの引き戻しを用いてu = ρ_P ∘ φを定義する。
• Pにおけるヘッシアン比較定理およびPの曲率境界を用いて、曲率関数C_bおよび余次元を用いて平均曲率|H|の下界を導出する。
• ワーペッド積N = I ×_ρ Pにおける高さ関数h = π_I ∘ fの成長条件を、x → ∞でh(x)/φ(γ(x)) → 0を満たすように定義し、最大原理の適用可能性を保証する。
• 関数𝒞(t) = grad ln ρ(t)の下限に基づいて、sup |H|の鋭い下界を導出する。これは[6]および[1]の先行結果を一般化する。

実験結果

リサーチクエスチョン

• RQ1 リーマン多様体のリッチ曲率が下界を持たない場合、オモリ・ヨウ最大原理が成り立つ幾何的条件は何か？
• RQ2 より一般化された補助関数γを用いることで、曲率の低下が遅い多様体に対してもオモリ・ヨウ最大原理を拡張できるか？
• RQ3 一般化された最大原理は、ワーペッド積空間内の部分多様体の平均曲率にどのような意味を持つか？
• RQ4 ワーペッド積超曲面における高さ関数の成長率をどのように制御すれば、非自明な平均曲率推定が可能になるか？
• RQ5 曲率の仮定を弱めた場合でも、シリンダーベースの部分多様体に対してジョルジュ＝クアウトロフィオティスの定理をどの程度一般化できるか？

主な発見

• 本稿では、h1–h3を満たす関数γに基づく、オモリ・ヨウ最大原理が成り立つ新たな十分条件を確立した。これはピゴラ＝リゴリ＝セッティの枠組みを一般化する。
• 一般化された最大原理により、平均曲率の上界の鋭い下界が得られる：sup |H| ≥ (m−ℓ)/m · C_b(L)，ここでL = limsup ρ_P(φ(x))（x → ∞）。
• ワーペッド積N = I ×_ρ P内の超曲面に対して、成長条件lim h(x)/φ(γ(x)) = 0が満たされる場合、sup |H| ≥ inf_M ℋ(h)が成り立つ。これは[6]の定理7を一般化する。
• 高さ関数hが無限大に発散する場合でも、φ(γ(x))に対して成長が支配的でない限り、この手法は有効であり、非コンパクト超曲面への応用を可能にする。
• P^nの曲率条件は、iterated logarithmic項を含む形に一般化された：K_P ≥ −B² ∏_{j=1}^k [ln^{(j)}(∫₀^ρ ds/√G + 1) + 1]^2 · (∫₀^ρ ds/√G + 1)^2 · G(ρ)。これにより、より緩やかな曲率の減少が可能になる。
• 本結果は、アリス＝バッサ＝ダジエール[1]、アリス＝ダジエール[5]、アリス＝イマー＝リゴリ[6]の先行研究を拡張し、微分幾何学における平均曲率推定のための統一的枠組みを提供する。