[论文解读] Frobenius Manifolds and Formality of Lie Algebras of Polyvector Fields

Sergey Barannikov, Maxim Kontsevich|arXiv (Cornell University)|Oct 28, 1997

Homotopy and Cohomology in Algebraic Topology参考文献 5被引用 44

一句话总结

本文通过卡拉比-丘流形 $M$ 上的多向量场的微分 graded 李代数中的 Maurer-Cartan 方程的普遍解，构建了在移位上同调空间 $H^*(M, \Lambda^*T_M)[2]$ 上的正式 Frobenius 流形结构。该构造推广了 Hodge 结构的变体，并通过 Gromov-Witten 不变量为 genus-zero 镜像对称预测提供了数学实现，将 Frobenius 结构与通过形式性定理从凝聚层的导出范畴导出的结构相联系。

ABSTRACT

We construct a generalization of the variations of Hodge structures on Calabi-Yau manifolds. It gives a Mirror partner for the theory of genus=0 Gromov-Witten invariants

研究动机与目标

• 在镜像对称的背景下，为扩展的模空间 $H^*(M, \Lambda^*T_M)[2]$ 提供一个正式 Frobenius 流形结构的数学解释。
• 解决在三维以上高维镜像对称中解释 'Yukawa 耦合' $C_{ijk}(t)$ 的谜题。
• 建立 $D^b\text{Coh}(M)$ 的 $A_\infty$-形变模空间上的 Frobenius 结构与镜像卡拉比-丘流形 $\widetilde{M}$ 的 Gromov-Witten 不变量之间的对应关系。
• 将 Hodge 结构变体理论推广至通过多向量场实现的复结构广义形变。
• 证明形式性定理将 $A_\infty$-形变的模空间与多向量场形变的模空间等同起来，同时保持 Frobenius 代数结构。

提出的方法

• 在卡拉比-丘流形 $M$ 上构造多向量场的微分 graded 李代数 $\mathfrak{t} = \bigoplus_{k} \mathfrak{t}^k$，其微分为 $\bar{\partial}$，Schouten-Nijenhuys 李括号为括号。
• 应用形变理论，将 $\mathfrak{t}$ 关联到一个形式模空间 $\mathcal{M}_{\mathfrak{t}}$，其被识别为 $H^*(M, \Lambda^*T_M)[2]$ 中的一个形式邻域。
• 利用 $\mathfrak{t}$ 中 Maurer-Cartan 方程的普遍解，定义一个广义全纯体积形式。
• 通过积分该体积形式，定义广义周期，从而在 $H^*(M, \Lambda^*T_M)[2]$ 上生成 Frobenius 流形结构。
• 证明所得代数结构满足 Frobenius 流形的公理：交换性、结合性、不变性、单位元及存在性势函数。
• 利用形式性定理，将 $D^b\text{Coh}(M)$ 的 $A_\infty$-形变模空间与 $\mathcal{M}_{\mathfrak{t}}$ 识别，并通过 Yoneda 乘积保持切代数结构。

实验结果

研究问题

• RQ1 如何为扩展模空间 $H^*(M, \Lambda^*T_M)[2]$ 赋予 Frobenius 流形结构，以推广 Hodge 结构的变体？
• RQ2 在高维镜像对称中，Yukawa 耦合 $C_{ijk}(t)$ 的几何与代数意义是什么？
• RQ3 在 $H^*(M, \Lambda^*T_M)[2]$ 上构造的正式 Frobenius 流形与镜像卡拉比-丘流形 $\widetilde{M}$ 的 Gromov-Witten 不变量之间有何关系？
• RQ4 形式性定理能否用于从同调镜像对称猜想推导出镜像对称的数值预测？
• RQ5 极限权重滤子与极大单值单值单值变换在构造 Frobenius 结构中起什么作用？

主要发现

• 模空间 $\mathcal{M}_{\mathfrak{t}}$ 的切丛经 $[-2]$ 移位后，通过 Yoneda 乘积自然携带一个分次交换结合代数结构。
• 从积分普遍全息体积形式获得的广义周期满足 Frobenius 流形公理，包括存在势函数 $\Phi$ 使得 $A_{abc} = \partial_a\partial_b\partial_c\Phi$。
• 通过多向量场形变构造的 $H^*(M, \Lambda^*T_M)[2]$ 上的 Frobenius 结构，与从镜像 $\widetilde{M}$ 的 Gromov-Witten 不变量导出的 $H^*(\widetilde{M}, \mathbb{C})$ 上的 Frobenius 结构在猜想上一致。
• 形式性定理将 $D^b\text{Coh}(M)$ 的 $A_\infty$-形变模空间与 $\mathcal{M}_{\mathfrak{t}}$ 识别，且该识别保持切丛上的 Frobenius 代数结构。
• 该构造推广了 Saito 在奇点模空间上的 Frobenius 流形理论，并为 Fano 代数的 Gromov-Witten Frobenius 结构提供了镜像伙伴。
• 附录证明了由构造产生的三阶张量 $A_{abc}$ 确实为势函数 $\Phi$ 的三阶导数，从而确认了 Frobenius 流形的势函数公理。