[論文レビュー] Sobolev inequalities in manifolds with nonnegative curvature

S. Brendle|arXiv (Cornell University)|Sep 29, 2020

Geometric Analysis and Curvature Flows被引用数 7

ひとこと要約

この論文は、非負のリッチ曲率または断面曲率を持つ完備非コンパクトリーマン多様体に対して、最適定数が漸近的体積比 $\theta$ に依存する鋭いソボレフ型不等式および等周不等式を確立する。これらの結果は古典的な不等式を一般化し、等号成立の条件を同定しており、等号が成り立つのは、多様体がユークリッド空間であり、領域が球形である場合に限ることを示している。

ABSTRACT

We prove a sharp Sobolev inequality on manifolds with nonnegative Ricci curvature. Moreover, we prove a Michael-Simon inequality for submanifolds in manifolds with nonnegative sectional curvature. Both inequalities depend on the asymptotic volume ratio of the ambient manifold.

研究の動機と目的

• 非負リッチ曲率を持つ完備非コンパクト多様体のコンパクト領域における鋭いソボレフ不等式の確立。
• ソボレフ不等式における等号成立条件の同定。これは、ユークリッド空間および球形領域に限ることを示す。
• 特にcodimension ≤ 2の場合に、非負断面曲率を持つ多様体内の部分多様体へのマイケル＝シモン不等式の拡張。
• このような環境多様体におけるcodimension 2以下の最小部分多様体に対する鋭い等周不等式の導出。
• 漸近的体積比 $\theta$ が、すべての不等式における最適定数を支配することを示し、幾何的および解析的境界を統合する。

提案手法

• 主なソボレフ不等式の証明には、X. カブレの楕円型偏微分方程式に関する研究から適応されたアレクサンドロフ＝バケルマン＝プッチ法を用いる。
• この議論では、関数 $f$ 及びその勾配を含む特定の偏微分方程式を満たす部分解 $u$ を領域 $D$ 上に構成し、漸近的体積比 $\theta$ を活用する。
• 部分多様体の場合、リーマン幾何への拡張には平均曲率ベクトル $H$ を組み込み、勾配の修正された $L^p$-ノルムを用いる。
• 解析は曲率条件に依存しており、主定理には非負リッチ曲率、部分多様体の結果には非負断面曲率を仮定する。
• 重要なステップとして、不等式における等号が $\nabla^\Sigma f = 0$, $D_\Sigma^2 u = f^{1/(n-1)} g$, および $I\!I = 0$ を意味することを示す。これにより $f$ が定数であることが強制される。
• 等号成立のケースは、$\Sigma$ 上のモース理論およびフロー論的議論により分析され、像の直径がゼロに収縮することが示され、$\theta = 1$ が得られ、結果として $M$ が $\mathbb{R}^n$ に等長同型であることが導かれる。

実験結果

リサーチクエスチョン

• RQ1 非負リッチ曲率を持つ多様体上の関数に対して、ソボレフ不等式における最適定数は何か？
• RQ2 漸近的体積比 $\theta$ は、ソボレフ不等式および等周不等式における最適定数にどのように影響を与えるか？
• RQ3 部分多様体に対する一般化されたマイケル＝シモン不等式の等号成立は、どのような幾何的条件下で成立するか？
• RQ4 非負曲率を持つ多様体におけるcodimension 2の最小部分多様体に対して、鋭い等周不等式を確立できるか？
• RQ5 等号が成り立つのはユークリッド空間に限るのか？そしてこれは環境多様体の幾何にどのような意味を持つのか？

主な発見

• 非負リッチ曲率を持つ多様体上での鋭いソボレフ不等式は、$\int_D |\nabla f| + \int_{\partial D} f \geq n |B^n|^{1/n} \theta^{1/n} \left( \int_D f^{n/(n-1)} \right)^{(n-1)/n}$ で与えられ、等号成立は $M$ がユークリッド空間であり、$D$ が球形領域である場合に限る。
• このような多様体上の領域に対して、等周不等式 $|\partial D| \geq n |B^n|^{1/n} \theta^{1/n} |D|^{(n-1)/n}$ が成り立ち、非コンパクトな場合のレヴィ＝グロモフ不等式を一般化する。
• 非負断面曲率を持つ多様体におけるcodimension 2の部分多様体 $\Sigma$ に対して、不等式 $\int_\Sigma \sqrt{|\nabla^\Sigma f|^2 + f^2 |H|^2} + \int_{\partial \Sigma} f \geq n |B^n|^{1/n} \theta^{1/n} \left( \int_\Sigma f^{n/(n-1)} \right)^{(n-1)/n}$ が鋭い。
• codimension 2の場合の等号成立は、$f$ が定数、$M$ が $\mathbb{R}^{n+2}$ に等長同型であり、$\Sigma$ が平坦な球形領域である場合に限る。
• 等号成立のケースで漸近的体積比 $\theta$ が 1 に等しいことが示され、環境多様体がユークリッド空間に等長同型であることを意味する。
• 証明では、$\Sigma$ 上のフロー論的議論により $\theta = 1$ が示され、$\theta \neq 1$ の場合、等周比がユークリッド不等式を破るため、$\theta = 1$ でなければならないことが導かれる。