[论文解读] More about vanishing cycles and mutation

Paul Seidel|arXiv (Cornell University)|Oct 3, 2000

Homotopy and Cohomology in Algebraic Topology被引用 8

一句话总结

本文通过推测4-流形中拉格朗日子流形的弗洛尔上同调与graded Fukaya范畴的导出范畴之间存在深层联系，拓展了辛 Picard-Lefschetz 理论。它提出，某些拉格朗日子流形的弗洛尔上同调可通过代数运算——特别是导出范畴中的graded态射空间——来计算，从而为辛几何中的上同调不变量提供了一种新颖的同调代数方法。

ABSTRACT

The paper continues the discussion of symplectic aspects of Picard-Lefschetz theory begun in "Vanishing cycles and mutation" (this archive). There we explained how to associate to a suitable fibration over a two-dimensional disc a triangulated category, the "derived directed Fukaya category" which describes the structure of the vanishing cycles. The present second part serves two purposes. Firstly, it contains various kinds of algebro-geometric examples, including the "mirror manifold" of the projective plane. Secondly there is a (largely conjectural) discussion of more advanced topics, such as (i) Hochschild cohomology, (ii) relations between Picard-Lefschetz theory and Morse theory, (iii) a proposed "dimensional reduction" algorithm for doing certain Floer cohomology computations.

研究动机与目标

• 建立4-流形中几何弗洛尔上同调与导出Fukaya范畴中代数不变量之间的猜想对应关系。
• 深化对辛单值变换与Hochschild上同调如何关联于精确莫尔斯纤维化拓扑不变量的理解。
• 探讨实对合在精确莫尔斯纤维化中的作用及其对导出范畴的莫尔斯理论描述的影响。
• 提出一种维数约化机制，即2n维辛几何可生成(2n+2)维纤维化的不变量。
• 提出一个仅使用消失循环的导出范畴数据计算拉格朗日子流形弗洛尔上同调的猜想算法。

提出的方法

• 从精确莫尔斯纤维化某纤维$M$中消失循环的graded拉格朗日配置$\widetilde{\Gamma}$出发，构造一个方向化的$A_\infty$-范畴$\mathcal{A} = \mathrm{Lag}^{\rightarrow}(\widetilde{\Gamma})$。
• 构造导出范畴$D^b(\mathcal{A})$，该范畴是三角范畴，且由于Hurwitz移动与突变下的不变性，其独立于路径或grading的选择。
• 使用一系列$A_\infty$-范畴$\mathcal{A}_0, \dots, \mathcal{A}_r$连接两个不同配置$\Gamma$与$\Gamma'$，它们通过拟同构、grading位移或突变相互关联。
• 通过组合自然等价，定义导出范畴之间的等价$G: D^b(\mathcal{A}) \to D^b(\mathcal{A}')$。
• 在$D^b(\mathcal{A})$与$D^b(\mathcal{A}')$中分别引入与匹配消失循环对相关的球形对象$C, C'$。
• 提出一个猜想同构$HF(\Lambda_c, \Lambda_{c'}) \cong \bigoplus_{d \in \mathbb{Z}} \mathrm{Hom}^d_{D^b(\mathcal{A}')} (G(C), C')$，将几何弗洛尔上同调与graded态射空间联系起来。

实验结果

研究问题

• RQ1 能否从消失循环的导出Fukaya范畴出发，代数地计算4-流形中拉格朗日子流形的弗洛尔上同调？
• RQ2 路径选择、grading与拟同构的选择如何影响导出范畴及其不变量？
• RQ3 在graded Fukaya范畴的导出范畴中，球形对象的几何意义是什么？
• RQ4 在何种程度上，可通过维数约化，从2维辛数据重构4-流形的辛不变量？
• RQ5 是否存在一种规范方式，将莫尔斯纤维化的全局单值变换与其Hochschild上同调联系起来？

主要发现

• 导出范畴$D^b(\mathcal{A})$是精确莫尔斯纤维化$(E, \pi)$与相对Maslov映射$\delta_{E/D}$的不变量，独立于路径或grading的选择。
• 猜想9.4提出，两个最终为拉格朗日子流形的弗洛尔上同调$HF(\Lambda_c, \Lambda_{c'})$同构于态射空间的graded直和$\bigoplus_d \mathrm{Hom}^d_{D^b(\mathcal{A}')} (G(C), C')$。
• 该猜想对拟同构的选择具有不变性，如引理9.2所示，该结论确保了球形对象在$G$下的像独立于此类选择。
• 在$n=1$情形下，该猜想具有可计算性，因为$\mathcal{A}$与$\mathcal{A}'$可组合式描述，从而可与困难的直接弗洛尔理论计算进行显式比较。
• 零维情形（$n=0$）支持该猜想，因其恢复了双分支覆盖上交点数的已知代数公式。
• 该框架暗示了同调代数在辛几何中首次真正应用：仅通过导出范畴运算即可计算弗洛尔上同调。