[論文レビュー] Rigidity theorems of $λ$-hypersurfaces

Qing-Ming Cheng, Shiho Ogata+1 more|arXiv (Cornell University)|Mar 17, 2014

Geometric Analysis and Curvature Flows参考文献 6被引用数 3

ひとこと要約

本稿では、$λ$-超曲面の多項式的面積成長を満たす完全な$λ$-超曲面に対して、$χ$-作用素の一般化された最大値原理を用いて剛性定理を確立する。このような超曲面は、第二基本形式と平均曲率の間に特定の不等式が成り立たない場合を除き、球面、ユークリッド空間、または円筒型の標準的モデルと等長であることが示される。

ABSTRACT

Since $n$-dimensional $λ$-hypersurfaces in the Euclidean space $\mathbb {R}^{n+1}$ are critical points of the weighted area functional for the weighted volume-preserving variations, in this paper, we study the rigidity properties of complete $λ$-hypersurfaces. We give a gap theorem of complete $λ$-hypersurfaces with polynomial area growth. By making use of the generalized maximum principle for $\mathcal L$ of $λ$-hypersurfaces, we prove a rigidity theorem of complete $λ$-hypersurfaces.

研究の動機と目的

• 多様体$χ^{n+1}$における多項式的面積成長を有する完全な$λ$-超曲面を、幾何学的・解析的技法を用いて分類すること。
• 自己収縮体（$λ = 0$）における剛性結果を一般$λ$-超曲面へ拡張すること。
• $χ$-作用素の一般化された最大値原理に基づくギャップ定理および剛性定理の確立。
• 第二基本形式と平均曲率が臨界不等式を満たす場合の$λ$-超曲面の構造の特徴づけ。
• 有界な曲率と多項式的面積成長の下で、$λ$-超曲面が球面、ユークリッド空間、または円筒型の標準的モデルと等長であることを証明すること。

提案手法

• $λ$-超曲面に作用する$χ$-作用素（$χ = \Delta - \frac{1}{2}\langle X, \nabla \cdot \rangle$）を用いて、曲率および第二基本形式の振る舞いを分析する。
• リッチ曲率が下から有界である完全$λ$-超曲面に適用可能な$χ$-作用素の一般化された最大値原理を適用する。
• 第二基本形式のノルムの二乗$S$と平均曲率$H$を用いて、$B = S - \frac{H^2}{n}$という関数を導入し、脐点からの逸脱度を定量化する。
• $\u03c7 B$に含まれる重要な微分不等式を導出し、$\lambda$、$n$、$H$を含む閾値表現と比較する。
• 超曲面$M$上で、ガウス測度$e^{-|X|^2/2}d\mu$に関する恒等式$\frac{1}{2}\Delta|X|^2 = H\langle N,X\rangle + n$を統合する。
• ストークスの定理と多項式的面積成長下での$L^2$-可積分性を用いて、曲率の境界が破られる場合の点関数的恒等式および矛盾を導出する。

実験結果

リサーチクエスチョン

• RQ1 多項式的面積成長を有する完全$λ$-超曲面が、球面、ユークリッド空間、または円筒型の標準的モデルと等長であるための条件は何か？
• RQ2 $\u03c7$-作用素の一般化された最大値原理が$λ$-超曲面の分類に果たす役割は何か？
• RQ3 不等式$\left(\sqrt{S - \frac{H^2}{n}} + |\lambda|\frac{n-2}{2\sqrt{n(n-1)}}\right)^2 + \frac{1}{n}(H - \lambda)^2 \leq 1 + \frac{n\lambda^2}{4(n-1)}$が$λ$-超曲面の幾何に与える制約は何か？
• RQ4 コンパクト性の仮定を除き、多項式的面積成長と$L^2$-可積分性のみを用いて$λ$-超曲面の剛性を確立できるか？
• RQ5 第二基本形式、平均曲率、定数$λ$の間の関係は、$λ$-超曲面の等長型を決定づけるか？

主な発見

• 不等式$\left(\sqrt{S - \frac{H^2}{n}} + |\lambda|\frac{n-2}{2\sqrt{n(n-1)}}\right)^2 + \frac{1}{n}(H - \lambda)^2 \leq 1 + \frac{n\lambda^2}{4(n-1)}$が成り立つ場合、完全$λ$-超曲面は$S^n(r)$、$\mathbb{R}^n$、$S^1(r)\times\mathbb{R}^{n-1}$、$S^{n-1}(r)\times\mathbb{R}$、または$S^k(\sqrt{k})\times\mathbb{R}^{n-k}$（$2\leq k\leq n-2$）と等長である。
• 不等式が破られる場合、超曲面は上記の標準的モデルのいずれかと等長である。
• 不等式の上界が$\sup\left(\left(\sqrt{S - \frac{H^2}{n}} + |\lambda|\frac{n-2}{2\sqrt{n(n-1)}}\right)^2 + \frac{1}{n}(H - \lambda)^2\right) < 1 + \frac{n\lambda^2}{4(n-1)}$を満たす場合、$S \equiv \frac{H^2}{n}$となり、超曲面は$0 < r < \sqrt{n}$を満たす$S^n(r)$または$\mathbb{R}^n$と等長である。
• $\lambda = 0$の場合、可能な等長型は$S^n(\sqrt{n})$、$\mathbb{R}^n$、$S^k(\sqrt{k})\times\mathbb{R}^{n-k}$に限られる。
• $\lambda \neq 0$の場合、超曲面はちょうど二つの異なる主曲率を持ち、そのうちの一つは単純である。このとき、超曲面は$S^n(r)$、$\mathbb{R}^n$、$S^1(r)\times\mathbb{R}^{n-1}$、または$S^{n-1}(r)\times\mathbb{R}$と等長である。
• 主要不等式の等号成立時、第二基本形式は平行であり、超曲面は等長的であることが確認され、標準的モデルへの分類が裏付けられる。