[论文解读] On the WDVV-equation in quantum K-theory

Alexander Givental|ArXiv.org|Mar 25, 2000

Algebraic structures and combinatorial models参考文献 1被引用 8

一句话总结

本文通过在齐次凯勒流形上的稳定映射模空间上利用全纯欧拉示性数定义相关函数，建立了量子K-理论中WDVV方程的K-理论类比。关键贡献在于通过WDVV型恒等式证明了K-理论中量子乘法的结合性，揭示了一个非平凡的平坦度量以及一个涉及乘以$ e^\tau $的新弦方程，这与上同调量子理论不同。

ABSTRACT

A K-theoretic counterpart of quantum cohomology theory is discussed.

研究动机与目标

• 制定并证明控制K-理论中量子乘法的K-理论版本WDVV方程。
• 通过限制到齐次凯勒流形上的稳定映射模空间（这些空间是紧致且轨道化空间）来解决定义交点不变量时的基础性问题。
• 通过将上同调交数替换为向量丛张量积的全纯欧拉示性数，将上同调量子不变量推广到K-理论。
• 探索量子上同调与量子K-理论之间的结构性差异，特别是度量平坦性与弦方程方面的区别。
• 为$ K $-理论的格罗莫夫-威滕不变量及其通过$ q $-差分方程与表示理论的联系奠定基础。

提出的方法

• 在度$ d $、亏格0的稳定映射模空间$ X_{n,d} $上，将量子K-理论中的相关函数定义为全纯欧拉示性数$ \chi(X_{n,d}; \operatorname{ev}_1^*(\phi_1) \otimes \cdots \otimes \operatorname{ev}_n^*(\phi_n)) $。
• 使用生成函数$ F(t,Q) = \sum_d \sum_n \frac{Q^d}{n!} (t,\dots,t)_{n,d} $来编码相关函数，其中$ t \in K^*(X) $且$ Q $为形式参数。
• 通过结构$ \langle \phi_\alpha \bullet \phi_\beta, \phi_\gamma \rangle = F_{\alpha\beta\gamma}(t) $建立量子乘法，并通过WDVV恒等式证明其结合性。
• 利用$ X_{n,d} $的轨道化结构及其收缩/遗忘映射来分析曲线的退化与粘合。
• 利用$ X $为齐次凯勒空间的事实，确保$ X_{n,d} $是紧致复轨道化空间，从而保证基本周期与层上同调的良好定义。
• 对生成函数$ S_{\alpha\beta}(t,Q,q) $应用$ q $-差分方程，特别是证明在$ \mathbb{C}P^n $中$ D^{n+1}S = QS $，并将其与Whittaker函数及量子群联系起来。

实验结果

研究问题

• RQ1 如何通过使用欧拉示性数而非上同调交数，将WDVV方程从量子上同调推广到量子K-理论？
• RQ2 从上同调到K-理论时，量子乘法与度量的结构性差异是什么，特别是在平坦性与弦方程方面？
• RQ3 在$ \overline{\mathcal{M}}_{0,n} $上的$ K $-理论不变量在多大程度上满足类似于上同调情形的弦方程与稀释方程？
• RQ4 能否推导出Y.-P. Lee的$ K $-理论公式$ \chi(\bar{\mathcal{M}}_{0,n}; \prod (1 - q_i L_i)^{-1}) $的$ S_n $-等变推广，以支持$ K $-理论中的不动点计算？
• RQ5 量子$ K $-理论中的生成函数是否满足$ q $-差分方程？若是，它们如何与Whittaker函数及$ q $-Toda系统相关联？

主要发现

• 当通过齐次凯勒流形上稳定映射的紧致轨道化模空间$ X_{n,d} $上的全纯欧拉示性数定义相关函数时，量子K-理论中的WDVV方程成立。
• 度量张量$ g_{\alpha\beta} = F_{\alpha,1,\beta} $在K-理论中不是常数，与上同调理论不同，但依然保持平坦，表明存在一种不同的Frobenius型结构。
• 量子K-理论中的弦方程涉及在平移$ t \mapsto t + \tau \cdot 1 $下对$ e^\tau $的乘法，这与上同调理论中的不变性形成对比。
• 对于$ X = \mathbb{C}P^n $，生成函数$ S_{\alpha\beta}(0,Q,q) $满足$ q $-差分方程$ D^{n+1}S = QS $，其中$ (DS)(Q) = S(Q) - S(qQ) $。
• 旗流形$ G/B $的生成函数被猜想为Whittaker函数，将量子$ K $-理论与量子群及$ q $-Toda系统联系起来。
• 量子K-理论中威滕-孔采维奇交数公式的$ K $-理论类比为$ \chi(\bar{\mathcal{M}}_{0,n}; \prod (1 - q_i L_i)^{-1}) = \frac{(1 + \sum q_i/(1 - q_i))^{n-3}}{\prod (1 - q_i)} $，但该式本身不足以支持$ S_n $-等变不动点计算。