[论文解读] The Crepant Resolution Conjecture for 3-dimensional flags modulo an involution

W. D. Gillam|ArXiv.org|Aug 6, 2007

Algebraic Geometry and Number Theory参考文献 9被引用 4

一句话总结

该论文通过证明在变量线性变换、将量子参数设为 -1 并对系数进行解析延拓后，该轨道丛 $[F/\mathbb{Z}_2]$ 的 genus-zero Gromov-Witten 潜在函数与它的极小解析化 $Y$ 的潜在函数一致，从而验证了该轨道丛的 Crepant Resolution Conjecture（CRC），其中 $F$ 是 $\mathbb{C}^3$ 的旗流形。关键结果是在这些变换下潜在函数的显式一致，通过计算三阶不变量并利用 WDVV 方程与除子公理得到确认。

ABSTRACT

After fixing a non-degenerate bilinear form on a vector space V we define an involution of the manifold of flags F in V by taking a flag to its orthogonal complement. When V is of dimension 3 we check that the Crepant Resolution Conjecture of J. Bryan and T. Graber holds: the genus zero (orbifold) Gromov-Witten potential function of [F / Z_2] agrees (up to unstable terms) with the genus zero Gromov-Witten potential function of a crepant resolution Y of the quotient scheme F / Z_2, after setting a quantum parameter to -1, making a linear change of variables, and analytically continuing coefficients. The crepant resolution Y (a hypersurface in the Hilbert scheme Hilb^2 P^2) is the projectivization of a novel rank 2 vector bundle over P^2.

研究动机与目标

• 验证在由非退化双线性型诱导的 $\mathbb{Z}_2$-作用下，$[F/\mathbb{Z}_2]$ 的 Crepant Resolution Conjecture（CRC），其中 $F$ 是 $\mathbb{C}^3$ 的旗流形。
• 使用 Chen-Ruan 上同调与轨道丛稳定映射，计算轨道丛 $[F/\mathbb{Z}_2]$ 的 genus-zero Gromov-Witten 潜在函数。
• 在 Hilbert 模丛 $\mathrm{Hilb}^2\mathbb{P}^2$ 中，将 $F/\mathbb{Z}_2$ 的极小解析化 $Y$ 构造并描述为 $\mathbb{P}^2$ 上的 $\mathbb{P}^1$-丛。
• 通过变量的线性变换与参数特化，建立 $Y$ 与 $[F/\mathbb{Z}_2]$ 的量子上同调环之间的同构。

提出的方法

• 使用 $\mathbb{Z}_2$-不变上同调与旗流形的固定点上同调，计算 $[F/\mathbb{Z}_2]$ 的 Chen-Ruan 轨道丛上同调环。
• 通过稳定映射的模空间与量子乘积的结合性，显式计算轨道丛的度数为 0 和三阶的 Gromov-Witten 不变量。
• 利用 WDVV 方程与除子公理，从低次数据推导高亏格不变量。
• 将极小解析化 $Y$ 描述为 $\mathrm{Hilb}^2\mathbb{P}^2$ 中的超曲面，将其实现为 $\mathbb{P}^2$ 上秩为 2 的向量丛的射影化。
• 通过匹配量子乘积结构的转置矩阵，推导出 $Y$ 与 $[F/\mathbb{Z}_2]$ 之间量子参数的线性变换。
• 执行解析延拓并将量子参数 $q_1 = -1$，以使轨道丛潜在函数与解析化潜在函数匹配。

实验结果

研究问题

• RQ1 在 $F$ 为 $\mathbb{C}^3$ 的旗流形时，由 $\mathbb{Z}_2$-作用诱导的轨道丛 $[F/\mathbb{Z}_2]$ 的 Crepant Resolution Conjecture 是否成立？
• RQ2 在由双线性型诱导的 $\mathbb{Z}_2$-作用下，轨道丛 $[F/\mathbb{Z}_2]$ 的 genus-zero Gromov-Witten 潜在函数的显式形式为何？
• RQ3 与轨道丛 $[F/\mathbb{Z}_2]$ 相比，$F/\mathbb{Z}_2$ 的极小解析化 $Y$ 的量子上同调环有何异同？
• RQ4 在 $q_1 = -1$ 时，何种量子参数与变量的线性变换可使 $Y$ 的 Gromov-Witten 潜在函数与 $[F/\mathbb{Z}_2]$ 的潜在函数相等？

主要发现

• 在变量线性变换与 $q_1 = -1$ 之后，$Y$ 的 genus-zero Gromov-Witten 潜在函数与 $[F/\mathbb{Z}_2]$ 的潜在函数一致，从而确认了该情形下 CRC 的成立。
• 在变换 $t_0 \mapsto s_0$，$t_1 \mapsto s_1 + i s_2$，$t_2 \mapsto -i s_2$，$t_3 \mapsto -6s_3 - \frac{3i}{2}s_4$，$t_4 \mapsto 3s_3 + i s_4$，$t_5 \mapsto 3s_5$ 下，$Y$ 与 $[F/\mathbb{Z}_2]$ 的潜在函数相等，且 $q_1 = -1$，$q_2$ 通过解析延拓吸收。
• 对 $Y$ 与 $[F/\mathbb{Z}_2]$ 的三阶不变量进行了显式计算，更高阶不变量通过 WDVV 方程与除子公理确定。
• 解析化 $Y$ 被实现为 $\mathbb{P}^2$ 上的 $\mathbb{P}^1$-丛，具体为 $\mathrm{Hilb}^2\mathbb{P}^2$ 中的超曲面，并同构于 $\mathbb{P}^2$ 上一个新颖的秩 2 向量丛的射影化。
• 在 $q_2 = 0$ 时，$F^Y$ 中 $t_1^n$ 的系数由经典不变量决定，并在变量变换下与轨道丛潜在函数在 $s_2$ 依赖性上一致，从而确认了其一致性。
• 在解析延拓至 $q_1 = -1$ 后，潜在函数对 $s_2$ 的三阶导数一致，与已知的 $[\mathbb{C}^2/\mathbb{Z}_2]$ 结果匹配，其中考虑了 6 倍因子与符号调整。