[论文解读] Equivariant $K$-theory of smooth projective spherical varieties

Soumya Banerjee, Mahir Bilen Can|arXiv (Cornell University)|Mar 16, 2016

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

一句话总结

本文为光滑射影球对称簇提供了积分等变K-理论的描述，推广了Brion关于等变查沃(cohomology)上同调的结果。通过在环面固定点上使用同余条件，建立了类似GKM的表述形式，其结构常数源自极小秩对称空间的美妙紧化中的施普伦格类（Schubert classes），将先前关于伴随群的工作扩展至更广泛的球对称簇。

ABSTRACT

We present a description of the equivariant $K$-theory of a smooth projective spherical variety. This provides an integral $K$-theory version of Brion's calculation of equivariant Chow-cohomology of such varieties. We consider the equivariant $K$-theory of wonderful compactifications of minimal rank symmetric varieties. We obtain a formula for their structure constants in terms of certain lower dimensional Schubert classes. This generalizes results of Uma on equivariant compactifications of adjoint groups.

研究动机与目标

• 将积分等变K-理论的计算从伴随群推广至一般光滑射影球对称簇。
• 提供类似于Brion的有理查沃上同调结果的等变K-理论的GKM型表述。
• 解决具有正维数环面不变曲线族的非T-骨架球对称簇的挑战。
• 将Uma关于伴随群美妙紧化的结果推广至极小秩对称空间。
• 利用 торic 几何建立基底变换框架，将高维问题约化为秩一球对称SL₂紧化问题。

提出的方法

• 该方法通过Ahiezer和Brion的分类结果，将等变K-理论计算约化为秩一球对称SL₂紧化问题。
• 利用一个基底变换定理（命题2.7），将K-理论数据从 торic 从簇提升至一般球对称簇。
• 固定点元组上的同余条件编码了K-理论环：对T-稳定曲线，其权为χ，则有 f_x - f_y ≡ 0 mod (1 - χ)。
• 高阶同余条件用于处理同构于ℙ²、ℙ¹×ℙ¹及丛曲面ℱₙ的分量，其Weyl群对称性被编码于条件之中。
• 利用Weyl群作用将G-等变K-理论定义为T-等变理论的W-不变子环。
• 通过完成与等变黎曼-罗赫同构，利用可公度性论证将K-理论与查沃理论的表述联系起来。

实验结果

研究问题

• RQ1 如何描述光滑射影球对称簇的积分等变K-理论，超越群的情形？
• RQ2 定义此类簇等变K-理论环的精确同余条件是什么？
• RQ3 K-理论环中的结构常数如何与极小秩对称空间美妙紧化中的施普伦格类相关？
• RQ4 GKM型框架能否扩展至具有正维数环面不变曲线族的非T-骨架球对称簇？
• RQ5 等变黎曼-罗赫同构在多大程度上保持了K-理论与查沃理论表述之间的可公度性？

主要发现

• 光滑射影球对称G-簇X的T-等变K-理论同构于∏_{x∈X^T} K_*(k)⊗R(T)中满足固定点上特定同余条件的元组(f_x)的子环。
• 同余条件由X^{Ker(χ)}中的T-稳定曲线、ℙ²、ℙ¹×ℙ¹及丛曲面ℱₙ分量决定，其Weyl群对称性编码了其几何结构。
• 极小秩对称空间美妙紧化中K-理论环的结构常数可用低维施普伦格类表示。
• G-等变K-理论作为T-等变K-理论的W-不变子环获得，反映了Weyl群在固定点上的作用。
• 若K-理论表述具有可公度性，则其查沃理论表述也具有可公度性，有限个关系决定了相应的分次环。
• 本结果推广了Uma关于伴随群的工作，并将GKM型框架扩展至所有光滑射影球对称簇，包括非T-骨架情形。