[论文解读] Recent developments of biharmonic conjecture and modified biharmonic conjectures

Bang‐Yen Chen|arXiv (Cornell University)|Jun 30, 2013

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

一句话总结

本文综述了陈氏双调和猜想的最新进展，该猜想认为欧氏空间中所有双调和子流形均为极小。文章研究了非正曲率空间中的广义猜想，提出了广义猜想的反例，并提出了两个修正猜想——针对超曲面和完备子流形——推动了黎曼几何中双调和几何的理解。

ABSTRACT

A submanifold $M$ of a Euclidean $m$-space is said to be biharmonic if $Δ\overrightarrow H=0$ holds identically, where $\overrightarrow H$ is the mean curvature vector field and $Δ$ is the Laplacian on $M$. In 1991, the author conjectured that every biharmonic submanifold of a Euclidean space is minimal. The study of biharmonic submanifolds is nowadays a very active research subject. In particular, since 2000 biharmonic submanifolds have been receiving a growing attention and have become a popular subject of study with many progresses. In this article, we provide a brief survey on recent developments concerning my original conjecture and generalized biharmonic conjectures. At the end of this article, I present two modified conjectures related with biharmonic submanifolds.

研究动机与目标

• 综述陈氏原始双调和猜想的最新进展，即欧氏空间中所有双调和子流形均为极小。
• 检验该猜想在具有非正截面曲率的黎曼流形中的有效性及其推广。
• 提出反例以证伪某些曲率空间中广义陈猜想的成立。
• 提出并论证两个修正猜想：一个针对欧氏空间中的双调和超曲面，另一个针对欧氏空间中的完备双调和子流形。
• 基于曲率与可积性约束，统一并澄清双调和子流形必须为极小的条件。

提出的方法

• 分析双调和方程 ΔH = 0，其中 H 是子流形 M 在 ℝ^m 中的平均曲率向量场。
• 使用包含映射 ι: M → ℝ^m，并利用 ι 为双调和当且仅当 ΔH = 0 的条件。
• 应用两个黎曼流形之间映射的广义双调和映射方程 τ²_φ = 0。
• 利用曲率不变量如 δ(r)-不变量和标量曲率 τ(L) 推导几何约束。
• 通过能量和 L^p 范数条件（例如 ∫|H|^p dv < ∞）分析平均曲率的完备性与有限性。
• 通过五维共形平坦负曲率空间中适当双调和超平面的叶状结构构造反例。

实验结果

研究问题

• RQ1 根据陈氏原始猜想，欧氏空间中所有双调和子流形是否均为极小？
• RQ2 广义陈猜想——即所有非正曲率流形中的双调和子流形均为极小——是否普遍成立？
• RQ3 在何种几何或分析条件下（如完备性、有限总平均曲率）双调和子流形会成为极小？
• RQ4 广义猜想能否在更弱的曲率或增长条件下被修正以保持成立？
• RQ5 欧氏空间中是否存在非极小的双调和超曲面，或该猜想的超曲面版本是否仍然成立？

主要发现

• 广义陈猜想在一般情况下不成立，反例表明在五维共形平坦负截面曲率空间中存在适当的双调和超平面。
• 在欧氏空间中，满足有限总平均曲率、H 的 L^p 可积性或多项式体积增长界等条件的完备双调和子流形均为极小。
• 在 H^n(−1) 中具有至多两个不同主曲率的双调和超曲面为极小，支持了在特定曲率设定下的猜想。
• 对于 ℝ^m 中的 k-调和子流形，所有此类子流形要么为极小，要么为无穷类型，且所有 k-调和曲线均为直线。
• 在有限双能量或 H 的 L^2 可积性等条件下，欧氏空间中完备双调和子流形的全局版本陈猜想成立。
• 提出了两个修正猜想：一个针对 ℝ^m 中的双调和超曲面，另一个针对欧氏空间中的完备双调和子流形，两者均在更广泛但依然受限的几何设定下断言极小性。