[论文解读] Deformations of chiral algebras and quantum cohomology of toric varieties

Fyodor Malikov, Vadim Schechtman|ArXiv.org|Jan 28, 2000

Algebraic Geometry and Number Theory参考文献 3被引用 6

一句话总结

本文构建了一个单参数族的带导子的顶点超代数，参数为 $ q ∈ H^2(X) $，使得该形变代数关于导子的上同调同调给出光滑完备射影 торic 空间 $ X $ 的量子上同调代数。该构造推广了 Borisov 对 toric 完满交截的顶点代数，并将量子上同调实现为形变 chiral 代数的上同调，通过格点顶点代数与费米子及分段线性函数的形变，为量子上同调提供了顶点代数框架。

ABSTRACT

We reproduce the quantum cohomology of toric varieties (and of some hypersurfaces in projective spaces) as the cohomology of certain vertex algebras with differential. The deformation technique allows us to compute the cohomology of the chiral de Rham complex over the projective space.

研究动机与目标

• 将 Borisov 对 toric 完满交截的顶点超代数构造推广至一个以 $ q \in H^2(X) $ 为参数的单参数形变顶点超代数族。
• 证明该形变族关于导出微分的上同调同调为光滑完备 toric 空间量子上同调代数。
• 通过凸分段线性函数形变 chiral Hodge 上同调代数，提供量子上同调的顶点代数实现。
• 在严格凸分段线性函数的锥上建立 Borisov 代数 $ V^\Sigma_L $ 的形变，将其与量子上同调联系起来。

提出的方法

• 从自由阿贝尔群 $ L $ 及其双线性型构造格点顶点代数 $ V_L $，并扩展为由费米子生成元 $ \Psi^i, \Phi^i $ 构成的 Clifford 代数。
• 通过线性自同构 $ t_\phi $ 构造一族顶点代数 $ V_{L,\phi} $，基于实值函数 $ \phi $ 在 $ L_A $ 上的定义，形变 $ n $-重乘积结构。
• 对 $ \phi $ 强制凸性条件，导出当 $ \phi \to \infty $ 时的良定极限 $ V_{L,\infty\phi} $，其同构于严格凸 $ \phi $ 时的 Borisov 代数 $ V_L^\Sigma $。
• 定义微分 $ D = \int \sum_i \Psi^i(z) \left( \sum_j (B^i, \xi_j) e^{\xi_j}(z) \right) dz $，其与零模微分 $ Q_0 $ 交换，形成总微分 $ Q_0 + D $。
• 使用谱序列论证，证明 $ H_{Q_0 + D}(V_{L,\phi}) \cong H_D(H_{Q_0}(V_{L,\phi})) $，从而将计算简化为 Koszul 上同调。
• 将 $ H_{Q_0}(V_{L,\phi}) $ 识别为 $ \mathbb{R}[L_A] \otimes \Lambda(\Phi^i_0) $，并证明 $ D $ 的作用对应于序列 $ \sum_j (B^i, \xi_j) e^{\xi_j} $ 的 Koszul 微分，与 Batyrev 的量子上同调关系一致。

实验结果

研究问题

• RQ1 Borisov 对 toric 完满交截的顶点超代数能否被推广为以 $ q \in H^2(X) $ 为参数的连续顶点代数族，使得形变代数的上同调实现量子上同调？
• RQ2 通过分段线性函数 $ \phi $ 对顶点代数结构的形变，如何与 toric 空间 $ X_\Sigma $ 的几何相关联，特别是与 Kähler 锥的关系？
• RQ3 形变顶点代数 $ (V_{L,\phi}, d_q) $ 的上同调与量子上同调代数 $ QH^*(X_\Sigma, \mathbb{R}) $ 之间的精确关系是什么？该关系如何通过谱序列与 Koszul 复形实现？
• RQ4 在何种 $ \phi $ 条件下，极限 $ V_{L,\infty\phi} $ 恢复 Borisov 的代数 $ V_L^\Sigma $，这与严格凸函数锥的关系如何？
• RQ5 通过费米子场与 Kähler 类定义的微分 $ D $，如何重现 Batyrev 构造中量子关系的量子上同调？

主要发现

• 形变顶点代数 $ (V_{L,\phi}, d_q) $ 关于微分 $ Q_0 + D $ 的上同调同构于量子上同调代数 $ QH^*_{\phi}(X_\Sigma, \mathbb{R}) $，从而直接实现了顶点代数框架下的量子上同调。
• 与 $ Q_0 $-次数过滤相关的谱序列坍缩，得到 $ H_{Q_0 + D}(V_{L,\phi}) \cong H_D(H_{Q_0}(V_{L,\phi})) $，即序列 $ \sum_j (B^i, \xi_j) e^{\xi_j} $ 的 Koszul 上同调。
• $ Q_0 $-上同调 $ H_{Q_0}(V_{L,\phi}) $ 同构于 $ \mathbb{R}[L_A] \otimes \Lambda(\Phi^i_0) $，即由 $ L_A $ 的群代数与 Grassmann 变量生成的分次超交换代数。
• 微分 $ D $ 在 $ H_{Q_0}(V_{L,\phi}) $ 上的作用恰好对应于定义 Batyrev 量子上同调理想 $ P(\Sigma) $ 的关系的 Koszul 微分，当 $ \phi $ 严格凸时成立。
• 形变 $ V_{L,\phi} $ 构成在严格凸分段线性函数锥 $ K^0(\Sigma) $ 上的族，且 $ V_{L,\infty\phi} \cong V_L^\Sigma $，表明该构造是 Borisov 代数的形变。
• 该构造将量子上同调实现为具有导出结构的顶点代数的上同调，通过 chiral 代数与形变理论，为量子上同调提供了新的代数框架。