[论文解读] Homological mirror symmetry of Fermat polynomials

So Okada|arXiv (Cornell University)|Oct 11, 2009

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

一句话总结

本文通过证明加权射影空间中费马超曲面的凝聚层导出范畴与对偶 Landau-Ginzburg 模型的 Fukaya-Seidel 范畴之间的导出 Morita 等价性，建立了费马多项式上的同调镜像对称。关键结果是一个对偶框架，通过 $H_n$-等变性和 $\hat{H}_n$-商构造，将 $\mathrm{D}^b(\mathrm{Coh}Y_n)$ 与 $\mathrm{FS}(Y_n)$ 联系起来，涉及稳定条件、模形式以及 Hochschild 同调。

ABSTRACT

We discuss homological mirror symmetry of Fermat polynomials in terms of derived Morita equivalence between derived categories of coherent sheaves and Fukaya-Seidel categories (a.k.a. perfect derived categories of directed Fukaya categories), and some related aspects such as stability conditions, (kinds of) modular forms, and Hochschild homologies.

研究动机与目标

• 通过导出范畴与 $A_\infty$-结构，建立费马多项式 $F_n = x_1^n + \cdots + x_n^n$ 的同调镜像对称。
• 证明费马超曲面 $Y_n$ 上凝聚层的导出范畴与其中心镜像的 Fukaya-Seidel 范畴之间的导出 Morita 等价性。
• 探讨在 $A_n$-型 quiver 与分次矩阵因子化背景下，稳定条件、模形式与 Donaldson-Thomas 不变量之间的相互作用。
• 计算轨道 Fermat 超曲面 $Y_n$ 的 Hochschild 同调与 Poincaré 多项式，揭示欧拉示性数为 $(n-1)^n$。
• 阐明群 $H_n = G_n / \text{对角线}$ 及其对偶 $\hat{H}_n$ 在通过轨道范畴与 dg 提升构造镜像对偶性中的作用。

提出的方法

• 将 $X_n$ 定义为费马多项式 $F_n: \mathbb{C}^n \to \mathbb{C}$，并将 $Y_n = \mathbb{C}^n / G_n$ 定义为 $G_n = (\mu_n)^n$ 的对角作用。
• 将 Fukaya-Seidel 范畴 $\mathrm{FS}(X_n)$ 构造为某组 Morsification 的有序消失循环的 $A_\infty$-范畴的完美导出范畴。
• 利用 $\mathrm{D}^b(\mathrm{Coh}X_n)$ 与 $\mathrm{D}^b(\mathrm{Coh}Y_n)$ 的 dg 提升，通过 $H_n$-不变紧生成元定义镜像对偶。
• 将 $\mathrm{FS}(Y_n)$ 定义为 $\mathrm{FS}(X_n)$ 的 $\hat{H}_n$-轨道范畴的完美导出范畴，利用 $\hat{H}_n$ 对 $A_\infty$-范畴的作用。
• 应用 Fukaya-Seidel 范畴的 Künneth 公式，证明 $\mathrm{Perf}({\mathcal{A}}_{n-1}^\bigotimes n) \cong \mathrm{FS}(X_n)$，其中 ${\mathcal{A}}_{n-1}$ 是分次矩阵因子化的 dg 代数。
• 利用等价关系 $\mathrm{D}^b(\mathrm{Coh}X_n) \cong \mathrm{DGrB}(F_n)$ 与 Auslander-Reiten 理论，识别稳定对象，并通过广义 Kronecker quiver 计算扩张闭子范畴。

实验结果

研究问题

• RQ1 如何通过导出 Morita 等价性建立费马多项式 $F_n = \sum x_i^n$ 的同调镜像对称？
• RQ2 凝聚层的导出范畴 $\mathrm{D}^b(\mathrm{Coh}Y_n)$ 与镜像 $X_n$ 的 Fukaya-Seidel 范畴之间的确切关系是什么？
• RQ3 在 $\mathrm{D}^b(\mathrm{Coh}Y_n)$ 上的稳定条件如何与广义 Kronecker quiver 结构及 Donaldson-Thomas 不变量相关联？
• RQ4 在稳定对象的扩张闭子范畴中，半稳定对象的生成函数会产生哪些模形式？
• RQ5 轨道 Fermat 超曲面 $Y_n$ 的 Hochschild 同调是什么？它与 Poincaré 多项式及欧拉示性数有何关系？

主要发现

• 导出范畴 $\mathrm{D}^b(\mathrm{Coh}Y_n)$ 与 Fukaya-Seidel 范畴 $\mathrm{FS}(Y_n)$ 导出 Morita 等价，对偶性通过 $H_n$-等变性与 $\hat{H}_n$-商实现。
• 超曲面 $Y_n$ 的 Poincaré 多项式为 $P(Y_n, q) = \sum_{2 \leq j \leq n, 2 \leq k \leq j} n^{n-j} \binom{n}{j} (-1)^{j-k} P(\mathbb{P}^{k-2}, q)$，具体值为：$1$，$q+7$，$q^2+13q+67$，$q^3+21q^2+181q+821$。
• 超曲面 $Y_n$ 的欧拉示性数为 $(n-1)^n$，通过 Hochschild 同调计算得出，确认 $P(Y_n, 1) = (n-1)^n$。
• 当 $n=5$ 时，连续的稳定对象 $\mathcal{O}_{X_5} > \tilde{\tau}^{-1}(\mathcal{O}_{X_5})$ 生成一个分次广义 Kronecker quiver，包含度数为一和二的箭头，以及度数为三的环。
• 生成函数 $\sum_{m>0} m^{1-k} \mathcal{J}_m(q)$ 在 $k$ 为奇数时给出 Eisenstein 系数或 Eichler 积分；当 $k = -1$ 时，给出拟模形式 $E_2(z) - E_2(2z)$。
• quiver 中度数为一的箭头数量对应于两个稳定对象之和的数值类模空间的 Donaldson-Thomas 不变量。