[论文解读] The $S^1$ fixed points in Quot-schemes and mirror principle computations

Bong H. Lian, Chien‐Hao Liu+2 more|ArXiv.org|Nov 24, 2001

Algebraic Geometry and Number Theory参考文献 63被引用 10

一句话总结

本论文提出了一种图解方法，用于计算 $mathbb{P}^1$ 上的 Quot-概形中固定点分支的 $S^1$-等变欧拉类，从而实现了对格拉斯曼流形的 Gromov-Witten 不变量的显式镜像原理计算。该方法识别出由杨表标记的特殊固定点分支，建立了一条直接从杨表计算等变欧拉类的规则，并将其应用于计算格拉斯曼流形中卡勒-雅可比完全交的 A-模型振幅，不同表述形式之间结果完全一致。

ABSTRACT

We describe the $S^1$-action on the Quot-scheme $\Quot({\cal E}^n)$ associated to the trivial bundle ${\cal E}^n=CP^1 imes{\smallBbb C}^n$. In particlular, the topology of the $S^1$-fixed-point components in $\Quot({\cal E}^n)$ and the $S^1$-weights of the normal bundle of these components are worked out. Mirror Principle, as developed by three of the current authors in the series of work [L-L-Y1, I, II, III, IV], is a method for studying certain intersection numbers on a stable map moduli space. As an application, in Mirror Principle III, Sec 5.4, an outline was given in the case of genus zero with target a flag manifold. The results on $S^1$ fixed points in this paper are used here to do explicit Mirror Principle computations in the case of Grassmannian manifolds. In fact, Mirror Principle computations involve only a certain distinguished subcollection of the $S^1$-fixed-point components. These components are identified and are labelled by Young tableaus. The $S^1$-equivariant Euler class $e_{S^1}$ of the normal bundle to these components is computed. A diagrammatic rule that allows one to write down $e_{S^1}$ directly from the Young tableau is given. From this, the aforementioned intersection numbers on the moduli space of stable maps can be worked out. Two examples are given to illustrate our method. Using our method, the A-model for Calabi-Yau complete intersections in a Grassmannian manifold can now also be computed explicitly. This work is motivated by the intention to provide further details of mirror principle and to understand the relation to physical theory. Some related questions are listed for further study.

研究动机与目标

• 为格拉斯曼流形目标空间的情形提供显式且可计算的镜像原理计算公式。
• 识别并表征 $mathbb{P}^1$ 上平凡丛的 Quot-概形 $mathrm{Quot}(\mathcal{E}^n)$ 中的 $S^1$-固定点分支。
• 建立一种图解规则，直接从杨表计算法丛的 $S^1$-等变欧拉类。
• 将该方法应用于计算稳定映射模空间上的交数，包括卡勒-雅可比完全交的 A-模型振幅。
• 阐明镜像原理背后的数学结构及其与弦理论中物理理论的联系。

提出的方法

• 分析 $mathrm{Quot}(\mathcal{E}^n)$ 上的 $S^1$-作用，以分类其固定点分支，结果表明这些分支同构于由杨表参数化的旗流形。
• 利用表示论技术和杨表中的组合数据，计算每个固定点分支处法丛的 $S^1$-权。
• 推导出一种图解规则，可直接从杨表的形状与内容计算 $S^1$-等变欧拉类 $e_{S^1}(\nu)$。
• 该方法将镜像原理应用于计算稳定映射模空间上的积分，通过将其约化为对这些特殊固定点分支的求和。
• 通过诱导丛结构计算每个分支上超平面类的拉回，从而实现 Gromov-Witten 不变量的评估。
• 计算了两个显式例子：一个针对 $mathrm{Gr}_2(\mathbb{C}^3)$，另一个针对 $mathrm{Gr}_1(\mathbb{C}^3)$，两者结果完全一致，验证了方法的一致性。

实验结果

研究问题

• RQ1 在 $mathrm{Quot}(\mathcal{E}^n)$ 中，哪些 $S^1$-固定点分支对格拉斯曼流形的镜像原理计算有贡献？
• RQ2 如何直接从杨表等组合数据计算固定点分支法丛的 $S^1$-等变欧拉类？
• RQ3 将杨表转化为法丛的 $S^1$-等变欧拉类的精确图解规则是什么？
• RQ4 镜像原理计算的结果如何依赖于格拉斯曼流形的表述形式（例如 $mathrm{Gr}_1(\mathbb{C}^3)$ 与 $mathrm{Gr}_2(\mathbb{C}^3)$）？
• RQ5 该方法能否推广至旗流形和超-Quot-概形？

主要发现

• 证明了 $mathrm{Quot}(\mathcal{E}^n)$ 中的 $S^1$-固定点分支同构于旗流形 $mathrm{Fl}_{k_1,\dots,k_r}(\mathbb{C}^n)$，其拓扑结构已完全分类。
• 显式计算了每个固定点分支处法丛的 $S^1$-权，并表明其依赖于陈根之差与杨表的形状。
• 建立了一种图解规则，可直接从杨表计算 $S^1$-等变欧拉类 $e_{S^1}(\nu)$，从而绕过了中间的表示论步骤。
• 对于 $mathrm{Gr}_2(\mathbb{C}^3)$ 中度数为 3 的映射，对特殊分支的总积分为 $-\frac{103}{1296}\frac{1}{\alpha^{11}} - \frac{11}{432}\frac{\zeta}{\alpha^{10}} - \frac{1}{432}\frac{\zeta^2}{\alpha^9}$。
• 对于 $mathrm{Gr}_1(\mathbb{C}^3)$ 中度数为 3 的映射，得到相同的总积分，验证了格拉斯曼流形对偶表述下的一致性。
• 该方法使得对格拉斯曼流形中卡勒-雅可比完全交的 A-模型进行显式计算成为可能，此前这些计算在标准技术下难以实现。