[论文解读] Homological mirror symmetry for punctured spheres

Mohammed Abouzaid, Denis Auroux+3 more|arXiv (Cornell University)|Mar 22, 2011

Algebraic structures and combinatorial models参考文献 35被引用 5

一句话总结

本文通过证明带有穿孔的球面的 wrapped Fukaya范畴与镜像 Landau-Ginzburg 模型的奇点三角范畴之间的等价性，建立了穿孔球面的同调镜像对称。作者进一步表明，辛侧的循环覆叠对应于镜像侧的轨道丛商，将该猜想扩展至非紧致和奇异几何，超越了卡拉比-丘情形。

ABSTRACT

We prove that the wrapped Fukaya category of a punctured sphere ($S^2$ with an arbitrary number of points removed) is equivalent to the triangulated category of singularities of a mirror Landau-Ginzburg model, proving one side of the homological mirror symmetry conjecture in this case. By investigating fractional gradings on these categories, we conclude that cyclic covers on the symplectic side are mirror to orbifold quotients of the Landau-Ginzburg model.

研究动机与目标

• 通过将框架扩展至紧致卡拉比-丘流形之外，建立对非紧致且非卡拉比-丘的穿孔球面的同调镜像对称。
• 证明 wrapped Fukaya 范畴能够捕捉到普通 Fukaya 范畴因非有限上同调维数而失效的开放流形的正确辛几何。
• 验证 Landau-Ginzburg 超势能的奇点三角范畴与镜像穿孔球面的 wrapped Fukaya 范畴相匹配。
• 探讨两侧的分数阶在何处将辛侧的循环覆叠与镜像侧的轨道丛商联系起来。
• 首次在余切丛之外非平凡地计算 wrapped Fukaya 范畴，使用弦拓扑与层论技术。

提出的方法

• 作者在非紧致设定中使用 wrapped Fukaya 范畴替代普通 Fukaya 范畴，因为在这些情形中紧致拉格朗日子不足以捕捉所有镜像对象。
• 他们构建了一个具有超势能 W 的镜像 Landau-Ginzburg 模型，并将该模型的奇点三角范畴识别为镜像对称的 B 模型侧。
• 证明依赖于格罗滕迪克群与 K-理论的比较，特别是分析奇异纤维上完美复叠的 $ K_{-1} $-群，以验证幂等完备性。
• 作者应用 K-理论中的长正合列，证明 $ K_{-1}( ext{Perf}(X_0)) = 0 $，这表明奇点范畴是幂等完备的。
• 他们使用奇异纤维 $ X_0 $ 的正规化，并分析其关联的奇点双分图，以证明 $ K_{-1}( ext{Perf}(γ)) = 0 $，其中 $ γ $ 是奇异点集。
• 通过分析两侧范畴上的分数阶，建立了辛侧的循环覆叠与镜像侧的轨道丛商之间的对应关系。

实验结果

研究问题

• RQ1 同调镜像对称是否对非卡拉比-丘且非紧致几何的穿孔球面成立？
• RQ2 wrapped Fukaya 范畴能否在非紧致设定中作为 Landau-Ginzburg 超势能的奇点三角范畴的合适镜像？
• RQ3 辛侧与代数侧的分数阶如何将辛侧的循环覆叠与镜像侧的轨道丛商联系起来？
• RQ4 镜像 Landau-Ginzburg 模型的奇点范畴是否幂等完备？这对其镜像等价性的有效性有何含义？
• RQ5 能否使用奇异纤维的 K-理论来验证此非紧致、奇异设定下镜像对应关系的正确性？

主要发现

• 任意穿孔数的穿孔球面 $ S^2 $ 的 wrapped Fukaya 范畴与镜像 Landau-Ginzburg 模型的奇点三角范畴等价。
• 镜像超势能奇异纤维 $ X_0 $ 的奇点范畴 $ D_{ ext{sg}}(X_0) $ 是幂等完备的，通过证明 $ K_{-1}( ext{Perf}(X_0)) = 0 $ 得到验证。
• 通过 $ X_0 $ 的正规化及关联奇点双分图中无环路的性质，确立了 $ K_{-1}( ext{Perf}(X_0)) $ 的消失。
• 辛侧的循环覆叠与镜像侧的轨道丛商通过分析两侧范畴上的分数阶而建立对应关系。
• 本工作首次使用弦拓扑与层论方法，在余切丛之外非平凡地计算了 wrapped Fukaya 范畴。
• 结果支持更广泛的猜想：同调镜像对称可扩展至一般型流形与非完备 Landau-Ginzburg 模型。