[论文解读] Biharmonic submanifolds in manifolds with bounded curvature

Shun Maeta|arXiv (Cornell University)|May 23, 2014

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

一句话总结

本文建立了在截面曲率上界为非负常数 $ c $ 的黎曼流形中，完备双调和子流形具有常数平均曲率 $ \sqrt{c} $ 的条件。通过积分条件或里奇曲率假设，证明了若平均曲率下界为 $ \sqrt{c} $，则其必为精确值 $ \sqrt{c} $，从而为双调和子流形在球面上的 BMO 猜想提供了部分证实。

ABSTRACT

We consider a complete biharmonic submanifold $ϕ:(M,g) ightarrow (N,h)$ in a Riemannian manifold with sectional curvature bounded from above by a non-negative constant $c$. Assume that the mean curvature is bounded from below by $\sqrt c$. If (i) $\int_M (|{\bf H}|^2-c)^{p}dv_g

研究动机与目标

• 为 BMO 猜想提供部分肯定回答，该猜想认为球面上的所有双调和子流形均具有常数平均曲率。
• 通过聚焦于完备子流形，将该猜想从局部微分几何推广至整体微分几何。
• 研究在有界曲率流形中，双调和子流形具有常数平均曲率的条件。
• 建立充分的几何与分析条件——特别是积分衰减或里奇曲率下界——以迫使平均曲率恰好为 $ \sqrt{c} $。

提出的方法

• 分析等距浸入 $ \phi: (M,g) \to (N,h) $ 的双调和方程，其中 $ N $ 的截面曲率上界为 $ c \geq 0 $。
• 对函数 $ |\mathbf{H}|^2 - c $ 应用广义最大值原理，使用在测地球上定义的截断函数 $ \lambda $。
• 施加条件 $ \int_M (|\mathbf{H}|^2 - c)^p \, dv_g < \infty $，对平均曲率偏差的衰减进行控制，其中 $ 0 < p < \infty $。
• 利用 $ M $ 上的里奇曲率下界作为几何约束，通过谱论与比较论证迫使 $ \mathbf{H} $ 为常数。
• 在空间形式中应用双共形条件，导出涉及 $ H $ 和形状算子的偏微分方程，从而在不等式 $ \lambda_i > -\frac{1}{2}mH $ 成立时推出 $ H $ 的常数性。
• 使用双极小方程 $ \Delta H - H|A|^2 + cmH - \lambda H = 0 $ 分析临界点，并在 $ H $ 为常数时推导出脐点结构。

实验结果

研究问题

• RQ1 在截面曲率 ≤ c 的流形中，完备双调和子流形在何种条件下具有常数平均曲率 $ \sqrt{c} $？
• RQ2 能否通过假设完备性与曲率界，将 BMO 猜想从局部推广至整体设定？
• RQ3 积分条件 $ \int_M (|\mathbf{H}|^2 - c)^p \, dv_g < \infty $（对某个 $ p > 0 $）是否蕴含平均曲率的常数性？
• RQ4 子流形 $ M $ 上的里奇曲率下界如何影响双调和浸入中平均曲率的常数性？
• RQ5 双共形条件在空间形式中双曲面上迫使平均曲率为常数的过程中起何种作用？

主要发现

• 若对某个 $ 0 < p < \infty $，有 $ \int_M (|\mathbf{H}|^2 - c)^p \, dv_g < \infty $，且平均曲率满足 $ |\mathbf{H}| \geq \sqrt{c} $，则 $ |\mathbf{H}| = \sqrt{c} $。
• 若 $ M $ 的里奇曲率有下界，且 $ |\mathbf{H}| \geq \sqrt{c} $，则 $ |\mathbf{H}| = \sqrt{c} $。
• 对于满足 $ |\mathbf{H}| \geq \sqrt{c} $ 的紧致双调和子流形，其平均曲率必为 $ \sqrt{c} $，无需额外的积分或里奇曲率条件。
• 在常曲率 $ c $ 的空间形式中，任意满足 $ \lambda_i > -\frac{1}{2}mH $（对所有 $ i $）的双共形超曲面具有常数平均曲率。
• 在相同双共形条件下，若 $ H \neq 0 $，则 $ c > 0 $，且该超曲面为完全脐点，满足 $ |A|^2 = cm $。
• 当 $ H $ 为常数时，双极小方程推出 $ |A|^2 = cm - \lambda $，若 $ H \neq 0 $，则 $ cm - \lambda > 0 $，从而导致完全脐点结构。