[論文レビュー] Rigidity phenomena in manifolds with boundary under a lower weighted Ricci curvature bound

Yohei Sakurai|arXiv (Cornell University)|May 9, 2016

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

ひとこと要約

本稿は、$N \leq 1$ の場合における $N$-重み付きリッチ曲率の下界が課された境界付きリーマン多様体に対して剛性定理を確立し、これまでの補完的重み付きケースへの拡張を図っている。境界からの距離関数に関するラプラシアンおよび体積比較定理を構築することで、著者は体積成長の剛性定理、分割定理、重み付き $p$-ラプラシアンの第一ディリクレ固有値に対する鋭い下界を証明し、等号成立時はモデル空間が特徴づけられることを示している。

ABSTRACT

We study Riemannian manifolds with boundary under a lower $N$-weighted Ricci curvature bound for $N$ at most $1$, and under a lower weighted mean curvature bound for the boundary. We examine rigidity phenomena in such manifolds with boundary. We conclude a volume growth rigidity theorem for the metric neighborhoods of the boundaries, and various splitting theorems. We also obtain rigidity theorems for the smallest Dirichlet eigenvalues for the weighted $p$-Laplacians.

研究の動機と目的

• 境界付きリーマン多様体における剛性現象を、標準的な $N \geq n$ の設定を超えて、$N \leq 1$ の補完的重み付きケースへ拡張すること。
• 下側 $N$-重み付きリッチ曲率および重み付き平均曲率の下界の下で、境界の近傍の測地的近傍の体積成長の剛性を確立すること。
• この新しい設定において、重み付き $p$-ラプラシアンの第一ディリクレ固有値に対する鋭い下界を導出し、$N \geq n$ の場合に既知の結果を一般化すること。
• 比較定理における等号成立ケースを特徴づけ、等号が成立する場合、等長的分割またはモデル空間構造が生じることを示すこと。

提案手法

• 境界からの距離関数 $\rho_{\partial M}$ に対するラプラシアン比較定理を、重み付きリッチ曲率の下界と境界の平均曲率の推定値を用いて構築する。
• 測地的近傍 $B_r(\partial M)$ に対する体積比較定理を、$\rho_{\partial M}$ の下調和性と $N$-重み付きリッチ曲率条件を活用して証明する。
• 測地線が境界に直交する際に体積歪みを制御するため、関数 $F_x(t) = \exp\left(\frac{f(\gamma_x(t)) - f(x)}{n-1}\right)$ を導入する。
• $\kappa$ および $\lambda$ における下調和性条件を用いて、比較推定および等号成立ケースの解析の妥当性を保証する。
• 体積比較および測地的直径の上限を応用し、重み付き $p$-ラプラシアンの固有値推定を導出する。
• 比較定理における等号成立ケースを分析することで、分割定理を証明し、$F$-モデル空間および赤道的モデル空間を含むモデル空間を特徴づける。

実験結果

リサーチクエスチョン

• RQ1 境界付き多様体と $N \leq 1$ の重み付きリッチ曲率の下界が与えられたとき、境界の近傍の測地的近傍において体積成長の剛性が成立する条件は何か？
• RQ2 $N \leq 1$ の補完的重み付き設定において、重み付き $p$-ラプラシアンの第一ディリクレ固有値に対する鋭い下界を確立できるか？
• RQ3 これらの曲率下界の下で、体積比較または固有値推定における等号成立時にどのような幾何的構造が生じるか？
• RQ4 $N$-重み付きリッチ曲率と $f$-平均曲率の下界は、多様体の位相的性質および等長型にどのように制約を加えるか？
• RQ5 チェヘア＝グロモル型の分割定理は $N \in (1,n)$ の範囲にどの程度まで拡張可能か。また、$N \leq 1$ の場合との関係は何か？

主な発見

• 体積成長の剛性定理を確立した：$\operatorname{Ric}^N_{f,M} \geq \kappa$ かつ $H_{f,\partial M} \geq \lambda$ で $N \leq 1$ のとき、$B_r(\partial M)$ の体積はモデル空間の体積以上に成長し、等号成立の場合は等長的分割が成立する。
• 重み付き $p$-ラプラシアンの第一ディリクレ固有値 $\mu_{f,1,p}(M)$ は、$D(M,\partial M) \leq D$ のとき $\mu_{f,1,p}(M) \geq (pD)^{-p}$ を満たし、等号成立は $D(M,\partial M) = D$ かつ $(M,d_M)$ が $F$-モデル空間である場合に限る。
• $N < 1$ のとき、固有値推定における等号成立は、すべての $x \in \partial M$ に対して $f \circ \gamma_x$ が $[0,D]$ 上で定数であることを意味し、多様体が赤道的モデル空間であることを示す。
• 体積比較における等号成立は、距離空間 $(M,d_M)$ が $F$-モデル空間に等長的であることを意味し、$\mathrm{Cut}\,\partial M = S_D(\partial M)$ が成り立つ。つまり、切断点集合は距離球 $S_D(\partial M)$ と一致する。
• 本結果は、$N \geq n$ の場合に既知の剛性定理を、補完的 $N \leq 1$ の場合へ自然に拡張しており、Wylieの分割定理を $N \in (-\infty,1]$ へ拡張するものである。
• 命題6.7では、同一の曲率下界のもとで体積推定 $m_f(\Omega) \leq m_{f,\partial\Omega}(\partial\Omega)(\delta_2(\Omega) - \delta_1(\Omega))$ が得られており、非重み付きかつ $N \geq n$ の場合の結果を拡張している。