[论文解读] Floer theory and flips

François Charest, Chris Woodward|arXiv (Cornell University)|Aug 7, 2015

Geometric and Algebraic Topology参考文献 110被引用 18

一句话总结

本文证明了在有理辛流形的极小模型程序（MMP）中，爆破与反向翻转操作可生成弗洛尔非平凡的拉格朗日子李群。通过沿反 canonical 类变形辛结构，并利用受扰伪全纯曲线分析弗洛尔上同调，作者表明此类手术产生具有非零弗洛尔上同调的拉格朗日子李群，为代数几何中布翁达-奥罗夫与 Kawamata 定理关于导出范畴的结论提供了辛几何类比。

ABSTRACT

We show that blow-ups or reverse flips (in the sense of the minimal model program) of rational symplectic manifolds with point centers create Floer-non-trivial Lagrangian tori. As applications, we demonstrate the existence of Hamiltonian non-displaceable Lagrangian tori in, for example, small symplectic blow-ups of compact symplectic manifolds and moduli spaces of polygons. These results are part of a conjectural description of generators for the Fukaya category of a compact symplectic manifold with a singularity-free running of the minimal model program.

研究动机与目标

• 通过极小模型程序（MMP）的辛手术，在有理辛流形中构造弗洛尔非平凡的拉格朗日子李群。
• 将弗洛伊德范畴在MMP变换下的分解与 coherent sheaves 的有界导出范畴在MMP变换下的分解之间的类比关系加以拓展。
• 利用受扰伪全纯曲线与同伦论技术，证明弗洛尔上同调在辛爆破与反向翻转下保持非平凡性。
• 为通过MMP运行在辛拓扑中识别弗洛伊德范畴的生成元提供系统性方法。

提出的方法

• 采用极小模型程序的辛类比，其中辛爆破与翻转在反 canonical 方向上的不同辛形式下定义。
• 应用 $A_∞$-代数理论与树状伪全纯圆盘计算弗洛尔上同调，确保横截性与紧致性。
• 采用哈密顿扰动与干净交点以在形变下定义并稳定弗洛尔理论不变量。
• 利用拼接伪全纯圆盘与多重多面体构造弗洛伊德代数之间的 $A_∞$-同态与同伦。
• 引入“断裂”辛流形与扰动数据的概念，以建模MMP中的退化与过渡。
• 应用稳定化技术与无限长度极限，分析弗洛尔上同调在MMP变换过程中的行为。

实验结果

研究问题

• RQ1 在有理辛流形中，辛爆破与翻转是否可产生具有非零弗洛尔上同调的拉格朗日子李群？
• RQ2 在极小模型程序运行下，紧致辛流形的弗洛伊德范畴如何分解，其类比于代数几何中导出范畴的分解？
• RQ3 反 canonical 方向在变形辛结构以生成非平凡弗洛尔上同调中起何作用？
• RQ4 弗洛尔上同调不变量在如翻转与爆破等辛手术下如何表现？其不变性由何种结构所支配？
• RQ5 能否通过 toric 或多边形空间中的势函数图或标记，预测弗洛尔非平凡子李群的位置与非平凡性？

主要发现

• 以点为中心的有理辛流形的爆破或反向翻转可产生具有非零弗洛尔上同调的拉格朗日子李群。
• 在 toric 流形中，MMP 运行过程中在奇异点处的势函数纤维在临界时间前的微小时间偏移下成为弗洛尔非平凡的。
• 在多边形空间中，对三角剖分多边形进行正则标记可产生在MMP变换下具有非平凡弗洛尔上同调的拉格朗日子李群。
• 对于带 punctured 球面的平 $SU(2)$-丛模空间，当松驰参数足够小时，Goldman 拉格朗日子李群在正则标记下具有非平凡弗洛尔上同调。
• 根据 Palmer-Woodward 的结果，弗洛尔上同调在下一次MMP变换之前有限时间内保持非平凡。
• 尽管标准拉格朗日子李群在 Darboux 图卡中具有非空的 Maurer-Cartan 空间，但其弗洛尔上同调仍为平凡，凸显了所构造例子的非平凡性。