[论文解读] Wall-crossings and a categorification of $K$-theory stable bases of the Springer resolution

Changjian Su, Gufang Zhao+1 more|arXiv (Cornell University)|Apr 7, 2019

Algebraic structures and combinatorial models参考文献 40被引用 5

一句话总结

本文证明了在 Springer 消去上，$K$-理论稳定基的墙穿跃算子由仿射 Hecke 代数中的 Demazure-Lusztig 算子控制，并通过正特征下的 Verma 模在范畴化上实现这些基。此外，本文表明墙穿跃矩阵与量子上同调的单值矩阵一致，从而证实了 Bezrukavnikov 与 Okounkov 关于辛消去的猜想。

ABSTRACT

We compare the $K$-theory stable bases of the Springer resolution associated to different affine Weyl alcoves. We prove that (up to relabelling) the change of alcoves operators are given by the Demazure-Lusztig operators in the affine Hecke algebra. We then show that these bases are categorified by the Verma modules of the Lie algebra, under the localization of Lie algebras in positive characteristic of Bezrukavnikov, Mirković, and Rumynin. As an application, we prove that the wall-crossing matrices of the $K$-theory stable bases coincide with the monodromy matrices of the quantum cohomology of the Springer resolution.

研究动机与目标

• 确定 Springer 消去中不同墙域对应的 $K$-理论稳定基之间的基变换矩阵。
• 通过 Bezrukavnikov–Mirković–Rumynin 局域化方法，利用正特征下的 Verma 模建立 $K$-理论稳定基的范畴化。
• 证明 $K$-理论稳定基的墙穿跃矩阵与 Springer 消去的量子上同调单值矩阵完全一致。
• 将稳定基、Hecke 代数与几何表示论之间的联系扩展至 $K$-理论和正特征设定。

提出的方法

• 通过卷积作用使用仿射 Hecke 代数，将稳定基与 Iwahori 不变量中的标准基和 Casselman 基联系起来。
• 应用正特征下李代数的局部化定理，通过 Verma 模实现 $K$-理论稳定基的范畴化。
• 通过限制到不动点并比较归一化和转移公式下的稳定基取值，计算墙穿跃矩阵。
• 利用 Demazure-Lusztig 算子作为墙穿跃的代数机制，通过在 $A_2$ 情况下的显式计算加以验证。
• 利用量子联络和来自量子上同调的单值数据，与墙穿跃矩阵进行比较。
• 使用归一化和转移公式（例如 (4) 和 (19)）计算稳定基元素在不动点上的限制。

实验结果

研究问题

• RQ1 当墙域选择改变时，Springer 消去的 $K$-理论稳定基如何变换？
• RQ2 控制不同 $K$-理论稳定基之间墙穿跃的代数结构是什么？
• RQ3 $K$-理论稳定基能否通过正特征下的表示实现范畴化？
• RQ4 $K$-理论稳定基的墙穿跃矩阵是否与量子上同调的单值矩阵一致？
• RQ5 是否存在基于 Verma 模与正特征局部化的几何与表示论解释，以理解稳定基？

主要发现

• 不同墙域之间 $K$-理论稳定基的墙穿跃算子由仿射 Hecke 代数中的 Demazure-Lusztig 算子给出，仅需重新标记。
• $K$-理论稳定基通过正特征下 Bezrukavnikov–Mirković–Rumynin 局域化下的李代数 Verma 模实现范畴化。
• $K$-理论稳定基的墙穿跃矩阵与 Springer 消去的量子上同调单值矩阵完全一致。
• 在 $A_2$ 情况下，墙穿跃系数 $f_{s_1s_2}^{ abla_2 o abla_1} = q^{1/2} - q^{-1/2}$，其他最长元素情况类似。
• 归一化与转移公式使得不动点限制的显式计算成为可能，从而验证了墙穿跃关系。
• 结果证实了 Bezrukavnikov 与 Okounkov 关于辛消去中单值–稳定基对应关系普遍性的猜想。