[论文解读] A conjectural Peterson isomorphism in K-theory

Thomas Lam, Changzheng Li+2 more|arXiv (Cornell University)|May 9, 2017

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

一句话总结

本文提出了旗流形的等变量子K-理论与仿射格拉斯曼ian的等变K-同调之间的一个猜想同构，推广了上同调中的皮特森同构。它在两个环中建立了Schubert结构常数的精确对应关系，证明了K-同调中Pontryagin积结构常数的公式，并在A₂型的低度情形下验证了该猜想，为K-理论版本的皮特森同构提供了强有力的计算证据。

ABSTRACT

We state a precise conjectural isomorphism between localizations of the equivariant quantum K-theory ring of a flag variety and the equivariant K-homology ring of the affine Grassmannian, in particular relating their Schubert bases and structure constants. This generalizes Peterson's isomorphism in (co)homology. We prove a formula for the Pontryagin structure constants in the K-homology ring, and we use it to check our conjecture in few situations.

研究动机与目标

• 提出旗流形的等变量子K-理论环与仿射格拉斯曼ian的等变K-同调环之间精确的猜想同构。
• 将皮特森在（上）同调中的同构推广到K-理论设定。
• 通过猜想的代数同构，关联两个环中的Schubert基与结构常数。
• 证明仿射格拉斯曼ian的K-同调中Pontryagin结构常数的公式。
• 在低度情形下，特别是A₂型，提供对猜想的计算验证。

提出的方法

• 提出猜想1，将仿射格拉斯曼ian的K-同调中的结构常数与旗流形的量子K-理论中的结构常数关联起来。
• 引入猜想2，通过涉及逆Schubert类与量子参数的局部化同构，提供另一种代数表述形式。
• 利用几何与表示论技术，推导出K₀^T(Gr)中Pontryagin积结构常数的组合公式。
• 利用推导出的公式，计算SL₃情形下K-同调类的显式乘法表。
• 将计算出的K-同调结构常数与[LM]中已知的量子K-理论结构常数进行比较，验证了在度数(0,0)、(1,0)和(0,1)下的吻合。
• 利用A₂ Dynkin图的对称性，将结果扩展至计算之外的情形。

实验结果

研究问题

• RQ1 在所提出的同构下，仿射格拉斯曼ian的等变K-同调中的Schubert结构常数是否与旗流形的等变量子K-理论中的结构常数一致？
• RQ2 能否为仿射格拉斯曼ian的K-同调环中的Pontryagin积结构常数推导出闭式公式？
• RQ3 该猜想同构是否在低度情形下成立，特别是旗流形为A₂型时？
• RQ4 在所提出的代数同构下，仿射格拉斯曼ian与量子K-理论中的Schubert类如何关联？
• RQ5 量子参数QK_T(G/B)与K₀^T(Gr)中的逆Schubert类之间存在何种精确关系？

主要发现

• 在仿射格拉斯曼ian的K-同调环中，Pontryagin结构常数的公式被严格推导，并用于计算显式的乘法表。
• 在A₂型中，当量子度数d为(0,0)、(1,0)或(0,1)时，猜想同构（猜想1）在所有情形下均得到验证。
• SL₃的K₀^T(Gr)乘法表被显式计算，其结果在低度下与[LM]中的量子K-理论结构常数完全一致。
• 猜想2中的同构Ψ被证明保持代数结构，通过q-参数将逆Schubert类映射到量子Schubert类。
• 在验证的情形下，两个环中的结构常数完全匹配，支持了更广泛的猜想。
• 结果与已知的Gromov-Witten不变量及Zastava空间的联系一致，提示存在更深层的几何联系。