[论文解读] The Fukaya category of symplectic neighborhood of a non-Hausdorff manifold

Wei-Dong Ruan|ArXiv.org|Feb 7, 2006

Geometric and Algebraic Topology参考文献 9被引用 5

一句话总结

本文提出了一种通过扰动将精确辛流形的Fukaya范畴计算简化为非豪斯多夫拉格朗日子空间上的Morse范畴的方法，利用Donaldson的近乎全纯截面。关键结果表明，辛流形中的伪全纯多边形一致收敛于子空间中的刚性梯度树，从而实现了高维情形下Fukaya范畴的有效计算。

ABSTRACT

In this paper, using similar idea as in Fukaya-Oh's work ([9]), we devise a method to compute the Fukaya category of certain exact symplectic manifolds by reducing it to the corresponding Morse category of non-Hausdorff manifold as perturbation of the Lagrangian skeleton of the exact symplectic manifold.

研究动机与目标

• 开发一种有效计算精确辛流形Fukaya范畴的方法，该问题在辛拓扑中仍是重大挑战。
• 将Fukaya范畴的计算简化为非豪斯多夫拉格朗日子空间上的Morse范畴，避免Donaldson的Lefschetz铅笔方法所导致的归纳复杂性。
• 提供一种与维度无关的计算框架，使其在高维情形下仍具可操作性。
• 通过显式计算高维Calabi-Yau流形和加权射影空间的Fukaya范畴，支持同调镜像对称猜想。

提出的方法

• 利用Donaldson构造近乎全纯截面，定义一个作为非豪斯多夫流形的拉格朗日子空间。
• 应用扰动技术，将辛邻域的Fukaya范畴与子空间的Morse范畴关联起来。
• 利用具有拉格朗日边界条件的伪全纯曲线来建模辛几何，并将其与子空间上的梯度轨迹关联。
• 通过$C^{\beta}$-范数对差值映射$\check{w}_k$的统一估计，建立伪全纯多边形向子空间中刚性梯度树的收敛性。
• 采用局部坐标并利用$Q_k(z) = \frac{1}{\beta_k(t_k)}(z - [\check{w}_k(t_k)]^\Re)$进行缩放，分析$\check{w}_k$的极限行为，并证明极限映射$\check{w}_o$的全纯性。
• 应用命题11.1控制梯度范数$|D\check{w}_k|$，并利用指数衰减估计控制$\check{w}_k$在临界点附近的大小。

实验结果

研究问题

• RQ1 能否通过将Fukaya范畴简化为非豪斯多夫拉格朗日子空间上的Morse范畴，有效计算精确辛流形的Fukaya范畴？
• RQ2 伪全纯多边形向子空间中梯度树的收敛性如何依赖于扰动参数$\epsilon$？
• RQ3 在何种条件下，缩放后差值映射$\check{w}_k$的极限为常值全纯映射，从而暗示一致收敛？
• RQ4 与Donaldson的Lefschetz铅笔等归纳方法相比，该方法在高维情形下的有效性如何？
• RQ5 该框架能否用于证明高维Calabi-Yau流形的同调镜像对称？

主要发现

• 对任意$r_0 > 0$，存在$\epsilon_0 > 0$，使得当$\epsilon \leq \epsilon_0$时，每个指标为零的伪全纯多边形均位于子空间中某条刚性梯度树的距离$r_0$之内。
• 差值映射$\check{w}_k = w_k - \tilde{w}_k$满足$\lim \frac{\epsilon_k}{\beta_k(t_k)} |\check{w}_k(t_k)| = 0$，确保误差项的一致衰减。
• 缩放后的极限映射$\check{w}_o$是全纯的，且在定义域边界上取值于$\mathbb{R}^n$，若$\beta_o$在例外顶点附近无界，则其必为常值。
• 若收敛失败，则$D\check{w}_k$的统一$C^\alpha$-范数有界，从而保证极限$D\check{w}_o$定义良好，且仅在收敛失败时非零，导致矛盾。
• 由于不存在边界位于$\mathbb{R}^n$上且$\beta_o$无界的非平凡全纯映射，故$|D\check{w}_o| = 0$，从而证明了向子空间的一致收敛。
• 定理11.3确认了流形的辛几何由非豪斯多夫子空间上的梯度树结构所捕获，验证了该约化方法的有效性。