[论文解读] Categorical primitive forms and Gromov-Witten invariants of $A_n$ singularities

Andrei Căldăraru, Si Li+1 more|arXiv (Cornell University)|Oct 11, 2018

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

一句话总结

本文为矩阵因子化范畴 MF(1/(n+1)x^{n+1}) 引入了 Saito 原始形式的范畴类比，证明了存在唯一（至多非零标量倍）的范畴原始形式。结果表明，由此得到的亏格零范畴 Gromov-Witten 不变量与通过 Saito 的奇点展开方法获得的不变量完全一致，其中四点不变量 ⟨x,x,x^{n-1},x^{n-1}⟩ 等于 1。

ABSTRACT

We introduce a categorical analogue of Saito's notion of primitive forms. Let $W$ denote the potential $\frac{1}{n+1} x^{n+1}$. For the category $MF(W)$ of matrix factorizations of $W$ we prove that there exists a unique, up to non-zero constant, categorical primitive form. The corresponding genus zero categorical Gromov-Witten invariants of $MF(W)$ are shown to match with the invariants defined through unfolding of singularities of $W$.

研究动机与目标

• 在 A_n 奇点的矩阵因子化范畴背景下，发展 Saito 原始形式的范畴类比。
• 通过此范畴原始形式定义并计算亏格零范畴 Gromov-Witten 不变量。
• 建立这些不变量与经典奇点展开过程所得不变量之间的精确对应关系。
• 为矩阵因子化范畴设定下的范畴 Gromov-Witten 理论提供一个基础性案例研究。
• 证明范畴框架可通过形式幂级数设定下的逐阶系统计算，重现奇点理论中的已知不变量。

提出的方法

• 将范畴原始形式定义为范畴 MF(1/(n+1)x^{n+1}) 的 Hochschild 上同调中的形式幂级数，满足特定平坦性条件。
• 定义 Hochschild 上同调上 Hodge 滤子的良好分裂，对应于与 Hodge 结构相容的分裂选择。
• 使用 Li-Li-Saito 提出的递推算法，按形式形变参数的阶次逐阶计算范畴原始形式。
• 通过方程 exp(−∑t_i b_i / u)ζ = ω + u^{-1}J_{-1} + u^{-2}J_{-2} + ⋯ 构造不变量的生成级数，其中 ζ 为原始形式。
• 利用 Mukai 配对与平坦坐标，从系数 J_{-k} 提取亏格零势函数 F。
• 在 m-Adic 滤子下进行逐阶展开，计算四点函数并验证其与 Saito 不变量的一致性。

实验结果

研究问题

• RQ1 范畴 MF(1/(n+1)x^{n+1}) 是否存在 Saito 原始形式的范畴类比？
• RQ2 通过此范畴原始形式定义的亏格零范畴 Gromov-Witten 不变量是否与通过奇点展开方法获得的不变量等价？
• RQ3 能否从范畴框架中精确恢复四点不变量 ⟨x,x,x^{n-1},x^{n-1}⟩，并与经典值完全一致？
• RQ4 形式幂级数设定下的逐阶计算如何与 Frobenius 流形结构及平坦坐标相关联？
• RQ5 Hodge 滤子分裂与 Mukai 配对在从范畴数据重构势函数过程中起什么作用？

主要发现

• 对于范畴 MF(1/(n+1)x^{n+1})，存在唯一（至多非零标量倍）的范畴原始形式。
• 通过范畴原始形式计算的亏格零范畴 Gromov-Witten 不变量，与通过 Saito 的 1/(n+1)x^{n+1} 奇点展开方法获得的不变量完全一致。
• 四点函数 ⟨x,x,x^{n-1},x^{n-1}⟩ 的值为 1，确认与奇点理论中经典不变量的一致性。
• 计算通过生成级数的逐阶展开进行，其中 J_{-2}^{(2)} 与 J_{-2}^{(3)} 利用递推算法显式导出。
• 平坦坐标 τ_k 与形变参数 t_i 的关系为 τ_k = −t_k + ∑(j−n/2)t_{n+1+k−j}t_j + O(t^3)，确保与 Frobenius 流形结构的兼容性。
• 势函数的偏导数由 J_{-2}^l(τ) 给出，且在 τ=0 处的四阶导数 ∂⁴F/∂τ₁²∂τ_{n−1}² 为 1，确认了关键不变量。