[论文解读] Permutation-equivariant quantum K-theory I. Definitions. Elementary K-theory of $\overline{\mathcal M}_{0,n}/S_n$

Alexander Givental|arXiv (Cornell University)|Aug 11, 2015

Advanced Algebra and Geometry参考文献 3被引用 4

一句话总结

本文通过在稳定映射模空间的标记点上引入对称群 $S_n$ 的作用，将 K-理论 Gromov-Witten 不变量进行丰富，提出了排列等变量子 K-理论，并计算了目标空间为点 $X = \text{pt}$ 时的这些不变量。关键结果是：点空间的对称化 J-函数由 $q$-指数函数表示，即 $J^{ ext{sym}}_{\text{pt}} = (1-q)e_q\left(\frac{x}{1-q}\right)$，揭示了量子 K-理论与 $q$-特殊函数之间深刻的联系。

ABSTRACT

K-theoretic Gromov-Witten invariants of a compact Kahler manifold $X$ are defined as super-dimensions of sheaf cohomology of interesting bundles over moduli spaces of n-pointed holomorphic curves in X. With this article, we begin a series of publications on K-theoretic Gromov-Witten invariants, cognizant of the $S_n$-module structure on the sheaf cohomology, induced by renumbering of the marked points. In the opening paper, we introduce such invariants, explain how the representation-theoretic information with varying $S_n$ is incorporated into generating functions of Gromov-Witten theory, and compute one of them, the small J-function for $X=pt$, by using Kapranov's description of Deligne-Mumford spaces $\overline{\mathcal M}_{0,n}$.

研究动机与目标

• 通过在稳定映射模空间中引入标记点上的 $S_n$-作用，定义并形式化排列等变量子 K-理论。
• 计算点目标空间 $X = \text{pt}$ 时的 $S_n$-等变 K-理论 Gromov-Witten 不变量，此时几何结构显著简化。
• 识别 $q$-超几何函数与有限差分算子在亏格 0 量子 K-理论中的作用。
• 为从 $\overline{\mathcal{M}}_{g,n}/S_n$ 的 $K$-理论中产生的 Witten–Kontsevich tau-函数的 $q$-类比奠定基础。

提出的方法

• 通过从被泰勒线丛 $L_i$ 扭曲的虚拟结构层的层上同调构造虚拟 $S_n$-模，引入 $S_n$-等变相关函数。
• 利用 Schur–Weyl 对偶性，通过提升到 $\lambda$-代数来处理不同 $n$ 下非多项式且不可比较的 $S_n$-模值。
• 应用 Lefschetz 不动点公式，通过对 $S_n$ 的共轭类求和来计算总 J-函数，利用 $\mathbb{C}^{n-1}$ 的对称幂上的迹。
• 将 $q$-指数函数 $e_q(y) = \sum_{n \geq 0} \frac{y^n}{[n]_q!}$ 作为核心特殊函数，证明其满足与量子 K-理论递推式匹配的有限差分方程。
• 通过 $\overline{\mathcal{M}}_{0,n+1}$ 的爆破几何，将 $J_{\text{pt}}$ 的计算约化为 $\mathbb{C}^{n-1}$ 上齐次多项式空间的 $S_n$-表示，即 $S^*_q(\mathbb{C}^{n-1})$。
• 利用 $L_{n+1} = \pi^*\mathcal{O}(1)$ 的事实，其中 $\pi: \overline{\mathcal{M}}_{0,n+1} \to \mathbb{C}P^{n-2}$ 为爆破下映射，使得 K-理论下推可计算为 $\pi_* L_{n+1}^m = \mathcal{O}(m)$。

实验结果

研究问题

• RQ1 如何将 K-理论 Gromov-Witten 不变量进行丰富，以包含稳定映射上标记点排列所诱导的 $S_n$-作用？
• RQ2 点目标空间下 $\overline{\mathcal{M}}_{0,n}/S_n$ 的 $S_n$-等变 $K$-理论结构是怎样的？
• RQ3 $q$-超几何函数与有限差分算子如何在亏格 0 量子 K-理论中出现？
• RQ4 $q$-指数函数能否作为量子 K-理论中 J-函数的生成函数，类似于量子上同调中的指数函数？
• RQ5 是否存在从 $\overline{\mathcal{M}}_{g,n}/S_n$ 的 $K$-理论中产生的 Witten–Kontsevich tau-函数的 $q$-类比？

主要发现

• 点空间的对称化 J-函数为 $J^{\text{sym}}_{\text{pt}} = (1-q)e_q\left(\frac{x}{1-q}\right)$，其中 $e_q$ 为 $q$-指数函数。
• 生成函数 $f(x) = (1-q)^{-1}J^{\text{sym}}_{\text{pt}}$ 满足有限差分方程 $f(x) - f(qx) = x f(x)$，与 $q$-指数函数的定义性质一致。
• $S_n$-表示 $[1,\dots,1,L^m]_{0,n+1}^{S_n}$ 同构于 $\mathbb{C}^{n-1}$ 上 $m$ 次齐次多项式空间，该同构通过 $\overline{\mathcal{M}}_{0,n+1}$ 的爆破几何实现。
• 总 J-函数通过对 $S_n$ 的共轭类求和计算得出，结果为 $\sum_{n \geq 0} \frac{1}{n!} \sum_{h \in S_n} \operatorname{tr}_h S^*_q(\mathbb{C}^n) \prod_k \Psi^k(\nu)^{l_k(h)} = \exp\left(\sum_{k>0} \frac{\Psi^k(\nu)}{k(1-q^k)}\right)$。
• 当 $\Lambda = \mathbb{Q}[[x]]$ 且 $\nu = x$ 时，得到 $J^{\text{sym}}_{\text{pt}} = (1-q)e_q\left(\frac{x}{1-q}\right)$，确认 $q$-指数函数为生成函数。
• 当 $\Lambda$ 为变量 $x_1,\dots,x_N$ 的对称函数环，且 $\nu = tN_1$ 时，J-函数变为 $J_{\text{pt}}(tN_1) = (1-q)\prod_i e_q\left(\frac{x_i}{1-q}\right)^t$，将结果推广至 $GL_N$-等变情形。