[论文解读] The moment graph for Bott-Samelson varieties and applications to quantum cohomology

Camron Withrow|arXiv (Cornell University)|Aug 28, 2018

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

一句话总结

本文在任意李型下完整描述了 Bott-Samelson 空间上的矩图，通过曲线邻域与模空间计算，推导出特定类型 A 的 Bott-Samelson 空间 $Z = Z(\alpha_1, \alpha_2, \alpha_1)$ 的小量子上同调环的表示。该文证明了 Galkin、Golyshev 和 Iritani 的猜想 $\mathcal{O}$，确认其在第一陈类算子作用下的本征值结构。

ABSTRACT

We give a description of the moment graph for Bott-Samelson varieties in arbitrary Lie type. We use this, along with curve neighborhoods and explicit moduli space computations, to compute a presentation for the small quantum cohomology ring of a particular Bott-Samelson variety in Type $A$. We also show the conjecture $\mathcal{O}$ of Galkin, Golyshev, and Iritani holds for that Bott-Samelson variety.

研究动机与目标

• 提供任意李型下 Bott-Samelson 空间矩图的完整描述。
• 计算类型 $A_2$ 中特定 Bott-Samelson 空间的小量子上同调环的表示。
• 验证 Galkin、Golyshev 和 Iritani 对该空间提出的猜想 $\mathcal{O}$。
• 建立一个利用环作用与稳定映射研究非凸、非 тор性空间上同调的框架。

提出的方法

• 通过 $T$-不动点与 $T$-稳定曲线构造矩图，其参数化由二进制序列 $\varepsilon \in \{0,1\}^n$ 给出。
• 基于二进制元组中首个不同的索引，对 $T$-稳定曲线应用归纳刻画。
• 利用稳定映射的模空间 $\overline{M}_{0,1}(Z,\beta)$，通过纤维笛卡尔图计算 Gromov-Witten 不变量。
• 使用 Chevalley 矩阵编码量子积关系，并推导出量子上同调表示。
• 通过将量子参数设为 1，计算第一陈类算子 $\hat{c}_1$ 的矩阵。
• 通过分析 $\hat{c}_1$ 的本征值验证猜想 $\mathcal{O}$，确认最大模本征值唯一，且模长相等的本征值满足单位根结构。

实验结果

研究问题

• RQ1 如何在任意李型下完整描述 Bott-Samelson 空间的矩图？
• RQ2 类型 $A_2$ 中 Bott-Samelson 空间 $Z(\alpha_1, \alpha_2, \alpha_1)$ 的小量子上同调环的显式表示是什么？
• RQ3 用于量子上同调计算的 Gromov-Witten 不变量是否可通过稳定映射的模空间获得几何解释？
• RQ4 猜想 $\mathcal{O}$（将第一陈类算子的本征值与 Fano 指数关联）是否对这一非 toric、非凸空间成立？
• RQ5 该 Bott-Samelson 空间量子上同调中的 Giambelli 公式能否显式计算？

主要发现

• 对于 $Z = Z(\alpha_1, \alpha_2, \alpha_1)$，小量子上同调环 $QH^*(Z)$ 由 $\sigma_{100}, \sigma_{010}, \sigma_{001}, q_1, q_2, q_3$ 生成，其显式关系由 Chevalley 矩阵导出。
• Gromov-Witten 不变量 $I_{\beta_1}([Z_{001}]) = y_3 = 1$ 通过模空间同构 $\overline{M}_{0,1}(Z,\beta_1) \to \overline{M}_{0,1}(Z',[Z'_{01}])$ 计算得出。
• Giambelli 公式将所有 Schubert 类 $\sigma_{110}, \sigma_{101}, \sigma_{011}, \sigma_{111}$ 表示为代数生成元的多项式，并带有量子修正项。
• 量子上同调环满足结合律，由推导出的关系与 Giambelli 公式的自洽性验证。
• $\hat{c}_1$ 矩阵有八个不同的本征值，其中一个实本征值具有最大模，其余本征值模长均严格更小。
• 猜想 $\mathcal{O}$ 对 $Z = Z(\alpha_1, \alpha_2, \alpha_1)$ 成立：最大本征值唯一，且模长相等的所有本征值均为 Fano 指数缩放后的单位根。