[论文解读] Fukaya categories and deformations

Paul Seidel|arXiv (Cornell University)|Jun 15, 2002

Homotopy and Cohomology in Algebraic Topology参考文献 15被引用 89

一句话总结

本文提出了一种基于形变理论的框架，用于将卡拉比-丘射影簇 $X$ 的 Fukaya 类别与它的仿射开子集 $M = X \setminus D$ 的 Fukaya 类别联系起来，其中 $D$ 是一个光滑的超平面截痕。通过引入一个形式参数 $t$ 来编码与 $D$ 的交点数，对 $M$ 的 Fukaya 类别进行形变，该构造生成了一个新的 $A_\infty$-范畴 $\mathcal{F}(M \subset X)$，该范畴在 $\mathcal{F}(M)$ 和 $\mathcal{F}(X)$ 之间插值，并提出了一个猜想，即通用纤维的导出范畴与 $D^\pi(\mathcal{F}(X))$ 之间存在等价关系（通过参数重标度）。主要贡献在于，在有限性与分裂生成假设下，提出了一种通过形变 $\mathcal{F}(M)$ 来计算 $D^\pi(\mathcal{F}(X))$ 的策略。

ABSTRACT

This is an informal (and mostly conjectural) discussion of some aspects of Fukaya categories. We start by looking at exact symplectic manifolds which are obtained from a closed Calabi-Yau by removing a hyperplane section. We look at the possible geometric significance of Hochschild cohomology in this situation, and how one can try to get from the Fukaya category of the exact manifold to that of the closed Calabi-Yau. Also included is a brief discussion of the role of Lefschetz pencils, and a bit of general deformation theory. To appear in the Proceedings of the Beijing ICM.

研究动机与目标

• 开发一种基于形变理论的方法，用于计算卡拉比-丘射影簇 $X$ 的导出 Fukaya 类别 $D^\pi(\mathcal{F}(X))$。
• 通过在 $\mathbb{Q}[[t]]$ 上的 $A_\infty$-形变，将 $M = X \setminus D$ 的 Fukaya 类别与完整 $X$ 的 Fukaya 类别联系起来。
• 猜想该形变的通用纤维在参数重标度下可恢复为 $D^\pi(\mathcal{F}(X))$。
• 确立 $\mathcal{F}(M)$ 的形变空间为有限维的条件，从而确保其可计算性。

提出的方法

• 利用辛同调 $SH^*(M)$ 作为仿射流形 $M = X \setminus D$ 的有限维不变量，借助 Bott-Morse 族谱序列计算其上同调。
• 通过引入一个形式参数 $t$ 来追踪在 $t^k$ 项中与除子 $D$ 以重数 $k$ 相交的全纯多边形，构造 $\mathcal{F}(M)$ 的形变。
• 将 $A_\infty$-范畴 $\mathcal{F}(M \subset X)$ 定义为在 $\mathbb{Q}[[t]]$ 上对 $\mathcal{F}(M)$ 的形变，其中复合映射编码了在 $X$ 中与 $D$ 相交的全纯多边形。
• 利用 Hochschild 上同调 $HH^*(\mathcal{F}(M), \mathcal{F}(M))$ 来分类 $A_\infty$-形变，有限维性意味着形变在参数重标度下唯一。
• 应用谱序列 (1) 证明 $\dim SH^2(M) \leq b_2(X)$，从而确立形变空间的有限性。
• 猜想：形变 $\mathcal{F}(M \subset X)$ 的导出范畴的通用纤维与 Novikov 环 $\Lambda_t$ 的张量积等价于 $D^\pi(\mathcal{F}(X))$。

实验结果

研究问题

• RQ1 能否通过 $M = X \setminus D$ 的 Fukaya 类别的形变来计算卡拉比-丘射影簇 $X$ 的导出 Fukaya 类别 $D^\pi(\mathcal{F}(X))$？
• RQ2 在何种条件下，Hochschild 上同调 $HH^2(\mathcal{F}(M), \mathcal{F}(M))$ 为有限维，从而保证 $A_\infty$-形变的唯一性？
• RQ3 是否存在 $\mathcal{F}(M \subset X)$ 的形变通用纤维与 $D^\pi(\mathcal{F}(X))$ 之间的典范等价？
• RQ4 辛同调 $SH^*(M)$ 如何与 $X$ 及其除子 $D$ 的几何相关联，特别是通过谱序列与贝蒂数？
• RQ5 能否通过与 $D$ 相交的全纯多边形显式构造形变 $\mathcal{F}(M \subset X)$，且该形变是否在 $\mathcal{F}(M)$ 与 $\mathcal{F}(X)$ 之间实现插值？

主要发现

• 在 $\dim_{\mathbb{C}}(X) > 2$ 的假设下，仿射流形 $M = X \setminus D$ 的辛同调 $SH^*(M)$ 是有限维的，且 $\dim SH^2(M) \leq b_2(X)$。
• Bott-Morse 族谱序列可计算 $SH^*(M)$，其中 $E_1^{pq}$ 项为：当 $p=0$ 时为 $H^q(M)$，当 $p<0$ 时为 $H^{q+3p}(\partial M)$，提供了有效的计算工具。
• $\mathcal{F}(M)$ 在 $\mathbb{Q}[[t]]$ 上的 $A_\infty$-形变 $\mathcal{F}(M \subset X)$ 通过在复合映射的 $t^k$ 系数中编码在 $X$ 中与 $D$ 以重数 $k$ 相交的全纯多边形而构造。
• 若 $HH^2(\mathcal{F}(M), \mathcal{F}(M)) \cong \mathbb{Q}$，则任意非平凡的 $A_\infty$-形变在 $t$ 的参数重标度下唯一，意味着形变空间为一维通用形变空间。
• 猜想 5 提出一个典范等价：$D^\pi(\mathcal{F}(M \subset X)_{\text{gen}} \otimes_{\mathbb{Q}[t^{-1}][[t]]} \Lambda_t) \cong D^\pi(\mathcal{F}(X))$，表明 $D^\pi(\mathcal{F}(X))$ 可从形变的通用纤维中恢复。
• 对于 $X \subset \mathbb{CP}^{n+1}$ 的 $n+2$ 次超曲面，且 $n \geq 3$，$D^\pi(\mathcal{F}(M))$ 由有限多个对象分裂生成，因此在有限性假设下，$Tw^\pi(\mathcal{F}(M))$ 具有可计算性。