[论文解读] Biharmonic submanifolds in a Riemannian manifold

Norihito Koiso, Hajime Urakawa|arXiv (Cornell University)|Aug 23, 2014

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

一句话总结

本文在一般条件下证明了欧氏空间中双调和超曲面的B.-Y. Chen猜想：若所有主曲率均为单重且对应的框架场不可约，则该超曲面必为极小曲面。证明基于由双调和方程导出的超定常微分方程组，应用欧几里得算法消去高阶项，并证明张力场必须恒为零，从而在无需完备性假设的前提下推出极小性。

ABSTRACT

In this paper, we solve affirmatively B.-Y. Chen's conjecture for hypersurfaces in the Euclidean space, under a generic condition. More precisely, every biharmonic hypersurface of the Euclidean space must be minimal if their principal curvatures are simple, and the associated frame field is irreducible.

研究动机与目标

• 在特定几何条件下，解决欧氏空间中双调和超曲面的B.-Y. Chen猜想。
• 建立双调和超曲面若具有单重主曲率且框架场不可约，则必为极小曲面的结论。
• 消除先前关于双调和子流形极小性结果中对完备性的假设。
• 发展一种基于常微分方程的新方法，以分析具有非正常张力场的超曲面上的双调和方程。
• 证明张力场的消失性可由多项式余项序列导出的代数约束所决定。

提出的方法

• 推导欧氏空间中超曲面上的双调和方程，重点关注张力场τ及其非正常性。
• 引入一个特征超曲面F，使得τ在F上为常数，并分析F在M中的诱导主曲率μi。
• 建立沿v_n-曲线的超定常微分方程组，涉及由双调和条件导出的λi与μi。
• 对τ中的多项式余项应用欧几里得算法，以消去高阶项，并将系统约化为一个多项式恒等式。
• 利用代数几何方法证明，仅当φ或ψ为常数时，所得多项式f0才恒为零，从而推出τ ≡ 0。
• 利用框架场{vi}的不可约性，强制λi与μi之间存在线性关系，从而推出F上曲率的常数性。

实验结果

研究问题

• RQ1 在何种条件下，欧氏空间中的每个双调和超曲面均为极小曲面？
• RQ2 能否在双调和超曲面的极小性结果中去除先前研究中对完备性的假设？
• RQ3 在不可约性条件下，双调和超曲面与其特征超曲面的主曲率之间有何关系？
• RQ4 当双调和方程表示为常微分方程组时，会产生何种代数约束？
• RQ5 张力场的消失性是否可由双调和系统中高阶项的多项式消去过程所导出？

主要发现

• 主要定理表明，E^{n+1}中具有单重主曲率与不可约框架场的双调和超曲面必为极小曲面。
• 当欧几里得算法所得的多项式余项f0消失时，张力场τ恒为零，而这种情况仅在φ或ψ为常数时发生。
• 常微分方程组的初始值集合在R^{2(n-1)}中构成一个代数流形，确保了解空间的结构约束。
• 在不可约性条件下，主曲率λi与特征超曲面F上的诱导曲率μi之间存在线性关系。
• 曲率λi与μi在特征超曲面F上为常数，这是证明τ ≡ 0的关键步骤。
• 该证明不依赖于超曲面的完备性，从而推广了以往依赖此类假设的结果。