[论文解读] Lagrangian sections on mirrors of toric Calabi-Yau 3-folds

Kwokwai Chan, Daniel Pomerleano+1 more|arXiv (Cornell University)|Feb 23, 2016

Geometric and Algebraic Topology参考文献 34被引用 11

一句话总结

该论文通过SYZ对偶性，在toric Calabi-Yau 3- folds的镜像中构造了Lagrangian截面，证明了零截面的wrapped Floer上同调同构于镜像上的正规函数环。它在仿射情形下建立了wrapped Fukaya范畴的完整生成性结果，从而完成了对形如C³/Ĝ的toric Calabi-Yau轨道丛的同调镜像对称的一个方向。

ABSTRACT

We construct Lagrangian sections of a Lagrangian torus fibration on a 3-dimensional conic bundle, which are SYZ dual to holomorphic line bundles over the mirror toric Calabi-Yau 3-fold. We then demonstrate a ring isomorphism between the wrapped Floer cohomology of the zero-section and the regular functions on the mirror toric Calabi-Yau 3-fold. Furthermore, we show that in the case when the Calabi-Yau 3-fold is affine space, the zero section generates the wrapped Fukaya category of the mirror conic bundle. This allows us to complete the proof of one direction of homological mirror symmetry for toric Calabi-Yau orbifold quotients of the form $\mathbb{C}^3/\Check{G}$. We finish by describing some elementary applications of our computations to symplectic topology.

研究动机与目标

• 在SYZ纤维化中，建立镜像toric Calabi-Yau 3- fold上的全纯线丛与基-可接受Lagrangian截面之间的对应关系。
• 计算镜像双曲柱面丛中零截面的wrapped Floer上同调，并证明其同构于镜像上的正规函数环。
• 证明当原始Calabi-Yau为仿射空间时，零截面生成wrapped Fukaya范畴，从而完成对toric Calabi-Yau轨道丛的同调镜像对称的一个方向。

提出的方法

• 在三维双曲柱面丛结构中，通过SYZ对偶性构造与全纯线丛对偶的基-可接受Lagrangian截面。
• 将wrapped Floer上同调理论适配于处理在基与纤维方向上趋向无穷的非紧致Lagrangian。
• 建立最大值原理，以控制基方向上Floer方程的解，防止其逃逸至无穷远。
• 利用C⁰-估计与单调扰动数据，控制几何能量并确保模空间的紧致性。
• 分析Kaliman变换下Floer曲线的行为，表明其在无穷远处沿除子弦断裂。
• 应用谱序列论证与上同调技术，证明导出范畴中的生成性与消去结果。

实验结果

研究问题

• RQ1 如何在toric Calabi-Yau 3- fold的镜像中构造SYZ对偶于全纯线丛的Lagrangian截面？
• RQ2 镜像双曲柱面丛中零截面的wrapped Floer上同调具有何种结构，其与镜像上正规函数环的关系如何？
• RQ3 当原始Calabi-Yau为仿射空间时，零截面是否生成wrapped Fukaya范畴？
• RQ4 wrapped Fukaya范畴在有限覆盖下的行为如何？其在镜像侧的对应作用是什么？
• RQ5 除子弦与相对于例外除子的分次在控制Floer曲线行为中起什么作用？

主要发现

• 零截面的wrapped Floer上同调集中在度数0，作为C-代数同构于镜像toric Calabi-Yau 3- fold上的正规函数环。
• 当原始Calabi-Yau为仿射空间时，零截面生成镜像双曲柱面丛的wrapped Fukaya范畴。
• 结构层ǑY的SYZ对偶被实现为基-可接受的Lagrangian截面，且在哈密顿同伦下唯一。
• 上同调谱序列论证表明，镜像对象的上同调不可能在多个度数上非平凡，否则将导致矛盾。
• 生成性准则在有限覆盖下保持不变，相应的镜像范畴被描述为半直积代数ǑY ⋊Ĝ。
• 任何在镜像中不位于原点处的非零对象的自同态代数必须同构于H∗(T³)，这与预期结构矛盾，从而表明此类对象不可能存在。