[论文解读] Gromov-Witten invariants for G/B and Pontryagin product for ΩK

Naichung Conan Leung, Changzheng Li|arXiv (Cornell University)|Oct 27, 2008

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

一句话总结

本文通过推导基于循环群 $\Omega K$ 的等变同调上的庞特里亚金积，为旗流形 $G/B$ 的量子上同调环中的等变量子施伯格特结构常数提供了显式公式。关键结果是一个有限的、组合定义的公式，涉及有理函数 $c_{x,[y]}$ 和 $d_{x,[y]}$，通过在有限的余权对集合上求和，计算三点多亏零的格罗莫夫-威滕不变量，当满足度数条件 $\langle\lambda,2\rho\rangle = \ell(u)+\ell(v)-\ell(w)$ 时，结果为常数。

ABSTRACT

We give an explicit formula for (T-equivariant) 3-pointed genus zero Gromov-Witten invariants for G/B. We derive it by finding an explicit formula for the equivariant Pontryagin product on the homology of the based loop group ΩK.

研究动机与目标

• 为量子上同调环 $QH^*_{T}(G/B)$ 中的（等变）量子施伯格特结构常数提供显式公式，该公式通过引入亏零格罗莫夫-威滕不变量，推广了经典施伯格特结构常数。
• 建立 $G/B$ 的等变量子上同调与基于循环群 $\Omega K$ 的等变同调上的庞特里亚金积之间的联系，利用同伦等价 $\Omega_{\text{an}}K \simeq \Omega K$。
• 在度数条件 $\langle\lambda,2\rho\rangle = \ell(u)+\ell(v)-\ell(w)$ 成立时，利用有理函数 $c_{x,[y]}$ 和 $d_{x,[y]}$ 推导出三点多亏零格罗莫夫-威滕不变量 $N_{u,v}^{w,\lambda}$ 的有限组合表达式。

提出的方法

• 作者基于基于循环群 $\Omega K$ 及其等变同调的结构，为仿射 Weyl 群 $W_{\text{af}} = W \ltimes Q^\vee$ 中的元素 $x,y$ 组合定义有理函数 $c_{x,[y]}$ 和 $d_{x,[y]}$。
• 利用公式 $p_{x,y}^z = \sum_{v \in W_{\text{af}}^-} d_{x,v} d_{y,v} c_{z,v}$ 表达 $H_*^{T}(\Omega K)$ 上的庞特里亚金积，该公式随后用于计算量子施伯格特结构常数。
• 量子施伯格特结构常数的主要公式推导为 $N_{u,v}^{w,\lambda} = \sum_{\lambda_1,\lambda_2 \in Q^\vee} c_{ut_A,[t_{\lambda_1}} c_{vt_A,[t_{\lambda_2}} d_{wt_{2A+\lambda},[t_{\lambda_1+\lambda_2}}]$，其中 $A = -\frac{1}{2}n(n+1)\sum_{i=1}^n w_i^\vee$，且求和被限制在有限集合 $\Gamma \times W$ 上。
• 通过限制 $\lambda_1, \lambda_2 \succcurlyeq A$ 且 $\lambda_1 + \lambda_2 \preccurlyeq 2A + \lambda$，其中 $\lambda_1, \lambda_2 \in \tilde{Q}^\vee$，实现有限求和，确保仅有有限多个非零项。
• 通过使用将零根 $\delta = \alpha_0 + \theta$ 映射为零的求值映射 $\text{ev}: \hat{S} \to S$，将公式扩展到 $T$-等变情形，并将 $T$-等变结构常数表示为 $\tilde{p}_{x,y}^z = \sum_{v \in W_{\text{af}}^-} d_{x,[v]} d_{y,[v]} c_{z,[v]}$。
• 该方法依赖于 $\mathcal{G}/\mathcal{P}_0 \simeq \Omega K$ 的布伦南分解，其在 $H_*(\Omega K, \mathbb{Z})$ 上诱导出施伯格特基，并利用 $\hat{T}$-等变结构 $\mathcal{G}/\mathcal{B}$ 将上同调类与 $\Omega K$ 中的类关联起来。

实验结果

研究问题

• RQ1 如何基于仿射 Weyl 群中的组合数据，显式计算 $G/B$ 的等变量子施伯格特结构常数 $N_{u,v}^{w,\lambda}$？
• RQ2 等变同调上的基于循环群 $\Omega K$ 的庞特里亚金积与量子上同调环 $QH^*_{T}(G/B)$ 之间的确切关系是什么？
• RQ3 能否通过余权参数的组合约束，将格罗莫夫-威滕不变量中的余权无限求和简化为有限求和？
• RQ4 参数 $A = -\frac{1}{2}n(n+1)\sum_{i=1}^n w_i^\vee$ 在简化结构常数中起什么作用？在特定情况下能否被更小的值替代？
• RQ5 有理函数 $c_{x,[y]}$ 和 $d_{x,[y]}$ 如何编码基于循环群的几何结构，并实现格罗莫夫-威滕不变量的显式计算？

主要发现

• 当 $\Gamma$ 为满足 $\lambda_1, \lambda_2 \succcurlyeq A$，$\lambda_1 + \lambda_2 \preccurlyeq 2A + \lambda$，且 $\lambda_1, \lambda_2 \in \tilde{Q}^\vee$ 的余权对有限集时，量子施伯格特结构常数 $N_{u,v}^{w,\lambda}$ 由 $\Gamma \times W$ 上的有限和给出，公式为 $N_{u,v}^{w,\lambda} = \sum_{(\lambda_1,\lambda_2,v_1) \in \Gamma \times W} c_{ut_A,[v_1 t_{\lambda_1}} c_{vt_A,[v_1 t_{\lambda_2}} d_{wt_{2A+\lambda},[v_1 t_{\lambda_1+\lambda_2}}]$。
• 对于 $G = SL(3,\mathbb{C})$，当 $u = v = s_1 s_2 s_1$，$w = s_1 s_2$，且 $\lambda = \theta^\vee$ 时，公式给出 $N_{u,v}^{w,\lambda} = 1$，计算过程为 $(-1/\theta)^2 \cdot \theta^2 = 1$，与 Mihalcea 算法结果一致。
• 该公式仅在 $\langle\lambda, 2\rho\rangle = \ell(u) + \ell(v) - \ell(w)$ 时成立；否则 $N_{u,v}^{w,\lambda} = 0$，从而确保度数约束被满足。
• 参数 $A$ 并非唯一；在许多情况下可被更小的值替代，例如在 $SL(3,\mathbb{C})$ 中可取 $A = -\theta^\vee$，从而简化计算。
• 有理函数 $c_{x,[y]}$ 和 $d_{x,[y]}$ 为组合定义，并用于表达 $H_*^T(\Omega K)$ 上的庞特里亚金积，后者进一步用于计算 $QH^*_{T}(G/B)$ 上的量子积。
• 通过求值映射 $\text{ev}: \hat{S} \to S$ 恢复 $T$-等变施伯格特结构常数，该映射将 $\alpha_0$ 设为 $-\theta$，所得多项式 $S$ 与 $T$-等变结构常数 $\tilde{p}_{x,y}^z = \sum_v d_{x,[v]} d_{y,[v]} c_{z,[v]}$ 一致。