[论文解读] Quantum K theory of Grassmannians, Wilson line operators, and Schur bundles

Wei Gu, Leonardo C. Mihalcea+2 more|arXiv (Cornell University)|Aug 1, 2022

Advanced Algebra and Geometry被引用 6

一句话总结

本文建立了格拉斯曼流形的环面等变量子K-理论的两个数学表述——惠特尼关系式与考尔邦分支关系式，推广了威滕的量子上同调关系。证明了通过威尔逊线算符与超对称规范理论，量子K-理论通过德林格类关系的形变实现，且利用格罗滕迪克对称多项式与完全齐次对称多项式之间的过渡矩阵，建立了两种表述之间的显式同构关系。

ABSTRACT

We prove a `Whitney' presentation, and a `Coulomb branch' presentation, for the torus equivariant quantum K theory of the Grassmann manifold $\mathrm{Gr}(k;n)$, inspired from physics, and stated in an earlier paper. The first presentation is obtained by quantum deforming the product of the Hirzebruch $λ_y$ classes of the tautological bundles. In physics, the $λ_y$ classes arise as certain Wilson line operators. The second presentation is obtained from the Coulomb branch equations involving the partial derivatives of a twisted superpotential from supersymmetric gauge theory. This is closest to a presentation obtained by Gorbounov and Korff, utilizing integrable systems techniques. Algebraically, we relate the Coulomb and Whitney presentations utilizing transition matrices from the (equivariant) Grothendieck polynomials to the (equivariant) complete homogeneous symmetric polynomials. Along the way, we calculate K-theoretic Gromov-Witten invariants of wedge powers of the tautological bundles on $\mathrm{Gr}(k;n)$, using the `quantum=classical' statement.

研究动机与目标

• 严格证明格拉斯曼流形的等变量子K-理论环的'惠特尼'与'考尔邦分支'表述，此前在物理启发性工作中被提出猜想。
• 通过主丛的赫兹布吕赫 λ_y-类推广威滕的量子上同调关系至K-理论设定。
• 通过格罗滕迪克对称多项式与完全齐次对称多项式之间的过渡矩阵，建立两种表述之间的代数同构。
• 利用'量子=经典'原理，提供计算K-理论格罗莫夫-威滕不变量的显式计算工具。
• 在 Gr(2;5) 的情形下验证该表述，展示变量的消除与定义关系的推导。

提出的方法

• 通过主丛 S 与商丛 Q 的赫兹布吕赫 λ_y-类乘积的量子形变，推导出'惠特尼表述'。
• 利用三维 N=2 超对称规范理论中扭曲超势能的偏导数，制定'考尔邦分支表述'。
• 通过格罗滕迪克对称多项式与完全齐次对称多项式之间的过渡矩阵，建立两种表述之间的同构关系。
• 利用'量子=经典'原理，计算主丛楔幂的K-理论格罗莫夫-威滕不变量。
• 应用韦达公式与柯西型恒等式，消除变量并推导环表述中的定义关系。
• 通过显式计算验证 Gr(2;5) 情形下的结果，展示关系式如何化为含量子修正项的陈根多项式。

实验结果

研究问题

• RQ1 威滕的量子上同调关系如何推广至格拉斯曼流形的等变量子K-理论？
• RQ2 惠特尼表述的数学形式是什么，其在 λ_y-类的量子形变下如何表述？
• RQ3 超对称规范理论中的考尔邦分支方程如何对应于量子K-理论中的关系？
• RQ4 惠特尼与考尔邦分支表述之间的代数同构是什么？其如何通过对称多项式实现？
• RQ5 如何将'量子=经典'原理应用于计算格拉斯曼流形上施尔包的K-理论格罗莫夫-威滕不变量？

主要发现

• 本文证明了等变K-理论中经典关系式 λ_y(S) · λ_y(Q) = λ_y(C^n) 的量子形变，其中量子修正项包含 q/(1−q) 乘以 y^{n−k} 与 Q 的行列式。
• 确立了'惠特尼表述'为 QK_T(Gr(k;n)) 的生成元与关系式表述，其基于陈根指数形式与量子修正的对称函数恒等式。
• 从三维 N=2 规范理论中扭曲超势能的真空方程导出了'考尔邦分支表述'，得到一种不同但同构的表述。
• 通过格罗滕迪克多项式与完全齐次对称多项式之间的过渡矩阵，显式构造了惠特尼与考尔邦分支表述之间的同构。
• 在 Gr(2;5) 情形下，通过消除变量推导出显式关系式，表明 e_i(z) 与 e_i(ζ) 满足含 q/(1−q) 项的量子修正对称函数恒等式。
• 利用引理11.3中的柯西公式消除变量，并生成量子K-理论环的定义理想，从而验证了两种表述的一致性。