[论文解读] Homological mirror symmetry for curves of higher genus

Alexander I. Efimov|arXiv (Cornell University)|Jul 22, 2009

Homotopy and Cohomology in Algebraic Topology被引用 6

一句话总结

本文通过建立 genus $g \geq 3$ 曲面的 Fukaya $A_\infty$-范畴的 split-closed perfect derived 范畴与镜像 Landau-Ginzburg 模型中零纤维的奇异范畴之间的等价性，证明了 genus $g \geq 3$ 代数曲线的同调镜像对称。该证明推广了 Seidel 对 genus 2 的方法，使用 Floer 上同调上的 $A_\infty$-结构、矩阵因子化以及通过其 $\mathbb{Z}/2$-graded $A_\infty$-范畴对超曲面奇点进行重构的定理。

ABSTRACT

Katzarkov has proposed a generalization of Kontsevich's mirror symmetry conjecture, covering some varieties of general type. Seidel \cite{Se} has proved a version of this conjecture in the simplest case of the genus two curve. Basing on the paper of Seidel, we prove the conjecture (in the same version) for curves of genus $g\geq 3,$ relating the Fukaya category of a genus $g$ curve to the category of Landau-Ginzburg branes on a certain singular surface. We also prove a kind of reconstruction theorem for hypersurface singularities. Namely, formal type of hypersurface singularity (i.e. a formal power series up to a formal change of variables) can be reconstructed, with some technical assumptions, from its D$(\Z/2)$-G category of Landau-Ginzburg branes. The precise statement is Theorem 1.2.

研究动机与目标

• 将 Seidel 对 genus 2 曲线的同调镜像对称证明推广至 genus $g \geq 3$ 的情况。
• 建立 genus $g$ 曲面的 Fukaya $A_\infty$-范畴的 split-closed perfect derived 范畴与镜像 Landau-Ginzburg 模型中奇异纤维的三角范畴之间的等价性。
• 证明一个关于超曲面奇点形式类型的通用重构定理，该定理由其 $\mathbb{Z}/2$-graded $A_\infty$-范畴的 Landau-Ginzburg brane 所决定。
• 将 genus 2 情况中使用的 $A_\infty$-结构分类与矩阵因子化技术推广至更高 genus 的曲线。

提出的方法

• 将镜像 Landau-Ginzburg 模型 $W: X \to \mathbb{C}$ 构造为一个三叉面，其奇异纤维 $H = X_0$ 是 $g+1$ 个曲面的并集，使用一个 $K$-不变的超势能 $W = -z_1 z_2 z_3 + z_1^{2g+1} + z_2^{2g+1} + z_3^{2g+1}$。
• 定义 symplectic genus $g$ 曲面 $M$ 的 Fukaya $A_\infty$-范畴 $\mathcal{F}(M)$，并考虑其 split-closed perfect derived 范畴 $D^\pi(\mathcal{F}(M))$。
• 利用具有 $\mathbb{Z}/(2g+1)$-作用的 cyclic 覆叠 $\pi: M \to \mathbb{P}^1$，构造出 $2g+1$ 个 Lagrangian 曲线 $L_1, \dots, L_{2g+1}$ 的 $K$-不变集合，该集合构成 $D^\pi(\mathcal{F}(M))$ 的生成元。
• 将自同态代数 $\operatorname{End}(\bigoplus L_i)$ 上的 $A_\infty$-结构计算为 smash 乘积 $\operatorname{End}(\bar{L}) \# \mathbb{C}[K]$，其中 $\bar{L}$ 是在轨道商空间中的像。
• 证明 Floer 上同调 $HF^\cdot(\bar{L}, \bar{L})$ 同构于外代数 $\Lambda(V)$，并通过 Kontsevich 的形式性定理与 Hochschild 上链中的 Maurer-Cartan 解对 $A_\infty$-结构进行分类。
• 证明 Fukaya 侧的 $A_\infty$-结构通过多向量场实现与超势能 $W$ 对应，并通过奇异范畴 $D_{\text{sg}}(H)$ 与 $W^{-1}(0)$ 的矩阵因子化范畴相匹配。

实验结果

研究问题

• RQ1 能否在与 genus 2 情况相同的框架下，建立 genus $g \geq 3$ 曲线的同调镜像对称猜想？
• RQ2 如何对 genus $g \geq 3$ 曲线的 Fukaya 范畴上的 $A_\infty$-结构进行分类，并证明其与镜像 Landau-Ginzburg 模型相匹配？
• RQ3 在何种程度上，可以从其 $\mathbb{Z}/2$-graded $A_\infty$-范畴的 Landau-Ginzburg brane 中重构超曲面奇点的形式类型？
• RQ4 镜像 LG 模型中奇异纤维的三角奇异范畴与曲线的 split-closed derived Fukaya 范畴之间的确切关系是什么？
• RQ5 在轨道商空间中，浸入曲线 $\bar{L}$ 的 Floer 上同调上的 $A_\infty$-运算如何与超势能 $W$ 相关联？

主要发现

• 对于 genus $g \geq 3$ 的曲线 $M$，三角范畴 $D^\pi(\mathcal{F}(M))$ 与 $\overline{D_{\text{sg}}}(H)$ 等价，从而在该情况下证明了同调镜像对称猜想。
• 在 $D^\pi(\mathcal{F}(M))$ 中生成元 $\bigoplus_{i=1}^{2g+1} L_i$ 的自同态代数上的 $A_\infty$-结构由超势能 $W$ 决定，通过 Maurer-Cartan 解与形式多向量场之间的对应关系实现。
• 在 $W^{-1}(0)$ 上对应于 skyscraper sheaf $\mathcal{O}_0$ 的矩阵因子化，其自同态 DGA 的上同调同构于 $\Lambda(V)$，且其 $A_\infty$-结构与 Fukaya 侧匹配。
• 重构定理（定理 1.2）表明，在技术假设下，超曲面奇点 $W \in \mathbb{C}[[V^\vee]]$ 的形式类型可从其 $\mathbb{Z}/2$-graded $A_\infty$-范畴的 Landau-Ginzburg brane 中恢复。
• 该证明通过将 Seidel 的 genus 2 结果推广，将组合 $A_\infty$-结构计算与同伦理论技术扩展至更高 genus，利用覆盖的循环对称性与 $K \cong \mathbb{Z}/(2g+1)$ 的作用。
• 范畴等价通过一系列识别建立：通过形式性对 $A_\infty$-结构分类，矩阵因子化模型，以及 pro-nilpotent DGLA 中 Maurer-Cartan 解的同伦障碍理论。