[论文解读] Loop structure on equivariant $K$-theory of semi-infinite flag manifolds

Syu Kato|arXiv (Cornell University)|May 4, 2018

Algebraic structures and combinatorial models参考文献 30被引用 20

一句话总结

本文建立了半无限旗流形的等变 $K$-理论与旗流形的局部化等变量子 $K$-理论之间的精确同构，表明仿射格拉斯曼流形上的庞特里亚金积对应于半无限旗流形上的张量积。关键贡献在于提出了一套新框架，通过显式的几何与代数对应关系，统一了等变量子 $K$-理论的环结构与彼得森同构。

ABSTRACT

We explain that the Pontryagin product structure on the equivariant $K$-group of an affine Grassmannian considered in [Lam-Schilling-Shimozono, Compos. Math. {\bf 146} (2010)] coincides with the tensor structure on the equivariant $K$-group of a semi-infinite flag manifold considered in [K-Naito-Sagaki, Duke Math. {\bf 169} (2020)]. Then, we construct an explicit isomorphism between the equivariant $K$-group of a semi-infinite flag manifold with a suitably localized equivariant quantum $K$-group of the corresponding flag manifold. These exhibit a new framework to understand the ring structure of equivariant quantum $K$-theory and the Peterson isomorphism.

研究动机与目标

• 阐明仿射格拉斯曼流形的等变 $K$-群上的庞特里亚金积与半无限旗流形的等变 $K$-群上的张量积之间的关系。
• 构建旗流形的局部化等变量子 $K$-理论与半无限旗流形的等变 $K$-群之间的显式同构。
• 通过半无限旗流形上的张量积，为量子积提供几何实现，从而为彼得森同构提供新视角。
• 通过将结构常数与半无限旗流形上的完备张量积结构关联，证明量子积的结构常数为正且有限。

提出的方法

• 构造一个 $(\mathscr{H}, Q^\vee)$-双模的稠密嵌入 $\Phi: K_H(\mathrm{Gr})_{\mathrm{loc}} \hookrightarrow K_H(\mathbf{Q}_G^{\mathrm{rat}})$，将庞特里亚金积映射为张量积。
• 利用 $K_H(\mathrm{Gr})_{\mathrm{loc}}$ 作为 $\mathscr{H} \otimes \mathbb{C}Q^\vee$-模的循环性，通过循环向量的像来识别自同态。
• 定义一个同构 $\Psi: qK_H(\mathscr{B})_{\mathrm{loc}} \xrightarrow{\sim} K_H(\mathbf{Q}_G^{\mathrm{rat}})$，使量子乘法（关于反极化线丛）与张量积作用相互交织。
• 引入一个 $q$-变形版本 $\Psi_q: \mathbb{C}[q^{\pm1}] \otimes qK_H(\mathscr{B})_{\mathrm{loc}} \xrightarrow{\sim} K_{\mathbb{G}_m \times H}(\mathbf{Q}_G^{\mathrm{rat}})$，以分析完备拓扑下的无穷级数。
• 利用 $\mathbf{Q}_G^{\mathrm{rat}}$ 的施伯特分层定义 $K_H(\mathbf{Q}_G^{\mathrm{rat}})$ 上的拓扑，确保其与 $qK_H(\mathscr{B})_{\mathrm{loc}}$ 上的诺维科夫完备化相容。
• 借助 $K_H(\mathbf{Q}_G^{\mathrm{rat}})$ 的路径模型，推导出 $K_H(\mathrm{Gr})_{\mathrm{loc}}$ 中类的乘法公式。

实验结果

研究问题

• RQ1 仿射格拉斯曼流形的等变 $K$-群上的庞特里亚金积与半无限旗流形的等变 $K$-群上的张量积之间有何关系？
• RQ2 旗流形的等变量子 $K$-理论能否通过半无限旗流形的 $K$-理论实现几何化？
• RQ3 量子积 $qK_H(\mathscr{B})_{\mathrm{loc}}$ 与张量积 $K_H(\mathbf{Q}_G^{\mathrm{rat}})$ 之间的精确代数与拓扑对应关系是什么？
• RQ4 量子积的结构常数如何与半无限旗流形上的完备张量积结构相关联？
• RQ5 等变量子 $K$-理论的环结构是否有限？这一有限性能否从半无限旗流形的几何中推导得出？

主要发现

• 本文构造了一个显式同构 $\Psi: qK_H(\mathscr{B})_{\mathrm{loc}} \xrightarrow{\sim} K_H(\mathbf{Q}_G^{\mathrm{rat}})$，将原始反极化线丛的量子积映射为对应线丛的张量积。
• 映射 $\Phi: K_H(\mathrm{Gr})_{\mathrm{loc}} \hookrightarrow K_H(\mathbf{Q}_G^{\mathrm{rat}})$ 是一个 $(\mathscr{H}, Q^\vee)$-双模的稠密嵌入，将庞特里亚金积映射为张量积。
• 复合映射 $\Psi^{-1} \circ \Phi$ 给出一个环嵌入 $K_H(\mathrm{Gr})_{\mathrm{loc}} \hookrightarrow qK_H(\mathscr{B})_{\mathrm{loc}}$，在新的几何框架中实现了彼得森同构。
• 量子积在 $qK_H(\mathscr{B})_{\mathrm{loc}}$ 中的结构常数为正且有限，这是通过其与 $K_H(\mathbf{Q}_G^{\mathrm{rat}})$ 上完备张量积结构的对应关系所证明的。
• $\Psi_q$ 同构提供了一个 $q$-变形，使 $\mathscr{B}$ 上的平移算子与 $\mathbf{Q}_G^{\mathrm{rat}}$ 上的线丛扭转变换相互交织，从而能够分析完备拓扑下的无穷级数。
• 通过对应关系 $[\mathcal{O}_{\mathscr{B}(w)}] \star [\mathcal{O}_{\mathscr{B}(v)}] \in \bigoplus_{\beta \in Q^\vee_+, u \in W} \mathbb{C}P[\mathcal{O}_{\mathscr{B}(u)}]Q^\beta$，证明了量子 $K$-理论乘法规则的有限性。