[论文解读] $S^1$-fixed-points in hyper-Quot-schemes and an exact mirror formula for flag manifolds from the extended mirror principle diagram

Chien‐Hao Liu, Kefeng Liu+1 more|ArXiv.org|Jan 27, 2004

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

一句话总结

本文通过在超-Quot-概形上的 $S^1$-等变局部化，为旗流形上的 Gromov-Witten 不变量建立了精确的镜像公式。通过分析 $S^1$-固定点分支 $E_{(A;0)}$ 并计算其等变欧拉类，作者推导出积分 $\int_X \tau^* e^{H\cdot t} \cap \mathbf{1}_d$ 的闭合表达式，该表达式编码了基本超几何级数 $HG[\mathbf{1}]^X(t)$，推广了对格拉斯曼流形已知的结果，并暗示了一个带有 Thom 类修正的族 Hori-Vafa 公式。

ABSTRACT

In [L-L-Y1, III: Sec. 5.4] on mirror principle, a method was developed to compute the integral $\int_{X}τ^{\ast}e^{H\cdot t}\cap {\mathbf 1}_d$ for a flag manifold $X=\Fl_{r_1, ..., r_I}({\Bbb C}^n)$ via an extended mirror principle diagram. This method turns the required localization computation on the augmented moduli stack $\bar{\cal M}_{0,0}(\CP^1 imes X)$ of stable maps to a localization computation on a hyper-Quot-scheme $\HQuot({\cal E}^n)$. In this article, the detail of this localization computation on $\HQuot({\cal E}^n)$ is carried out. The necessary ingredients in the computation, notably, the $S^1$-fixed-point components and the distinguished ones $E_{(A;0)}$ in $\HQuot({\cal E}^n)$, the $S^1$-equivariant Euler class of $E_{(A;0)}$ in $\HQuot({\cal E}^n)$, and a push-forward formula of cohomology classes involved in the problem from the total space of a restrictive flag manifold bundle to its base manifold are given. With these, an exact expression of $\int_{X}τ^{\ast}e^{H\cdot t}\cap {\mathbf 1}_d$ is obtained. Comments on the Hori-Vafa conjecture are given in the end.

研究动机与目标

• 计算旗流形 $X = \mathrm{Fl}_{r_1,\ldots,r_I}(\mathbb{C}^n)$ 上的积分 $\int_X \tau^* e^{H\cdot t} \cap \mathbf{1}_d$，该积分确定了基本超几何级数 $HG[\mathbf{1}]^X(t)$。
• 通过扩展的图示，将镜像原理推广，将模堆栈 $\overline{\mathcal{M}}_{0,0}(\mathbb{CP}^1 \times X)$ 上的局部化计算归约为超-Quot-概形 $\mathrm{HQuot}(\mathcal{E}^n)$ 上的计算。
• 利用 $S^1$-等变上同调与限制旗流形丛上的下推公式，推导出旗流形上 Gromov-Witten 不变量（弦瞬子数）的精确表达式。
• 通过引入 Young 表与组合结构中的 Thom 类，推广 Calabi-Yau 流形在旗流形上的 Hori-Vafa 公式。

提出的方法

• 该方法将局部化计算从增强的模堆栈 $\overline{\mathcal{M}}_{0,0}(\mathbb{CP}^1 \times X)$ 归约为 $\mathbb{CP}^1$ 上子层序列的超-Quot-概形 $\mathrm{HQuot}(\mathcal{E}^n)$。
• $\mathrm{HQuot}(\mathcal{E}^n)$ 中的 $S^1$-固定点分支被分类，其中突出的分支 $E_{(A;0)}$ 被识别为以 $X$ 为基，具有限制旗流形纤维的纤维丛塔。
• 利用 $E_{(A;0)}$ 上 $K$-群中的形变理论分解，计算了法丛 $\nu(E_{(A;0)} / \mathrm{HQuot}(\mathcal{E}^n))$ 的 $S^1$-等变欧拉类。
• 推导出从限制旗流形丛的全空间到其基的上同调类下推公式，并沿 $E_{(A;0)}$ 的纤维丛塔迭代应用。
• 通过将欧拉类计算与下推公式结合，最终得到一个形式上精确的表达式，其中包含对 $y_{i,j;k}$、$\alpha$ 和 $\zeta_i$ 参数的乘积。
• 该构造包括限制旗流形丛 $W$ 及其嵌入到旗流形丛 $W'$ 中的一般理论，并显式计算了包含关系 $W \hookrightarrow W'$ 的 Thom 类。

实验结果

研究问题

• RQ1 如何利用 $S^1$-等变局部化精确计算旗流形的 Gromov-Witten 不变量？
• RQ2 超-Quot-概形 $\mathrm{HQuot}(\mathcal{E}^n)$ 中 $S^1$-固定点分支的精确结构是什么？它们与旗流形 $X$ 有何关联？
• RQ3 能否通过此局部化方法，以闭合形式表达一般旗流形上的基本超几何级数 $HG[\mathbf{1}]^X(t)$？
• RQ4 限制旗流形丛的 Thom 类如何贡献于镜像公式？它们在推广 Hori-Vafa 公式中起什么作用？
• RQ5 最终公式中约束乘积 $\accentset{\sim}{\prod}_{i=1}^I$ 的几何与组合意义是什么？它如何反映旗流形的结构？

主要发现

• 导出了 $\int_X \tau^* e^{H\cdot t} \cap \mathbf{1}_d$ 的精确表达式，作为对 $S^1$-固定分支 $E_{(A;0)}$ 的求和，其中涉及法丛等变欧拉类的逆。
• 对于格拉斯曼流形，该公式重现了 [B-CF-K] 中已知的结果，确认了与先前工作的自洽性。
• 最终公式以对 $i=1$ 到 $I$ 的约束乘积形式表达，其中包含 $y_{i,j;k}$、$\alpha$、$\zeta_i$ 项以及来自 Young 表与旗结构的组合因子。
• 对差值 $(-y_{i,j;k} + y_{i+1,j';k'} - l\alpha)$ 和 $(y_{i,j';k'} - y_{i,j;k} - (a_{i,j'} - a_{i,j})\alpha)$ 的逆乘积表明存在类似“量子子流形公式”的量子修正结构。
• 该公式暗示了旗流形上一个推广的“族 Hori-Vafa 公式”，其层级结构由 $i$ 索引，且包含 $\mathrm{HQuot}(\mathcal{E}^n)$ 嵌入到 Quot-概形乘积中的 Thom 类修正。
• 限制旗流形丛 $W$ 的构造及其在 $W'$ 中的 Thom 类，为计算中使用的下推公式提供了技术基础。