[论文解读] Broadly-Pluriminimal Submanifolds of Kaehler-Einstein Manifolds

Isabel M. C. Salavessa, Giorgio Valli|ArXiv.org|Apr 14, 2000

Geometry and complex manifolds参考文献 2被引用 3

一句话总结

本文引入了凯勒-爱因斯坦流形中的广义全最小化子流形，并证明在紧致性与负标量曲率条件下，若此类子流形不包含复方向，则当 n=2 时必为拉格朗日子流形。关键结果推广了沃尔夫森在 n=1 时的结果，其核心依赖于凯勒角对称函数的拉普拉斯公式。

ABSTRACT

We define broadly-pluriminimal immersed 2n-submanifold F: M --> N into a Kaehler-Einstein manifold of complex dimension 2n and scalar curvature R. We prove that, if M is compact, n \geq 2, and R < 0, then: (i) Either F has complex or Lagrangian directions; (ii) If n = 2, M is oriented, and F has no complex directions, then it is a Lagrangian submanifold, generalising the well-known case n = 1 for minimal surfaces due to Wolfson. We also prove that, if F has constant Kaehler angles with no complex directions, and is not Lagrangian, then R = 0 must hold. Our main tool is a formula on the Laplacian of a symmetric function on the Kaehler angles.

研究动机与目标

• 在复维度为 2n 的凯勒-爱因斯坦流形中定义并研究广义全最小化子流形。
• 在紧致性和负标量曲率条件下，研究此类子流形的几何约束。
• 将沃尔夫森关于极小曲面（n=1）的结果推广至更高维度，特别是 n=2 的情形。
• 确定广义全最小化子流形在何种条件下必为拉格朗日子流形或具有零标量曲率。

提出的方法

• 通过凯勒角对称函数的拉普拉斯定义广义全最小化浸入。
• 利用下拉凯勒形式的极分解，在切丛上定义算子 $ J_\rho $ 和 $ \tilde{g} $。
• 对由余弦凯勒角的对数变换构造的光滑函数 $ \tilde{\rho} $ 应用最大值原理。
• 利用威尓扰动定理，确保凯勒角在常秩开集上的局部利普希茨连续性与光滑性。
• 推导出 $ \triangle \tilde{\rho} $ 的关键公式，以标量曲率 $ R $ 表示，表明在 $ \rho $-最大值点有 $ \triangle \tilde{\rho} = -2R(\text{sum of } \text{cos}\theta_\beta) $。
• 利用连续性与最大值原理，在 $ R < 0 $ 条件下，当存在复方向或非拉格朗日方向时导出矛盾。

实验结果

研究问题

• RQ1 在凯勒-爱因斯坦流形中，若 $ R < 0 $，广义全最小化子流形在何种条件下必为拉格朗日子流形？
• RQ2 沃尔夫森在 n=1 时关于极小曲面的结果能否推广至更高维子流形（n ≥ 2）？
• RQ3 若广义全最小化子流形具有常凯勒角但非拉格朗日子流形，则标量曲率 $ R $ 会如何？
• RQ4 当 $ F^*\rho $ 的秩下降时，凯勒角的行为如何？这对对称函数的拉普拉斯有何影响？
• RQ5 能否在 $ M $ 上构造一个光滑函数，以捕捉在秩下降的奇异集上凯勒角的行为？

主要发现

• 若 $ F: M \to N $ 为广义全最小化子流形，$ M $ 紧致，$ n \neq 1 $，$ R < 0 $，且 $ F $ 无复方向，则当 $ n = 2 $ 时 $ F $ 必为拉格朗日子流形。
• 当 $ n = 2 $ 时，若 $ F $ 为广义全最小化子流形，$ M $ 紧致且定向，$ R < 0 $，且 $ F $ 无复方向，则 $ F $ 为拉格朗日子流形。
• 若 $ F $ 具有常凯勒角但非拉格朗日子流形，则必有 $ R = 0 $，无论 $ n $ 为何值。
• 对称函数 $ \tilde{\rho} = \text{log}\frac{1+\text{cos}\theta_1}{1-\text{cos}\theta_1} + \text{log}\frac{1+s_2}{1-s_2} $ 的拉普拉斯满足：在最大值点 $ p_0 $ 有 $ \triangle \tilde{\rho}(p_0) = -2R(\text{cos}\theta_1(p_0)) $，除非 $ \text{cos}\theta_1(p_0) = 0 $，否则将导致矛盾。
• 当 $ n > 2 $ 时，证明失效，因对称函数在秩亏损点处缺乏光滑性。
• 在 $ \rho $-最大值点，若 $ \text{cos}\theta_1 > 0 $ 且 $ \text{cos}\theta_2 = 0 $，则拉普拉斯条件迫使 $ \text{cos}\theta_1 = 0 $，与非拉格朗日浸入的假设矛盾。