[论文解读] U(1)-invariant special Lagrangian 3-folds in C^3 and special Lagrangian fibrations

Dominic Joyce|ArXiv.org|Jun 3, 2002

Geometry and complex manifolds参考文献 6被引用 14

一句话总结

本文通过函数 u 和 v 的非线性柯西-黎曼型系统研究 ℂ³ 中 U(1)-不变的特殊拉格朗日子流形，证明了解的存在性与唯一性，方法是引入满足退化椭圆型偏微分方程的势函数 f。关键贡献在于为卡拉比-丘 3-流形中的奇异特殊拉格朗日子纤维化构造了显式局部模型，支持了修正版的 SYZ 猜想，其中判别集具有余维 1，且在一般纤维中存在孤立奇点。

ABSTRACT

This is a survey of the author's series of three papers math.DG/0111324, math.DG/0111326, math.DG/0204343 using analysis to investigate special Lagrangian 3-folds (SL 3-folds) in C^3 invariant under the U(1)-action (z_1,z_2,z_3) --> (gz_1,g^{-1}z_2,z_3) for unit complex numbers g, and their sequel math.DG/0011179 on special Lagrangian fibrations and the SYZ Conjecture. We briefly present the main results of these four long papers, giving some explanation and motivation, but no proofs. The aim is to make the results and ideas accessible to String Theorists and others who have an interest in special Lagrangian 3-folds and fibrations, but have no desire to read pages of technical analysis. Let N be an SL 3-fold in C^3 invariant under the U(1)-action above. Then |z_1|^2-|z_2|^2=2a on N for some real number a. Locally, N can be written as a kind of graph of functions u,v : R^2 --> R satisfying a nonlinear Cauchy-Riemann equation depending on a, so that u+iv is like a holomorphic function of x+iy. When a=0 the equations may have singular points where u,v are not differentiable, which leads to analytic difficulties. We prove existence and uniqueness results for solutions u,v on domains S in R^2 with boundary conditions, including singular solutions. We study their singularities, giving a rough classification by multiplicity and type. We prove the existence of large families of fibrations of open subsets of C^3 by U(1)-invariant SL 3-folds, including singular fibres. Finally, we use these fibrations as local models to draw conclusions about the SYZ Conjecture on Mirror Symmetry of Calabi-Yau 3-folds.

研究动机与目标

• 通过由校准几何导出的偏微分方程组分析 ℂ³ 中 U(1)-不变的特殊拉格朗日子流形。
• 理解当 U(1)-作用参数 a = 0 时奇异解的结构，此时偏微分方程退化。
• 构造具有孤立奇点的特殊拉格朗日子纤维化的显式局部模型，以应用于 SYZ 猜想。
• 研究这些模型如何揭示几乎卡拉比-丘 3-流形的一般特殊拉格朗日子纤维化中判别集的预期结构。

提出的方法

• 通过 z₃ 的实部与虚部以及 z₁z₂ 的实部与虚部参数化 ℂ³ 中的 U(1)-不变特殊拉格朗日子流形，将问题简化为求解关于 u 和 v 的偏微分方程组。
• 推导出系统 ∂u/∂x = ∂v/∂y 与 ∂v/∂x = -2(v² + y² + a²)^{1/2} ∂u/∂y，该系统类似于非线性柯西-黎曼方程。
• 引入势函数 f，使得 ∂f/∂x = v 且 ∂f/∂y = u，从而导出退化椭圆型偏微分方程：(v² + y² + a²)^{-1/2} ∂²f/∂x² + 2 ∂²f/∂y² = 0。
• 在凸区域上证明该偏微分方程的狄利克雷问题存在唯一解，从而得到具有边界条件的定义良好的特殊拉格朗日子流形。
• 分析两组解 (u₁,v₁) 与 (u₂,v₂) 差值的零点集，表明其行为类似于全纯函数，因此具有孤立零点且重数为正整数。
• 利用这些结果对 a = 0 时的奇点行为进行分类，区分轴对称奇点与重数为 2 的孤立奇点。

实验结果

研究问题

• RQ1 当 U(1)-作用参数 a = 0 时，ℂ³ 中 U(1)-不变的特殊拉格朗日子流形的结构如何？此时偏微分方程组发生退化。
• RQ2 卡拉比-丘 3-流形中的特殊拉格朗日子纤维化的奇点如何局部产生？能否通过 U(1)-不变构造进行建模？
• RQ3 在一般特殊拉格朗日子纤维化中，判别集的性质是什么？它与格罗夫和阮研究的光滑拉格朗日子纤维化有何不同？
• RQ4 能否通过重数与对称性对奇异特殊拉格朗日子纤维化的局部行为进行分类？这与镜像对称有何关联？
• RQ5 这些局部模型如何支持或挑战原始 SYZ 猜想，特别是关于奇异纤维的位置与余维？

主要发现

• 当 a ≠ 0 时，偏微分方程组为椭圆型，确保解 u 和 v 为实解析函数，所得到的特殊拉格朗日子流形为非奇异。
• 当 a = 0 时，偏微分方程在满足 v(x,0) = 0 且 y = 0 的点处退化，允许存在非可微的 u 和 v 的奇异特殊拉格朗日子流形。
• 偏微分方程组的解在 (x,y) 平面上的行为类似于全纯函数，意味着解之间的差值具有孤立零点且重数为正整数。
• 当 a = 0 时，奇点要么在 x 轴上全局对称（u 关于 y 为偶函数，v 关于 y 为奇函数），要么为重数为 2 的孤立奇点，且存在两种不同类型。
• 势函数 f 的狄利克雷问题在凸区域上存在唯一解，从而保证了具有给定边界数据的 U(1)-不变特殊拉格朗日子流形的存在性。
• 在几乎卡拉比-丘 3-流形的一般特殊拉格朗日子纤维化中，判别集预计为余维 1，奇异纤维在孤立点处奇异，这与原始 SYZ 猜想中假设的余维 2 奇异纤维相矛盾。