[论文解读] Rigidity theorems of $λ$-hypersurfaces

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

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

一句话总结

本文通过在 $\mathbb{R}^{n+1}$ 中的完整 $\lambda$-超曲面（具有多项式面积增长）上应用 $`\mathcal{L}$-算子的广义最大值原理，建立了刚性定理。结果表明，除非第二基本形式与平均曲率之间的特定不等式不成立，否则此类超曲面必与标准模型——球面、欧几里得空间或柱面——等距。若该不等式不成立，则超曲面必为上述标准类型之一。

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.

研究动机与目标

• 通过几何与分析方法，对 $\mathbb{R}^{n+1}$ 中具有多项式面积增长的完整 $\lambda$-超曲面进行分类。
• 将自缩子（$\lambda = 0$）的刚性结果推广至一般 $\lambda$-超曲面。
• 在 $`\mathcal{L}$-算子广义最大值原理下，建立一个间隙定理与一个刚性定理。
• 刻画当第二基本形式与平均曲率满足临界不等式时，$\lambda$-超曲面的结构。
• 证明在曲率有界且具有多项式面积增长的条件下，$\lambda$-超曲面必与标准模型（如球面、欧几里得空间或柱面）等距。

提出的方法

• 在 $\lambda$-超曲面上使用 $`\mathcal{L}$-算子（定义为 $\mathcal{L} = \Delta - \frac{1}{2}\langle X, \nabla \cdot \rangle$）来分析曲率与第二基本形式的行为。
• 在 Ricci 曲率下有界的完整 $\lambda$-超曲面上，应用 $`\mathcal{L}$-算子的广义最大值原理。
• 引入函数 $B = S - \frac{H^2}{n}$，其中 $S$ 为第二基本形式的范数平方，$H$ 为平均曲率，以量化与脐点的偏离程度。
• 推导出涉及 $\mathcal{L}B$ 的关键微分不等式，并将其与含 $\lambda$、$n$ 和 $H$ 的阈值表达式进行比较。
• 在 $M$ 上对恒等式 $\frac{1}{2}\Delta|X|^2 = H\langle N,X\rangle + n$ 关于高斯测度 $e^{-|X|^2/2}d\mu$ 进行积分。
• 利用斯托克斯定理与在多项式面积增长下的 $L^2$-可积性，推导出在曲率界被违反时的点态恒等式与矛盾。

实验结果

研究问题

• RQ1 在何种条件下，具有多项式面积增长的完整 $\lambda$-超曲面与标准模型（如球面、欧几里得空间或柱面）等距？
• RQ2 广义最大值原理在 $`\mathcal{L}$-算子对 $\lambda$-超曲面分类中的作用是什么？
• 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)}$ 如何约束 $\lambda$-超曲面的几何结构？
• RQ4 能否仅通过多项式面积增长与 $L^2$-可积性，而不假设紧致性，建立 $\lambda$-超曲面的刚性？
• RQ5 第二基本形式、平均曲率与常数 $\lambda$ 之间存在何种关系，可决定 $\lambda$-超曲面的等距类型？

主要发现

• 若不等式 $\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)}$ 成立，则具有多项式面积增长的完整 $\lambda$-超曲面必与 $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}$，这意味着超曲面与 $S^n(r)$（其中 $0 < r < \sqrt{n}$）或 $\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}$ 等距。
• 在关键不等式的等号成立情况下，第二基本形式是平行的，且超曲面是等参的，从而确认其被归类为标准模型。