[论文解读] Morse Homology, Tropical Geometry, and Homological Mirror Symmetry for Toric Varieties

Mohammed Abouzaid|arXiv (Cornell University)|Sep 29, 2006

Nonlinear Waves and Solitons参考文献 21被引用 5

一句话总结

该论文通过在 Landau-Ginzburg 对偶镜像中构造拉格朗日子流形截面的 $A_\infty$ 范畴，建立了光滑射影 toric Fano 代数簇的同调镜像对称等价性，证明其与原始代数簇的凝聚层导出范畴 quasi-equivalent。该构造利用热带几何与莫尔斯理论，将拉格朗日子流形交点与线丛的 Čech 上同调联系起来。

ABSTRACT

Given a smooth projective toric variety X, we construct an A-infinity category of Lagrangians with boundary on a level set of the Landau-Ginzburg mirror of X. We prove that this category is quasi-equivalent to the DG category of line bundles on X. This establishes part of the Homological Mirror Conjecture for toric varieties.

研究动机与目标

• 通过将辛几何与代数几何联系起来，建立光滑射影 toric Fano 代数簇的同调镜像对称（HMS）。
• 在 toric 代数簇的 Landau-Ginzburg 对偶镜像中构造拉格朗日子流形截面的 $A_\infty$ 范畴。
• 证明该辛范畴与原始 toric 代数簇上凝聚层的导出范畴 quasi-equivalent。
• 利用热带几何与莫尔斯理论作为桥梁，将拉格朗日子流形交点与线丛的 Čech 上同调联系起来。
• 通过镜像中的胞腔分解与对偶性，为 Fano 代数簇的 HMS 猜想提供几何实现。

提出的方法

• 通过超势能的水平集，在 Landau-Ginzburg 对偶镜像中构造拉格朗日子流形截面的 $A_\infty$ 范畴。
• 利用热带几何将拉格朗日子流形建模为镜像空间中多面体剖分的对偶。
• 应用莫尔斯理论在带边界的流形上定义胞腔链，将其与单纯上链联系起来。
• 通过 $C^1$-接近的胞腔剖分，定义镜像中剖分之间的胞腔交配对。
• 引入带有高度函数的胞腔拉格朗日子流形范畴 $\operatorname{Cell}(\check{{\mathscr{P}}})$，通过坍缩交点定义其乘法结构。
• 证明从 $\operatorname{Cell}(\check{{\mathscr{P}}})$ 到 $\operatorname{Simp}({\mathscr{P}})$ 的遗忘函子是 quasi-equivalence，从而确立 HMS 等价性。

实验结果

研究问题

• RQ1 能否通过 Landau-Ginzburg 对偶镜像中拉格朗日子流形截面的辛范畴实现 toric Fano 代数簇的同调镜像对称？
• RQ2 如何结合热带几何与莫尔斯理论，对 toric 代数簇的凝聚层导出范畴进行建模？
• RQ3 镜像中胞腔链与原始代数簇上线丛的 Čech 上同调之间的确切关系是什么？
• RQ4 在何种条件下，镜像中的胞腔剖分能产生反映导出范畴结构的良定义交配对？
• RQ5 热带拉格朗日子流形截面的 $A_\infty$ 范畴是否与 toric 代数簇的凝聚层导出范畴 quasi-equivalent？

主要发现

• 光滑射影 toric Fano 代数簇的 Landau-Ginzburg 对偶镜像中，拉格朗日子流形截面的 $A_\infty$ 范畴与原始代数簇上凝聚层的导出范畴 quasi-equivalent。
• 当两个胞腔剖分 $\check{{\mathscr{P}}}_0$ 与 $\check{{\mathscr{P}}}_1$ 处于单纯位置时，其交点模式与多面体剖分的对偶胞腔结构一致。
• 当剖分 $C^1$-接近时，胞腔交 $\check{\sigma}_0 \cap \check{\tau}_1$ 与对偶胞腔 $\check{\rho}_1$ 的距离为 $\delta$，确保了拓扑控制。
• 从 $\check{{\mathscr{P}}}_0 \Cap \check{{\mathscr{P}}}_1$ 到 $\check{{\mathscr{P}}}_1$ 的坍缩映射 $\operatorname{coll}_{{\mathscr{P}}_1}$ 在胞腔范畴中诱导出良定义的乘法结构。
• 遗忘函子 $\operatorname{Cell}(\check{{\mathscr{P}}}) \to \operatorname{Simp}({\mathscr{P}})$ 是 quasi-equivalence，意味着胞腔模型完整捕捉了导出范畴的结构。
• 该构造通过将镜像的导出 Fukaya 范畴与 toric 代数簇上凝聚层的导出范畴相等，实现了 Kontsevich 对 Fano 代数簇的 HMS 猜想。