[论文解读] Rationality of capped descendent vertex in $K$-theory

Andrey Smirnov|arXiv (Cornell University)|Dec 4, 2016

Algebraic structures and combinatorial models被引用 10

一句话总结

该论文通过分析在等变框架参数 $a_i \to 0$ 极限下截断算符的渐近行为，确立了 $\mathbb{P}^2$ 上瞬子模空间的 $K$-理论 1-腿截断下 descendence 顶点的合理性。利用 $K$-理论量子差分方程和截断算符与原始顶点的分解定理，作者直接推导出合理性，提供了一种新颖且简化的证明方法，与以往的上同调方法不同。

ABSTRACT

In this paper we analyze the fundamental solution of the extit{quantum difference equation} (qde) for the moduli space of instantons on two-dimensional projective space. The qde is a $K$-theoretic generalization of the quantum differential equation in quantum cohomology. As in the quantum cohomology case, the fundamental solution of qde provides the capping operator in $K$-theory (the rubber part of the capped vertex). We study the dependence of the capping operator on the equivariant parameters $a_i$ of the torus acting on the instanton moduli space by changing the framing. We prove that the capping operator factorizes at $a_i o 0$. The rationality of the $K$-theoretic 1-leg capped descendent vertex follows from factorization of the capping operator as a simple corollary.

研究动机与目标

• 确立 $\mathbb{P}^2$ 上瞬子模空间的 $K$-理论 1-腿截断下 descendence 顶点在 $K$-理论中的合理性。
• 将分析从希尔伯特方案情形（$r=1$）推广到任意秩 $r$ 的瞬子模空间 $\mathscr{M}(n,r)$。
• 证明在 $a_i \to 0$ 极限下，截断算符和原始顶点可分解，其中 $a_i$ 为框架环面的等变参数。
• 表明截断顶点的合理性可作为这些分解定理的推论，从而提供一种与上同调方法相比更为新颖且简化的证明。
• 统一 $K$-理论顶点函数与量子差分方程及量子坦率代数结构，提供更广泛的几何与代数框架。

提出的方法

• 分析 $\mathscr{M}(n,r)$ 的 $K$-理论量子差分方程（qde）的基本解，该解定义了截断算符。
• 利用量子坦率代数 $U_\hbar(\widehat{\mathfrak{gl}}_1)$ 的海森堡子代数，引入 qde 解的通用形式。
• 研究在框架参数 $a_i \to 0$ 极限下截断算符和顶点函数的渐近行为，证明截断算符和原始顶点的分解定理。
• 通过在环面作用的不动点上使用局部化技术，计算原始顶点及其贡献的显式表达式。
• 在 $a_i \to 0$ 极限下，应用量子坦率代数的对乘积结构，将顶点贡献分解为独立部分。
• 证明在极限下顶点函数可分解为低秩顶点函数的乘积，其中包含涉及 $\hbar$ 和 $q$ 的修正因子，从而导出合理性。

实验结果

研究问题

• RQ1 在 3-流形枚举几何的猜想中，$K$-理论 1-腿截断下 descendence 顶点是否表现出合理性，即使存在 descendence？
• RQ2 在框架环面参数 $a_i \to 0$ 的极限下，$K$-理论中的截断算符行为如何？
• RQ3 能否利用 $a_i \to 0$ 极限下截断算符与原始顶点的分解，推导出截断顶点的合理性？
• RQ4 是否存在一个统一的代数框架——通过量子坦率代数与 qde——来解释 $K$-理论顶点函数的合理性？
• RQ5 在 $q \to 1$ 极限下，$K$-理论顶点函数与上同调顶点函数之间有何关系？该关系是否保持合理性？

主要发现

• 在 $a_i \to 0$ 极限下，截断算符可分解，分解为与子环面相关的独立算符的乘积。
• 在 $a_i \to 0$ 极限下，原始 $K$-理论 1-腿顶点函数也可分解，其贡献可拆分为两个不相交的子顶点。
• 在极限 $a \to 0$ 下，顶点函数表示为 $V_{{\overrightarrow{\lambda}}_1}^{(r_1), (\tau)}(z \hbar^{r_2/2}) V^{(r_2), (1)}_{{\overrightarrow{\lambda}}_2}(z \hbar^{-r_1/2} q^{-r_1})$，显示出乘法结构。
• 根据定理 2，$K$-理论 1-腿截断下 descendence 顶点的合理性可直接由分解定理推出。
• 在 $r=1$ 情形下，$K$-理论顶点函数在 $q \to 1$ 极限下退化为上同调顶点函数，且该情形下的合理性通过相同机制恢复。
• 在 $a \to 0$ 极限下，不同框架分量之间的交叉项贡献消失或变为常数，导致解耦的乘积结构，并显式出现 $(-\hbar q)^{1/2}$ 阶的修正因子。