[论文解读] Homological mirror symmetry with higher products

Alexander Polishchuk|ArXiv.org|Jan 6, 1999

Homotopy and Cohomology in Algebraic Topology参考文献 8被引用 48

一句话总结

本文通过在镜像对称的复几何侧构造一个 $A_{\infty}$-范畴，扩展了同调镜像对称理论，利用具有 Hermitian 度量的全纯向量丛上的调和形式，对凝聚层的导出范畴进行精化。研究证明，对于椭圆曲线，复几何范畴与辛几何范畴中的三重乘积在典范意义下同伦等价，从而部分验证了广义猜想。

ABSTRACT

We construct an $A_{\infty}$-structure on the Ext-groups of hermitian holomorphic vector bundles on a compact complex manifold. We propose a generalization of the homological mirror conjecture due to Kontsevich. Namely, we conjecture that for mirror dual Calabi-Yau manifolds $M$ and $X$ there exists an $A_{\infty}$-functor from Fukaya's symplectic $A_{\infty}$-category of $M$ to the $A_{\infty}$-derived category of $X$ which is a homotopy equivalence on morphisms. We verify the part of this conjecture concering triple products for elliptic curves.

研究动机与目标

• 为了解决 Kontsevich 原始同调镜像对称猜想中的不对称性，该猜想将辛几何侧的 $A_{\infty}$-范畴与复几何侧的标准导出范畴进行比较。
• 通过使用具有 Hermitian 度量的 $\operatorname{Ext}$-群的调和代表，构造复几何侧一个明确定义的 $A_{\infty}$-范畴 $\mathcal{D}^{b}_{\infty}(X)$。
• 提出一个对称版本的同调镜像对称猜想，涉及两侧 $A_{\infty}$-范畴之间的 $A_{\infty}$-函子。
• 通过比较复几何与辛几何结构中的三重乘积，在非平凡的椭圆曲线情形下验证该广义猜想。
• 建立 $A_{\infty}$-结构中的高阶乘积衡量调和形式在乘法下不闭合的失败程度，并证明其满足循环对称性。

提出的方法

• 将 $\mathcal{D}^{b}_{\infty}(X)$ 定义为具有 Hermitian 度量的全纯向量丛有界复形的 $A_{\infty}$-范畴，其中态射由 $(0,q)$-调和形式表示。
• 使用同调扰动理论在 $\mathcal{D}^{b}_{\infty}(X)$ 上构造 $A_{\infty}$-结构，其中 $m_1 = 0$，$m_2$ 为复合运算，高阶乘积 $m_k$ 编码乘积不保持调和性的障碍。
• 应用 Merkulov 及其他学者提出的方法，对同伦等价于微分分次代数的子复形构造 $A_{\infty}$-结构，以确保与导出范畴的标准 dg-版本的 $A_{\infty}$-等价性。
• 通过同调扰动理论证明，该 $A_{\infty}$-结构在度量选择下至多同伦等价，从而保证其鲁棒性。
• 利用 $A_{\infty}$-公理递归地将横截三重乘积表示为基本形式，从而归约为单值的 Massey 乘积。
• 通过比较 $\overline{\partial}^{-1}$-项并利用循环对称性，显式构造椭圆曲线上复几何侧与辛几何侧三重乘积之间的同伦。

实验结果

研究问题

• RQ1 同调镜像对称猜想能否被重新表述为同时在辛几何侧与复几何侧引入 $A_{\infty}$-范畴，从而消除 $A_{\infty}$-范畴与标准导出范畴之间的不对称性？
• RQ2 如何通过 Hermitian 度量与调和形式在凝聚层导出范畴上明确定义 $A_{\infty}$-结构？
• RQ3 复几何侧的 $A_{\infty}$-结构中的高阶乘积，是否在同伦意义下等价于辛几何侧通过 Floer 上同调定义的乘积？
• RQ4 对于椭圆曲线上的线丛，复几何侧（通过调和代表定义）的三重乘积是否与辛几何侧（通过 $\overline{\partial}$-闭形式定义）的三重乘积一致？
• RQ5 $\mathcal{D}^{b}_{\infty}(X)$ 上的 $A_{\infty}$-结构是否具有显式的循环对称性，且该对称性是否与辛几何侧的结构一致？

主要发现

• 在 $\mathcal{D}^{b}_{\infty}(X)$ 上的 $A_{\infty}$-结构在 Hermitian 度量选择下至多同伦等价，保证了其鲁棒性。
• 在 $\mathcal{D}^{b}_{\infty}(X)$ 中，高阶乘积 $m_k$ 衡量调和代表在乘法下不闭合的失败程度，其中 $m_1 = 0$，$m_2$ 为标准复合运算。
• 对于椭圆曲线，通过复几何定义的三重乘积 $m_3$ 与通过辛几何 Floer 理论定义的三重乘积在典范意义下同伦等价，其显式同伦公式涉及 $\overline{\partial}^{-1}$-项。
• 椭圆曲线上线丛的所有横截三重乘积均可通过 $A_{\infty}$-公理约化为涉及 Massey 乘积的基本情形，这些乘积是单值且明确定义的。
• 复几何与辛几何三重乘积之间的同伦可扩展至所有横截构型，因其与 Serre 对偶性和循环对称性相容。
• $\mathcal{D}^{b}_{\infty}(X)$ 上的 $A_{\infty}$-结构满足显式的循环对称性，这一性质在标准导出范畴中通常不成立。