[論文レビュー] Biharmonic hypersurfaces in a Riemannian manifold with non-positive Ricci curvature

Nobumitsu Nakauchi, Hajime Urakawa|arXiv (Cornell University)|Jan 17, 2011

Geometric Analysis and Curvature Flows被引用数 13

ひとこと要約

この論文は、リーマン多様体のリッチ曲率が非正である場合、平均曲率の二乗が $L^2$-可積分であるならば、双調和超曲面は最小である必要があることを証明している。双調和条件から導かれるシュレーディンガー型方程式を用い、重み付き $L^2$ の消滅法を適用することで、平均曲率 $H$ が定数であることを示し、非正のリッチ曲率のもとでは $H=0$ となる。これは最小性を意味する。

ABSTRACT

In this paper, we show that, for a biharmonic hypersurface $(M,g)$ of a Riemannian manifold $(N,h)$ of non-positive Ricci curvature, if $\int_M|H|^2 v_g

研究の動機と目的

• リーマン多様体のリッチ曲率が非正である場合、平均曲率の $L^2$-可積分性の条件下で、双調和超曲面が最小であることを証明すること。
• 反例が存在するための必要条件を同定することで、一般化されたチェン予想を超曲面へと拡張すること。
• 与えられた $L^2$-可積分性条件下で、平均曲率 $H$ が定数でなければならないことを確立すること。
• 非正のリッチ曲率のもとで、$\int_M |H|^2 < \infty$ を満たす双調和超曲面の唯一の可能性は最小であるということを示すこと。
• 鋭い幾何的障害を提供する：一般化されたチェン予想の反例は、必ず $\int_M |H|^2 = \infty$ を満たす必要がある。

提案手法

• 超曲面の双調和方程式から、シュレーディンガー型方程式 $\Delta_g H = (|A|^2 - \mathrm{Ric}^N(\xi,\xi))H$ を導出する。
• 測地球 $B_r(x_0)$ 上で $|\nabla \eta| \leq 2/r$ を満たす切り上げ関数 $\eta$ を用いて、重み付き $L^2$ の消滅法を適用する。
• 部分積分とヤングの不等式を用いて、エネルギー項 $\int \eta^2 |\nabla H|^2$ を評価し、$H$ が定数であることを示す。
• $\int_M |H|^2 \, v_g < \infty$ を課すことで、消滅法に必要な $L^2$-可積分性を保証する。
• 双調和方程式系 (4.1) を解析し、非正のリッチ曲率のもとで $H \neq 0$ だと矛盾が生じることを示す。
• ボッハーナ型の議論を適用し、$\mathrm{Ric}^N \leq 0$ かつ $H$ が定数のとき、$H \equiv 0$ であることを結論づける。

実験結果

リサーチクエスチョン

• RQ1 リッチ曲率が非正である多様体における双調和超曲面が、どのような条件下で必然的に最小であるか？
• RQ2 もし $\int_M |H|^2 \, v_g < \infty$ ならば、非正のリッチ曲率をもつ多様体に非最小の双調和超曲面が存在しうるか？
• RQ3 非正に曲がった環境空間における双調和超曲面の平均曲率 $H$ にどのような幾何的制約が生じるか？
• RQ4 $|H|^2$ の $L^2$-可積分性は、平均曲率の定数性および消滅にどのように影響するか？
• RQ5 リッチ曲率項 $\mathrm{Ric}^N(\xi,\xi)$ は、超曲面の双調和方程式においてどのような役割を果たすか？

主な発見

• $\int_M |H|^2 \, v_g < \infty$ ならば、完全な双調和超曲面上で平均曲率 $H$ は定数である。
• $\mathrm{Ric}^N(\xi,\xi) \leq |A|^2$ の仮定のもとで、双調和超曲面は定数平均曲率をもつ。
• 環境空間のリッチ曲率が非正であるとき、$\int_M |H|^2 \, v_g < \infty$ を満たす任意の双調和超曲面は最小（$H = 0$）でなければならない。
• 余次元1における一般化されたチェン予想の反例が存在するためには、必ず $\int_M |H|^2 \, v_g = \infty$ を満たす必要がある。
• $\int_M |H|^2 \, v_g = \infty$ であることは、$H$ が有界でないか、または無限体積の集合上で $|H|^2 \geq C > 0$ であることを意味する。
• 証明は、$L = |A|^2 - \mathrm{Ric}^N(\xi,\xi) \geq 0$ であるシュレーディンガー型方程式 $\Delta_g H = L H$ の解に対する重み付き $L^2$ 消滅法に依存している。