[论文解读] Quantum Giambelli formulas for isotropic Grassmannians

Anders Skovsted Buch, Andrew Kresch+1 more|ArXiv.org|Dec 4, 2008

Advanced Combinatorial Mathematics参考文献 8被引用 5

一句话总结

本文为各向同性格拉斯曼流形建立了量子吉安贝利公式，将经典吉安贝利公式扩展至小量子上同调环。对于辛格拉斯曼流形 $\operatorname{IG}(n-k,2n)$，当特殊类 $\sigma_{n+k+1}$ 被替换为 $q/2$ 时，其量子吉安贝利公式与 $\operatorname{IG}(n+1-k,2n+2)$ 的经典公式一致；而对于奇正交格拉斯曼流形 $\operatorname{OG}(n-k,2n+1)$，其量子与经典公式完全相同。

ABSTRACT

Let X be a symplectic or odd orthogonal Grassmannian which parametrizes isotropic subspaces in a vector space equipped with a nondegenerate (skew) symmetric form. We prove quantum Giambelli formulas which express an arbitrary Schubert class in the small quantum cohomology ring of X as a polynomial in certain special Schubert classes, extending the cohomological Giambelli formulas of arXiv:0811.2781.

研究动机与目标

• 将上同调中的经典吉安贝利公式扩展至各向同性格拉斯曼流形的小量子上同调环。
• 以特殊施伯伯特类为基准，阐明辛格拉斯曼流形与奇正交格拉斯曼流形的量子施伯伯特类的结构。
• 建立一个统一的量子吉安贝利公式，推广类型 A 及最大各向同性格拉斯曼流形的已知结果。
• 通过将其与平移后的经典公式关联，阐明 $q$-变形在各向同性格拉斯曼流形的量子上同调中的作用。
• 为未来通过相同量子吉安贝利方法研究偶正交格拉斯曼流形提供框架。

提出的方法

• 利用定义在整数序列上的提升算子 $R_{ij}$ 构造量子吉安贝利公式，方法为这些算子的单项式形式。
• 以 [BKT2] 中的经典吉安贝利公式为起点，其在上同调中表示为 $\sigma_\lambda = R^\lambda m_\lambda$。
• 通过引入三点多、亏格零的格罗莫夫-威滕不变量作为结构常数，对上同调环进行 $q$-变形。
• 依赖 $\operatorname{OG}(n-k,2n+1)$ 的量子 Pieri 法则来定义量子乘法结构，其中包含 $q$ 和 $q^2$ 修正项。
• 构造从稳定上同调环 $\mathbb{H}(\operatorname{OG}_k)$ 到 $\operatorname{QH}^*(\operatorname{OG}(n-k,2n+1))$ 的环同态 $\tilde{\pi}$，以将经典公式提升至量子设置。
• 利用 §3.1 中的同构 $\varphi$ 将 $\operatorname{IG}$ 的结果转换为 $\operatorname{OG}$，从而实现两种情形的并行证明。

实验结果

研究问题

• RQ1 如何将上同调中的经典吉安贝利公式扩展至各向同性格拉斯曼流形的小量子上同调环？
• RQ2 $\operatorname{IG}(n-k,2n)$ 的量子吉安贝利公式与更大格拉斯曼流形的经典公式之间存在何种精确关系？
• RQ3 奇正交格拉斯曼流形的量子吉安贝利公式是否与其经典对应形式不同？
• RQ4 $q$-变形如何影响量子上同调环中施伯伯特类的结构？
• RQ5 提升算子与 $k$-严格分拆在构建量子吉安贝利恒等式中起何种作用？

主要发现

• 对于奇正交格拉斯曼流形 $\operatorname{OG}(n-k,2n+1)$，其量子吉安贝利公式与经典公式完全相同：在 $\operatorname{QH}^*(\operatorname{OG}(n-k,2n+1))$ 中，有 $\tau_\lambda = 2^{-\ell_k(\lambda)} R^\lambda m_\lambda$ 成立。
• 对于辛格拉斯曼流形 $\operatorname{IG}(n-k,2n)$，其量子吉安贝利公式与 $\operatorname{IG}(n+1-k,2n+2)$ 的经典公式一致，前提是将 $\sigma_{n+k+1}$ 替换为 $q/2$。
• $\operatorname{OG}(n-k,2n+1)$ 的量子 Pieri 法则包含三项：经典项、$q$-修正项与 $q^2$-修正项，其系数依赖于 $N'(\lambda,\mu)$ 与 $\delta_p$。
• 从稳定上同调环 $\mathbb{H}(\operatorname{OG}_k)$ 到 $\operatorname{QH}^*(\operatorname{OG}(n-k,2n+1))$ 的环同态 $\tilde{\pi}$ 是良定义的，并且在 $q$-变形下保持吉安贝利公式不变。
• 证明依赖于验证 $\mathbb{H}(\operatorname{OG}_k)$ 的定义关系在 $\operatorname{QH}^*(\operatorname{OG}(n-k,2n+1))$ 中成立，包括当 $r \leq (3n-2)/2$ 与 $r > (3n-2)/2$ 时 $q$-修正项的消失。
• 结果确认了 $\operatorname{OG}$ 中的量子施伯伯特类可表示为特殊施伯伯特类的多项式，其公式与经典情形中使用的提升算子公式相同。