[論文レビュー] 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}}$ のシューベル卜層による位相を定義し、$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$ は、$\mathscr{B}$ 上のシフト作用素と $\mathbf{Q}_G^{\mathrm{rat}}$ 上の線束のねじれ作用を整合させる $q$-変形を提供し、完成位相における無限和の解析を可能にする。
• 対応関係により、量子 $K$-理論の乗法規則の有限性が証明された：$[\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$。