[论文解读] Lectures on K-theoretic computations in enumerative geometry

Andreĭ Okounkov|arXiv (Cornell University)|Dec 23, 2015

Algebraic structures and combinatorial models被引用 57

一句话总结

本文提出了一套关于枚举几何中K-理论计算的综合框架，重点研究了Nakajima簇的量子K-理论、K-理论唐纳森-托马斯理论以及拟映射不变量。它建立了稳定包络、量子群与差分方程之间的深刻联系，证明了量子Knizhnik-Zamolodchikov（qKZ）方程可通过稳定包络从R-矩阵导出，给出了粘合算子的显式分解，并在指标极限下证明了不变量的收敛性。

ABSTRACT

These are notes from my lectures on quantum K-theory of Nakajima quiver varieties and K-theoretic Donaldson-Thomas theory of threefolds given at Columbia and Park City Mathematics Institute. They contain an introduction to the subject and a number of new results. In particular, we prove the main conjecture of arXiv:hep-th/0412021 and the conjecture of arXiv:1404.2323 in the simplest case of reduced smooth curves. We also prove the the absence of quantum corrections to the capped vertex with descendents for sufficiently large framing (and polarization), which is a property we call large framing vanishing. The shift operators for minuscule shift are shown to be given by qKZ operators, which is a K-theoretic analog of the result of arXiv:1211.1287.

研究动机与目标

• 开发用于如三倍空间上点的希尔伯特概形和Nakajima箭头图概形等模空间的K-理论枚举几何计算工具。
• 通过稳定包络与量子群作用，建立等变K-理论、量子上同调与数学物理之间的桥梁。
• 证明量子Knizhnik-Zamolodchikov（qKZ）方程在稳定包络与拟映射不变量的背景下，可由R-矩阵导出。
• 提供一种系统方法，利用局部化、刚性性以及K-理论中的帽/帽化形式，计算虚拟不变量。
• 通过差分方程与稳定基中的粘合算子，统一不同几何设定下的K-理论不变量。

提出的方法

• 利用局部化与刚性定理，在具有环面作用的模空间上计算虚拟K-理论不变量。
• 应用稳定包络形式化构造 intertwine 量子群作用的算子，并满足 braid 关系。
• 采用拟映射空间与相对拟映射来定义并计算不变量，尤其在退化公式背景下。
• 通过移动Kähler与等变变量，推导顶点的差分方程，将其与量子群表示联系起来。
• 使用帽算子与极化因子，在局部化公式中抵消法丛贡献。
• 将稳定基中的粘合算子分解为三部分：一个稳定包络、一个帽算子与一个转置稳定包络，从而在指标极限下实现收敛。

实验结果

研究问题

• RQ1 如何利用局部化与刚性性计算如三倍空间上点的希尔伯特概形等模空间的K-理论不变量？
• RQ2 稳定包络、量子群作用与量子Knizhnik-Zamolodchikov（qKZ）方程之间的确切关系是什么？
• RQ3 拟映射不变量及其退化公式与稳定基中粘合算子有何关联？
• RQ4 虚拟典范丛与极化因子在何种意义上确保了局部化中法丛贡献的抵消？
• RQ5 在何种条件下可保证粘合算子在指标极限下的有界性与收敛性，特别是当线丛为充分正时？

主要发现

• 量子Knizhnik-Zamolodchikov（qKZ）方程作为来自稳定包络形式化中R-矩阵的交换差分算子被实现。
• 稳定基中的粘合算子可分解为三部分：一个稳定包络、一个帽算子与一个转置稳定包络，且每一部分在所有无穷远处有界，并在指标极限下趋于1。
• 稳定包络的对角贡献带来因子 $(-1)^{\frac{1}{2}\text{codim}F}z^{\text{deg}}$，该因子与度数权重结合后可得到正确的归一化。
• 由于 $\mathscr{L}^{-1}$ 的充分正性，非对角贡献在指标极限下消失，从而确保了不变量收敛至期望形式。
• 局部化公式中法丛贡献被稳定包络中的虚拟典范丛与极化因子精确抵消，从而得到不变量的简洁表达式。
• 定理395的证明依赖于关键算子的有界性以及无穷远处accordion项的抑制，通过 $\psi_{p_1}$ 与 $\psi_{p_2}$ 的权分析实现显式控制。