[论文解读] Mirror symmetry and quantum cohomology of projective bundles

Artur Elezi|ArXiv.org|Oct 25, 2006

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

一句话总结

本文证明了关于 toric 变量中半正完全交截的射影丛的镜像对称猜想，表明射影丛的量子 D-模来自一个扭曲的超几何级数。关键结果是经典上同调关系 $\prod_{i=0}^{n}(z - c_1(L_i)) = 0$ 在小量子上同调环中形变为 $z\prod_{i=1}^{n}(z - c_1(L_i)) = q_1$，且来自 $X$ 的关系通过微分算子被提升至丛上。

ABSTRACT

In an earlier paper we conjectured a relation between the quantum $\mathcal D$-modules of a smooth variety $X$ and the projectivisation of a direct sum of line bundles over it. In this paper we prove the conjecture when $X$ is a complete intersection in a toric variety. We also use the conjecture to show that the relations of the small quantum cohomology ring of $X$ that come from differential operators lift to the projective bundle. The basic cohomology relation of the projective bundle deforms to a relation in the small quantum cohomology.

研究动机与目标

• 证明关于射影丛 $\mathbb{P}(V) \to X$ 的镜像对称猜想，其中 $X$ 是 toric 变量中的半正完全交截。
• 建立 $\mathbb{P}(V)$ 的 $J$-函数与扭曲超几何级数 $I(\mathbb{P}(V))$ 的匹配，将 Fano 情况扩展至非 Fano 设置。
• 证明来自基空间 $X$ 的量子上同调关系可通过微分算子提升至射影丛 $\mathbb{P}(V)$。
• 识别 $\mathbb{P}(V)$ 的小量子上同调环中经典上同调关系 $\prod_{i=0}^{n}(z - c_1(L_i)) = 0$ 的量子形变。

提出的方法

• 使用编码纤维类量子修正的扭转因子 $\mathcal{T}_{\nu,\beta}$ 构造扭曲超几何级数 $I(\mathbb{P}(V))$。
• 将 $J$-函数 $J(\mathbb{P}(V))$ 定义为单点 Gromov-Witten 不变量和重力下垂的生成函数。
• 利用猜想等式 $J(\mathbb{P}(V)) = I(\mathbb{P}(V))$ 通过微分算子推导量子上同调关系。
• 通过构造作用于 $J(\mathbb{P}(V))$ 的提升微分算子 $\tilde{\mathcal{P}}$，将 $QH^*_s X$ 中的关系提升至 $QH^*_s \mathbb{P}(V)$。
• 通过证明算子 $\Delta = \prod_{i=0}^{n}(\hbar\partial/\partial t_{k+1} - \sum_j a_{ij}\hbar\partial/\partial t_j) - q_1$ 消去 $J(\mathbb{P}(V))$，推导出经典关系的量子形变，从而在 $QH^*_s \mathbb{P}(V)$ 中得出 $\prod_{i=0}^{n}(z - c_1(L_i)) = q_1$。
• 通过证明映射 $i_*: H_2(X) \to H_2(\mathbb{P}(V))$ 的单射性，验证了在 toric 情况下的猜想，从而实现 $X$ 与 $\mathbb{P}(V)$ 之间 $J$-函数和 $I$-函数的传递。

实验结果

研究问题

• RQ1 在 toric 变量中半正完全交截上的射影丛是否成立猜想的镜像对称关系 $J(\mathbb{P}(V)) = I(\mathbb{P}(V))$？
• RQ2 来自基流形 $X$ 的量子上同调关系在射影丛 $\mathbb{P}(V)$ 的量子上同调环中如何形变？
• RQ3 在 $H^*\mathbb{P}(V)$ 中，经典上同调关系 $\prod_{i=0}^{n}(z - c_1(L_i)) = 0$ 的量子形变是什么？
• RQ4 能否将消去 $J(X)$ 的微分算子提升为消去 $J\mathbb{P}(V)$ 的算子，其在 $QH^*_s \mathbb{P}(V)$ 中的结果关系为何？
• RQ5 扭转因子 $\mathcal{T}_{\nu,\beta}$ 如何编码 $\mathbb{P}(V)$ 中纤维方向有理曲线的量子修正？

主要发现

• 当 $X$ 是 toric 变量中的半正完全交截时，猜想 $J(\mathbb{P}(V)) = I(\mathbb{P}(V))$ 获得证明，从而确立了此类射影丛的镜像对称。
• 经典上同调关系 $\prod_{i=0}^{n}(z - c_1(L_i)) = 0$ 在 $\mathbb{P}(V)$ 的小量子上同调环中形变为 $z\prod_{i=1}^{n}(z - c_1(L_i)) = q_1$，推广了 $\mathbb{P}^n$ 的情形。
• $QH^*_s X$ 中由微分算子产生的关系可提升至 $QH^*_s \mathbb{P}(V)$，其中 $p_i$ 的量子积被包含 $\prod_{i=1}^{n}(z - c_1(L_i))^{L_i(\alpha)}$ 的因子形变。
• $\mathbb{P}(V)$ 的 $J$-函数满足 $\Delta J(\mathbb{P}(V)) = 0$，其中 $\Delta = \prod_{i=0}^{n}(\hbar\partial/\partial t_{k+1} - \sum_j a_{ij}\hbar\partial/\partial t_j) - q_1$，从而推出量子关系 $\prod_{i=0}^{n}(z - c_1(L_i)) = q_1$。
• 当映射 $i_*: H_2(X) \to H_2(\mathbb{P}(V))$ 为单射时，$X$ 与 $\mathbb{P}(V)$ 的 $J$-函数和 $I$-函数在拉回下相容，从而实现了 toric 情况下猜想的证明。
• $\mathcal{T}_{\nu,\beta}$ 因子在满足 $c_1(\tilde{L}_j) \cdot \alpha = 0$ 的 $\alpha \in H_2(X)$ 的平移下保持不变，确保了 $I_{\nu,\beta}$ 构造的一致性。