[论文解读] Chevalley formula for anti-dominant weights in the equivariant $K$-theory of semi-infinite flag manifolds

Satoshi Naito, Daniel L. Orr+1 more|arXiv (Cornell University)|Aug 4, 2018

Algebraic structures and combinatorial models参考文献 24被引用 10

一句话总结

本文在半无限旗流形的 $H\times\mathbb{C}^*$-等变 $K$-理论中，为反主导权建立了 Chevalley 公式，将反主导权 $\lambda$ 的线丛类 $[\mathcal{O}_{\mathbf{Q}_G}(\lambda)]$ 与 Schubert 类 $[\mathcal{O}_{\mathbf{Q}_G(x)}]$ 的乘积，用半无限 Lakshmibai-Seshadri (LS) 路径表示。关键结果通过 Kato 的同构，显式给出了有限旗流形等变量子 $K$-理论中量子乘法的结构常数。

ABSTRACT

We prove a Pieri-Chevalley formula for anti-dominant weights and also a Monk formula in the torus-equivariant $K$-group of the formal power series model of semi-infinite flag manifolds, both of which are described explicitly in terms of semi-infinite Lakshmibai-Seshadri paths (or, equivalently, quantum Lakshmibai-Seshadri paths). In view of recent results of Kato, these formulas give an explicit description of the structure constants for the Pontryagin product in the torus-equivariant $K$-group of affine Grassmannians and that for the quantum multiplication of the torus-equivariant (small) quantum $K$-group of finite-dimensional flag manifolds. Our proof of these formulas is based on standard monomial theory for semi-infinite Lakshmibai-Seshadri paths, which is established in our previous work, and also uses a string property of Demazure-like subsets of the crystal basis of a level-zero extremal weight module over a quantum affine algebra.

研究动机与目标

• 将半无限旗流形等变 $K$-理论中 Chevalley 公式从主导权推广到反主导权。
• 显式描述有限维旗流形等变量子 $K$-理论中量子乘法的结构常数。
• 通过半无限 LS 路径和零权极小模晶体基中 Demazure 类似子集，建立类似 Chevalley 的公式。
• 利用 Kato 的 $\mathbb{C}[P]$-模同构，将 $G/B$ 的等变量子 $K$-理论与 $\mathbf{Q}_G$ 的等变 $K$-理论联系起来，实现结果的转移。

提出的方法

• 证明依赖于前期工作中发展的半无限 LS 路径的标准单项理论。
• 利用量子仿射代数零权极小权模晶体基中 Demazure 类似子集的字符串性质。
• 作者通过投影 $\mathop{\rm cl}\nolimits: \mathbb{B}^{\infty/2}(\mu) \twoheadrightarrow \mathrm{QLS}(\mu)$ 分解相关的 $K$-理论基，按像和对应分拆对路径进行索引。
• 通过在路径 $\eta \in \mathrm{QLS}(-w_\circ\lambda)$ 和分拆 $\bm{\chi} \in \overline{\mathop{\rm Par}\nolimits(-w_\circ\lambda)}$ 上求和来计算结构常数，利用 $\mathop{\rm wt}\nolimits(\eta)$、$\deg_w(\eta)$ 和 $|\bm{\chi}|$ 调整权重和度数。
• 公式中包含量子修正的 $q$-度数偏移 $q^{\deg_w(\eta) - \langle -w_\circ\lambda, \xi \rangle - |\bm{\chi}|}$。
• 最终公式将乘积 $[\mathcal{O}_{\mathbf{Q}_G}(\lambda)] \cdot [\mathcal{O}_{\mathbf{Q}_G(x)}]$ 表示为关于 $\iota(\eta,w)t_{\xi + \xi(\eta,w) + \iota(\bm{\chi})}$ 索引的 Schubert 类之和。

实验结果

研究问题

• RQ1 如何将半无限旗流形等变 $K$-理论中 Chevalley 公式从主导权推广到反主导权？
• RQ2 对于反主导权 $\lambda$，乘积 $[\mathcal{O}_{\mathbf{Q}_G}(\lambda)] \cdot [\mathcal{O}_{\mathbf{Q}_G(x)}]$ 的显式结构是什么？
• RQ3 半无限 LS 路径及其关联分拆如何参数化有限旗流形等变量子 $K$-理论中量子乘法的结构常数？
• RQ4 零权极小模晶体基中的 Demazure 类似子集在计算这些结构常数中起什么作用？
• RQ5 Kato 的 $\mathbb{C}[P]$-模同构如何促进量子 $K$-理论结果向半无限设定的转移？

主要发现

• 反主导权的 Chevalley 公式显式给出为 $[\mathcal{O}_{\mathbf{Q}_G}(\lambda)] \cdot [\mathcal{O}_{\mathbf{Q}_G(x)}] = \sum_{\eta \in \mathrm{QLS}(-w_\circ\lambda)} \sum_{\bm{\chi} \in \overline{\mathop{\rm Par}\nolimits(-w_\circ\lambda)}} \mathbf{e}^{\mathop{\rm wt}\nolimits(\eta)} q^{\deg_w(\eta) - \langle -w_\circ\lambda, \xi \rangle - |\bm{\chi}|} [\mathcal{O}_{\mathbf{Q}_G(\iota(\eta,w)t_{\xi + \xi(\eta,w) + \iota(\bm{\chi})})}]$。
• 该公式完全描述了 $QK_H(G/B)$ 中量子乘法的结构常数，使用半无限 LS 路径及其分拆。
• 公式通过半无限 LS 路径的标准单项理论以及零权极小模晶体基中 Demazure 类似子集的字符串性质推导得出。
• 每个 Schubert 类的贡献项数对每条路径和分拆均为有限，确保收敛性和可计算性。
• 结果验证了 Kato 的 $\mathbb{C}[P]$-模同构与量子及等变结构的相容性，支持其在量子 Schubert 计算中的应用。
• 该公式将 Chevalley 公式推广至反主导权，完成了等变 $K$-理论中主导与反主导情形之间的对偶框架。