[论文解读] Minimizing area among Lagrangian surfaces: the mapping problem

Richard Schoen, Jon Wolfson|ArXiv.org|Aug 28, 2000

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

一句话总结

本文研究了辛4-流形中的面积极小拉格朗日子流形，证明在辛形式所消去的拉格朗日同调类中，此类极小化器存在。通过在Sobolev空间W^{1,2}中的变分方法，作者证明了仅含有限多个奇点的面积极小化器存在——每个奇点对应一个Maslov指标为±1的拉格朗日锥面。关键结果是：非平坦奇点可能出现在极小化器中，但受第一陈类约束，若同伦类为m-稳定（m > 1），则极小化器为分支浸入（即不含非平坦奇点）。

ABSTRACT

This paper introduces a geometrically constrained variational problem for the area functional. We consider the area restricted to the langrangian surfaces of a Kaehler surface, or, more generally, a symplectic 4-manifold with suitable metric, and study its critical points and in particular its minimizers. We apply this study to the problem of finding canonical representatives of the lagrangian homology (that part of the homology generated by lagrangian cycles).

研究动机与目标

• 建立辛4-流形中拉格朗日同调类的面积极小代表的存在性。
• 表征面积极小拉格朗日子流形中奇点的结构，特别是其Maslov指标。
• 确定此类极小化器为分支浸入（即不含非平坦奇点）的条件。
• 将变分方法扩展至拉格朗日子流形，使用Sobolev空间与正则性理论，尤其在几何约束下。
• 探讨对Calabi-Yau流形中特殊拉格朗日循环及Kähler-Einstein几何的启示。

提出的方法

• 在辛4-流形中，针对拉格朗日映射构造Sobolev空间W^{1,2}中的面积极小化器。
• 应用Gromov与Allcock的比较结果，建立极小化器的Hölder连续性。
• 在Heisenberg群中接触平稳曲面的背景下，推导单调性公式以分析奇点。
• 利用单调性公式证明部分正则性，并证明在奇点处存在切锥。
• 采用由平均曲率与辛结构导出的Hodge型一阶PDE系统，表征临界点。
• 分析第一陈类与Maslov指标在约束极小化器中奇点的数量与类型方面的作用。

实验结果

研究问题

• RQ1 在辛4-流形中，拉格朗日同调类在何种条件下允许存在面积极小代表？
• RQ2 面积极小拉格朗日子流形中可能出现何种类型的奇点？它们如何受Maslov指标与第一陈类等拓扑不变量的约束？
• RQ3 何时面积极小拉格朗日子流形为分支浸入（即不含非平坦奇点）？
• RQ4 同伦类的m-稳定性条件与其实现极小化器的正则性之间有何关系？
• RQ5 非平坦奇点是否可能为面积极小化？在何种条件下可将其排除？

主要发现

• 在凯勒或辛4-流形中，面积极小拉格朗日子流形仅有有限多个奇点，每个奇点对应一个Maslov指标为±1的拉格朗日锥面。
• 非平坦奇点的Maslov指标之和等于1/2 c₁(α)，即第一陈类在同调类上的取值。
• 非平坦奇点可能出现在面积极小拉格朗日子流形中，这与文献中先前的断言相矛盾。
• 若拉格朗日同伦类α对某个整数m > 1为m-稳定，则其面积极小化器为分支浸入，不含非平坦奇点。
• 在凯勒爱因斯坦情形下，若c₁(α) = 0，则非平坦奇点的Maslov指标之和为零，且当不存在非平坦奇点时，极小化器为极小曲面。
• 极小化器的平均曲率满足一个Hodge型一阶PDE系统，该系统涉及挠率形式与Ricci曲率形式，由环境流形的几何结构导出。