\section*{\refname\@mkboth{\refname}{\refname}}%
  \list{\@biblabel{\@arabic\c@enumiv}}%
       {\settowidth\labelwidth{\@biblabel{#1}}%
        \leftmargin\labelwidth
        \advance\leftmargin\labelsep
 \seplength\itemsep{-0.4zh}
 \seplength\baselineskip{9pt}
        \@openbib@code
        \usecounter{enumiv}%
        \let\p@enumiv\@empty
        \renewcommand\theenumiv{\@arabic\c@enumiv}}%
  \sloppy
  \clubpenalty4000
  \@clubpenalty\clubpenalty
  \widowpenalty4000%
  \sfcode`\.\@m}
 {\def\@noitemerr
   {\@latex@warning{Empty `thebibliography' environment}}%
  \endlist}
\makeatother
\end{comment}

\title{Darboux coordinates on the BFM spaces\footnote{MSC2010: 14N15,17B37,20G44,81R10}}
\author{Syu \textsc{Kato}\footnote{Department of Mathematics, Kyoto University, Oiwake Kita-Shirakawa Sakyo Kyoto 606-8502 JAPAN \tt{E-mail:syuchan@math.kyoto-u.ac.jp}}}

\begin{document}
\maketitle

\begin{abstract}
Bezrukavnikov-Finkelberg-Mirkovi\'c [Compos. Math. {\bf 141} (2005)] identified the equivariant $K$-group of an affine Grassmannian, that we refer as (the coordinate ring of) a BFM space \'a l\`a Teleman [Proc. ICM Seoul (2014)], with a version of Toda lattice. We give a new system of generators and relations of a certain localization of this space, that can be seen as a version of its Darboux coordinate. This establishes a conjecture in Finkelberg-Tymbaliuk [Progress in Math. {\bf 300} (2019)] that relates the BFM space of a connected reductive algebraic group with those of Levi subgroups.
\end{abstract}

\section*{Introduction}
Let $G$ be a connected reductive algebraic group over ${\mathbb C}$. Let $B$ be a Borel subgroup of $G$ and let $H \subset B$ be its maximal torus. Let $\mathrm{Gr}_G$ denote the (thin) affine Grassmannian of $G$. The $G$-equivariant $K$-group $K_G ( \mathrm{Gr}_G )$ of $\mathrm{Gr}_G$ admits the structure of an algebra, and it is identified with the phase space of the relativistic Toda lattice in \cite{BFM05}. In particular, the space $K_G ( \mathrm{Gr}_G )$ carries a Poisson bracket. Braverman-Finkelberg-Nakajima \cite{Nak15,BFN18,BFN19} constructed a commutative algebra $\mathscr{A} ( G, V )$ for each representation $V$ of $G$, whose spectrum is supposed to be a part of the space of vacua in the corresponding three-dimensional gauge theory. The space $\mathrm{Gr}_G$ played an essential r\^ole there, and we have a Poisson algebra embedding
\begin{equation}
\mathscr{A} ( G, V ) \hookrightarrow \mathscr{A} ( G, \{ 0 \} ) = K_G ( \mathrm{Gr}_G ).\label{KCoulomb}
\end{equation}
In addition, Teleman \cite{Tel19} gives a recipe to understand $\mathscr{A} ( G, V )$ from $K_G ( \mathrm{Gr}_G )$.

Associated to $G$, we have its flag manifold $\mathscr B$. In \cite{Kat18c,Kat18d}, we have constructed a ring morphism connecting $K _G ( \mathrm{Gr}_G )$ with the equivariant quantum $K$-group $qK_G ( \mathscr B )$ of $\mathscr B$ (\cite{Giv00,Lee04}):
\begin{equation}
K _G ( \mathrm{Gr}_G ) _\mathrm{loc} \cong qK_G ( \mathscr B )_\mathrm{loc},\label{KPeterson}
\end{equation}
where the subscripts $``\mathrm{loc}"$ denote certain localizations, whose meaning {\it differs} in the both sides. This result, commonly referred to as the $K$-theoretic Peterson isomorphism (\cite{LLMS17}), also exhibits an aspect of the rich structures of $K _G ( \mathrm{Gr}_G )$.

Finkelberg-Tymbaliuk \cite{FT19} extensively studied $K _{\mathop{GL} ( n )} ( \mathrm{Gr}_{\mathop{GL} ( n )} )$ and deduced an algebra morphism
\begin{equation}
K _{\mathop{GL} ( n )} ( \mathrm{Gr}_{\mathop{GL} ( n )} ) \longrightarrow K _L ( \mathrm{Gr}_L )\label{F-hom}
\end{equation}
for a connected (standard) Levi subgroup $L \subset \mathop{GL} ( n )$. As this homomorphism is an incarnation of the coproduct structure of their shifted affine quantum groups (and also as they have similar homomorphisms for homologies \cite{FKPRW}), they led to conjecture that (\ref{F-hom}) exists for every connected reductive $G$ and also with the extra $\mathbb G_m$-action given by the loop rotation action.

The goal of this paper is to answer this conjecture affirmatively as:

\begin{fthm}[$\doteq$ Theorem \ref{main} + Corollary \ref{mcor}]\label{fmain}
For each connected reductive subgroup $H \subset L \subset G$, we have a chain of injective algebra homomorphisms:
$$K _{G \times \mathbb G_m} ( \mathrm{Gr}_G ) \hookrightarrow K _{L \times \mathbb G_m} ( \mathrm{Gr}_L ) \hookrightarrow K _{H \times \mathbb G_m} ( \mathrm{Gr}_H ).$$
\end{fthm}

Since the main portion of Theorem \ref{fmain} is the case of simple and simply connected $G$, we concentrate into this case in the rest of this introduction.

Here $K _{H \times \mathbb G_m} ( \mathrm{Gr}_H )$ is the (quantized) Heisenberg algebra, and hence this embedding can be seen to equip each $K _{L \times \mathbb G_m} ( \mathrm{Gr}_L )$ with its Darboux coordinate system. In addition, Corollary \ref{genKG} supplies its modification that describes a certain localization of the ring $K _{L \times \mathbb G_m} ( \mathrm{Gr}_L )$. This makes $K _{G \times \mathbb G_m} ( \mathrm{Gr}_G )$ into (the quantized phase space of) an integrable system called the relativistic Toda lattice, as described in Bezrukavnikov-Finkelberg-Mirkovi\'c \cite{BFM05}. In view of the homology version of (\ref{KPeterson}) discovered by Peterson \cite{Pet97}, it can be understood as the $K$-theoretic version of the fundamental presentation of (equivariant) quantum cohomology of flag varieties due to Givental-Kim \cite{GK95} and Kim \cite{Kim99}.

In the course of the proof of Theorem \ref{fmain}, we exhibit the non-commutative version of the main result in \cite{Kat18c}:

\begin{fthm}[$\doteq$ Corollary \ref{ncGr} and Theorem \ref{ncPet}]\label{fnc}
We have a commutative diagram, whose bottom arrow is an isomorphism of non-commutative rings:
$$
\xymatrix{
& K_{H \times \mathbb G_m} ( \mathbf{Q}_G^{\mathrm{rat}} ) & \\
K_{H \times \mathbb G_m} ( \mathrm{Gr}_G ) _\mathrm{loc} \ar[rr] \ar@{^{(}->}[ru]^{\Phi} & & qK_{H \times \mathbb G_m} ( \mathscr B )_\mathrm{loc} \ar@{_{(}->}[lu]_{\Psi}
},$$
where $\mathbf{Q}_G^{\mathrm{rat}}$ is the semi-infinite flag manifold of $G$ $(\cite{Kat18d})$. Moreover, all of these morphisms respect Schubert bases.
\end{fthm}

Our strategy to prove Theorem \ref{fmain} is as follows: We first refine some of the algebraic arguments in \cite{Kat18c} to prove Theorem \ref{fnc}. Then, we transplant the natural operations of $K _{G \times \mathbb G_m} ( \mathbf{Q}_G^\mathrm{rat} )$ and give an algebra generator set of a suitable localization $K _{G \times \mathbb G_m} ( \mathrm{Gr}_G )_\mathrm{loc}$ of $K _{G \times \mathbb G_m} ( \mathrm{Gr}_G )$ in term of the Heisenberg action of $K _{H \times \mathbb G_m} ( \mathrm{Gr}_H )$. These boil down the proof of Theorem \ref{fmain} into a comparison of integral structures. For this comparison, we prove the ($\mathbb G_m$-equivariant version of the) following, best expressed in the language of quantum $K$-groups.

Let $\mathscr B^L$ be the flag variety of $L$. Let $\mathbb{X}^*$ be the weight lattice of $H$. Let $\{ \varpi_i \}_{i \in \mathtt{I}}$ be the set of fundamental weights with respect to $H \subset B$. We have line bundles ${\mathcal O}_{\mathscr B} ( - \varpi_i )$ and ${\mathcal O}_{\mathscr B^L} ( - \varpi_i )$ on $\mathscr B$ and $\mathscr B^L$, respectively. Let $Q^{\vee}_+$ denote the nonnegative span of positive coroots of $G$, and let $Q^{\vee}_{L,+}$ denote the nonnegative span of positive coroots of $L$. We have a natural inclusion $Q^{\vee}_{L,+} \subset Q^{\vee}_+$. Let us employ the definition of quantum $K$-groups as:
$$qK_G ( \mathscr B ) = K_G ( \mathscr B ) \otimes {\mathbb C} [\![Q^{\vee}_+]\!] \hskip 5mm \text{and} \hskip 5mm qK_L ( \mathscr B^L ) = K_L ( \mathscr B^L ) \otimes {\mathbb C} [\![Q^{\vee}_{L,+}]\!],$$
where $\beta \in Q^{\vee}_+$ defines a formal variable $Q^{\beta} \in {\mathbb C} [\![Q^{\vee}_+]\!]$. These spaces are equipped with the commutative ring structures whose multiplications are denoted by $\star$. The multiplication $\star$ coincides with the usual multiplications rules of $K_G ( \mathscr B )$ or $K_L ( \mathscr B^L )$ by setting $Q^{\beta} = 0$ for all $\beta \neq 0$.

\begin{fthm}[$\doteq$ Theorem \ref{qK-surj}]\label{flsurj}
There exists a surjective morphism of rings
$$qK_G ( \mathscr B ) \longrightarrow \!\!\!\!\! \rightarrow qK_L ( \mathscr B^L )$$
obtained by setting $Q^{\beta} \equiv 0$ for $\beta \in Q^{\vee}_+ \setminus Q^{\vee}_{L,+}$. This morphism sends the quantum multiplication of ${\mathcal O}_{\mathscr B} ( - \varpi_i )$ to the quantum multiplication by ${\mathcal O}_{\mathscr B^L} ( - \varpi_i )$ for each $i \in \mathtt{I}$.
\end{fthm}

We remark that the classical analogue of Theorem \ref{flsurj} is an isomorphism, sometimes referred to as the ``induction equivalence". We present a direct proof in the main body of this paper, that yields an interesting representation theoretic consequence (Corollary \ref{inclWeyl}), though it holds in much greater generality (Theorem \ref{qK-surj-gen}). Theorems \ref{flsurj} and \cite[Theorem A]{Kat19a} upgrade the key observations in Leoung-Li \cite{LL10} to the $K$-theoretic settings.

\begin{fex}\label{exToda}
Assume that $G = \mathop{SL} ( n, {\mathbb C} )$. Let us choose the fundamental weights $\varpi_1,\ldots,\varpi_{n-1}$ and simple coroots $\alpha_1^{\vee}, \ldots, \alpha_{n-1}^{\vee}$ in accordance with the table in the end of Bourbaki \cite{Bou2}. We understand that $\varpi_n = 0$. Let $V = {\mathbb C}^n$ be the dual vector representation of $G$. According to Givental-Lee \cite{GL03}, we have
$$\mathrm{ch} \, V = [{\mathcal O}_{\mathscr B} ( - \varpi_1 )] + \sum_{i = 1}^{n-1} a^{\varpi_i} ( [{\mathcal O}_{\mathscr B} ( - \varpi_{i+1} )] ) \in qK_G ( \mathscr B ),$$
where we have $a^{\varpi_i} = (1 - Q^{\alpha_i^{\vee}}) ( [{\mathcal O}_{\mathscr B} ( - \varpi_i) ] \star )^{-1} \in \mathrm{End} \, qK _G ( \mathscr B )$. Let $L \subset G$ be a Levi subgroup. If we specialize $Q^{\alpha_{i}^{\vee}} = 0$ when $\alpha_i^{\vee} \not\in Q^{\vee}_{L,+}$, then the effect of $\mathrm{ch} \, V$ restricts to that of $qK_{L} ( \mathscr B^{L} )$. When $\alpha_i^{\vee} \not\in Q^{\vee}_{L,+}$, the effect $a^{\varpi_i}$ becomes a character twist on $qK_{L} ( \mathscr B^{L} )$.
\end{fex}

Here we warn that the definition of quantum $K$-groups, as well as the normalizations in Theorem \ref{flsurj} and Example \ref{exToda} are different from the main body of the paper for the sake of simplicity of expositions.

\medskip

The organization of this paper is as follows: After recalling preliminary stuffs in \S 1, we provide a certain collection of elements in the equivariant $K$-groups of semi-infinite flag manifolds (Theorem \ref{X-weight}) in \S 2. These collections are the ``reduced version" of line bundles, and the only non-trivial point is that we can divide the classes of line bundles properly. Using these elements, we provide (Proposition \ref{resGH}) a new system of generators of $K_G ( \mathrm{Gr}_G )_\mathrm{loc}$ in \S 3. In order to transplant elements from semi-infinite flag manifolds to affine Grassmannian, we prove Theorem \ref{fnc} (Theorem \ref{ncPet}). In \S 4, we prove Theorem \ref{flsurj} (Theorem \ref{qK-surj}), that is an essential tool to compute the ``leading terms" of the the maps in Theorem \ref{fmain}. Using them, we prove Theorem \ref{fmain} in \S 5. In Appendix A, we present an another proof of Theorem \ref{flsurj} (Theorem \ref{qK-surj-gen}) that applies in much greater generality.

\section{Preliminaries}

A vector space is always a ${\mathbb C}$-vector space, and a graded vector space refers to a $\mathbb{Z}$-graded vector space whose graded pieces are finite-dimensional and its grading is bounded from the above. Tensor products are taken over ${\mathbb C}$ unless stated otherwise. We define the graded dimension of a graded vector space as
$$\mathrm{gdim} \, M := \sum_{i\in \mathbb{Z}} q^i \dim _{{\mathbb C}} M_i \in \mathbb{Q} (\!(q^{-1})\!).$$
We set ${\mathbb C}_q := {\mathbb C} [q,q^{-1}]$. As a rule, we suppress $\emptyset$ and associated parenthesis from notation. This particularly applies to $\emptyset = \mathtt{J} \subset \mathtt{I}$ frequently used to specify parabolic subgroups.

\subsection{Groups, root systems, and Weyl groups}\label{sec:setup}\label{setup}
Basically, material presented in this subsection can be found in \cite{CG97, Kum02}.

Let $G$ be a connected, reductive algebraic group over ${\mathbb C}$ such that $[G,G]$ is a simply connected group of rank $r$ and we have a complementary torus $H'$ such that $G \cong [G,G] \times H'$. Let $B$ and $H$ be a Borel subgroup and a maximal torus of $G$ such that $H \subset B$. We set $N$ $(= [B,B])$ to be the unipotent radical of $B$. We denote the Lie algebra of an algebraic group by the corresponding German small letter. We have a (finite) Weyl group $W := N_G ( H ) / H$. For an algebraic group $E$, we denote its set of ${\mathbb C} [z]$-valued points by $E [z]$, its set of ${\mathbb C} [\![z]\!]$-valued points by $E [\![z]\!]$, and its set of ${\mathbb C} (z)$-valued points by $E (z)$. Let $\mathbf I \subset G [\![z]\!]$ be the preimage of $B \subset G$ via the evaluation at $z = 0$ (the Iwahori subgroup of $G [\![z]\!]$).

Let $\mathbb{X}^* := \mathrm{Hom} _{gr} ( H, \mathbb G_m )$ be the weight lattice of $H$, and let $\mathbb{X}^* ( G )$ denote the subgroup of $\mathbb{X}^*$ whose elements define characters of $G$. We set $\mathbb{X}_*$ and $\mathbb{X}_* ( G )$ as the dual lattices of $\mathbb{X}^*$ and $\mathbb{X}^* ( G )$, respectively. We denote the natural pairings of lattices by $\left< \bullet, \bullet \right>$.

Let $\Delta \subset \mathbb{X}^*$ be the set of roots, let $\Delta_+ \subset \Delta$ be the set of roots that yield root subspaces in $\mathfrak{b}$, and let $\Pi \subset \Delta _+$ be the set of simple roots. We set $\Delta_- := - \Delta_+$. Let $Q^{\vee} \subset \mathbb{X}_*$ be the $\mathbb{Z}$-span of coroots. We define $\Pi^{\vee} \subset Q ^{\vee}$ to be the set of positive simple coroots, and let $Q_+^{\vee} \subset Q ^{\vee}$ be the set of non-negative integer span of $\Pi^{\vee}$. For $\beta, \gamma \in \mathbb{X}_*$, we define $\beta \ge \gamma$ if and only if $\beta - \gamma \in Q^{\vee}_+$. Let $\mathtt{I} := \{1,2,\ldots,r\}$. We fix bijections $\mathtt I \cong \Pi \cong \Pi^{\vee}$ such that $i \in \mathtt{I}$ corresponds to $\alpha_i \in \Pi$, its coroot $\alpha_i^{\vee} \in \Pi ^{\vee}$, and a simple reflection $s_i \in W$ corresponding to $\alpha_i$. We also have a reflection $s_{\alpha} \in W$ corresponding to $\alpha \in \Delta_+$. For each $\mathtt{J} \subset \mathtt{I}$, we set $\mathbb{X}^*_+ ( \mathtt{J} ) := \{ \lambda \in \mathbb{X}^* \mid \left< \alpha^{\vee}_i, \lambda \right> \ge 0, \hskip 2mm \forall i \in \mathtt{J} \}$. Let $\{\varpi_i\}_{i \in \mathtt{I}} \subset \mathbb{X}^*_+$ be the set of fundamental weights (i.e. $\left< \alpha_i^{\vee}, \varpi_j \right> = \delta_{i,j}$) and we set $\rho := \sum_{i \in \mathtt{I}} \varpi_i = \frac{1}{2}\sum_{\alpha \in \Delta^+} \alpha \in \mathbb{X}^*_+$.

For a subset $\mathtt{J} \subset \mathtt{I}$, we define $P ^\mathtt{J}$ to be the standard parabolic subgroup of $G$ corresponding to $\mathtt{J}$. I.e. we have $\mathfrak{b} \subset \mathfrak{p} ^\mathtt{J} \subset \mathfrak{g}$ and $\mathfrak{p} ^\mathtt{J}$ contains the root subspace corresponding to $- \alpha_i$ ($i \in \mathtt{I}$) if and only if $i \in \mathtt{J}$. Then, the set of characters of $P ^ \mathtt{J}$ is identified with $\mathbb{X}^*_0 ( \mathtt{J} ) := \mathbb{X}^* ( G ) \oplus \Lambda^{( \mathtt{I} \setminus \mathtt{J} )}$, where we set $\Lambda^\mathtt{J} := \sum_{i \in \mathtt{J}} \mathbb{Z} \varpi_i $. We also set
$$\Lambda^{\mathtt{J}}_{++} := \sum_{j \in \mathtt{J}} \mathbb{Z}_{> 0} \varpi_j \subset \Lambda^{\mathtt{J}}_{+} := \sum_{j \in \mathtt{J}} \mathbb{Z}_{\ge 0} \varpi_j \subset \mathbb{X}^*, \hskip 3mm  Q_{\mathtt{J},+}^{\vee} := \sum_{j \in \mathtt{J}} \mathbb{Z}_{\ge 0} \alpha_j^{\vee} \subset Q_{\mathtt{J}}^{\vee} := \sum_{j \in \mathtt{J}} \mathbb{Z} \alpha_j^{\vee}.$$
We define $W ^\mathtt{J} \subset W$ to be the subgroup generated by $\{s_i\}_{i \in \mathtt{J}}$. It is the Weyl group of the maximal reductive subgroup $L ^\mathtt{J}$ of $P ^ \mathtt{J}$ that contains $H$ (we refer $L^\mathtt{J}$ as the standard Levi subgroup of $P^\mathtt{J}$ in the below).

Let $\lambda \in \mathbb{X}^*$. We consider the subset
$$\Sigma ( \lambda ) := \text{convex span of } \{ W \lambda \} \subset \mathbb{X}^* \otimes _\mathbb{Z} \mathbb{R}.$$
We set $\Sigma_* ( \lambda ) := \Sigma ( \lambda ) \setminus \{ W \lambda \}$.

We set $\mathbf{G} := G \times \mathbb G_m$, $\mathbf{L} ^ \mathtt{J}  := L ^ \mathtt{J}  \times \mathbb G_m$, and $\mathbf{H} := H \times \mathbb G_m$ for the simplicity of notation.

Let $\Delta_{\mathrm{af}} := \Delta \times \mathbb{Z} \delta \cup \{m \delta\}_{m \neq 0}$ be the untwisted affine root system of $\Delta$ with its positive part $\Delta_+ \subset \Delta_{\mathrm{af}, +}$. We set $\alpha_0 := - \vartheta + \delta$, $\Pi_{\mathrm{af}} := \Pi \cup \{ \alpha_0 \}$, and $\mathtt{I}_{\mathrm{af}} := \mathtt{I} \cup \{ 0 \}$, where $\vartheta$ is the highest root of $\Delta_+$. We set $W _{\mathrm{af}} := W \ltimes Q^{\vee}$ and call it the affine Weyl group. It is a reflection group generated by $\{s_i \mid i \in \mathtt{I}_{\mathrm{af}} \}$, where $s_0$ is the reflection with respect to $\alpha_0$. Let $\ell : W_\mathrm{af} \rightarrow \mathbb{Z}_{\ge 0}$ be the length function and let $w_0^{\mathtt{J}} \in W$ be the longest element in $W^{\mathtt{J}} \subset W_\mathrm{af}$. We set $\widetilde{W}_\mathrm{af} := W \ltimes \mathbb{X}_*$ and call it the extended affine Weyl group. We have $t_{\beta} \in \mathbb{X}_* \subset \widetilde{W}_\mathrm{af}$ for each $\beta \in \mathbb{X}_*$ such that $t_{\beta} \in W_\mathrm{af}$ for $\beta \in Q^{\vee}$, $u t_{\beta} u^{-1} = t_{u \beta}$ for each $u \in W$, and $t_{- \vartheta^{\vee}} := s_{\vartheta} s_0$ (for the coroot $\vartheta^{\vee}$ of $\vartheta$). By setting $$\ell ( w t_{\gamma} ) = \ell ( t_{\gamma} w ) = \ell ( w )$$
for $w \in W_\mathrm{af}$ and $\gamma \in \mathbb{X}_* ( G )$, we extend the length function to $\widetilde{W}_\mathrm{af}$ (that is possible by $\mathbb{X}_* \cong \mathbb{X}_* ( G ) \times Q^{\vee}$).

Let $\le$ be the Bruhat order of $W_\mathrm{af}$. In other words, $w \le v$ holds if and only if a subexpression of a reduced decomposition of $v$ yields a reduced decomposition of $w$ (see \cite{BB05}). We define the generic (semi-infinite) Bruhat order $\le_\frac{\infty}{2}$ as:
\begin{equation}
w \le_\frac{\infty}{2} v \Leftrightarrow w t_{\beta} \le v t_{\beta} \hskip 5mm \text{for every } \beta \in Q^{\vee} \text{ such that } \left< \beta, \alpha_i \right> \ll 0 \text{ for } i \in \mathtt{I}. \label{si-ord}
\end{equation}
By \cite{Lus80}, this defines a preorder on $W_{\mathrm{af}}$. Here we remark that $w \le v$ if and only if $w \ge_\frac{\infty}{2} v$ for $w,v \in W$.

\begin{thm}[Peterson \cite{Pet97} Lecture 13]\label{sib}
Let $w \in W_\mathrm{af}$ be such that $w \le_\frac{\infty}{2} e$. We have $w = u t_{\beta}$ for some $u \in W$ and $\beta \in Q^{\vee}_+$. \hfill $\Box$
\end{thm}

For $w, v \in \widetilde{W}_\mathrm{af}$, we write $w \ge_\frac{\infty}{2} v$ if and only if there exists $\gamma \in \mathbb{X}_* ( G )$ such that $w t_{\gamma}, v t_{\gamma} \in W_\mathrm{af}$ and $w t_{\gamma} \ge_\frac{\infty}{2} v t_{\gamma}$.

Let $\widetilde{W}_\mathrm{af}^-$ denote the set of minimal length representatives of $\widetilde{W}_\mathrm{af} / W$ in $\widetilde{W}_\mathrm{af}$. We set
$$\mathbb{X} _*^- ( \mathtt{J} ) := \{\beta \in \mathbb{X} _* \mid \left< \beta, \alpha_i \right> < 0, \forall i \in \mathtt{J} \}$$
and
$$\mathbb{X} _*^{\le} ( \mathtt{J} ) := \{\beta \in \mathbb{X} _* \mid \left< \beta, \alpha_i \right> \le 0, \forall i \in \mathtt{J} \}.$$
We have $\mathbb{X} _*^- ( \mathtt{J} ) \subset \mathbb{X} _*^- ( \mathtt{J}' )$ and $\mathbb{X} _*^{\le} ( \mathtt{J} ) \subset \mathbb{X} _*^{\le} ( \mathtt{J}' )$ when $\mathtt{J}' \subset \mathtt{J}$.

\begin{thm}[see e.g. Macdonald \cite{Mac03}]\label{af-len}
For $\beta \in \mathbb{X} _*^-$, it holds:
\begin{enumerate}
\item We have $\ell (ut_{\beta}) = \ell (t_{\beta}) - \ell ( u )$ and $\ell (t_{\beta} u ) = \ell (t_{\beta}) + \ell ( u )$ for every $u \in W$;
\item For each $u \in W$ and $\beta' \in \mathbb{X} _*^{\le}$, we have
$$\hskip -8mm \ell ( t_{u\beta})= \ell ( u t_{\beta} u^{-1}) = \ell ( t_{\beta} )\hskip 3mm \text{and} \hskip 3mm \ell ( t_{u ( \beta + \beta' )} ) = \ell ( t_{u \beta} ) + \ell ( t _{u \beta'}) = 2 \left< \beta + \beta', \rho \right>;$$
\item Each $w \in \widetilde{W}_\mathrm{af}^-$ is decomposed into $w = u t_{\gamma}$ for some $u \in W$ and $\gamma \in \mathbb{X}_*^{\le}$ such that $\ell ( w ) = \ell ( t_{\gamma} ) - \ell ( u )$.
\end{enumerate}
\end{thm}

\begin{proof}
The first assertions follow from \cite[(2.4.1)]{Mac03}. The second assertions follow from 1) and \cite[(2.4.2)]{Mac03}. The third assertion is a consequence of \cite[(2.4.3)]{Mac03}.
\end{proof}

For each $\lambda \in \mathbb{X}^*_+ ( \mathtt{J} )$, we denote a finite-dimensional simple $P^{\mathtt{J}}$-module with a non-zero $B$-eigenvector $\mathbf{v}_{\lambda}$ of $H$-weight $\lambda$ by $V ^\mathtt{J} ( \lambda )$. Let $R ( G )$ be the (complexified) representation ring of $G$. We have an identification $R ( G ) = ( {\mathbb C} [H] )^W \subset {\mathbb C} \mathbb{X}^*$ by taking characters. For a semi-simple $H$-module $V$, we set
$$\mathrm{ch} \, V := \sum_{\lambda \in \mathbb{X}^*} e^\lambda \cdot \dim _{{\mathbb C}} \mathrm{Hom}_H ( {\mathbb C}_\lambda, V ).$$
If $V$ is a $\mathbb{Z}$-graded $H$-module in addition, then we set
$$\mathrm{gch} \, V := \sum_{\lambda \in \mathbb{X}, n \in \mathbb{Z}} q^n e^\lambda \cdot \dim _{{\mathbb C}} \mathrm{Hom}_H ( {\mathbb C}_\lambda, V_n ).$$

For a $\mathbf{H}$-equivariant coherent sheaf on a projective $\mathbf{H}$-variety $\mathcal X$, let $\chi ( \mathcal X, \mathcal F ) \in {\mathbb C} [\mathbf{H}]$ denote its equivariant Euler-Poincar\'e characteristic. We set $\mathbb{X}^*_\mathrm{af} := \mathbb{X}^* \oplus \mathbb{Z} \delta$ and understand that $e ^{\delta} = q \in {\mathbb C} \mathbb{X}^*_\mathrm{af} = {\mathbb C} [\mathbf{H}]$.

For $\mathtt{J}' \subset \mathtt{J} \subset \mathtt{I}$, we identify $W^{\mathtt{J}} / W^{\mathtt{J}'}$ with its minimal coset representative in $W^{\mathtt{J}}$. We set $\mathscr B^{\mathtt{J}}_{\mathtt{J}'} := P^\mathtt{J} / P ^{\mathtt{J}'} $ and call it the partial flag manifold of $L^\mathtt{J}$. It is equipped with the Bruhat decomposition
$$\mathscr B^{\mathtt{J}}_{\mathtt{J}'} = \bigsqcup_{w \in W^{\mathtt{J}} / W^{\mathtt{J}'}} \mathbb O^{\mathtt{J}}_{\mathtt{J}'} ( w )$$
into $B$-orbits such that $\mathrm{codim}_{\mathscr B^{\mathtt{J}}_{\mathtt{J}'}} \mathbb{O}^{\mathtt{J}}_{\mathtt{J}'} ( w ) = \ell ( w )$ for each $w \in W^{\mathtt{J}} / W^{\mathtt{J}'}$. We set $\mathscr B^\mathtt{J}_{\mathtt{J}'} ( w ) := \overline{\mathbb{O}^\mathtt{J}_{\mathtt{J}'} ( w )} \subset \mathscr B^{\mathtt{J}}$.

We have a notion of $H$-equivariant $K$-group $K_H ( \mathscr B^{\mathtt{J}}_{\mathtt{J}'} )$ of $\mathscr B^{\mathtt{J}}_{\mathtt{J}'}$ with coefficients in ${\mathbb C}$ (see e.g. \cite{KK90}). Explicitly, we have
\begin{equation}
K_H ( \mathscr B^{\mathtt{J}}_{\mathtt{J}'} ) = \bigoplus_{w \in W^{\mathtt{J}} / W^{\mathtt{J}'}} {\mathbb C} [H] \, [{\mathcal O} _{\mathscr B^{\mathtt{J}}_{\mathtt{J}'} (w)}].\label{desc-K}
\end{equation}

For each $\lambda \in w_0^\mathtt{J} \mathbb{X}^*_0 ( \mathtt{J}' )$, we have a line bundle ${\mathcal O} _{\mathscr B^{\mathtt{J}}_{\mathtt{J}'}} ( \lambda )$ such that
$$\mathrm{ch} \, H ^0 ( \mathscr B^{\mathtt{J}}_{\mathtt{J}'}, {\mathcal O}_{\mathscr B^{\mathtt{J}}_{\mathtt{J}'}} ( \lambda ) ) = \mathrm{ch} \, V^{\mathtt{J}} ( \lambda ), \hskip 3mm {\mathcal O}_{\mathscr B^{\mathtt{J}}_{\mathtt{J}'}} ( \lambda ) \otimes_{{\mathcal O}_{\mathscr B^{\mathtt{J}}_{\mathtt{J}'}}} {\mathcal O} _{\mathscr B^{\mathtt{J}}_{\mathtt{J}'}} ( - \mu ) \cong {\mathcal O}_{\mathscr B^{\mathtt{J}}_{\mathtt{J}'}} ( \lambda - \mu )$$
holds for $\lambda, \mu \in w_0 ^\mathtt{J} \mathbb{X}^*_0 ( \mathtt{J}' ) \cap \mathbb{X}^*_+ ( \mathtt{J} )$.

\subsection{The nil-DAHA and its spherical version}

\begin{defn}\label{def-DAHA}
The nil-DAHA $\mathscr{H}_q$ or $\mathscr{H}_q ( G )$ of type $G$ is a ${\mathbb C}_q$-algebra generated by $\{ e^{\lambda} \}_{\lambda \in \mathbb{X}^*} \cup \{ D_i \} _{i \in \mathtt{I}_\mathrm{af}} \cup \{ T_{\gamma} \}_{\gamma \in \mathbb{X}_* (G)}$ subject to the following relations:
\begin{enumerate}
\item $e^{\lambda + \mu} = e ^{\lambda} \cdot e ^{\mu}$ for $\lambda, \mu \in \mathbb{X}^*$;
\item $D_i ^2 = D_i$ for each $i \in \mathtt{I}_\mathrm{af}$;
\item For each distinct $i, j \in \mathtt{I}_{\mathrm{af}}$, we set $m_{i,j} \in \mathbb{Z}_{> 0}$ as the minimum number such that $(s_is_j)^{m_{i,j}} = 1$. Then, we have
$$\overbrace{D_i D_j \cdots}^{m_{i,j}\text{-terms}} = \overbrace{D_j D_i \cdots}^{m_{i,j}\text{-terms}};$$
\item For each $\lambda \in \mathbb{X}^*$ and $i \in \mathtt{I}_\mathrm{af}$, we have
$$D_i e^{\lambda} - e^{s_i \lambda} D_i = \frac{e^{\lambda} - e^{s_i \lambda}}{1 - e ^{\alpha_i}}, \hskip 5mm \text{where} \hskip 5mm e^{\alpha_0} = q \cdot e^{- \vartheta^{\vee}};$$
\item $T_{\gamma} T_{\gamma'} = T_{\gamma'} T_{\gamma}$ for each $\gamma, \gamma' \in \mathbb{X}_* ( G )$;
\item $T_{\gamma} D_i = D_i T_{\gamma}$ for each $i \in \mathtt{I}_\mathrm{af}$ and $\gamma \in \mathbb{X}_* ( G )$;
\item $T_{\gamma} e^{\lambda} = q^{\left< \gamma, \lambda \right>} e^{\lambda} T_{\gamma}$ for each $\lambda \in \mathbb{X}^*$ and $\gamma \in \mathbb{X}_* ( G )$.
\end{enumerate}
We also consider the ${\mathbb C}_q$-subalgebras $\mathscr{H}_q^0, \mathscr{H}_q ( \mathtt{J} ) \subset \mathscr{H}_q$ generated by $\{ D_i \mid i \in \mathtt{I}_\mathrm{af} \}$ and $\{ e^{\lambda}, D_i \mid \lambda \in \mathbb{X}^*, i \in \mathtt{J}\}$ (for $\mathtt{J} \subset \mathtt{I}_\mathrm{af}$), respectively.
\end{defn}

Let $\mathscr{S}_q' := {\mathbb C} [\mathbf{H}] \otimes {\mathbb C} W_\mathrm{af}$ be the smash product algebra, whose multiplication reads as:
$$( e^\lambda \otimes w ) (e^{\mu} \otimes v) = e^{\lambda + w \mu} \otimes w v \hskip 5mm \lambda,\mu \in \mathbb{X}^*_\mathrm{af}, w,v \in W_\mathrm{af}.$$
We add $1 \otimes t_{\gamma} \in {\mathbb C} \otimes {\mathbb C} \widetilde{W}_\mathrm{af}$ ($\gamma \in \mathbb{X}_* ( G )$) such that
$$( e^\lambda \otimes t_{\gamma} ) (e^{\mu} \otimes t_{\gamma'}) = q^{\left< \gamma, \mu \right>} e^{\lambda + \mu} \otimes t_{\gamma + \gamma'} \hskip 5mm \lambda,\mu \in \mathbb{X}^*_\mathrm{af}, \gamma, \gamma' \in \mathbb{X}_* ( G )$$
to $\mathscr{S}_q'$ to obtain the smash product algebra $\mathscr{S}_q := {\mathbb C} [\mathbf{H}] \otimes {\mathbb C} \widetilde{W}_\mathrm{af}$. Let ${\mathbb C} ( \mathbf{H} )$ denote the fraction field of (the Laurant polynomial algebra) ${\mathbb C} [\mathbf{H}]$. We have a scalar extension
$$\mathscr{R}_q := {\mathbb C} ( \mathbf{H} ) \otimes_{{\mathbb C} [\mathbf{H}]} \mathscr{S}_q = {\mathbb C} ( \mathbf{H} ) \otimes_{{\mathbb C}} {\mathbb C} \widetilde{W}_\mathrm{af}.$$

The following is a very slight extension of \cite{LSS10} \S 2.2 (and hence we omit its proof):

\begin{thm}[cf. \cite{LSS10} \S 2.2]
We have an embedding of algebras $\imath^* : \mathscr{H}_q \hookrightarrow \mathscr{R}_q$:
\begin{align*}
e^{\lambda} \mapsto e ^{\lambda} \otimes 1, \,\, & D_i \mapsto  \frac{1}{1 - e ^{\alpha_i}} \otimes 1 - \frac{e^{\alpha_i}}{1 - e ^{\alpha_i}} \otimes s_i, \, T_{\gamma} \mapsto 1 \otimes t_{\gamma}.
\end{align*}
for each $\lambda \in \mathbb{X}^*_\mathrm{af}, i \in \mathtt{I}_\mathrm{af},$ and $\gamma \in \mathbb{X}_* ( G )$.
\end{thm}

\begin{cor}[Leibniz fule for $D_i$]\label{Lei}
Let $i \in \mathtt{I}_\mathrm{af}$ and $\lambda \in \mathbb{X}^*_\mathrm{af}$. We have
$$D_i \cdot e^{\lambda} = \frac{e^{\lambda} - e^{s_i\lambda}}{1 - e^{\alpha_i}} + e^{s_i \lambda} \cdot D_i \hskip 3mm \text{in} \hskip 3mm \mathscr{R}_q.$$
\end{cor}

Since we have a natural action of $\mathscr{R}_q$ on ${\mathbb C} ( \mathbf{H} )$, we obtain an action of $\mathscr{H}_q$ on ${\mathbb C} ( \mathbf{H} )$ (in a way it preserves ${\mathbb C} [\mathbf{H}]$), that we call the polynomial representation.

For $w \in t_{\gamma} W_\mathrm{af}$ ($\gamma \in \mathbb{X}_* ( G )$), we find a reduced expression $w = t_{\gamma} s_{i_1} \cdots s_{i_{\ell}}$ ($i_1,\ldots,i_{\ell} \in \mathtt{I}_\mathrm{af}$) and set
$$D_w := T_{\gamma} D_{s_{i_1}} D_{s_{i_2}} \cdots D_{s_{i_{\ell}}} \in \mathscr{H}_q.$$
By Definition \ref{def-DAHA} 3), the element $D_w$ is independent of the choice of a reduced expression. By Definition \ref{def-DAHA} 2), we have
$D_i D_{w_0} = D_{w_0}$ for each $i \in \mathtt{I}$, and hence $D_{w_0}^2 = D_{w_0}$. We have an explicit form
\begin{equation}
D_{w_0} = 1 \otimes \left( \sum_{w \in W} w \right) \cdot \frac{e^{-\rho}}{\prod_{\alpha \in \Delta^+} ( e^{- \alpha / 2} - e^{\alpha/2})} \otimes 1 \in \mathscr{A}_q \label{WCF}
\end{equation}
obtained from the (left $W$-invariance of the) Weyl character formula. We set
$$\mathscr{H}_q^\mathrm{sph} \equiv \mathscr{H}_q^\mathrm{sph} ( G ) := D_{w_0} \mathscr{H}_q D_{w_0}$$
and call it the spherical nil-DAHA of type $G$.

\begin{thm}[see e.g. Kostant-Kumar \cite{KK90}]\label{finK}
We have a $\mathscr{H}_q ( \mathtt{I} )$-action on $K_{\mathbf{H}} ( \mathscr B )$ with the following properties:
\begin{enumerate}
\item For each $\lambda \in \mathbb{X}^*$, the left multiplication by $e^{\lambda} \in \mathscr{H}_q ( \mathtt{I} )$ is equal to the $H$-character twist of $K_{\mathbf{H}} ( \mathscr B )$ by $e^{\lambda}$;
\item For each $i \in \mathtt{I}$, we have
$$D_i ( [{\mathcal O}_{\mathscr B ( w )}] ) = \begin{cases}[{\mathcal O}_{\mathscr B ( s_i w )}] & (s_i w < w)\\ [{\mathcal O}_{\mathscr B ( w )}] & (s_i w > w)\end{cases};$$
\item For $\lambda \in \mathbb{X}^*$, the twist by ${\mathcal O}_\mathscr B ( \lambda )$ defines a $\mathscr{H}_q ( \mathtt{I} )$-module automorphism;
\item We have $K_{\mathbf{G}} ( \mathscr B ) = D_{w_0} K_{\mathbf{H}} ( \mathscr B )$;
\item We have $K_{\mathbf{H}} ( \mathscr B ) = \mathscr{H}_q ( \mathtt{I} ) \cdot [{\mathcal O}_{\mathscr B}] = {\mathbb C}_q [H] \cdot K_{\mathbf{G}} ( \mathscr B ) \subset K_{\mathbf{H}} ( \mathscr B )$.
\end{enumerate}
\end{thm}

\begin{cor}\label{K-rest}
For each $\mathtt{J}' \subset \mathtt{J} \subset \mathtt{I}$, we have a $\mathscr{H}_q ( \mathtt{J}' )$-module map
$$K_{\mathbf{H}} ( \mathscr B^{\mathtt{J}} ) \longrightarrow K_{\mathbf{H}} ( \mathscr B^{\mathtt{J}'} )$$
that sends $[{\mathcal O}_{\mathscr B^{\mathtt{J}}} ( \lambda )]$ to $[{\mathcal O}_{\mathscr B^{\mathtt{J}'}} ( \lambda )]$ for every $\lambda \in \mathbb{X}^*$.
\end{cor}

\begin{proof}
We have an algebra map $K_{\mathbf{L}^{\mathtt{J}}} ( \mathscr B^{\mathtt{J}} ) \longrightarrow K_{\mathbf{L}^{\mathtt{J}'}} ( \mathscr B^{\mathtt{J}'} )$
that sends $[{\mathcal O}_{\mathscr B^{\mathtt{J}}} ( \lambda )]$ to $[{\mathcal O}_{\mathscr B^{\mathtt{J}'}} ( \lambda )]$ for every $\lambda \in \mathbb{X}^*$. It is invariant under the action of $D_j$ for $j \in \mathtt{J}'$ by Theorem \ref{finK} 3). By extending the scalar, we obtain a map $K_{\mathbf{H}} ( \mathscr B^{\mathtt{J}} ) \longrightarrow K_{\mathbf{H}} ( \mathscr B^{\mathtt{J}'} )$. By the Leibniz rule, this map commutes with the $D_i$-actions for each $i \in \mathtt{J}'$. Thus, it gives rise to a $\mathscr{H}_q ( \mathtt{J}' )$-module map as required.
\end{proof}

\begin{cor}[\cite{KK90}]\label{Rsph}
For each $\mathtt{J}' \subset \mathtt{J} \subset \mathtt{I}$, the pullback defines a subspace
$$K_{\mathbf{H}} ( \mathscr B^{\mathtt{J}}_{\mathtt{J}'} ) \cong K_{\mathbf{H}} ( \mathscr B^{\mathtt{J}} ) D_{w_0^{\mathtt{J}'}}  \subset K_{\mathbf{H}} ( \mathscr B^{\mathtt{J}} ).$$
\end{cor}

\subsection{Quasi-map spaces}\label{sec:QM}

Here we recall basics of quasi-map spaces from \cite{FM99,FFKM}.

We have $W$-equivariant isomorphism $H_2 ( \mathscr B, \mathbb{Z} ) \cong Q ^{\vee}$. This identifies the (integral points of the) effective cone of $\mathscr B$ with $Q_{+}^{\vee}$. A quasi-map $( f, D )$ is a map $f : \P ^1 \rightarrow \mathscr B$ together with an $\mathtt{I}$-colored effective divisor
$$D = \sum_{i \in \mathtt{I}, x \in \P^1 ({\mathbb C})} m_x (\alpha^{\vee}_i) \alpha^{\vee}_i \otimes [x] \in Q^{\vee} \otimes_\mathbb{Z} \mathrm{Div} \, \P^1 \hskip 3mm \text{with} \hskip 3mm m_x (\alpha^{\vee}) \in \mathbb{Z}_{\ge 0}.$$
We call $D$ the defect of $(f, D)$. We define the total defect of $(f, D)$ by
$$|D| := \sum_{i \in \mathtt{I}, x \in \P^1 ({\mathbb C})} m_x (\alpha^{\vee}_i) \alpha^{\vee}_i \in Q_+^{\vee}.$$

For each $\beta \in Q_+^{\vee}$, we set
$$\mathscr{Q} ( \mathscr B, \beta ) : = \{ f : \P ^1 \rightarrow X \mid \text{ quasi-map s.t. } f _* [ \P^1 ] + | D | = \beta \},$$
where $f_* [\P^1]$ is the class of the image of $\P^1$ multiplied by the degree of $\P^1 \to \mathrm{Im} \, f$. We denote $\mathscr{Q} ( \mathscr B, \beta )$ by $\mathscr{Q}_G ( \beta )$ or $\mathscr{Q} ( \beta )$ for simplicity.

\begin{defn}[Drinfeld-Pl\"ucker data]\label{Zas}
Consider a collection $\mathcal L = \{( \psi_{\lambda}, \mathcal L^{\lambda} ) \}_{\lambda \in \Lambda_+}$ of inclusions $\psi_{\lambda} : \mathcal L ^{\lambda} \hookrightarrow V ( \lambda ) \otimes _{{\mathbb C}} \mathcal O _{\P^1}$ of line bundles $\mathcal L ^{\lambda}$ over $\P^1$. The data $\mathcal L$ is called a Drinfeld-Pl\"ucker data (DP-data) if the canonical inclusion of $G$-modules
$$\eta_{\lambda, \mu} : V ( \lambda + \mu ) \hookrightarrow V ( \lambda ) \otimes V ( \mu )$$
induces an isomorphism
$$\eta_{\lambda, \mu} \otimes \mathrm{id} : \psi_{\lambda + \mu} ( \mathcal L ^{\lambda + \mu} ) \stackrel{\cong}{\longrightarrow} \psi _{\lambda} ( \mathcal L^{\lambda} ) \otimes_{{\mathcal O}_{\P^1}} \psi_{\mu} ( \mathcal L^{\mu} )$$
for every $\lambda, \mu \in \Lambda_+$.
\end{defn}

\begin{thm}[Drinfeld, see Finkelberg-Mirkovi\'c \cite{FM99}]\label{Dr}
The variety $\mathscr{Q} ( \beta )$ is isomorphic to the variety formed by isomorphism classes of the DP-data $\mathcal L = \{( \psi_{\lambda}, \mathcal L^{\lambda} ) \}_{\lambda \in \Lambda_+}$ such that $\deg \, \mathcal L ^{\lambda} = \left< w_0 \beta, \lambda \right>$. In addition, $\mathscr{Q} ( \beta )$ is an irreducible variety of dimension $\dim \, \mathscr B + 2 \left< \beta, \rho \right>$.
\end{thm}

\begin{thm}[Braverman-Finkelberg \cite{BF14b}]\label{rat}
The variety $\mathscr{Q} ( \beta )$ is a normal variety with rational singularities.
\end{thm}

For each $\lambda \in \mathbb{X}^*$, and $\beta \in Q_+^{\vee}$, we have a $G$-equivariant line bundle ${\mathcal O} _{\mathscr{Q} ( \beta )} ( \lambda )$ obtained by the tensor product of the pull-backs ${\mathcal O} _{\mathscr{Q} ( \beta )}( \varpi_i )$ of the $i$-th ${\mathcal O} ( 1 )$ via the embedding
\begin{equation}
\mathscr{Q} ( \beta ) \hookrightarrow \prod_{i \in \mathtt I} \P ( V ( \varpi_i ) \otimes_{{\mathbb C}} {\mathbb C} [z] _{\le - \left< w_0 \beta, \varpi_i \right>} )\label{Pemb}
\end{equation}
and a $G$-character. We have $\chi ( \mathscr{Q} ( \beta ), {\mathcal O}_{\mathscr{Q}} ( \lambda ) ) \in {\mathbb C} [\mathbf{H}]$ for $\beta \in Q^{\vee}, \lambda \in \mathbb{X}^*$,
where the grading $q$ is understood to count the degree of $z$ detected by the $\mathbb G_m$-action. Here we understand that $\chi ( \mathscr{Q} ( \beta ), {\mathcal O}_{\mathscr{Q} ( \beta )} ( \lambda ) ) = 0$ if $\beta \not\in Q^{\vee}_+$.

We have an embedding $\mathscr B \subset \mathscr{Q} ( \beta )$ such that the line bundles ${\mathcal O} ( \lambda )$ ($\lambda \in \mathbb{X}^*$) correspond to each other by restrictions (\cite{BF14b,Kat18}).

\subsection{Graph and map spaces and their line bundles}\label{GQL}

We refer \cite{KM94,FP95,GL03} for the precise definitions of the notions appearing in this subsection.

For each non-negative integer $n$ and $\beta \in Q^{\vee}_+$, we set $\mathscr{GB}_{n, \beta}$ to be the space of stable maps of genus zero curves with $n$-marked points to $( \P^1 \times \mathscr B )$ of bidegree $( 1, \beta )$, that is also called the graph space of $\mathscr B$. A point of $\mathscr{GB}_{n, \beta}$ is a genus zero curve $C$ with $n$-marked points $\{x_1,\ldots,x_n\}$, together with a map to $\P^1$ of degree one. Hence, we have a unique $\P^1$-component of $C$ that maps isomorphically onto $\P^1$. We call this component the main component of $C$ and denote it by $C_0$. For a genus zero curve $C$, let $|C|$ denote the number of its irreducible components. The space $\mathscr{GB}_{n, \beta}$ is a normal projective variety by \cite[Theorem 2]{FP95} that have at worst quotient singularities arising from the automorphism of curves (in particular, they have rational singularities). The natural $\mathbf{H}$-action on $( \P^1 \times \mathscr B )$ induces a natural $\mathbf{H}$-action on $\mathscr{GB}_{n, \beta}$. Moreover, $\mathscr{GB}_{0, \beta}$ has only finitely many isolated $\mathbf{H}$-fixed points, and thus we can apply the formalism of Atiyah-Bott-Lefschetz localization (cf. \cite[p200L26]{GL03} and \cite[Proof of Lemma 5]{BF14b}).

We have a morphism $\pi_{n, \beta} : \mathscr{GB}_{n, \beta} \rightarrow \mathscr{Q} ( \beta )$ that factors through $\mathscr{GB}_{0, \beta}$ (Givental's main lemma \cite{Giv96}; see \cite[\S 8]{FFKM} and \cite[\S 1.3]{FP95}). Let $\widetilde{\mathtt{ev}}_j : \mathscr{GB}_{n, \beta} \to \P^1 \times \mathscr B$ ($1 \le j \le n$) be the evaluation at the $j$-th marked point, and let $\mathtt{ev}_j : \mathscr{GB}_{n, \beta} \to \mathscr B$ be its composition with the second projection. The variety $\mathscr{GB}_{n,\beta}$ is irreducible (as a special feature of flag varieties, see \cite[\S 1.2]{FP95} and \cite{KP01}).

Let $\mathscr{X} ( \beta ) \subset \mathscr{GB}_{2,\beta}$ denote the subscheme such that the first marked point projects to $0 \in \P^1$, and the second marked point projects to $\infty \in \P^1$ through the first projection of $\P^1 \times \mathscr B$. By abuse of notation, we write the restriction of $\mathtt{ev}_i$ ($i =1,2$) to $\mathscr{X} ( \beta )$ by the same letter. Let $\pi_{\beta} : \mathscr{X} ( \beta ) \rightarrow \mathscr{Q} ( \beta )$ be the restriction of $\pi_{2,\beta}$ to $\mathscr{X} ( \beta )$.
In view of Theorem \ref{rat}, the morphism $\pi_{\beta}$ is the rational resolution of singularities in an orbifold sense.

For each $\lambda \in \mathbb{X}^*$, we have a line bundle ${\mathcal O}_{\mathscr{X} (\beta)} ( \lambda ) := \pi_{\beta}^* {\mathcal O} _{\mathscr{Q} ( \beta )}( \lambda )$. In case we want to stress the group $G$, we write $\mathscr{X} _G ( \beta )$ instead of $\mathscr{X} (\beta)$.

\subsection{Equivariant quantum $K$-group of $\mathscr B$}\label{eqK}

We introduce a polynomial ring ${\mathbb C} Q^{\vee}_+$ and the formal power series ring ${\mathbb C} [\![Q^{\vee}_+]\!]$ with their variables $Q_i = Q^{\alpha_i^{\vee}}$ ($i \in \mathtt{I}$). We set $Q^{\beta} := \prod_{i \in \mathtt{I}} Q_i ^{\left< \beta, \varpi_i \right>}$ for each $\beta \in Q^{\vee}$. We define the $\mathbf{G}$-equivariant (small) quantum $D_q$-module of $\mathscr B$ as:
\begin{equation}
qK_{\mathbf{G}} ( \mathscr B ) := K_{\mathbf{G}} ( \mathscr B ) \otimes {\mathbb C} Q^{\vee}_+.\label{qDdef}
\end{equation}
Note that the specialization $q = 1$ yields
\begin{equation}
qK_{G} ( \mathscr B ) := K_{G} ( \mathscr B ) \otimes {\mathbb C} Q^{\vee}_+.\label{qKdef}
\end{equation}
Let $qK_{\mathbf{G}} ( \mathscr B )^{\wedge}$ and $qK_{G} ( \mathscr B )^{\wedge}$ denote the completions of $qK_{\mathbf{G}} ( \mathscr B )$ and $qK_{G} ( \mathscr B )$ with respect to the variables $\{ Q_i \}_{i \in \mathtt{I}}$.

Let $\left< \bullet, \bullet \right>^{\mathtt{GW}}$ be the $R ( \mathbf{G} )$-linear pairing on $qK_{\mathbf{G}} ( \mathscr B )^{\wedge}$ defined as:
$$\left< a, b \right>^{\mathtt{GW}} := \sum_{\beta \in Q^{\vee}_+} \chi ( \mathscr{X} ( \beta ), \mathrm{ev}_1^* a \otimes \mathrm{ev}_1^* b ) Q^{\beta} \in {\mathbb C} [\mathbf{H}] [\![Q^{\vee}_+]\!] \hskip 5mm a, b \in qK_{\mathbf{G}} ( \mathscr B )^{\wedge}.$$
Since the specialization $Q^{\beta} = 0$ ($\beta \neq 0$) recovers the ($\mathbf{G}$-equivariant) Euler-Poincar\'e pairing of $\mathscr B$, we know that $\left< \bullet, \bullet \right>^{\mathtt{GW}}$ is non-degenerate. For each $\lambda \in \mathbb{X}^*$, the bilinear functional
$$\left< a, b \right>^{\mathtt{GW}}_{\lambda} := \sum_{\beta \in Q^{\vee}_+} \chi ( \mathscr{X} ( \beta ), \pi_{\beta}^* {\mathcal O}_{\mathscr{Q} ( \beta )} ( \lambda ) \otimes \mathrm{ev}_1^* a \otimes \mathrm{ev}_1^* b ) Q^{\beta} \in {\mathbb C} [\mathbf{H}] [\![Q^{\vee}_+]\!]$$
induces a(n unique) linear operator $A^{\lambda} ( \bullet )$ on $qK_{\mathbf{G}} ( \mathscr B )^{\wedge}$ such that
$$\left< A^{\lambda} a, b \right>^{\mathtt{GW}} = \left< a, b \right>^{\mathtt{GW}}_\lambda \hskip 5mm a, b \in qK_{\mathbf{G}} ( \mathscr B )^{\wedge}.$$
We remark that the operator $A^\lambda$ is the character twist when $\lambda \in \mathbb{X}^* ( G )$. In case we want to stress the dependence on $G$, we write $\left< \bullet, \bullet \right>^{\mathtt{GW}}_G$ and $A^{\lambda}_G$ instead of $\left< \bullet, \bullet \right>^{\mathtt{GW}}$ and $A^{\lambda}$, respectively.

\begin{thm}[Iritani-Milanov-Tonita \cite{IMT15} and \cite{Kat18c}]\label{reconst}
We have:
\begin{enumerate}
\item For $\lambda, \mu \in \mathbb{X}^*$, we have $A^\lambda \circ A^{\mu} = A^{\lambda + \mu}$ in $\mathrm{End}_{R ( \mathbf{G} )} ( qK_{\mathbf{G}} ( \mathscr B )^{\wedge} )$;
\item For $\lambda \in \mathbb{X}^*$ and $c \in K_{\mathbf{G}} ( \mathscr B ) \otimes 1 \subset qK_{\mathbf{G}} ( \mathscr B )$, we have
$$A^{\lambda} c \equiv {\mathcal O}_{\mathscr B} ( \lambda ) \otimes_{{\mathcal O}_\mathscr B} c \mbox{\rm mod} ( Q_i \mid i \in \mathtt{I});$$
\item The $q = 1$ specialization of the operator $A^{- \varpi_i}$ $(i \in \mathtt{I})$ is the quantum multiplication by $[{\mathcal O}_{\mathscr B} ( - \varpi_i )]$ on $qK_{G} ( \mathscr B )$;
\item The $R ( G )$-action, the ${\mathbb C} Q^{\vee}$-action, together with the quantum multiplications by $[{\mathcal O}_{\mathscr B} ( - \varpi_i )]$ $(i \in \mathtt{I})$, generates $qK_{G} ( \mathscr B )$ as a ring;
\item For $f \in {\mathbb C}_q [A^{\lambda},Q^{\beta}\mid \lambda \in \mathbb{X}^*, \beta \in Q^{\vee}_+ ]$, we have $f [{\mathcal O}_{\mathscr B}] = 0$ in $qK_{\mathbf{G}} ( \mathscr B )$ if and only if
$$\left< f [{\mathcal O}_{\mathscr B}], [{\mathcal O}_{\mathscr B}] \right>^\mathtt{GW}_\lambda = 0 \hskip 5mm \lambda \in \Lambda_+.$$
\end{enumerate}
\end{thm}

\begin{proof}
The first two assertions follows from \cite{IMT15} Proposition 2.13 and Proposition 2.10, respectively. The third assertion is \cite[Lemma 6]{ACT18} (or \cite[Theorem 4.2]{Kat18c}). The fourth assertion is a consequence of the finiteness of quantum $K$-groups, seen in \cite[Proposition 9]{ACT18} and \cite[Corollary 3.3]{Kat18c}. The fifth assertion can be read off from the proof of \cite[Theorem 3.11]{Kat18c}.
\end{proof}

\section{Preparatory results}

\subsection{Affine Grassmanians}
We define our (thin) affine Grassmannian and (thin) flag manifold by
$$\mathrm{Gr}_G := G (\!(z)\!) / G [\![z]\!] \hskip 3mm \text{and} \hskip 3mm X_G := G (\!(z)\!) / {\mathbf I},$$
respectively. We have a natural map $\pi : X_G \rightarrow \mathrm{Gr}_G$ whose fiber is isomorphic to $\mathscr B$. By \cite[\S 4.6]{BD} (cf. \cite[\S 2]{MV07}), the sets of connected components of $\mathrm{Gr}_G$ and $X_G$ are in bijection with $\mathbb{X}_* ( G )$. Here we note that our assumption on $G$ guarantees that all connected components of $\mathrm{Gr}_G$ are mutually isomorphic as ind-varieties with $G [\![z]\!]$-actions.

\begin{thm}[Bruhat decomposition, \cite{Kum02} Corollary 6.1.20] We have ${\mathbf I}$-orbit decompositions
$$\mathrm{Gr}_G = \bigsqcup_{\beta \in \mathbb{X}_*} \mathring{\mathrm{Gr}_G} ( \beta ) \hskip 3mm \text{and} \hskip 3mm X = \bigsqcup_{w \in \widetilde{W}_\mathrm{af}} \mathbb{O}_G^\mathrm{af} ( w )$$
with the following properties:
\begin{enumerate}
\item we have $\mathbb{O}_G^\mathrm{af} ( v ) \subset \overline{\mathbb{O}_G^\mathrm{af} (w)}$ if and only if $v \le w$;
\item $\pi ( \mathbb{O} _G^\mathrm{af} ( w ) ) \subset \mathring{\mathrm{Gr}_G} ( \beta )$ if and only if $w \in t_{\beta} W$.\hfill $\Box$
\end{enumerate}
\end{thm}

Let us set $\mathrm{Gr}_G ( \beta ) := \overline{\mathring{\mathrm{Gr}_G} ( \beta )}$ and $X_w := \overline{\mathbb{O}_G^\mathrm{af} ( w )}$ for $\beta \in \mathbb{X}_*$ and $w \in \widetilde{W}_\mathrm{af}$. For $w \in \widetilde{W}_\mathrm{af}^-$, we also set $\mathrm{Gr}_G ( w ) := \mathrm{Gr}_G ( \beta )$ for $\beta \in \mathbb{X}_*$ such that $w \in t_{\beta} W$.

We set
$$K_{\mathbf{H}} ( \mathrm{Gr}_G ) := \bigoplus_{\beta \in \mathbb{X}_*} {\mathbb C} [\mathbf{H}] \, [{\mathcal O}_{\mathrm{Gr}_G (\beta)}] \hskip 3mm \text{and} \hskip 3mm K_{\mathbf{H}} ( X_G ) := \bigoplus_{w \in \widetilde{W}_\mathrm{af}} {\mathbb C} [\mathbf{H}] \, [{\mathcal O}_{X_w}].$$

The following is an affine version of Theorem \ref{finK}:

\begin{thm}[Kostant-Kumar \cite{KK90}]\label{sH-reg}
The vector space $K_{\mathbf{H}} ( X_G )$ affords a regular representation of $\mathscr{H}_q$ such that:
\begin{enumerate}
\item the subalgebra ${\mathbb C} [\mathbf{H}] \subset \mathscr{H}_q$ acts by the multiplication of the coefficients;
\item we have $D_i [{\mathcal O}_{X_w}] = [{\mathcal O}_{X_{s_i w}}]$ $(s_i w > w)$ or $[{\mathcal O}_{X_{w}}]$ $(s_i w < w)$.\hfill $\Box$
\end{enumerate}
\end{thm}

Being a regular representation, we sometimes identify $K_\mathbf{H} ( X_G )$ with $\mathscr{H}_q$ (through $e^{\lambda} [{\mathcal O}_{X_w}] \leftrightarrow e^{\lambda} D_w$ for $\lambda \in \mathbb{X}_*^\mathrm{af}, w \in \widetilde{W}_\mathrm{af}$) and consider product of two elements in $\mathscr{H}_q \cup K _\mathbf{H} ( X_G )$. We may denote this product on $K_\mathbf{H} ( X_G )$ by $\odot_q$.

\begin{thm}[Kostant-Kumar \cite{KK90}]\label{sH-sph}
The pullback defines an inclusion map $\pi^* : K_\mathbf{H} ( \mathrm{Gr}_G ) \hookrightarrow K _\mathbf{H} ( X_G )$ such that
$$\pi^* [{\mathcal O}_{\mathrm{Gr}_G (\beta)}] = [X_{t_{\beta}}] D_{w_0} \hskip 5mm \beta \in Q^{\vee}.$$
In particular, $\mathrm{Im} \, \pi^* = \mathscr{H}_q \odot_q D_{w_0}$ is a $\mathscr{H}_q$-submodule.\hfill $\Box$
\end{thm}

\begin{thm}\label{LSS-formula}
Let $w \in \widetilde{W}_\mathrm{af}^-$ and let $\beta \in \mathbb{X}_*^-$. We have
$$\pi^* [{\mathcal O}_{\mathrm{Gr}_G (w)}] \odot_q \pi^* [{\mathcal O}_{\mathrm{Gr}_G (\beta)}] = \pi^* [{\mathcal O}_{\mathrm{Gr}_G (w t_\beta)}].$$
\end{thm}

\begin{proof}
We have $\ell ( t_{\beta} ) = \ell ( w_0 ) + \ell ( w_0 t_{\beta} )$ by Theorem \ref{af-len} 1). We have $w = u t_{\gamma}$ for some $u \in W$ and $\gamma \in \mathbb{X}_*^{\le}$ such that $\ell ( w ) = \ell ( t_{\gamma} ) - \ell ( u )$ by Theorem \ref{af-len} 3). Now we have $\ell ( u t_{\gamma + \beta} ) = \ell ( w ) + \ell ( t_{\beta} )$ by Theorem \ref{af-len} 2). From these, the assertion follows by Theorem \ref{sH-reg} and Theorem \ref{sH-sph}.
\end{proof}

Theorem \ref{LSS-formula} implies that the set
$$\{ \pi^* [{\mathcal O}_{\mathrm{Gr}_G ( \beta )}] \mid \beta \in \mathbb{X}_*^- \} \subset ( K_{\mathbf{H}} ( \mathrm{Gr}_G ), \odot_q )$$
forms a multiplicative system with respect to the right action. We denote by $K_{\mathbf{H}} ( \mathrm{Gr}_G )_{\mathrm{loc}}$ the localization of $K_{\mathbf{H}} ( \mathrm{Gr}_G )$ with respect to this right action. The action of an element $[{\mathcal O}_{\mathrm{Gr}_G (\beta)}]$ on $K_{\mathbf{H}} ( \mathrm{Gr}_G )$ in Theorem \ref{LSS-formula} is torsion-free, and hence we have an embedding $K_{\mathbf{H}} ( \mathrm{Gr}_G ) \subset K_{\mathbf{H}} ( \mathrm{Gr}_G )_\mathrm{loc}$. Since the left $\mathscr{H}_q$-module structure on $( K_{\mathbf{H}} ( \mathrm{Gr}_G ), \odot_q )$ commutes with this right action, we conclude that $K_{\mathbf{H}} ( \mathrm{Gr}_G )_{\mathrm{loc}}$ is a $\mathscr{H}_q$-module that contains $K_{\mathbf{H}} ( \mathrm{Gr}_G )$.

\begin{cor}\label{h-op}
Let $i \in \mathtt{I}$. For $\beta \in \mathbb{X}_*^-$, we set
$${\mathbf h} _i := \pi^* [{\mathcal O}_{\mathrm{Gr}_G (s_i t_{\beta} )}] \odot_q \pi^* [{\mathcal O}_{\mathrm{Gr}_G ( t_{\beta} )}]^{-1}.$$
Then, the element ${\mathbf h}_i$ is independent of the choice of $\beta$.
\end{cor}

\begin{proof}
By Theorem \ref{LSS-formula}, we have
\begin{align*}
[{\mathcal O}_{\mathrm{Gr}_G (s_i t_{\gamma + \beta} )}] \odot_q [{\mathcal O}_{\mathrm{Gr}_G (t_{\gamma + \beta} )}]^{-1} & = [{\mathcal O}_{\mathrm{Gr}_G ( s_i t_{\beta} )}] \odot_q [{\mathcal O}_{\mathrm{Gr}_G (t_{\gamma})}] \odot_q  [{\mathcal O}_{\mathrm{Gr}_G (t_{\gamma})}]^{-1} \odot_q [{\mathcal O}_{\mathrm{Gr}_G ( t_\beta )}]^{-1}\\
& = [{\mathcal O}_{\mathrm{Gr}_G (s_i t_{\beta})}] \odot_q [{\mathcal O}_{\mathrm{Gr}_G (t_{\beta})}]^{-1}
\end{align*}
for $\gamma \in \mathbb{X}_*^-$. Hence, we conclude the assertion.
\end{proof}

In the below, we may drop $\pi^*$ in the notation and consider
$$K_\mathbf{G} ( \mathrm{Gr}_G ) = D_{w_0} K_\mathbf{H} ( \mathrm{Gr}_G ) \cong D_{w_0} K _\mathbf{H} ( X_G ) D_{w_0} \subset K _\mathbf{H} ( X_G )$$
as a subalgebra of $K _\mathbf{H} ( X_G )$. Note that $[{\mathcal O}_{\mathrm{Gr}_G ( \beta )}] \in K_\mathbf{G} ( \mathrm{Gr}_G )$ for $\beta \in \mathbb{X}_*^{-}$. In addition, $[{\mathcal O}_{\mathrm{Gr}_G ( 0 )}]$ is the multiplicative unit of $K_{\mathbf{G}} ( \mathrm{Gr}_G )$, and we sometimes denote it by $1$. It is clear that $K_\mathbf{G} ( \mathrm{Gr}_G )$ affords a regular representation of $\mathscr{H}_q^{\mathrm{sph}}$.

For each $\gamma \in \mathbb{X}_*$, we can write $\gamma = \beta_1 - \beta_2$, where $\beta_1,\beta_2 \in \mathbb{X}_*^-$. In particular, we have an element
$${\mathtt t} _{\gamma} := [{\mathcal O}_{\mathrm{Gr}_G (t_{\beta_1})}] \odot_q [{\mathcal O}_{\mathrm{Gr}_G (t_{\beta_2} )}]^{-1}.$$

\begin{lem}
For each $\gamma \in Q^{\vee}$, the element ${\mathtt t} _{\gamma} \in K_{\mathbf{G}} ( \mathrm{Gr}_G )_{\mathrm{loc}}$ is independent of the choices involved.
\end{lem}

\begin{proof}
Similar to the proof of Corollary \ref{h-op}. The detail is left to the readers.
\end{proof}

\subsection{Semi-infinite flag manifolds}\label{sif}

In this subsection, we assume that $G$ is a simple algebraic group. This assumption implies $\Lambda = \mathbb{X}^*$, $Q^{\vee} = \mathbb{X}_*$, and $W_\mathrm{af} = \widetilde{W}_\mathrm{af}$. In \cite{Kat18d}, we have exhibited an ind-scheme $\mathbf{Q}_G^{\mathrm{rat}}$ of ind-infinite type that is universal among these whose set ${\mathbb C}$-valued points are $G (\!(z)\!) / ( H \cdot N (\!(z)\!) )$. It is equipped with a $G (\!(z)\!)$-equivariant line bundle ${\mathcal O} _{\mathbf{Q}_G^{\mathrm{rat}}} ( \lambda )$ for each $\lambda \in \mathbb{X}^*$. Here we normalized the label of line bundles such that $\Gamma ( \mathbf{Q}_G^{\mathrm{rat}}, {\mathcal O}_{\mathbf{Q}_G^{\mathrm{rat}}} ( \lambda ) )$ is co-generated by its $H$-weight $\lambda$-part as a $B (\!(z)\!)$-module.

\begin{thm}[\cite{FM99,FFKM}]\label{si-Bruhat}
We have an ${\mathbf I}$-orbit decomposition
$$\mathbf{Q}_G^{\mathrm{rat}} = \bigsqcup_{w \in W_\mathrm{af}} \mathbb{O} ( w )$$
with the following properties:
\begin{enumerate}
\item each $\mathbb{O} ( w )$ has infinite dimension and infinite codimension in $\mathbf{Q}_G^{\mathrm{rat}}$;
\item the right action of $\gamma \in Q^{\vee}$ on $\mathbf{Q}_G^{\mathrm{rat}}$ yields the translation $\mathbb O ( w ) \mapsto \mathbb{O} ( w t_{\gamma})$;
\item we have $\mathbb{O} ( w ) \subset \overline{\mathbb{O} ( v )}$ if and only if $w \le_{\frac{\infty}{2}} v$.\hfill $\Box$
\end{enumerate}
\end{thm}

We define a ${\mathbb C} [\mathbf{H}]$-module $K_{\mathbf{H}} ( \mathbf{Q}_G^{\mathrm{rat}} )$ as:
$$K_{\mathbf{H}} ( \mathbf{Q}_G^{\mathrm{rat}} ) := \{ \sum_{w \in W_{\mathrm{af}}} a_{w} [{\mathcal O}_{\mathbf{Q}_G ( w )}] \mid a_w \in {\mathbb C} [\mathbf{H}], \, \exists \beta_0 \in Q^{\vee} \text{ s.t. } a _{u t_{\beta}} = 0, \, \forall u \in W, \beta \not> \beta_0 \},$$
where the sum in the definition is understood to be formal (i.e. we allow infinite sums). We define its subset
$$K_{\mathbf{H}} ( \mathbf{Q}_G ( t_{\beta} ) ) := \{ \sum_{w \in W_{\mathrm{af}}} a_{w} [{\mathcal O}_{\mathbf{Q}_G ( w )}] \mid a_w \in {\mathbb C} [\mathbf{H}] \, \text{ s.t. } a _{u t_{\gamma}} = 0, \, \forall u \in W, \gamma \not\ge \beta \}$$
for each $\beta \in Q^{\vee}$. Employing the family $\{ K_{\mathbf{H}} ( \mathbf{Q}_G ( t_{\beta} ) ) \}_{\beta \in Q^{\vee}}$ of subsets of $K_{\mathbf{H}} ( \mathbf{Q}_G^{\mathrm{rat}} )$ as an open base of $0$, we obtain a topology on $K_{\mathbf{H}} ( \mathbf{Q}_G^{\mathrm{rat}} )$.

\begin{thm}[\cite{KNS17} Theorem 6.5]\label{H-si}
The vector space $K_{\mathbf{H}} ( \mathbf{Q}_G^{\mathrm{rat}} )$ affords a representation of $\mathscr{H}_q$ such that:
\begin{enumerate}
\item the subalgebra ${\mathbb C} [\mathbf{H}] \subset \mathscr{H}_q$ acts by the multiplication as ${\mathbb C} [\mathbf{H}]$-modules;
\item we have
$$D_i ( [{\mathcal O}_{\mathbf{Q}_G (w)}] ) = \begin{cases} [{\mathcal O}_{\mathbf{Q}_G (s_i w)}] & (s_i w >_{\frac{\infty}{2}} w) \\ [{\mathcal O}_{\mathbf{Q}_G (w)}] & (s_i w <_{\frac{\infty}{2}} w)\end{cases}.$$
\end{enumerate}
\end{thm}

For each $\beta \in Q^{\vee}$, we set
$$K_{\mathbf{G}} ( \mathbf{Q}_G^{\mathrm{rat}} ) := D_{w_0} ( K_{\mathbf{H}} ( \mathbf{Q}_G^{\mathrm{rat}} ) ) \hskip 3mm \text{and} \hskip 3mm K_{\mathbf{G}} ( \mathbf{Q}_G ( t_{\beta}) ) := D_{w_0} ( K_{\mathbf{H}} ( \mathbf{Q}_G ( t_{\beta}) ) ).$$

From the description of Theorem \ref{H-si}, we deduce that the right $Q^{\vee}$-action gives $\mathscr{H}_q$-module endomorphisms of $K_\mathbf{H} ( \mathbf{Q}_G^{\mathrm{rat}} )$. We denote this endomorphism for $\beta \in Q^{\vee}$ by $Q^{\beta}$. It gives rise to an endomorphism of $K_{\mathbf{G}} ( \mathbf{Q}_G^{\mathrm{rat}} )$.
We set ${\mathbb C}_q (\!(Q^{\vee})\!) := {\mathbb C}_q Q^{\vee} \otimes _{{\mathbb C}_q Q^{\vee}_+} {\mathbb C}_q [\![Q^{\vee}_+]\!]$. The commutative rings ${\mathbb C}_q Q^{\vee}$ and ${\mathbb C}_q (\!(Q^{\vee})\!)$ act on $K_{\mathbf{G}} ( \mathbf{Q}_G^{\mathrm{rat}} )$ from the right.

\begin{thm}\label{HQc}
For each $\lambda \in \Lambda$, the ${\mathbb C} [\mathbf{H}]$-linear extension of the assignment
$$[{\mathcal O} _{\mathbf{Q}_G ( w )}] \mapsto [{\mathcal O} _{\mathbf{Q}_G ( w )} ( \lambda )] \in K _\mathbf{H} ( \mathbf{Q}_G^{\mathrm{rat}} ) \hskip 3mm w \in W_\mathrm{af}$$
defines a $\mathscr{H}_q$-module automorphism $($that we call $\Xi ( \lambda ))$. In addition, we have:
\begin{enumerate}
\item $\Xi ( \lambda )\circ \Xi ( \mu ) = \Xi ( \lambda + \mu )$ for $\lambda, \mu \in \Lambda$;
\item $[{\mathcal O} _{\mathbf{Q}_G ( w )} ( \lambda )] = e ^{w \lambda} [{\mathcal O} _{\mathbf{Q}_G ( w )}] + \sum_{v <_\frac{\infty}{2} w} a_w^v ( \lambda ) [{\mathcal O} _{\mathbf{Q}_G ( v )}]$ for $a_w^v \in {\mathbb C} [\mathbf{H}]$;
\item The coefficients $a_w^v$ belongs to a ${\mathbb C}_q$-span of $\{e^\mu \}_{\mu \in \Sigma ( \lambda )}$;
\item $[{\mathcal O} _{\mathscr B ( w )} ( \lambda )] = e ^{w \lambda} [{\mathcal O} _{\mathscr B ( w )}] + \sum_{w < v \in W} a_w^v ( \lambda ) [{\mathcal O} _{\mathscr B ( v )}]$ for each $w \in W$.
\end{enumerate}
\end{thm}

\begin{proof}
The existence of the $\mathscr{H}_q$-module structure and the assertion in the first item follow from \cite[Theorem 6.4]{KNS17} (though the definition of the $K$-groups are slightly different). The second item follows by \cite[Theorem 5.10]{KNS17} since a path with the equal initial/final directions is unique, and the path interpretation of coefficients $a_w^v$ automatically imposes order relation $v <_\frac{\infty}{2} w$ (see \cite[\S 2.3]{KNS17}). The third item follows from the fact that $a_w^v$ is obtained as a $q$-weighted count of the character of the global Weyl modules, whose set of $H$-weights are contained in $\Sigma ( \lambda )$ (see e.g. \cite[\S 1.2]{Kat18}).

We prove the fourth item. The open dense $G[\![z]\!]$-orbit $\mathbb{O}$ of $\mathbf{Q}_G ( e )$ is the affine fibration over $\mathscr B$, and its fiber is a homogeneous space of $\ker \, ( G[\![z]\!] \to G )$. Since the restriction from $\mathbf{Q}_G ( e )$ to $\mathscr B$ passes ${\mathbb C}_\mu \otimes {\mathcal O}_{\mathbf{Q}_G ( e )} ( \lambda )$ to ${\mathbb C}_\mu \otimes {\mathcal O}_{\mathscr B} ( \lambda )$ ($\lambda, \mu \in \Lambda$), this restriction yields a ${\mathbb C} [\mathbf{H}]$-linear map
$$K _{\mathbf{H}} ( \mathbf{Q}_G ( e ) ) \longrightarrow K_{\mathbf{H}} ( \mathbb{O} ) \stackrel{\cong}{\longrightarrow} K_{\mathbf{H}} ( \mathscr B ),$$
with its kernel spanned by $[{\mathcal O}_{\mathbf{Q} (  u t_{\beta} )}]$ for $u \in W$ and $\beta \neq 0$. This also maps $[{\mathcal O}_{\mathbf{Q} ( u )}]$ to $[{\mathcal O}_{\mathscr B ( u )}]$ for each $u \in W$. Since $v \not\in W$ and $v \le_\frac{\infty}{2} e$ implies $v = u t_{\beta}$ with $u \in W$ and $0 \neq \beta \in Q^{\vee}_+$, we conclude the assertion in the third item.
\end{proof}

\begin{lem}[\cite{Kat18c} Lemma 1.14]\label{div}
For each $i \in \mathtt{I}$, we have
$$[{\mathcal O}_{\mathbf{Q}_G ( s_i )}] = [{\mathcal O}_{\mathbf{Q}_G ( e )}] - e^{\varpi_i} [{\mathcal O}_{\mathbf{Q}_G ( e )} ( - \varpi_{i} )].$$
\end{lem}

We consider a ${\mathbb C} [\mathbf{H}]$-module endomorphism $H_i$ ($i \in \mathtt{I}$) of $K_{\mathbf{H}} ( \mathbf{Q}_G^{\mathrm{rat}} )$ as:
$$H_i : [{\mathcal O}_{\mathbf{Q}_G ( w )}] \mapsto [{\mathcal O}_{\mathbf{Q}_G ( w )}] - e ^{\varpi_i} [{\mathcal O}_{\mathbf{Q}_G ( w )} ( - \varpi_i )] \hskip 5mm w \in W_\mathrm{af}.$$

\begin{lem}\label{csq}
For $i, j \in \mathtt{I}$, we have
$$\Xi ( \varpi_i ) \circ Q^{\alpha^{\vee}_j} = q^{- \left< \alpha^{\vee}_j, \varpi_i \right>} Q^{\alpha^{\vee}_j} \circ \Xi ( \varpi_i ) \in \mathrm{End}_{\mathscr{H}_q} K _\mathbf{H} ( \mathbf{Q}_G^{\mathrm{rat}} ).$$
\end{lem}

\begin{proof}
For each $w \in W_\mathrm{af}$, we have
\begin{align*}
\Xi ( \varpi _i ) ( [{\mathcal O}_{\mathbf{Q}_G ( w )}] ) = & \sum_{v \in W_\mathrm{af}} a_v^w [{\mathcal O}_{\mathbf{Q}_G ( v )}], \hskip 5mm \text{where} \hskip 3mm a_v^w \in {\mathbb C} [\mathbf{H}] \text{ and}\\
\mathrm{gch} \, \Gamma ( \mathbf{Q}_G ( w ), & {\mathcal O}_{\mathbf{Q}_G ( w )} ( \lambda + \varpi_i ) ) = \sum_{v \in W_\mathrm{af}} a_v^w \mathrm{gch} \, \Gamma ( \mathbf{Q}_G ( v ), {\mathcal O}_{\mathbf{Q}_G ( v )} ( \lambda ) )
\end{align*}
for each $\lambda \in \Lambda_+$. Since we have
$$\mathrm{gch} \, \Gamma ( \mathbf{Q}_G ( w t_{\gamma} ), {\mathcal O}_{\mathbf{Q}_G ( w t_{\gamma} )} ( \lambda ) ) = q^{- \left< \gamma, \lambda \right>} \mathrm{gch} \, \Gamma ( \mathbf{Q}_G ( w ), {\mathcal O}_{\mathbf{Q}_G ( w )} ( \lambda ) )$$
for each $\gamma \in Q^{\vee}$ and $\lambda \in \Lambda$ by \cite[Corollary A.4]{Kat18d}, we deduce that
$$\Xi ( \varpi_i ) \circ Q^{\alpha^{\vee}_j} ( [{\mathcal O}_{\mathbf{Q}_G ( w )}] ) = q^{- \left< \alpha^{\vee}_j, \varpi_i \right>} Q^{\alpha^{\vee}_j} \circ \Xi ( \varpi_i ) ( [{\mathcal O}_{\mathbf{Q}_G ( w )}] ).$$
Thus, the ${\mathbb C} [\mathbf{H}]$-linearity of the composition maps implies the result.
\end{proof}

The following result is a version of the Demazure character formula for semi-infinite flag manifolds \cite[Theorem A]{Kat18}:

\begin{thm}\label{dcf}
Let $w \in W$ and $\lambda \in \Lambda$. We have
$$D_{t_{w \beta}} [ {\mathcal O}_{\mathbf{Q}_G ( w )} ( \lambda ) ] = [ {\mathcal O}_{\mathbf{Q}_G ( wt_{\beta} )} ( \lambda ) ] = q^{- \left< \beta, \lambda \right>} Q^{\beta} [ {\mathcal O}_{\mathbf{Q}_G ( w )} ( \lambda ) ]$$
for every $\beta \in Q^{\vee}_<$. Moreover, $\{ {\mathcal O}_{\mathbf{Q}_G ( e )} ( \lambda )\}_{\lambda \in \Lambda}$ is a ${\mathbb C}_q (\!(Q^{\vee})\!)$-free basis of $K_{\mathbf{G}} ( \mathbf{Q}^\mathrm{rat}_G )$.
\end{thm}

\begin{proof}
The first assertion for $\lambda \in \Lambda_+$ is \cite[Theorem 4.13]{Kat18} (it lifts to the formal version by \cite{KNS17}). In view of Theorem \ref{HQc}, it prolongs to all $\lambda \in \Lambda$. This proves the first assertion.

We prove the second assertion. Note that $\bigoplus_{u \in W} {\mathbb C} [\mathbf{H}] [{\mathcal O}_{\mathbf{Q}_G ( u )}] \subset K_{\mathbf{H}} ( \mathbf{Q}^\mathrm{rat}_G )$ is stable by the $\mathscr{H}_q ( \mathtt{I} )$-action, and it is isomorphic to $K_{\mathbf{H}} ( \mathscr B )$ as $\mathscr{H}_q ( \mathtt{I} )$-modules by the comparison of the actions. In view of Theorem \ref{HQc} 2) and 4), it follows that the coefficient of $[{\mathcal O}_{\mathbf{Q}_G ( e )}]$ distinguishes two elements in the $D_{w_0}$-invariants of $\bigoplus_{u \in W} {\mathbb C} [\mathbf{H}] [{\mathcal O}_{\mathbf{Q}_G ( u )}]$. Since we allow formal sums with respect to $Q^{\vee}_+$, we conclude that $\{ {\mathcal O}_{\mathbf{Q}_G ( e )} ( \lambda )\}_{\lambda \in \Lambda}$ defines a ${\mathbb C}_q [\![Q^{\vee}]\!]$-free basis of $K_{\mathbf{G}} ( \mathbf{Q}_G ( e ) )$. Now the assertion follows by the $Q^{\vee}$-translations.\end{proof}

\begin{lem}\label{Lei2}
For each $i \in \mathtt{I}_\mathrm{af}$, $\lambda \in \mathbb{X}^*$, and $w \in W_\mathrm{af}$, we have
$$D_i ( e^{\lambda} [{\mathcal O}_{\mathbf{Q}_G ( w )}] ) \equiv \begin{cases}
e^{\lambda} [{\mathcal O}_{\mathbf{Q}_G ( w )}] + e^{s_i \lambda} [{\mathcal O}_{\mathbf{Q}_G ( s_i w )}] & \left< \alpha_i^{\vee}, \lambda \right> < 0, s_i w >_\frac{\infty}{2} w \\
e^{\lambda} [{\mathcal O}_{\mathbf{Q}_G ( s_i w )}] & \left< \alpha_i^{\vee}, \lambda \right> = 0, s_i w >_\frac{\infty}{2} w \\
- e^{s_i\lambda} [{\mathcal O}_{\mathbf{Q}_G ( w )}] + e^{s_i \lambda} [{\mathcal O}_{\mathbf{Q}_G ( s_i w )}] & \left< \alpha_i^{\vee}, \lambda \right> > 0, s_i w >_\frac{\infty}{2} w \\
( e^{\lambda} + e^{s_i \lambda} ) [{\mathcal O}_{\mathbf{Q}_G ( w )}] & \left< \alpha_i^{\vee}, \lambda \right> < 0, s_i w <_\frac{\infty}{2} w \\
e^{\lambda} [{\mathcal O}_{\mathbf{Q}_G ( w )}] & \left< \alpha_i^{\vee}, \lambda \right> = 0, s_i w <_\frac{\infty}{2} w \\
0 & \left< \alpha_i^{\vee}, \lambda \right> > 0, s_i w <_\frac{\infty}{2} w
\end{cases}$$
modulo the ${\mathbb C}_q$-span of $\{ e^{\mu} [{\mathcal O}_{\mathbf{Q}_G ( v )}] \mid \mu \in \Sigma_* ( \lambda ), v \in W_\mathrm{af} \}$.
\end{lem}

\begin{proof}
The assertion follows from the behavior of the Hecke operators (i.e. $D_i - 1$) seen in (the $t = 0$ version of the $t^{1/2}$-twist of) \cite[Proposition 3.3]{Che95}. One can also directly prove using Corollary \ref{Lei} and the convexity results in \cite[\S 1]{Che95}.
\end{proof}

Let $\lambda \in \Lambda$. We consider two subspaces
\begin{align*}
K _{\preceq \lambda} := & \, \mbox{\rm Span}_{{\mathbb C}_q} \{ e^{\mu} [{\mathcal O}_{\mathbf{Q}_G ( w )}] \mid w \in W_\mathrm{af}, \mu \in \Sigma ( \lambda )\} \subset K_{\mathbf{H}} ( \mathbf{Q}_G^\mathrm{rat} )\\
K _{\prec \lambda} := & \, \mbox{\rm Span}_{{\mathbb C}_q} \{ e^{\mu} [{\mathcal O}_{\mathbf{Q}_G ( w )}] \mid w \in W_\mathrm{af}, \mu \in \Sigma_* ( \lambda )\} \subset K_{\mathbf{H}} ( \mathbf{Q}_G^\mathrm{rat} ).
\end{align*}
Here we stress that our span consists of finite sums.

\begin{cor}\label{Kla}
For each $\lambda \in \Lambda$, the spaces $K _{\prec \lambda} \subset K _{\preceq \lambda}$ are $\mathscr{H}_q^0$-submodules of $K_{\mathbf{H}} ( \mathbf{Q}_G^\mathrm{rat} )$.
\end{cor}

\begin{proof}
Combine Theorem \ref{H-si}, Corollary \ref{Lei}, and Lemma \ref{Lei2}.
\end{proof}

\begin{thm}\label{X-weight}
For each $\lambda \in \Lambda$, we have a unique element $C ( \lambda ) \in K _{\preceq \lambda}$ with the following properties:
\begin{enumerate}
\item We have $C ( \lambda ) \equiv D_{w_0} ( e^{w_0 \lambda} [{\mathcal O}_{\mathbf{Q}_G ( w_0 )}] )\mbox{\rm mod} K_{\prec \lambda}$;
\item For each $\beta \in Q^{\vee}_<$, we have $D_{t_{\beta}} C ( \lambda ) = q^{- \left< \beta, \lambda \right>} C ( \lambda ) Q^\beta$.
\end{enumerate}
\end{thm}

\begin{proof}[Proof of Theorem \ref{X-weight}]
We prove the assertion by induction on the inclusion relation between $\Sigma ( \lambda )$. We assume that $D_{w_0} K_{\prec \lambda}$ is spanned by the joint eigenvectors with respect to the action of $\{ D_{t_{\beta}} \}_{\beta \in Q^{\vee}_<}$, and construct $C ( \lambda ) \in D_{w_0} K_{\preceq \lambda}$. Thanks to Theorem \ref{dcf} and Theorem \ref{HQc}, the element $C ( \lambda )$ exists (in fact uniquely) as an element in $K_{\mathbf{H}} ( \mathbf{Q} ^\mathrm{rat}_G )$.

The case $\lambda = 0$ is clear by setting $C ( 0 ) := D_{w_0} ( [{\mathcal O}_{\mathbf{Q}_G ( w_0 )}] ) = [{\mathcal O}_{\mathbf{Q}_G ( e )}]$ thanks to Lemma \ref{Lei2}.

We consider the general case by induction. Write $e >_\frac{\infty}{2} w = u t_{\gamma}$ for $u \in W$ and $\gamma \in Q^{\vee}_+$. Let $\beta' \in Q^{\vee}_<$ be such that $\gamma + \beta' \in Q^{\vee}_{<}$. We have
$$\ell ( w t_{\beta'} ) = \ell ( t_{\beta'} ) - \ell ( u ) - 2 \left< \gamma, \rho \right> \hskip 5mm \text{and hence} \hskip 5mm \ell ( w t_{\beta'} ) < \ell ( t_{\beta'} )$$
by Theorem \ref{af-len}. It follows that
$$\ell ( t_{\beta + \beta'} ) > \ell ( w t_{\beta'} ) + \ell ( t_{\beta} ) \hskip 10mm \beta \in Q^{\vee}_<.$$
Consequently, the coefficient of $[{\mathcal O}_{\mathbf{Q}_G ( t_{\beta} )}]$ of $D_{t_{\beta}} ( C ( \lambda ) )$ modulo $K_{\prec \lambda}$ must be determined by the coefficient of $[{\mathcal O}_{\mathbf{Q}_G ( e )}]$ in $C ( \lambda )$ by Lemma \ref{Lei2}, that is $e^{t_{\beta} ( \lambda )} = q^{- \left< \beta, \lambda \right>} e^{\lambda}$. We set
$$C' ( \lambda ) := D_{w_0} ( e^{w_0 \lambda} [{\mathcal O}_{\mathbf{Q}_G ( w_0 )}] ).$$
Since $D_{t_{\beta}} ( C' ( \lambda ) )$ is $D_{w_0}$-invariant, we conclude that
$$D_{t_{\beta}} ( C' ( \lambda ) ) = q^{- \left< \beta, \lambda \right>} C' ( \lambda ) Q^{\beta} \mbox{\rm mod} K_{\prec \lambda}$$
by Theorem \ref{dcf}. In particular, we find that
\begin{equation}
D_{t_{\beta}} ( C' ( \lambda ) ) - q^{- \left< \beta, \lambda \right>} C' ( \lambda ) Q^{\beta} \in K_{\prec \lambda}.\label{Cdiff}
\end{equation}
By the first condition of our assertion and the induction hypothesis, we find that $D_{w_0} K_{\prec \lambda}$ is spanned by $\{ C ( \mu ) \}_{\mu \in \Sigma_* ( \lambda )}$ as a ${\mathbb C}_q Q^{\vee}$-module. These are the $D_{t_{\beta}}$-eigenvectors for each $\beta \in Q^{\vee}_<$. We expand the LHS of (\ref{Cdiff}) as
$$\sum_{\mu \in \Sigma_* ( \lambda )} C ( \mu ) b_{\lambda}^{\mu} \hskip 5mm b_{\lambda}^{\mu} \in {\mathbb C}_q Q^{\vee}_+.$$
Here we remark that this sum must be finite.

For any choices of $c_{\lambda}^{\mu} \in {\mathbb C} ( q ) [\![Q^{\vee}_+]\!]$ ($\mu \in \Lambda$), we have
\begin{align*}
D_{t_{\beta}} ( C' ( \lambda ) - & \, \sum_{\mu \in \Sigma_* ( \lambda )} C ( \mu ) c_{\lambda}^{\mu} ) - q^{- \left< \beta, \lambda \right>} ( C' ( \lambda ) - \sum_{\mu \in \Sigma_* ( \lambda )} C ( \mu ) c_{\lambda}^{\mu} )\\
& = \sum_{\mu \in \Sigma_* ( \lambda )} C ( \mu ) ( b_{\lambda}^{\mu}  - q^{- \left< \beta, \mu \right>} c_\lambda^\mu + q^{- \left< \beta, \lambda \right>} c_\lambda^\mu ).
\end{align*}
It follows that the element
\begin{equation}
C' ( \lambda ) - \sum_{\mu \in \Sigma_* ( \lambda )} c_{\lambda}^{\mu} C ( \mu ) \hskip 5mm c_{\lambda}^{\mu} := \frac{q^{\left< \beta, \mu \right>}}{1 - q^{\left< \beta, \mu - \lambda \right>}} b_{\lambda}^{\mu} \in \frac{1}{1 - q^{\left< \beta, \mu - \lambda \right>}}{\mathbb C}_q Q^{\vee}_+\label{eigC}
\end{equation}
satisfies the desired properties in ${\mathbb C} ( q ) \otimes_{{\mathbb C}_q} K _{\preceq \lambda}$ (note that we have $\left< \beta, \mu - \lambda \right> \neq 0$ for every $\mu \in \Sigma_* ( \lambda )$ for some choice of $\beta$). Here we remark that the coefficients $\{ c_{\lambda}^{\mu} \}_{\mu}$ does not depend on the choice of $\beta \in Q^{\vee}_<$ by the characterization in ${\mathbb C} ( q )\otimes_{{\mathbb C}_q} K_{\mathbf{H}} ( \mathbf{Q}^\mathrm{rat}_G )$ coming from Theorem \ref{dcf}. Thus, we conclude that (\ref{eigC}) belongs to
$$K _{\preceq \lambda} = \left( C ( q ) \otimes_{{\mathbb C}_q} K _{\preceq \lambda}  \right) \cap K_{\mathbf{H}} ( \mathbf{Q}^\mathrm{rat}_G )\subset {\mathbb C} ( q )\otimes_{{\mathbb C}_q} K_{\mathbf{H}} ( \mathbf{Q}^\mathrm{rat}_G ).$$

Therefore, we obtain the desired element $C ( \lambda )$ inside $K_{\preceq \lambda}$ by induction. Hence, the induction proceeds and we conclude the result.
\end{proof}

\begin{cor}\label{fundC}
For each $i \in \mathtt{I}$, we have
$$[{\mathcal O}_{\mathbf{Q}_G ( e )} ( \varpi_i )] = C ( \varpi_i ) \frac{1}{1 - Q^{\alpha_i^{\vee}}} := \sum_{m \ge 0} C ( \varpi_i ) Q^{m \alpha_i^{\vee}}.$$
\end{cor}

\begin{proof}
Compare $C ( \varpi_i )$ with the Pieri-Chevalley rule in \cite[Theorem 5.10]{KNS17} through Theorem \ref{dcf}.
\end{proof}

\begin{thm}[\cite{Kat18c} Theorem 3.11 and Remark 3.12]\label{qK-int}
There exists a $R ( \mathbf{G} )$-linear embedding
$$\Psi_G : qK_{\mathbf{G}} ( \mathscr B ) \hookrightarrow K_{\mathbf{G}} ( \mathbf{Q}_G^{\mathrm{rat}} )$$
such that:
\begin{enumerate}
\item $\Psi_{G} ( Q^{\beta} ) = [{\mathcal O}_{\mathbf{Q}_G ( t_{\beta} )}]$ for each $\beta \in Q^{\vee}_+$;
\item $\Psi_G ( A^{\lambda} (\bullet) ) = \Xi ( \lambda ) ( \Psi_G ( \bullet ) )$ for each $- \lambda \in \Lambda_+$. \hfill $\Box$
\end{enumerate}
\end{thm}

\section{Darboux coordinates of $K_\mathbf{G} ( \mathrm{Gr}_G )_{\mathrm{loc}}$}

We work in the same settings as in \S \ref{setup}.

\subsection{Non-commutative $K$-theoretic Peterson isomorphism}

\begin{thm}\label{K-id}
Assume that $G$ is simple. We have a $\mathscr{H}_q^\mathrm{sph}$-module embedding
$$\Phi_G : K _{\mathbf{G}} ( \mathrm{Gr} _G )_{\mathrm{loc}} \hookrightarrow K_{\mathbf{G}} ( \mathbf{Q}_G^{\mathrm{rat}} )$$
that sends $[{\mathcal O}_{\mathrm{Gr}_G ( 0 )}]$ to $[{\mathcal O}_{\mathbf{Q}_G ( e )}]$, intertwines the right product $\odot_q$ on the LHS to the tensor product on the RHS. More precisely, we have: For each $i \in \mathtt{I}$ and $\xi \in K _{\mathbf{G}} ( \mathrm{Gr} _G )$, it holds
$$\Phi ( \xi \odot_q ( e^{- \varpi_i} - e^{- \varpi_i} {\mathbf h}_i ) ) = \Xi ( - \varpi_i ) ( \xi ).$$
\end{thm}

To prove Theorem \ref{K-id}, we need:

\begin{lem}\label{e-char}
We have an isomorphism
$$\mathrm{End}_{\mathscr{H}_q^\mathrm{sph}} ( K_{\mathbf{G}} ( \mathrm{Gr}_G )_\mathrm{loc} ) \cong K_{\mathbf{G}} ( \mathrm{Gr}_G )_\mathrm{loc}$$
determined by the image of $[{\mathcal O}_{\mathrm{Gr}_G ( 0 )}]$. In particular, every $\mathscr{H}_q^\mathrm{sph}$-endomorphism of $K_{\mathbf{G}} ( \mathrm{Gr}_G )_\mathrm{loc}$ is obtained by the composition of the right multiplication of $K_{\mathbf{G}} ( \mathrm{Gr}_G )$ followed by the application of ${\mathtt t}_{\gamma}$ for some $\gamma \in \mathbb{X}_*$.
\end{lem}

\begin{proof}
As the torus factor $H'$ of $G$ produces $K_{\mathbf{H}'} ( \mathrm{Gr}_{H'} ) = K_{\mathbf{H}'} ( \mathrm{Gr}_{H'} )_\mathrm{loc}$ as a (${\mathbb C}_q$-)tensor factors of $K_{\mathbf{G}} ( \mathrm{Gr}_G )$ and $K_{\mathbf{G}} ( \mathrm{Gr}_G )_\mathrm{loc}$ that are isomorphic to a Heisenberg algebra, we can factor out such a factor to assume that $G$ is simple.

Since $K_{\mathbf{G}} ( \mathrm{Gr}_G )$ affords a regular representation of $\mathscr{H}_q^\mathrm{sph}$, we see that
$$\mathrm{End}_{\mathscr{H}_q^\mathrm{sph}} ( K_{\mathbf{G}} ( \mathrm{Gr}_G ) ) \cong K_{\mathbf{G}} ( \mathrm{Gr}_G ).$$
Here the isomorphism is obtained by the right multiplication and hence $f \in \mathrm{End}_{\mathscr{H}_q^\mathrm{sph}} ( K_{\mathbf{G}} ( \mathrm{Gr}_G ) )$ is determined by $f ( 1 )$.

Let $f \in \mathrm{End}_{\mathscr{H}_q^\mathrm{sph}} ( K_{\mathbf{G}} ( \mathrm{Gr}_G ) )$. By construction of $K_{\mathbf{G}} ( \mathrm{Gr}_G )_\mathrm{loc}$, we can take $\beta \in \mathbb{X}_*^{-}$ such that $f ( 1 ) \odot_q {\mathtt t}_{\beta} \in K_{\mathbf{G}} ( \mathrm{Gr}_G )$. It follows that $1 \mapsto f ( 1 ) \odot_q {\mathtt t}_{\beta}$ uniquely gives rise to an element of $\mathrm{End}_{\mathscr{H}_q^\mathrm{sph}} ( K_{\mathbf{G}} ( \mathrm{Gr}_G ) )$. Since the right action of ${\mathtt t}_{\beta}$ is invertible, we conclude that $f ( 1 ) \in K_{\mathbf{G}} ( \mathrm{Gr}_G )_\mathrm{loc}$ already defines an element of $\mathrm{End}_{\mathscr{H}_q^\mathrm{sph}} ( K_{\mathbf{G}} ( \mathrm{Gr}_G )_\mathrm{loc} )$ uniquely as required.
\end{proof}

\begin{proof}[Proof of Theorem \ref{K-id}]
Thanks to \cite[Proposition 2.13 and Remark 2.14]{Kat18c}, we have a $\mathscr{H}_q^\mathrm{sph}$-module embedding
$$\Phi_G : K _{\mathbf{G}} ( \mathrm{Gr} _G )_{\mathrm{loc}} \hookrightarrow K_{\mathbf{G}} ( \mathbf{Q}_G^{\mathrm{rat}} )$$
that sends ${\mathtt t}_{\beta}$ to $[{\mathcal O}_{\mathbf{Q}_G ( t_{\beta} )}]$ as the (left) $D_{w_0}$-invariant part of the corresponding embedding of $\mathbf{H}$-equivariant $K$-groups (cf. Corollary \ref{ncGr}).

From the construction of the map $\Phi_G$ through its $\mathbf{H}$-equivariant variants, we see that $K_{\mathbf{G}} ( \mathbf{Q}_G^{\mathrm{rat}} )$ is the completion of the image of $\Phi_G$ with respect to the topology given in \S \ref{sif}. In view of Lemma \ref{e-char}, we find that $\Xi ( \lambda )$ defines an element of $\mathrm{End}_{\mathscr{H}_q^\mathrm{sph}} ( K_{\mathbf{G}} ( \mathrm{Gr}_G )_\mathrm{loc} )$ if and only if $\Xi ( \lambda ) ( [{\mathcal O}_{\mathbf{Q}_{G} ( e )}] )$ is a finite linear combination of $\{ [{\mathcal O}_{\mathbf{Q}_G ( w )}]\}_{w \in W_\mathrm{af}}$. This happens for $\lambda = - \varpi_i$ by Lemma \ref{div}. Namely, we have $\Xi ( - \varpi_i ) = e ^{- \varpi_i} ( \mathrm{id} - H_i )$. Again by \cite[Proposition 2.13 and Remark 2.14]{Kat18c}, we conclude that $\Xi ( - \varpi_i )$ induces a(n left $\mathscr{H}_q^\mathrm{sph}$-module) endomorphism of $K _{\mathbf{G}} ( \mathrm{Gr} _G )_{\mathrm{loc}}$ that sends $[{\mathcal O}_{\mathrm{Gr}_G ( 0 )}]$ to $e ^{-\varpi_i} ( \mathrm{id} - {\mathbf h}_i )$. Therefore, we conclude that the equality in the assertion.
\end{proof}

\begin{cor}\label{ncGr}
Assume that $G$ is simple. We have a $\mathscr{H}_q$-module embedding
$$\Phi : K _{\mathbf{H}} ( \mathrm{Gr} _G )_{\mathrm{loc}} \hookrightarrow K_{\mathbf{H}} ( \mathbf{Q}_G^{\mathrm{rat}} )$$
extending $\Phi_G$ with the following properties:
\begin{enumerate}
\item we have $\Phi ( [{\mathcal O}_{\mathrm{Gr}_G ( u t_{\beta} )}] ) = [{\mathcal O}_{\mathbf{Q}_G ( u t_{\beta} )}]$ for $u \in W$ and $\beta \in Q^{\vee}_<$;
\item the right multiplication by ${\mathtt t}_{\gamma}$ corresponds to the right translation by $\gamma \in Q^{\gamma}$ for each $\gamma \in Q^{\vee}$;
\item For each $i \in \mathtt{I}$ and $\xi \in K _{\mathbf{H}} ( \mathrm{Gr} _G )_{\mathrm{loc}}$, it holds
$$\Phi ( \xi \odot_q {\mathbf h}_i ) = H_i ( \xi ).$$
\end{enumerate}
\end{cor}

\begin{proof}
Notice that we have $[{\mathcal O}_{\mathscr B}] \in K_\mathbf{G} ( \mathscr B )$ in Theorem \ref{finK}, that results in $\mathscr{H}_q ( \mathtt{I} ) K_\mathbf{G} ( \mathscr B ) = K_\mathbf{H} ( \mathscr B )$ by Theorem \ref{finK} 5). The comparison of Theorem \ref{finK} with Theorem \ref{sH-reg} yields
$$\mathscr{H}_q K _{\mathbf{G}} ( \mathrm{Gr} _G )_{\mathrm{loc}} = {\mathbb C}_q [H] K _{\mathbf{G}} ( \mathrm{Gr} _G )_{\mathrm{loc}} = K _{\mathbf{H}} ( \mathrm{Gr} _G )_{\mathrm{loc}},$$
while the comparison of Theorem \ref{finK} with Theorem \ref{H-si} yields
$$\mathscr{H}_q K _{\mathbf{G}} ( \mathbf{Q}_G^{\mathrm{rat}} ) = {\mathbb C}_q [H] K _{\mathbf{G}} ( \mathbf{Q}_G^{\mathrm{rat}} ) = K _{\mathbf{H}} ( \mathbf{Q}_G^{\mathrm{rat}} )$$
as $\mathscr{H}_q$-modules with the desired properties except for the first item. The first item follows from \cite[Proposition 2.13 and Remark 2.14]{Kat18c}.
\end{proof}

\begin{cor}\label{c-char}
Keep the setting of Lemma \ref{e-char}. Each $\mathscr{H}_q^\mathrm{sph}$-module endomorphism of $K_{\mathbf{G}} ( \mathrm{Gr}_G )_\mathrm{loc}$ is continuous with respect to the the topology induced from the topology of $K_{\mathbf{H}} ( \mathbf{Q}_{[G,G]}^\mathrm{rat} )$ $($defined in $\S \ref{sif})$ under $\Phi_{[G,G]}$ $($by extending the scalar from ${\mathbb C}_q$ to $K_{\mathbf{H}'} ( \mathrm{Gr}_{H'} ))$. \hfill $\Box$
\end{cor}

\subsection{Darboux generators of $K_{\mathbf{G}} ( \mathrm{Gr}_G )_\mathrm{loc}$}

For each $i \in \mathtt{I}$, we set
$$\phi_i := e ^{- \varpi_i} ( \mathrm{id} - \odot_q {\mathbf h}_i ) \in K_{\mathbf{G}} ( \mathrm{Gr}_G )_\mathrm{loc} \cong \mathrm{End}_{\mathscr{H}_q^\mathrm{sph}} ( K_{\mathbf{G}} ( \mathrm{Gr}_G )_\mathrm{loc} ).$$

\begin{lem}\label{Heis-comp}
Assume that $G$ is simple. There exists a unique $\mathscr{H}_q^\mathrm{sph}$-module endomorphism $\xi_i$ on $K_{\mathbf{G}} ( \mathrm{Gr}_G )_\mathrm{loc}$ for each $i \in \mathtt{I}$ such that
$$\xi_i \circ \phi_i = ( \mathrm{id} - {\mathtt t}_{\alpha^{\vee}_i} ) \hskip 3mm \text{and} \hskip 3mm \phi_i \circ \xi_i = ( \mathrm{id} - q {\mathtt t}_{\alpha^{\vee}_i} ).$$
In addition, we have
$$\xi_i \circ \xi_j = \xi_j \circ \xi_i, \hskip 3mm \xi_i \circ \phi_j = \phi_j \circ \xi_i, \hskip 3mm \text{and} \hskip 3mm \phi_i \circ \phi_j = \phi_j \circ \phi_i \hskip 5mm i \neq j.$$
\end{lem}

\begin{proof}
We transplant these endomorphisms to $K_{\mathbf{G}} ( \mathbf{Q}_G^\mathrm{rat} )$. We set $\phi_i$ to be the endomorphism $\Xi ( - \varpi_i )$, and $\xi_i$ to be the endomorphism $( 1 - Q^{\alpha_i^{\vee}} ) \Xi ( \varpi_i )$ for each $i \in \mathtt{I}$. A priori, $\xi_i$ only defines a $\mathscr{H}_q^\mathrm{sph}$-endomorphism of the completion of $K_{\mathbf{G}} ( \mathrm{Gr}_G )_\mathrm{loc}$ that is isomorphic to $K_{\mathbf{G}} ( \mathbf{Q}^{\mathrm{rat}} )$ via (the natural extension of) $\Phi_G$.  To see that $\xi_i$ defines an endomorphism of $K_{\mathbf{G}} ( \mathrm{Gr}_G )_\mathrm{loc}$, it suffices to see that whether $( 1 - Q^{\alpha_i^{\vee}} ) \Xi ( \varpi_i )$ defines an endomorphism of $K_{\mathbf{G}} ( \mathrm{Gr}_G )_\mathrm{loc}$. By Corollary \ref{c-char}, it suffices to see that
$$( 1 - Q^{\alpha_i^{\vee}} ) \Xi ( \varpi_i ) ( [{\mathcal O}_{\mathbf{Q}_G ( e ) }]) = [{\mathcal O}_{\mathbf{Q}_G ( e )} ( \varpi_i)] - [{\mathcal O}_{\mathbf{Q}_G ( t_{\alpha_i^{\vee}} )} ( \varpi_i)]$$
is a finite linear combination of $\{ [{\mathcal O}_{\mathbf{Q}_G ( w ) }] \}_{w \in W_\mathrm{af}}$, that is the content of Corollary \ref{fundC}. Now the commutation relation between them follow from Lemma \ref{csq}.
\end{proof}

\begin{cor}
Keep the setting of Lemma \ref{Heis-comp}. Then, the elements
\begin{equation}
\Phi_G ( \left( \prod_{i \in \mathtt{I}, \left< \alpha_i^{\vee}, \lambda \right> <0} \xi_i^{- \left< \alpha_i^{\vee}, \lambda \right>} \right) \left( \prod_{i \in \mathtt{I}, \left< \alpha_i^{\vee}, \lambda \right> >0} \phi_i^{\left< \alpha_i^{\vee}, \lambda \right>} \right) [{\mathcal O}_{\mathrm{Gr}_G ( 0 )}] ) \hskip 5mm \lambda \in \Lambda\label{ClaG}
\end{equation}
are ${\mathbb C}_q Q^{\vee}$-linearly independent in $K_{\mathbf{G}} ( \mathbf{Q}^\mathrm{rat} )$. In particular, there is no additional relations among $\{ \xi_i, \phi_i \}_{i \in \mathtt{I}}$ $($to those presented in Lemma $\ref{Heis-comp})$.
\end{cor}

\begin{proof}
The elements in (\ref{ClaG}) are non-zero since $\phi_i$ and $\xi_i$ defines $\Xi ( - \varpi_i )$ and $( 1 - Q^{\alpha_i^{\vee}} ) \Xi ( \varpi_i )$ for each $i \in \mathtt{I}$, that are invertible in $K_{\mathbf{G}} ( \mathbf{Q}^\mathrm{rat} )$. In view of Theorem \ref{dcf}, these elements belong to different (joint) eigenspaces with respect to the action of $D_{t_{\beta}}$ ($\beta \in Q^{\vee}_<$), and hence they are ${\mathbb C}_q Q^{\vee}$-linearly independent. If we have an additional relation among $\{ \xi_i, \phi_i \}_{i \in \mathtt{I}}$, then it violates the linear independence of (\ref{ClaG}). Consequently, it is impossible and hence the relations presented in Lemma \ref{Heis-comp} is optimal.
\end{proof}

We set $qK_{\mathbf{H}} ( \mathscr B )_\mathrm{loc} := {\mathbb C} Q^{\vee} \otimes_{{\mathbb C} Q^{\vee}_+} qK_{\mathbf{H}} ( \mathscr B )$.

\begin{thm}\label{ncPet}
Assume that $G$ is simple. We have a $\mathscr{H}_q$-module isomorphism
$$\Psi^{-1} \circ \Phi : K _{\mathbf{H}} ( \mathrm{Gr} _G )_{\mathrm{loc}} \hookrightarrow qK_{\mathbf{H}} ( \mathscr B )_\mathrm{loc}$$
with the following properties:
\begin{enumerate}
\item We have $(\Psi^{-1} \circ \Phi) ( [{\mathcal O}_{\mathrm{Gr}_G ( u )}] {\mathtt t}_{\beta} ) = [{\mathcal O}_{\mathscr B ( u )}]Q^{\beta}$ for $u \in W$ and $\beta \in Q^{\vee}$;
\item For each $i \in \mathtt{I}$ and $\xi \in K _{\mathbf{G}} ( \mathrm{Gr} _G )_{\mathrm{loc}}$, it holds
$$(\Psi^{-1} \circ \Phi) ( \phi_i ( \xi ) ) = A^{- \varpi_i} \left( (\Psi^{-1} \circ \Phi) ( \xi ) \right).$$
\end{enumerate}
\end{thm}

\begin{proof}
The existence of the isomorphism and the first item follows from Corollary \ref{ncGr} and \cite[Theorem 4.1 and its proof]{Kat18c}. The second item is a consequence of the identification of $\phi_i$ with $\Xi ( - \varpi_i )$ under $\Phi$.
\end{proof}

\begin{prop}\label{resGH}
We have a ${\mathbb C}_q$-algebra embedding
$$K_{\mathbf{G}} ( \mathrm{Gr}_G )_\mathrm{loc} \hookrightarrow K_{\mathbf{H}} ( \mathrm{Gr}_H )$$
given by ${\mathtt t}_{\gamma} \mapsto {\mathtt t}_{\gamma}$ $(\gamma \in \mathbb{X}_*)$, $e^{\lambda} \mapsto e^{\lambda}$ $(\lambda \in \mathbb{X}^* ( G ) )$, and
$$\phi_i \mapsto e^{- \varpi_i}, \xi_i \mapsto ( 1 - {\mathtt t}_{\alpha_i^{\vee}} ) e^{\varpi_i} \hskip 2mm (i \in \mathtt{I}).$$
\end{prop}

\begin{rem}
{\bf 1)} Taking Theorem \ref{K-id} into account, Proposition \ref{resGH} follows as the symmetrization of a result of Daniel Orr \cite[(0.2) and Theorem 5.1]{Orr20} when $G$ is simple of types $\mathsf{ADE}$; {\bf 2)} By taking the $q = 1$ specialization, this embedding becomes an embedding of commutative algebras that gives rise to an isomorphism between their fraction fields.
\end{rem}

\begin{proof}[Proof of Proposition \ref{resGH}]
The element $e^{\lambda}$ $(\lambda \in \mathbb{X}^* ( G ))$ and $t_{\gamma}$ ($\gamma \in \mathbb{X}_* ( G )$) generates a common subalgebras of the both sides. If we add these elements to the case of $G =[G,G]$, then we obtain the whole embedding. Thus, we can assume that $G$ is simple.

The commutation relation is preserved by a direct calculation. Thus, it remains to see that the elements in Proposition \ref{resGH} generates the whole $K_{\mathbf{G}} ( \mathrm{Gr}_G )_\mathrm{loc}$. We have
\begin{align*}
\left( \prod_{j = 0}^{m-1} ( 1 - q^{-j} Q^{\alpha_i^{\vee}}) \right) \Xi ( m \varpi_i ) & = \left( \prod_{j = 0}^{m-1} ( 1 - q^{-j} Q^{\alpha_i^{\vee}}) \right) \Xi ( \varpi_i )^m\\
= ( 1 - Q^{\alpha_i^{\vee}}) \Xi ( \varpi_i ) & \left( \prod_{j = 0}^{m-2} ( 1 - q^{-j} Q^{\alpha_i^{\vee}}) \right) \Xi ( \varpi_i )^{m-1}\\
& = \cdots\\
& = \left( ( 1 - Q^{\alpha_i^{\vee}}) \Xi ( \varpi_i ) \right)^m.
\end{align*}

The Pieri-Chevalley rule \cite[Theorem 5.13]{KNS17} is ${\mathbb C} [\mathbf{H}]$-linear, and the action of $\Xi ( \varpi_i )$ sends the Schubert class $[{\mathcal O}_{\mathbf{Q} ( w )}]$ ($w \in W_\mathrm{af}$) to a possibly infinite sum
$$e^{\mu} [{\mathcal O}_{\mathbf{Q} ( v )}] \hskip 5mm w \ge_\frac{\infty}{2} v \in W_\mathrm{af}, \mu \in \Sigma ( \varpi_i ).$$
In view of Corollary \ref{fundC}, the action of $( 1 - Q^{\alpha_i^{\vee}})\Xi ( \varpi_i )$ sends the Schubert class ${\mathcal O}_{\mathbf{Q} ( e )}$ to a linear combination of
$$e^{v \varpi_i} [{\mathcal O}_{\mathbf{Q} ( v )}] \hskip 5mm v \in W$$
modulo the formal sum of $e^{\mu} [{\mathcal O}_{\mathbf{Q} ( v )}]$ for $\mu \in \Sigma_* ( \varpi_i )$ and $v \in W_\mathrm{af}$. In addition, the term of the shape $e^{\varpi_i} [{\mathcal O}_{\mathbf{Q} ( v )}]$ must be $e^{\varpi_i} [{\mathcal O}_{\mathbf{Q} ( e )}]$ by inspection (using Lemma \ref{Lei2}).

We have $[Q^{\alpha^{\vee}_i}, \Xi ( \pm \varpi_j )] = 0$ for $i \neq j$ (Lemma \ref{csq}). In view of Theorem \ref{dcf} and the fact that $Q^{\beta}$ ($\beta \in Q^{\vee}$) commutes with the $\mathscr{H}_q$-action, we deduce that
\begin{equation}
\left( \prod_{i \in \mathtt{I}, \left< \alpha_i^{\vee}, \lambda \right> < 0} \Xi ( - \varpi_i ) ^{- \left< \alpha_i^{\vee}, \lambda \right>} \right) \prod_{i \in \mathtt{I}, \left< \alpha_i^{\vee}, \lambda \right> > 0} \left( ( 1 - Q^{\alpha_i^{\vee}}) \Xi ( \varpi_i ) \right)^{\left< \alpha_i^{\vee}, \lambda \right>}[{\mathcal O}_{\mathbf{Q} ( e )}]\label{Cpres}
\end{equation}
is a (joint) eigenfunctions of $D_{t_{\gamma}}$ ($\gamma \in Q^{\vee}_<$). By Theorem \ref{X-weight}, we deduce that the ${\mathbb C} _q$-coefficient of the term $e^{\mu}[{\mathcal O}_{\mathbf{Q} ( w )}]$ ($w \in W_\mathrm{af}$) in (\ref{Cpres}) is non-zero only if $\mu \in \Sigma ( \lambda )$, and the class (\ref{Cpres}) is uniquely determined by the ${\mathbb C}_q$-coefficients of $e^{\lambda}[{\mathcal O}_{\mathbf{Q} ( t_{\beta} )}]$ for all $\beta \in Q^{\vee}$.

We first examine the case $\lambda \in \Lambda_+$. Since $\lambda \in \Sigma ( \lambda )$ is an extremal point, we find that $( \lambda + \varpi_i) \in \Sigma ( \lambda + \varpi_i )$ is attained uniquely as the sum of elements from $\Sigma ( \lambda )$ and $\Sigma ( \varpi_i )$ whenever $\lambda \in \Lambda_+$ (namely the sum of $\lambda \in \Sigma ( \lambda )$ and $\varpi_i \in \Sigma ( \varpi_i )$). From this, we find that the ${\mathbb C} _q$-coefficient of the term $e^{\lambda}[{\mathcal O}_{\mathbf{Q} ( w )}]$ ($w \in W_\mathrm{af}$) is just one for $w = e$ and it is zero for $w \neq e$ by induction from the case $\lambda = 0 \in \Lambda_+$. Since the both sides are (joint) eigenfunctions of $D_{t_{\gamma}}$ ($\gamma \in Q^{\vee}_<$) with common (joint) eigenvalues whose coefficients of $e^{\lambda}[{\mathcal O}_{\mathbf{Q} ( t_{\beta} )}]$ ($\beta \in Q^{\vee}$) are the same, we conclude
\begin{align*}
C_{\lambda} = \left( \prod_{i \in \mathtt{I}} ( ( 1 - Q^{\alpha_i^{\vee}}) \Xi ( \varpi_i ) )^{\left< \alpha_i^{\vee}, \lambda \right>}\right) [{\mathcal O}_{\mathbf{Q}_G ( e )}] \hskip 5mm \lambda \in \Lambda_+
\end{align*}
by Theorem \ref{X-weight}.

Now we consider general $\lambda \in \Lambda$. Find $\mathtt{J} \subset \mathtt{I}$, $\lambda_+ \in \Lambda_+^{(\mathtt{I} \setminus \mathtt{J})}$, and $\lambda_- \in \Lambda_+^\mathtt{J}$ such that $\lambda = \lambda_+ - \lambda_-$. When $\lambda_- = 0$, then the weight $e^{\lambda_+}$ appears only as a coefficient of $[{\mathcal O}_{\mathbf{Q} ( e )}]$ in $C_{\lambda_+}$ by the previous paragraph. If we want to represent $\lambda \in \Lambda$ by a sum of elements from $\Sigma ( \lambda_+ )$ and $\Sigma ( - \lambda _- ) = \Sigma ( - w_0 ^{\mathtt{J}} \lambda_- )$, then we have necessarily $\lambda = \lambda_+ - \lambda_-$ since $\lambda$ belongs to the same $W$-orbit as $\lambda_+ - w_0 ^{\mathtt{J}} \lambda_- \in \Lambda_+$. The coefficient of $e^{- \lambda_-}[{\mathcal O}_{\mathbf{Q} ( t_{\beta} ) }]$ in $C_{- \lambda_-}$ is one if $\beta = 0$, and zero if $\beta \neq 0$ by \cite[Corollary 3.15]{NOS18} (note that the set of paths $\mathrm{QLS} ( \lambda_- )$ contains a unique path whose weight is of the form $q^* e^{\lambda_-}$ since it represents the character of a local Weyl module, and such a path contributes to $[{\mathcal O}_{\mathbf{Q} ( e )}]$ only once by the shape of the formula). It follows that the coefficient of $e^{\lambda}[{\mathcal O}_{\mathbf{Q} ( t_{\beta} ) }]$ in $C_{\lambda}$ is one if $\beta = 0$, and zero if $\beta \neq 0$. Therefore, we conclude that (\ref{Cpres}) must be $C_{\lambda}$ for every $\lambda \in \Lambda$.

It follows that
$$\Phi_G^{-1} ( C_\lambda ) = \left( \prod_{i \in \mathtt{I}, \left< \alpha_i^{\vee}, \lambda \right> <0} \xi_i^{- \left< \alpha_i^{\vee}, \lambda \right>} \right) \left( \prod_{i \in \mathtt{I}, \left< \alpha_i^{\vee}, \lambda \right> > 0} \phi_i^{\left< \alpha_i^{\vee}, \lambda \right>} \right) [{\mathcal O}_{\mathrm{Gr}_G ( 0 )}] \in K_{\mathbf{G}} ( \mathrm{Gr}_G )_\mathrm{loc}.$$
By Theorem \ref{X-weight} and Theorem \ref{K-id} (cf. Corollary \ref{ncGr}), one sees that $\{\Phi_G^{-1} ( C_\lambda ) \}_{\lambda \in P}$ forms a ${\mathbb C}_q Q^{\vee}$-basis of $K_{\mathbf{G}} ( \mathrm{Gr}_G )_\mathrm{loc}$. Thus, the elements in the assertion generates the whole $K_{\mathbf{G}} ( \mathrm{Gr}_G )_\mathrm{loc}$, and we have the desired inclusion.
\end{proof}

\begin{cor}\label{genKG}
The ${\mathbb C}_q$-algebra $K_{\mathbf{G}} ( \mathrm{Gr}_G )_\mathrm{loc}$ is generated by ${\mathtt t}_{\gamma}$ $(\gamma \in \mathbb{X}_*)$, $e^{\lambda}$ $(\lambda \in \mathbb{X}^* ( G ) )$, and $\phi_i, \xi_i$ $(i \in \mathtt{I})$. \hfill $\Box$
\end{cor}

\begin{cor}\label{absDarboux}
We have a ${\mathbb C}_q$-algebra embedding
$$K_{\mathbf{G}} ( \mathrm{Gr}_G ) \hookrightarrow K_{\mathbf{H}} ( \mathrm{Gr}_H )$$
obtained by the restriction of the domain in Proposition $\ref{resGH}$. \hfill $\Box$
\end{cor}

\section{Induction equivalence for flag varieties}

We work under the setting of \S \ref{sif}. In particular, $G$ is simple. The goal of this section is to present the following:

\begin{thm}\label{qK-surj}
Let $L = L ^\mathtt{J}$ be the standard Levi subgroup corresponding to $\mathtt{J} \subset \mathtt{I}$. There is a ${\mathbb C}_q \mathbb{X}^* ( G )$-linear surjective map
$$qK_{\mathbf{G}} ( \mathscr B )^{\wedge} \longrightarrow qK_{\mathbf{L}} ( \mathscr B^{\mathtt{J}} )^{\wedge}$$
sending $[{\mathcal O}_{\mathscr B}]$ to $[{\mathcal O}_{\mathscr B^{\mathtt{J}}}]$, and it intertwines the action of $A^{\pm \varpi_i}$ to the action of $A^{\pm \varpi_i}$ for each $i \in \mathtt{I}$. In addition, the kernel of this map is generated by $Q^{-w_0 \alpha_i^{\vee}}$ for $i \in ( \mathtt{I} \setminus \mathtt{J} )$.
\end{thm}

Theorem \ref{qK-surj} is proved in subsection \S \ref{sec:qKs} via explicit calculation. We record more general result as Theorem \ref{qK-surj-gen}.

\subsection{Reductions of quasi-map spaces}

\begin{lem}\label{Q-ind}
Let $\beta \in -w_0 Q^{\vee}_{\mathtt{J}, +}$. We have an isomorphism
$$\mathscr{Q}_{G} ( \beta ) \cong G \times_{P ^\mathtt{J}} \mathscr{Q} _{L ^\mathtt{J}} ( \beta ),$$
where the the unipotent radical of $P ^\mathtt{J}$ acts on $\mathscr{Q} _{L ^\mathtt{J}} ( \beta )$ trivially.
\end{lem}

\begin{proof}
The definition of $\mathscr{Q} _G ( \beta )$ is to consider a collection of ${\mathbb C}$-lines $\ell _\lambda$ in $V ( \lambda ) \otimes {\mathbb C} [z]$ for each $\lambda \in \Lambda_+$ (cf. \cite[Lemma 3.28 and Theorem 3.30]{Kat18d}). In particular, such collections must satisfy the same relation as ${\mathbb C} (\!(z)\!)$-lines if we extend the scalar. By (\ref{Pemb}), we have $\ell_{\varpi_i} \in V ( \varpi_i ) \subset V ( \varpi_i ) \otimes {\mathbb C} (\!( z )\!)$ for $i \not\in \mathtt{J}$. Thanks to the Pl\"ucker relations (see e.g. \cite[Theorem 1.1.2]{BG}), we know that $\ell_{\varpi_i} \in G \mathbf{v}_{\varpi_i}$ for $i \not\in \mathtt{J}$. Therefore, a point of $\mathscr{Q}_{G} ( \beta )$ is $G$-conjugate to a point represented as a collection of ${\mathbb C}$-lines $\{\ell'_\lambda\}_{\lambda \in \Lambda_+}$ such that $\ell'_{\varpi_i} = {\mathbb C} \mathbf{v}_{\varpi_i}$ for $i \not\in \mathtt{J}$. By the Pl\"ucker relation (considered over the field ${\mathbb C} (\!(z)\!)$), it follows that $\ell'_{\varpi_j} \in L^\mathtt{J} (\!(z)\!) \mathbf{v}_{\varpi_j}$ for $j \in \mathtt{J}$ in this case. This forces our point to belong to $\mathscr{Q} _{L ^\mathtt{J}} ( \beta )$, with the trivial action of the unipotent radical of $P ^\mathtt{J}$. From these, we deduce a surjective homomorphism $G \times_{P ^ \mathtt{J} } \mathscr{Q} _{L ^ \mathtt{J} } ( \beta ) \rightarrow \mathscr{Q} _{G} ( \beta )$. Since the $G$-orbit of $\{ {\mathbb C} \mathbf{v}_{\varpi_i} \}_{i \not\in \mathtt{J}}$ is $\mathscr B_{\mathtt{J}}$, this map is a homeomorphism between projective normal varieties. It must be an isomorphism by the Zariski main theorem.
\end{proof}

\begin{cor}\label{H-surj}
Keep the setting of Lemma \ref{Q-ind}. For each $\lambda \in \Lambda_+$, we have a surjective $(P^\mathtt{J}$-module$)$ map
$$H^0 ( \mathscr{Q}_{G} ( \beta ), {\mathcal O}_{\mathscr{Q}_{G} ( \beta )} ( \lambda ) ) \longrightarrow \!\!\!\!\! \rightarrow H^0 ( \mathscr{Q}_{L ^ \mathtt{J} } ( \beta ), {\mathcal O}_{\mathscr{Q}_{L ^ \mathtt{J} } ( \beta )} ( \lambda ) ).$$
\end{cor}

\begin{proof}
In view of \cite[Theorem 3.33]{Kat18d}, we have a surjection
$$H^0 ( \mathbf{Q}_{L ^ \mathtt{J} } ( e ), {\mathcal O}_{\mathbf{Q}_{L ^ \mathtt{J} } ( e )} ( \lambda ) ) \longrightarrow \!\!\!\!\! \rightarrow H^0 ( \mathscr{Q}_{L ^ \mathtt{J} } ( \beta ), {\mathcal O}_{\mathscr{Q}_{L ^ \mathtt{J} } ( \beta )} ( \lambda ) ).$$
In view of \cite[Theorem 1.2]{Kat18d}, the $H$-weight of $H^0 ( \mathbf{Q}_{L ^ \mathtt{J} } ( e ), {\mathcal O}_{\mathbf{Q}_{L ^ \mathtt{J} } ( e )} ( \lambda ) )$ is concentrated in $w_0 \lambda + Q^{\vee}_{\mathtt{J},+}$. Since $\mathscr{Q}_{L ^ \mathtt{J} } ( \beta )$ is stable under the $L ^ \mathtt{J} $-action, it follows that $H^0 ( \mathbf{Q}_{L ^ \mathtt{J} } ( e ), {\mathcal O}_{\mathbf{Q}_{L ^ \mathtt{J} } ( e )} ( \lambda ) )$ is a direct sum of finite-dimensional irreducible $L ^ \mathtt{J} $-module. Since $\left< \alpha_i^{\vee}, \alpha_j \right> \le 0$ for every $i \in \mathtt{I} \setminus \mathtt{J}$ and $j \in \mathtt{J}$ (and $\lambda \in \Lambda_+$), every finite-dimensional irreducible $L ^ \mathtt{J} $-submodule in $H^0 ( \mathbf{Q}_{L ^ \mathtt{J} } ( e ), {\mathcal O}_{\mathbf{Q}_{L ^ \mathtt{J} } ( e )} ( \lambda ) )$ is an irreducible $[L ^ \mathtt{J} , L ^ \mathtt{J} ]$-module twisted by a weight $\mu$ such that $\left< \alpha_i^{\vee}, \mu \right> \le 0$ for every $i \in ( \mathtt{I} \setminus \mathtt{J} )$. It follows that
$$H^0 ( \mathscr{Q}_{L ^ \mathtt{J} } ( \beta ), {\mathcal O}_{\mathscr{Q}_{L ^ \mathtt{J} } ( \beta )} ( \lambda ) )^* \hookrightarrow H^0 ( G / P ^ \mathtt{J} , \mathcal V )^*,$$
where $\mathcal V$ is the $G$-equivariant vector bundle obtained by inflating the $P ^ \mathtt{J} $-module $H^0 ( \mathscr{Q}_{L ^ \mathtt{J} } ( \beta ), {\mathcal O}_{\mathscr{Q}_{L ^ \mathtt{J} } ( \beta )} ( \lambda ) )$. By the Leray spectral sequence, we have
$$H^0 ( G / P ^ \mathtt{J} , \mathcal V ) \cong H^0 ( \mathscr{Q}_{G} ( \beta ), {\mathcal O}_{\mathscr{Q}_{G} ( \beta )} ( \lambda ) ).$$
Therefore, we conclude
$$H^0 ( \mathscr{Q}_{G} ( \beta ), {\mathcal O}_{\mathscr{Q}_{G} ( \beta )} ( \lambda ) ) \cong H^0 ( G / P ^ \mathtt{J} , \mathcal V ) \longrightarrow \!\!\!\!\! \rightarrow H^0 ( \mathscr{Q}_{L ^ \mathtt{J} } ( \beta ), {\mathcal O}_{\mathscr{Q}_{L ^ \mathtt{J} } ( \beta )} ( \lambda ) )$$
as desired.
\end{proof}

Let $\mathfrak{g} [z] := \mathfrak{g} \otimes {\mathbb C} [z]$ be the Lie algebra obtained by scalar extension. Each $\lambda \in \Lambda_+$ defines a $\mathfrak{g} [z]$-module ${\mathbb W} _G ( \lambda )$ that is the global Weyl module in the sense of \cite{CP01}. By expressing $\lambda \in \Lambda_+$ as the sum $\lambda = \lambda^{(1)} + \lambda^{(2)}$ of $\lambda^{(1)} \in \Lambda_+^{\mathtt{J}}$ and $\lambda^{(2)} \in \Lambda^{\mathtt{I} \setminus \mathtt{J}}$, we have the corresponding global Weyl module ${\mathbb W} _{[L ^ \mathtt{J}, L ^ \mathtt{J}]} ( \lambda^{(1)} )$ of $[\mathfrak{l}^{\mathtt{J}}, \mathfrak{l}^{\mathtt{J}}][z]$ (by taking the external tensor product of the global Weyl modules for all simple factors of $[L^{\mathtt{J}}, L^{\mathtt{J}}]$). We define
$${\mathbb W} _{L ^ \mathtt{J}} ( \lambda ) := {\mathbb W} _{[L ^ \mathtt{J}, L ^ \mathtt{J}]} ( \lambda^{(1)} ) \otimes {\mathbb C}_{\lambda^{(2)}},$$
that is a $( [\mathfrak{l}^{\mathtt{J}}, \mathfrak{l}^{\mathtt{J}}][z] + \mathfrak{h} )$-module.

\begin{cor}\label{inclWeyl}
For each $\lambda \in \Lambda_+$, we have an inclusion ${\mathbb W} _{L ^ \mathtt{J}} ( \lambda ) \subset {\mathbb W} _G ( \lambda )$ between global Weyl modules.
\end{cor}

\begin{proof}
In view of \cite[Proposition 5.1]{BF14b} (cf. \cite[Theorem 3.33]{Kat18d}), we have
\begin{equation}
\bigcup_{\beta \in -w_0 Q^{\vee}_{\mathtt{J},+}} H^0 ( \mathscr{Q}_{L^\mathtt{J}} ( \beta ), {\mathcal O}_{\mathscr{Q}_{L^\mathtt{J}} ( \beta )} ( -w_0 \lambda ) )^* = {\mathbb W}_{L ^ \mathtt{J}} ( \lambda ).\label{ind-W}
\end{equation}

By Corollary \ref{H-surj}, we have
$$H^0 ( \mathscr{Q}_{L^\mathtt{J}} ( \beta ), {\mathcal O}_{\mathscr{Q}_{L^\mathtt{J}} ( \beta )} ( -w_0 \lambda ) )^* \hookrightarrow H^0 ( \mathscr{Q}_{G} ( \beta ), {\mathcal O}_{\mathscr{Q}_{G} ( \beta )} ( -w_0 \lambda ) )^* \hookrightarrow {\mathbb W} _G ( \lambda ).$$
Combined with (\ref{ind-W}), we conclude the result.
\end{proof}

\begin{prop}\label{Aqt}
Let $i \in \mathtt{I}$. Find $i' \in \mathtt{I}$ such that $\alpha_{i'} = w_0 \alpha_i$. The $A^{\pm \varpi_{i}}$-action on $qK_{\mathbf{G}} ( \mathscr B )$ is the same as the tensor product of ${\mathcal O} _{\mathscr B} ( \pm \varpi_{i} )$ on $K_{\mathbf{G}} ( \mathscr B )^{\wedge}$ modulo $Q_{i'}$.
\end{prop}

\begin{proof}
Let $\mathtt{J}' := \mathtt{I} \setminus \{i'\}$. By our definition of $A^{\pm \varpi_i}$, it suffices to see
\begin{equation}
\left< A^{\pm \varpi_{i}} a, b \right>_{G}^{\mathtt{GW}} \equiv \left< {\mathcal O} _{\mathscr B} ( \pm \varpi_{i} ) \otimes a, b\right>_{G}^{\mathtt{GW}} \mbox{\rm mod} Q_{i'}\label{Ai}
\end{equation}
for every $a, b \in K_{\mathbf{G}} ( \mathscr B )$. Since $K_{\mathbf{G}} ( \mathscr B )$ is generated by $A^{\lambda}$ for $- \lambda \in \Lambda_+$ and $Q^{\beta}$ ($\beta \in Q^{\vee}_+$) as ${\mathbb C}_q \mathbb{X}^* ( G )$-algebra, we can take $a = A^{\mu}$ and $b = [{\mathcal O}_{\mathscr B}]$. Since $\mathscr{Q}_G ( \beta )$ has rational singularities for every $\beta \in Q^{\vee}_+$ (Theorem \ref{rat}), we have
$$\left< A^{\pm \varpi_{i} + \lambda} [{\mathcal O}_{\mathscr B}], [{\mathcal O}_{\mathscr B}] \right>_{G}^{\mathtt{GW}} = \sum_{\beta \in Q^{\vee}_+} Q^{\beta} \chi ( \mathscr{Q}_G ( \beta ), {\mathcal O}_{\mathscr{Q}_G ( \beta )} ( \pm \varpi_{i} + \lambda ) ) ) \hskip 5mm \lambda \in \mathbb{X}^*.$$
In case $\left< \beta, \varpi_{i'} \right> = 0$, the structure map $\mathscr{Q}_{L^{\mathtt{J}'}} ( \beta )\to\mathrm{pt}$ and Lemma \ref{Q-ind} yield a projection map $\eta : \mathscr{Q}_G ( \beta ) \rightarrow G / P^{\mathtt{J}'} = \mathscr B_{\mathtt{J}'}$, that is $G$-equivariant. This implies
\begin{equation}
\chi ( \mathscr{Q}_G ( \beta ), {\mathcal O}_{\mathscr{Q}_G ( \beta )} ( \lambda ) ) ) = D_{w_0} ( e^{- \left< \alpha_{i}^{\vee}, \lambda \right> \varpi_{i'}} \chi ( \mathscr{Q}_L ( \beta ), {\mathcal O}_{\mathscr{Q}_L ( \beta )} ( \lambda - \left< \alpha_{i}^{\vee}, \lambda \right> \varpi_{i} ) ) )\label{infEuler}
\end{equation}
for each $\lambda \in \mathbb{X}^*$. The twist by $e^{- \varpi_{i'}}$ in the RHS of (\ref{infEuler}) is just a ${\mathcal O} (1)$-line bundle twist of $\mathscr B_{\mathtt{J}'}$ pulled back by $\eta$. Thus, it arises from the line bundle twist of ${\mathcal O} _{\mathscr B} ( \varpi_i )$ through $\mathsf{ev}_1$. Therefore, we conclude (\ref{Ai}) as required.
\end{proof}

\subsection{Proof of Theorem \ref{qK-surj}}\label{sec:qKs}
This subsection is entirely devoted to the proof of Theorem \ref{qK-surj}. We set $\mathtt{J}^\# := \{i \in \mathtt{I} \mid \alpha_i = -w_0 \alpha_j, \, j \in \mathtt{I} \setminus \mathtt{J} \}$ and $\mathtt{J}' := \{i \in \mathtt{I} \mid \alpha_i = -w_0 \alpha_j, \, j \in \mathtt{J} \}$.

By Theorem \ref{reconst}, we know that $qK_{\mathbf{L} ^ \mathtt{J} } ( \mathscr B^{\mathtt{J}} )$ is generated from $[{\mathcal O}_{\mathscr B^{\mathtt{J}}}]$ by $A^{\pm w_0 \varpi_i}$ ($i \in \mathtt{J}$), $Q_i$ ($i \in \mathtt{J}'$), and $\mathbb{X}^*_0 ( \mathtt{J} )$ as an algebra. Suppose that
$$f ( e^{\mu}, x_i, Q ) = \sum _{\vec{m} \in \mathbb{Z}^r, \mu \in \mathbb{X}^*_0 ( \mathtt{J}  ), \gamma \in Q^{\vee}_{\mathtt{J}, +}} f_{\vec{m}, \mu, \beta} e^{\mu} x^{\vec{m}} Q^{\gamma} \in {\mathbb C}_q \mathbb{X}^*_0 ( \mathtt{J} ) [x_1^{\pm 1},\ldots,x_r^{\pm 1}][\![Q^{\vee}_{\mathtt{J},+}]\!],$$
where $x^{\vec{m}} := x^{m_1}_1 \cdots x^{m_r}_r$ for $\vec{m} = ( m_1,\ldots,m_r )$, satisfies
$$f ( e^{\mu}, A^{\varpi_i}, Q ) [{\mathcal O}_{\mathscr B^{\mathtt{J}}}] = 0 \in qK_{\mathbf{L} ^\mathtt{J}} ( \mathscr B^{\mathtt{J}} ),$$
where $A^{\pm w_0\varpi_i}$ is interpreted as $e^{\mp \varpi_i}$ for $i \not\in \mathtt{J}$. The line bundle ${\mathbb C}_{\mu} \otimes {\mathcal O}_{\mathscr{Q}_{L^\mathtt{J}} ( \beta )} ( -w_0 \lambda )$ for $\beta \in Q^{\vee}_{\mathtt{J}',+}$, $\mu \in \mathbb{X}^*_0 ( \mathtt{J} )$, and $\lambda \in \Lambda^\mathtt{J}$ inflates to ${\mathcal O}_{\mathscr{Q}_{G} ( \beta )} ( - w_0 ( \lambda + \mu ) )$ by Lemma \ref{Q-ind} and (\ref{Pemb}). Let
$$\tilde{f} ( e^{\mu}, A^{\varpi_i}, Q ) = \sum _{\vec{m} \in \mathbb{Z}^r, \nu \in \mathbb{X}^* ( G ), \beta \in Q^{\vee}_{\mathtt{J}, +}} \tilde{f}_{\vec{m}, \nu, \beta} e^{\nu} x^{\vec{m}} Q^{\beta} \in {\mathbb C}_q \mathbb{X}^* ( G ) [x_1^{\pm 1},\ldots,x_r^{\pm 1}][\![Q^{\vee}_{+}]\!]$$
be the polynomial obtained from $f$ by replacing $e^{-\varpi_{i}}$ with $x_{i'}$ (for each $i \in \mathtt{I} \setminus \mathtt{J}$ and $i' \in \mathtt{I}$ such that $\varpi_i = -w_0 \varpi_{i'}$). For each $\lambda \in \Lambda$, we have
\begin{align*}
\left< A^\lambda \tilde{f} ( e^{\mu}, A^{\varpi_i}, Q ) [{\mathcal O}_{\mathscr B}], [{\mathcal O}_{\mathscr B}] \right>^{\mathtt{GW}}_{G} & \\
 = \sum_{\beta \in Q^{\vee}_+} \sum _{\vec{m}, \nu, \gamma} & \tilde{f}_{\vec{m}, \nu, \gamma} Q^{\beta + \gamma} e^{\nu} \chi ( \mathscr{X} _G ( \beta ), {\mathcal O}_{\mathscr{X}_G} ( \lambda + \sum_{i \in \mathtt{I}} m_i \varpi_i ) )\\
= \sum_{\beta \in Q^{\vee}_+} \sum _{\vec{m}, \nu, \gamma} & \tilde{f}_{\vec{m}, \nu, \gamma} Q^{\beta + \gamma} e^{\nu} \chi ( \mathscr{Q} _G ( \beta ), {\mathcal O}_{\mathscr{Q}_G} ( \lambda + \sum_{i \in \mathtt{I}} m_i \varpi_i ) )\\
\equiv \sum_{\beta \in Q^{\vee}_{\mathtt{J}',+}} \sum _{\vec{m},\nu,\gamma} e^{\nu} D_{w_0} (\tilde{f}_{\vec{m},\nu,\gamma} Q^{\beta + \gamma} & \, \chi ( \mathscr{Q} _{L ^\mathtt{J}} ( \beta ), {\mathcal O}_{\mathscr{Q}_{L ^\mathtt{J}}} ( \lambda + \sum_{i \in \mathtt{I}} m_i \varpi_i ) ) )\\
& \hskip 35mm \mbox{\rm mod} ( Q_i \mid i \in \mathtt{J}^\#),
\end{align*}
where the first equality is the the definition, the second equality follows from Theorem \ref{rat}, and the third equality follows from Lemma \ref{Q-ind} and the fact that ${\mathcal O}_{\mathscr{Q}_{L ^\mathtt{J}}} ( \lambda )$ is the restriction of ${\mathcal O}_{\mathscr{Q}_{G}} ( \lambda )$. Similarly, we have
\begin{align*}
0 = \left< A^\lambda f ( e^{\mu}, A^{\varpi_i}, Q ) [{\mathcal O}_{\mathscr B^{\mathtt{J}}}], [{\mathcal O}_{\mathscr B^{\mathtt{J}}}] \right>^{\mathtt{GW}}_{L ^ \mathtt{J} } & \\
= \sum_{\beta \in Q^{\vee}_+} \sum _{\vec{m}, \mu, \gamma} f_{\vec{m}, \mu, \gamma} \, & Q^{\beta + \gamma} e^{\mu} \chi ( \mathscr{Q}_{L ^ \mathtt{J} } ( \beta ), {\mathcal O}_{\mathscr{Q}_{L ^ \mathtt{J} }} ( \lambda + \sum_{i \in \mathtt{I}} m_i \varpi_i ) )
\end{align*}
for $\lambda \in \Lambda$. By examining the relation between $f$ and $\widetilde{f}$, we conclude
$$\left< A^\lambda \tilde{f} ( e^{\mu}, A^{\varpi_i}, Q ) [{\mathcal O}_{\mathscr B}], [{\mathcal O}_{\mathscr B}] \right>^{\mathtt{GW}}_{G} \equiv 0 \mbox{\rm mod} ( Q_i \mid i \in \mathtt{J}^\#)$$
for $\lambda \in \Lambda$. In view of Theorem \ref{reconst}, this is equivalent to
$$\tilde{f} ( e^{\mu}, A^{\varpi_i}, Q ) [{\mathcal O}_{\mathscr B}] \equiv 0 \mbox{\rm mod} ( Q_i \mid i \in \mathtt{J}^\#).$$
This yields a map $qK_{\mathbf{G}} ( \mathscr B ) \rightarrow qK_{\mathbf{L} ^ \mathtt{J} } ( \mathscr B ^{\mathtt{J}} )$ that intertwines $A^{\lambda}$ ($\lambda \in \Lambda$), $Q_i$ ($i \in \mathtt{I}$), and ${\mathbb C}_q \mathbb{X}^* (G)$-actions. The $Q_i \equiv 0$ ($i \in \mathtt{I}$) specialization of this map is the restriction map, that is an isomorphism (as a consequence of the bijection between equivariant line bundles through the restriction; cf. Corollary \ref{K-rest}). Since the ${\mathbb C} Q^{\vee}_{\mathtt{J}',+}$-actions are free on the both of $qK_{\mathbf{G}} ( \mathscr B ) / ( Q_i \mid i \in \mathtt{J}^\#)$ and $qK_{\mathbf{L} ^\mathtt{J}} ( \mathscr B ^{\mathtt{J}} )$, we conclude that
$$qK_{\mathbf{G}} ( \mathscr B ) / ( Q_i \mid i \in \mathtt{J}^\# ) \stackrel{\cong}{\longrightarrow} qK_{\mathbf{L} ^ \mathtt{J}} ( \mathscr B ^{\mathtt{J}} )$$
as required.

\section{Finkelberg-Tsymbaliuk's conjecture}

We work in the settings of \S \ref{sec:setup}. The goal of this section is to prove the following main theorem of this paper, originally conjectured by Finkelberg-Tsymbaliuk \cite{FT19}:

\begin{thm}\label{main}
Let $G$ be a connected reductive algebraic group over ${\mathbb C}$ such that $[G,G]$ is simply connected and $G \cong [G, G] \times H'$ for a subtorus $H' \subset H$. Let $L$ be a reductive subgroup that contains $H$. The embedding of Corollary \ref{absDarboux} induces algebra embeddings
$$K_{\mathbf{G}} ( \mathrm{Gr}_G ) \hookrightarrow K_{\mathbf{L}} ( \mathrm{Gr}_L ) \hookrightarrow K_{\mathbf{H}} ( \mathrm{Gr}_H ).$$
\end{thm}

Theorem \ref{main} is proved in \S \ref{subsec:main}. From Theorem \ref{main}, we conclude the following enhancement:

\begin{cor}\label{mcor}
Let $G$ be a connected reductive algebraic group over ${\mathbb C}$ such that $[G,G]$ is simply connected and $[G, G] \times H'$ for a subtorus $H' \subset H$. Let $L$ be a connected reductive subgroup of $G$ that contains $H$. Let $Z \subset H \cap Z ( G )$ be a finite subgroup. Theorem \ref{main} induces embeddings
$$K_{\mathbf{G}} ( \mathrm{Gr}_{G / Z} ) \hookrightarrow K_{\mathbf{L}} ( \mathrm{Gr}_{L / Z} ) \hookrightarrow K_{\mathbf{H}} ( \mathrm{Gr}_{H/Z} )$$
of algebras.
\end{cor}

\begin{proof}
We set $G' := G/Z, L' := L/Z$. Note that the quotient $H \to H / Z$ induces an injective map
$$\mathbb{X}_* \cong \mathrm{Gr}_{H} \longrightarrow \mathrm{Gr}_{H/Z}$$
that identifies $\mathbb{X}_*$ with a subset of the group of cocharacters $\mathbb{X}_*'$ of $H/Z$ via the quotient map. This gives rise to an isomorphism
$$K_{\mathbf{H}} ( \mathrm{Gr}_{H/Z} ) \cong \bigoplus_{\chi \in \mathsf{Irr}\, Z} K_{\mathbf{H}} ( \mathrm{Gr}_H )$$
of algebras. In particular, the connected components of $\mathrm{Gr}_{H/Z}$ is the union of the contributions
$$\mathrm{Gr}_{H / Z} = \bigsqcup_{\chi \in \mathsf{Irr}\, Z} \mathrm{Gr}_{H/Z}^{\chi}.$$
The same is true for $\mathrm{Gr}_{G'}$ and $\mathrm{Gr}_{L'}$, that we denote by
$$\mathrm{Gr}_{G'} = \bigsqcup_{\chi \in\mathsf{Irr}\, Z} \mathrm{Gr}_{G'}^{\chi} \hskip 5mm \text{and} \hskip 5mm \mathrm{Gr}_{L'}^{\chi} = \bigsqcup_{\chi \in \mathsf{Irr}\, Z} \mathrm{Gr}_{L'}^{\chi}.$$
Note that the content of Theorem \ref{main} under this setup is the algebra embeddings:
\begin{equation}
K_{\mathbf{G}} ( \mathrm{Gr}_{G'}^1 ) \hookrightarrow K_{\mathbf{L}} ( \mathrm{Gr}_{L'}^1 ) \hookrightarrow K_{\mathbf{H}} ( \mathrm{Gr}_{H/Z}^1 ),\label{trivDC}
\end{equation}
where $1 \in \mathsf{Irr} \, Z$ is the trivial representation.

The action of $\mathbb{X}_*' / \mathbb{X}_*$ induces outer automorphisms of the affine Dynkin diagram of $G$. This twists the embedding $K_{\mathbf{G}} ( \mathrm{Gr}_{G'}^{\chi} ) \subset K_{\mathbf{H}} ( \mathrm{Gr}_{G'}^{\chi} )$ into $K_{\mathbf{G}} ( \mathrm{Gr}_{G'}^{1} ) \subset K_{\mathbf{H}} ( \mathrm{Gr}_{G'}^{1} )$ by the Dynkin diagram automorphisms. These outer automorphisms induce automorphisms of $\mathscr{H}_q$, and hence gives rise to an algebra structure of $K_{\mathbf{G}} ( \mathrm{Gr}_{G'} )$ induced from $K_{\mathbf{H}} ( \mathrm{Gr}_{G'} )$. If we employ these twists of $R ( \mathbf{H} )$ also to the coefficients of $K_{\mathbf{H}} ( \mathrm{Gr}_{H/Z}^{\chi} )$, we obtain embeddings
\begin{equation}
K_{\mathbf{G}} ( \mathrm{Gr}_{G'}^{\chi} ) \longrightarrow K_{\mathbf{H}} ( \mathrm{Gr}_{H/Z}^{\chi} ) \hskip 5mm \chi \in \mathrm{Irr} \, Z.
\label{twistDC}
\end{equation}
Such twists, altogether along $\mathsf{Irr} \, Z$, give rise to a twist of the algebra structure of $K_{\mathbf{H}} ( \mathrm{Gr}_{H/Z} )$ (that prolongs $K_{\mathbf{H}} ( \mathrm{Gr}_{H/Z}^1 ) \cong K_{\mathbf{H}} ( \mathrm{Gr}_{H} )$). With these twisted algebra structures, we obtain a morphism
$$K_{\mathbf{G}} ( \mathrm{Gr}_{G'} ) \longrightarrow K_{\mathbf{H}} ( \mathrm{Gr}_{H/Z} )$$
of algebras that prolongs (\ref{trivDC}) and (\ref{twistDC}).

It remains to find that such a twisting can be taken to be compatible with the analogously defined embedding $K_{\mathbf{L}} ( \mathrm{Gr}_{L'} ) \subset K_{\mathbf{H}} ( \mathrm{Gr}_{H/Z} )$. To see this, it is enough to mind that the twisting by $\chi \in \mathsf{Irr}\,Z$ gives a twisting of $G' [\![z]\!] \subset G' (\!(z)\!)$ by a lift of $\chi$ in $\mathbb{X}_* '$ (up to internal automorphism), and it naturally induce a twisting of $L'[\![z]\!] \subset G' (\!(z)\!)$.
\end{proof}

\begin{ex}\label{SL2}
We assume that $G = \mathop{SL} ( 2 )$ and $L = H$ is its maximal torus. We have $Q^{\vee} = \mathbb{X}_* = \mathbb{Z} \alpha^{\vee}$, where $\alpha^{\vee}$ is the positive simple coroot of $G$. Let $\varpi$ be the fundamental weight. We have
$$R ( G ) = {\mathbb C} [e^{\pm \varpi}]^{\mathfrak S_2} \subset {\mathbb C} [e^{\pm \varpi}] = R ( H ).$$
Theorem \ref{main} yields an algebra map
$$R ( G ) \equiv R ( G ) [\mathcal O_{\mathrm{Gr}_G ( 0 )}] \hookrightarrow K_G ( \mathrm{Gr}_G ) \longrightarrow K_H ( \mathrm{Gr}_H ) = \bigoplus_{\gamma \in Q^{\vee}} R ( H ) {\mathtt t} _\gamma,$$
where ${\mathtt t}_\gamma$ represents the class of the structure sheaf of $\mathrm{Gr}_H ( \gamma )$, that is a point. In view of Proposition \ref{resGH}, we find that
$$[\mathcal O_{\mathrm{Gr}_G ( 0 )}] \mapsto {\mathtt t}_{0}, \hskip 5mm ( e^{\varpi} + e^{- \varpi} ) [\mathcal O_{\mathrm{Gr}_G ( 0 )}] \mapsto e^{\varpi} ({\mathtt t}_0 - {\mathtt t}_{\alpha^{\vee}}) + e^{- \varpi} {\mathtt t}_0.$$
\end{ex}

We remark that Example \ref{SL2} is obtained from the $n = 2$ case of Example \ref{exToda} by applying Theorem \ref{main} (and Theorem \ref{ncPet}).

\subsection{Classes $E (\beta, \lambda )$ and ${\mathcal O}^{\star} ( \lambda )$}
We find $\mathtt{J} \subset \mathtt{I}$ such that $L$ in Theorem \ref{main} is written as $L^\mathtt{J}$. For $\beta \in \mathbb{X}_*^{\le} ( \mathtt{J} )$, we set $\mathtt{J} ( \beta ) = \{j \in \mathtt{J} \mid \left< \alpha_j^{\vee}, \beta \right> = 0 \} \subset \mathtt{J}$. We set $w ( \mathtt{J}, \beta ) := w_0 ^{\mathtt{J}} w_0 ^{\mathtt{J} ( \beta )} w_0 ^{\mathtt{J}}$ and $\mathtt{J} ( \beta )^{\#} := \{j \in\mathtt{J} \mid \exists j' \in \mathtt{J} ( \beta ) \text{ s.t. } \varpi_j = - w_0^{\mathtt{J}} \varpi_{j'} \} $ (i.e. $w ( \mathtt{J}, \beta ) = w_0 ^{\mathtt{J} ( \beta )^\#}$). We set $\Lambda_{+}^{\mathtt{J}} ( \beta ) := \Lambda^{\mathtt{J} \setminus \mathtt{J} ( \beta )} + \Lambda_+^{\mathtt{J} ( \beta )}$. For each $\lambda \in \Lambda_{+}^{\mathtt{J}} ( \beta )$, we define
$$E^{\mathtt{J}} [\beta; \lambda] := D_{w_0^{\mathtt{J}}} ( e^{w_0^{\mathtt{J}} \lambda} [{\mathcal O}_{\mathrm{Gr}_{L} ( u^\mathtt{J}_{\beta} )}] ) \in K_{\mathbf{L}} ( \mathrm{Gr}_{\mathbf{L}}),$$
where $u^{\mathtt{J}}_{\beta} \in W^{\mathtt{J}} t_{\beta} W^{\mathtt{J}}$ is the minimal length element inside the double coset.

\begin{lem}\label{E-basis}
The $\mathscr{H}_q ( \mathtt{J} )$-module $K_{\mathbf{L}} ( \mathrm{Gr}_L )$ admits a direct sum decomposition whose associated graded pieces are parametrized by $\mathbb{X}_* ^{\le} ( \mathtt{J} )$. The associated graded piece corresponding to $\beta$ is isomorphic to $K_{\mathbf{L}} ( \mathscr B^\mathtt{J}_{\mathtt{J} ( \beta )^\#})$ and the correspondence is given by
$$E^{\mathtt{J}} [\beta; \lambda] \mapsto D_{w_0^{\mathtt{J}}} ( e^{w_0^{\mathtt{J}} \lambda} D_{w (\mathtt{J}, \beta )} [{\mathcal O}_{\mathscr B^{\mathtt{J}} ( w_0^{\mathtt{J}} )}] ) \hskip 5mm \lambda \in \Lambda_{+}^{\mathtt{J}} ( \beta ).$$
In particular, the set $\{ E^{\mathtt{J}} [\beta; \lambda] \}_{\beta \in \mathbb{X}_* ^{\le} ( \mathtt{J} ), \lambda \in \Lambda^{\mathtt{J}}_+ (\beta)}$ forms a ${\mathbb C}_q \mathbb{X}^*_0 ( \mathtt{J} )$-basis of $K_{\mathbf{L}} ( \mathrm{Gr}_{\mathbf{L}})$.
\end{lem}

\begin{proof}
By definition, we have a ${\mathbb C} [\mathbf{H}]$-basis of $K_{\mathbf{H}} ( \mathrm{Gr}_{\mathbf{L}})$ offered by $[{\mathcal O}_{\mathrm{Gr}_{\mathbf{L}} ( w t_{\beta} )}]$ for $\beta \in \mathbb{X}^{\le}_* ( \mathtt{J} )$ and $w \in W^{\mathtt{J}} / W^{\mathtt{J} ( \beta )}$. We have $K_{\mathbf{L}} ( \mathrm{Gr}_{\mathbf{L}}) = D _{w_0^{\mathtt{J}}} ( K_{\mathbf{H}} ( \mathrm{Gr}_{\mathbf{L}}) )$. By the Leibniz rule of $D_i$ for each $i \in \mathtt{I}$ (Lemma \ref{Lei}), we conclude that the space of $D _{w_0^{\mathtt{J}}}$-invariants in $K_{\mathbf{H}} ( \mathrm{Gr}_{\mathbf{L}})$ is the direct sum of the $D _{w_0^{\mathtt{J}}}$-invariants in
\begin{equation}
\bigoplus_{w \in W^{\mathtt{J}} / W^{\mathtt{J} ( \beta )}} {\mathbb C} [\mathbf{H}] [{\mathcal O}_{\mathrm{Gr}_{\mathbf{L}} ( w t_{\beta} )}]\label{orbB}
\end{equation}
for all $\beta \in \mathbb{X}_* ^{\le} ( \mathtt{J} )$. The space (\ref{orbB}) is stable under the action of $D_j$ ($j \in \mathtt{J}$) again by the Leibniz rule. In addition, it is generated from $[{\mathcal O}_{\mathrm{Gr}_{L} ( u^\mathtt{J}_{\beta} )}]$, that is $D_{w (\mathtt{J}, \beta )}$-invariant as $s_i \beta = \beta$ for $i \in \mathtt{J} ( \beta )$. By Corollary \ref{Rsph} (and Theorem \ref{finK}), we deduce that (\ref{orbB}) is isomorphic to $K_{\mathbf{H}} ( \mathscr B^\mathtt{J}_{\mathtt{J} ( \beta )^{\#}} )$ as $\mathscr{H}_q ( \mathtt{J} )$-module via the assignment
$$[{\mathcal O}_{\mathrm{Gr}_{L} ( u^\mathtt{J}_{\beta} )}] \mapsto D_{w ( \mathtt{J}, \beta )} ( [{\mathcal O}_{\mathscr B^\mathtt{J} ( w_0^\mathtt{J} )}] ).$$
This yields the desired correspondence between elements. Note that we have some $u \in W^\mathtt{J}$ such that $w_0^{\mathtt{J}} = u w ( \mathtt{J}, \beta )$ and $\ell ( w_0^{\mathtt{J}} ) = \ell ( u ) + \ell ( w ( \mathtt{J}, \beta ) )$. It follows that
$$D_{w_0^{\mathtt{J}}} ( e^{w_0^{\mathtt{J}} \lambda} D_{w ( \mathtt{J}, \beta )} [{\mathcal O}_{\mathscr B^{\mathtt{J}} ( w_0^{\mathtt{J}} )}] ) = D_{u} \left( D_{w (\mathtt{J}, \beta )} ( e^{w_0^{\mathtt{J}}\lambda} D_{w ( \mathtt{J}, \beta )} [{\mathcal O}_{\mathscr B^{\mathtt{J}} ( w_0^{\mathtt{J}} )}] ) \right),$$
represents a $\mathbf{L}$-equivariant vector bundle whose fiber is a $L^{\mathtt{J} ( \beta )^\#}$-module with its character $D_{w ( \mathtt{J}, \beta )} ( e^{w_0^{\mathtt{J}} \lambda} )$. The latter is $\mathrm{ch} \, V^{\mathtt{J} ( \beta )^\#} ( w ( \mathtt{J}, \beta ) w_0^{\mathtt{J}} \lambda )$ by the Weyl character formula. We have
$$K_{\mathbf{L}} ( \mathscr B^\mathtt{J}_{\mathtt{J} (\beta)^\#}) \cong R ( \mathbf P ^{\mathtt{J} (\beta)^\#} ) = R ( \mathbf{L} ^{\mathtt{J} (\beta)^\#} ),$$
and the set of characters $\mathrm{ch} \, V^{\mathtt{J} ( \beta)^\#} ( w ( \mathtt{J}, \beta ) w_0^{\mathtt{J}} \lambda )$ for $\lambda \in \Lambda _{+}^{\mathtt{J}} ( \beta )$ is a ${\mathbb C}_q \mathbb{X}^*_0 ( \mathtt{J} )$-basis of $R ( \mathbf{L} ^{\mathtt{J} (\beta)^\#} )$. Therefore, we conclude that $\{ E^{\mathtt{J}} [\beta; \lambda] \}_{\lambda \in \Lambda^{\mathtt{J}}_+ (\beta)}$ is the ${\mathbb C}_q \mathbb{X}^*_0 ( \mathtt{J} )$-basis of the $D_{w_0^{\mathtt{J}}}$-invariant part of (\ref{orbB}). Since $K_{\mathbf{L}} ( \mathrm{Gr}_{\mathbf{L}})$ is the direct sum of $D_{w_0^{\mathtt{J}}}$-invariant parts of (\ref{orbB}), we conclude the result.
\end{proof}

We set $E^{\mathtt{J}}_{\mathrm{st}} [\gamma; \lambda] := E^{\mathtt{J}} [\gamma + \beta ; \lambda] \odot_q {\mathtt t}_{- \beta}$ for $\lambda \in \Lambda^\mathtt{J},  \gamma \in \mathbb{X}_*, \beta, \beta + \gamma \in \mathbb{X}_*^- ( \mathtt{J} )$.

\begin{cor}\label{stabE}
The element $E^{\mathtt{J}}_{\mathrm{st}} [\gamma; \lambda]$ does not depend on the choice $($of $\beta)$.
\end{cor}

\begin{proof}
The assertion follows from the fact that the right action of ${\mathtt t}_{\beta}$ commutes with the left action of $D_i$ $(i \in \mathtt{J})$.
\end{proof}

By construction, we have $L \cong H'' \times [L, L]$ for a connected subtorus $H'' \subset H$. In particular, we have
$$L \cong H'' \times \prod_{k = 1}^n L _k$$
where each $L_k$ is a simply connected simple algebraic group. Let $Q^{\vee}_k \subset Q^{\vee}$ be the span of simple coroots corresponding to (co-)roots in $L_k$. We have
\begin{equation}
K_{\mathbf{L}} ( \mathrm{Gr}_{\mathbf{L}}) \cong K_{\mathbf{H}''} ( \mathrm{Gr}_{H''} ) \otimes_{{\mathbb C}_q} \bigotimes_{k=1}^n K_{\mathbf{L}_k} ( \mathrm{Gr}_{L_k}),\label{defKGr}
\end{equation}
where the big tensor product is also taken over ${\mathbb C}_q$. On $K_{\mathbf{L}} ( \mathrm{Gr}_{\mathbf{L}})$, we have the translation elements ${\mathtt t}_{\beta}$ for each $\beta \in \mathbb{X}_*$ obtained as the product of ${\mathtt t}_{\gamma}$'s that act on one of the tensor factors. This makes (\ref{defKGr}) into the isomorphism between their localized versions.

Using this, we consider the maps $\Psi_{\mathtt{J}}$ and $\Phi_{\mathtt{J}}'$ obtained from these of Theorem \ref{K-id} and Theorem \ref{qK-int} by employing the following spaces:
$$K_{\mathbf{L}} ( \mathbf{Q}_{\mathtt{J}}^{\mathrm{rat}} ) := \bigotimes_{k = 1}^n K_{\mathbf{L}_k} ( \mathbf{Q}_{L_k}^{\mathrm{rat}} ) \otimes K_{\mathbf{H}''} ( \mathrm{Gr}_{H''} ) \hskip 5mm \text{and} \hskip 5mm qK_{\mathbf{L}} ( \mathscr B^{\mathtt{J}} )_\mathrm{loc} \otimes K_{\mathbf{H}''} ( \mathrm{Gr}_{H''} ),$$
where all the tensor products are taken over ${\mathbb C}_q$, the $\Phi_{\mathtt{J}}$ is $K_{\mathbf{H}''} ( \mathrm{Gr}_{H''} )$-linear, and the map $\Psi_{\mathtt{J}}'$ is also $K_{\mathbf{H}''} ( \mathrm{Gr}_{H''} )$-linear, though the Novikov variables and line bundles (including the Heisenberg generators of $K_{\mathbf{H}''} ( \mathrm{Gr}_{H''} )$) are twisted by $-w_0$ from its naive definition. Note that the multiplication by ${\mathtt t}_{\beta}$ ($\beta \in \mathbb{X}_*$) corresponds to $Q^{-w_0 \beta}$ only if $\beta \in Q^{\vee}_{\mathtt{J}}$, and the multiplication by $Q^{\beta}$ for $\mathbb{X}_*$ is extended formally.

\begin{lem}\label{transO}
For $\beta \in \mathbb{X}_*$ and $\lambda \in \Lambda^{\mathtt{J}}$, we have
$$E^{\mathtt{J}}_{\mathrm{st}} [\beta ; \lambda] = \Phi^{-1}_{\mathtt{J}} \circ \Psi'_{\mathtt{J}} ( [{\mathcal O}_{\mathscr B ^{\mathtt{J}}} ( -w_0 \lambda )] Q^{-w_0 \beta} ).$$
In particular, the set $\{ E^{\mathtt{J}}_{\mathrm{st}} [\beta; \lambda] \}_{\beta \in \mathbb{X}_*, \lambda \in \Lambda^{\mathtt{J}}}$ is a ${\mathbb C}_q \mathbb{X}^*_0 ( \mathtt{J} )$-basis of $K_{\mathbf{L} ^\mathtt{J}} ( \mathrm{Gr}_{\mathbf{L} ^\mathtt{J}})_\mathrm{loc}$.
\end{lem}

\begin{proof}
We have $[{\mathcal O}_{\mathscr B^{\mathtt{J}}} ( \lambda )] = D _{w_0^{\mathtt{J}}} ( e^{w_0^{\mathtt{J}}\lambda} [{\mathcal O}_{\mathscr B^{\mathtt{J}} ( w_0^{\mathtt{J}} )}] ) \in K_{\mathbf{H}} ( \mathscr B^\mathtt{J} )$. In view of the correspondence between Schubert classes under the maps $\Psi$ \cite[Theorem 4.1 and its proof]{Kat18c} and $\Phi$ \cite[Proposition 2.13 and Remark 2.14]{Kat18c}, we deduce the first assertion. Taking into account of the first assertion and Theorem \ref{K-id}, the second assertion follows from Theorem \ref{dcf} and Theorem \ref{X-weight}.
\end{proof}

\begin{lem}
The embedding of Proposition \ref{resGH} induces algebra embeddings
$$K_{\mathbf{G}} ( \mathrm{Gr}_G )_\mathrm{loc} \hookrightarrow K_{\mathbf{L}} ( \mathrm{Gr}_L )_\mathrm{loc} \hookrightarrow K_{\mathbf{H}} ( \mathrm{Gr}_H ).$$
\end{lem}

\begin{proof}
In view of Corollary \ref{genKG} and Proposition \ref{resGH}, we find that $K_{\mathbf{G}} ( \mathrm{Gr}_G )_\mathrm{loc}$ and $K_{\mathbf{L}} ( \mathrm{Gr}_L )_\mathrm{loc}$ are obtained by replacing the generator $e^{\varpi_i}$ $(i \in\mathtt{I})$ in $K_{\mathbf{H}} ( \mathrm{Gr}_H )$ to $\xi_i$ for $i \in \mathtt{J}$ ($e^{- \varpi_i}$ and $\phi_i$ are the same for every $i \in \mathtt{I}$). The commutation relation in Proposition \ref{resGH} implies $K_{\mathbf{G}} ( \mathrm{Gr}_G )_\mathrm{loc} \subset K_{\mathbf{L}} ( \mathrm{Gr}_L )_\mathrm{loc}$ inside $K_{\mathbf{H}} ( \mathrm{Gr}_H )$.
\end{proof}

For $\lambda \in \Lambda$, we write $\lambda = \sum_{j \in \mathtt{I}} m_j \varpi_j$ for some $m_j \in \mathbb{Z}$. For each $\beta \in \mathbb{X}_*$, we define
$$[{\mathcal O}_{\beta} ^\star ( \lambda ) ] := \left( \prod_{j \in \mathtt{I}, m_j < 0} \phi_i ^{- m_j} \right) \left( \prod_{j \in \mathtt{I}, m_j > 0} \xi_i ^{m_j} \right) ( {\mathtt t}_\beta ) \in K_{\mathbf{G}} ( \mathrm{Gr}_{G} )_\mathrm{loc}.$$
Similarly, for each $\lambda \in \Lambda$, we write $\lambda = \mu + \sum_{j \in \mathtt{J}} m_j \varpi_j$ for some $\mu \in \Lambda^{\mathtt{I} \setminus \mathtt{J}}$ and $m_j \in \mathbb{Z}$, and we define
$$[{\mathcal O}_{\mathtt{J}, \beta} ^\star( \lambda ) ] := e^{\mu} \left( \prod_{j \in \mathtt{J}, m_j < 0} \phi_i ^{- m_j} \right) \left( \prod_{j \in \mathtt{J}, m_j > 0} \xi_i ^{m_j} \right) ( {\mathtt t}_\beta ) \in K_{\mathbf{L}} ( \mathrm{Gr}_{L} )_\mathrm{loc}.$$

\begin{lem}\label{O-basis}
For $\lambda \in \Lambda^{\mathtt{J}}$, we have
$$[{\mathcal O}_{\mathtt{J}, 0}^\star ( \lambda )] = E ^{\mathtt{J}}_{\mathrm{st}} [ 0; \lambda ] \mbox{\rm mod} ({\mathtt t}_{\alpha_j^{\vee}} \mid j \in \mathtt{J}).$$
\end{lem}

\begin{proof}
In view of Theorem \ref{sib} and Theorem \ref{K-id}, the assertion follows from Theorem \ref{HQc} 4) and the definitions of $\phi_i$'s and $\xi_i$'s.
\end{proof}

By the comparison of Lemma \ref{E-basis} and Lemma \ref{O-basis}, we have a transition matrix (that is a finite sum in view of Corollary \ref{genKG})
$$E^{\mathtt{J}} [\beta; \lambda] = \sum_{\gamma \in \mathbb{X}_*, \mu \in \Lambda^{\mathtt{J}}} a_{\beta,\lambda} ^{\gamma, \mu} ( \mathtt{J} ) [{\mathcal O}_{\mathtt{J}, \gamma}^\star ( \mu )]$$
for $a_{\beta,\lambda} ^{\gamma, \mu} ( \mathtt{J} ) \in {\mathbb C}_q \mathbb{X}^*_0 ( \mathtt{J} )$. Moreover, we have:

\begin{lem}
We have $a_{\beta,\lambda} ^{\beta, \lambda} ( \mathtt{J} ) = 1$, and
$$a_{\beta,\lambda} ^{\gamma, \mu} ( \mathtt{J} ) = 0 \hskip 5mm \text{for every} \hskip 5mm \gamma \not\in \beta + Q^{\vee}_{\mathtt{J},+}.$$
\end{lem}

\begin{proof}
The assertion follows by Lemma \ref{O-basis} and the fact that the effect of line bundle twists of $\mathbf{Q}_{L_k}$ raises the translation parts by $Q^{\vee}_{\mathtt{J},+}$.
\end{proof}

\begin{prop}\label{a-comp}
For each $\lambda \in \Lambda^\mathtt{J}$ and $\beta \in \mathbb{X}_* ^{-}$, we have
$$a_{\beta,\lambda} ^{\gamma, \mu} ( \mathtt{J} ) = a_{\beta,\lambda} ^{\gamma, \mu} \hskip 5mm \gamma \in \beta + Q^{\vee}_{\mathtt{J},+}.$$
\end{prop}

\begin{proof}
By assumption, we have $E  [ \beta; \lambda ] = E _{\mathrm{st}} [ \beta; \lambda ]$ and $E ^{\mathtt{J}} [ \beta; \lambda ] = E ^{\mathtt{J}}_{\mathrm{st}} [ \beta; \lambda ]$. Thanks to Theorem \ref{K-id} and Theorem \ref{qK-int}, we transplant the problem to the quantum $K$-groups via $( \Psi_{\mathtt{J}}')^{-1} \circ \Phi_{\mathtt{J}}$. In view of Corollary \ref{K-rest}, the assertion follows by Theorem \ref{qK-surj} and Lemma \ref{transO}.
\end{proof}

\begin{prop}\label{aa-comp}
For each $\beta \in \mathbb{X}_* ^{\le}$ and $\lambda \in \Lambda_+ ( \beta )$, we have
$$a_{\beta,\lambda} ^{\gamma, \mu} = \sum_{\lambda'} c _{\lambda'} a_{\beta,\lambda'} ^{\gamma, \mu} ( \mathtt{J} ) \hskip 5mm \gamma \in \beta + Q^{\vee}_{\mathtt{J},+},$$
where $\lambda' \in \Lambda^{\mathtt{J}}_+ ( \beta )$ and $c_{\lambda'} \in {\mathbb C}_q \mathbb{X}^*_0 ( \mathtt{J} )$.
\end{prop}

\begin{proof}
We borrow the setting in the proof of Lemma \ref{E-basis}. The element $E [\beta; \lambda]$ corresponds a $G$-equivariant vector bundle over $\mathscr B_{\mathtt{I} ( \beta )^\#}$ inflated from a $L^{\mathtt{I} ( \beta )}$-module $V^{\mathtt{I} ( \beta )} ( \lambda )$, while the element $E^{\mathtt{J}} [\beta; \lambda']$ corresponding to a $L^{\mathtt{J}}$-equivariant vector bundle over $\mathscr B^{\mathtt{J}}_{\mathtt{J} ( \beta )^{\#}}$ inflated from a $L^{\mathtt{J} ( \beta )}$-module $V^{\mathtt{J} ( \beta )} ( \lambda' )$. These are parametrized by $\Lambda_+ ( \beta )$ and $\Lambda^{\mathtt{J}}_+ ( \beta )$, respectively. In particular, we have
\begin{equation}
V^{\mathtt{I} ( \beta )} ( \lambda ) \cong \bigoplus_{\lambda' \in \Lambda^{\mathtt{J}}_+ ( \beta )} V^{\mathtt{J} ( \beta )} ( \lambda' )^{\oplus c_{\lambda'}},\label{Vrest}
\end{equation}
where $c_{\lambda'} \in {\mathbb C}_q \mathbb{X}^*_0 ( \mathtt{J} ) \subset {\mathbb C}_q \mathbb{X}^*$ is understood to be the multiplicity space that carries the information of character twists.

Consider the expansions
$$E^{\mathtt{J}} [\beta; \lambda] = \sum_{\mu} d_{\mu}^\lambda E^{\mathtt{J}}_{\mathrm{st}} [\beta; \mu] \hskip 2mm (\lambda \in \Lambda^{\mathtt{J} (\beta)}_+)\hskip 2mm \text{and} \hskip 2mm E [\beta; \lambda]  = \sum_{\mu} e_{\mu}^\lambda E_{\mathrm{st}} [\beta; \mu] \hskip 2mm (\lambda \in \Lambda^{\mathtt{I} (\beta)}_+)$$
with $d_{\mu}^\lambda \in {\mathbb C}_q \mathbb{X}^*_0 ( \mathtt{J} ), e_{\mu}^\lambda \in {\mathbb C}_q \mathbb{X}^* ( G )$. These correspond to the expansions of the pullbacks of the class of vector bundles on $\mathscr B^\mathtt{J}_{\mathtt{J} ( \beta )^\#}$ and $\mathscr B_{\mathtt{I} ( \beta )^\#}$ to $\mathscr B^\mathtt{J}$ and $\mathscr B$ in terms of line bundles by Corollary \ref{Rsph}, respectively. It respects the decomposition through the comparison given by Corollary \ref{K-rest}, that sends $E _{\mathrm{st}} [\beta; \lambda]$ ($\lambda \in \Lambda$) to $e^{\lambda - \lambda'} E^{\mathtt{J}} _{\mathrm{st}} [\beta; \lambda']$ for $\lambda' \in \Lambda^{\mathtt{J}}$ such that $\lambda - \lambda' \in \Lambda^{\mathtt{I} \setminus \mathtt{J}}$.

It follows that
$$d_{\mu}^\lambda = \sum_{\lambda'} c_{\lambda'} e_{\mu}^{\lambda'}.$$
Now the assertion follows by transplanting the problem to the quantum $K$-groups via $( \Psi_{\mathtt{J}}')^{-1} \circ \Phi_{\mathtt{J}}$ thanks to Proposition \ref{qK-surj}.
\end{proof}

\subsection{Proof of Theorem \ref{main}}\label{subsec:main}
This subsection is totally devoted to the proof of Theorem \ref{main}.  We consider elements of $K_{\mathbf{G}} ( \mathrm{Gr}_{G} ) $ and $K_{\mathbf{L}} ( \mathrm{Gr}_{L} )$ as elements of $K_{\mathbf{H}} ( \mathrm{Gr}_{H} )$ via Corollary \ref{absDarboux}. Since we have $\phi_i, \xi_i, {\mathtt t}_{\pm \alpha_i^{\vee}} \in K_{\mathbf{L}} ( \mathrm{Gr}_{L} )$ for $i \not\in \mathtt{J}$, we have
\begin{equation}
K_{\mathbf{G}} ( \mathrm{Gr}_G ) \subset K_{\mathbf{L}} ( \mathrm{Gr}_{L} )\label{geninc}
\end{equation}
if and only if
\begin{equation}
K_{\mathbf{G}} ( \mathrm{Gr}_G ) [\phi_i, \xi_i, {\mathtt t}_{\pm \alpha_i^{\vee}} \mid i \not\in \mathtt{J}] \subset K_{\mathbf{L}} ( \mathrm{Gr}_{L} ),\label{locinc}
\end{equation}
where the LHS exist as a subalgebra of $K_{\mathbf{H}} ( \mathrm{Gr}_H )$. We consider the completions of the both sides of (\ref{locinc}) using the variables $\{ {\mathtt t}_{\beta} \}_{\beta \in \mathbb{X}_*}$ with respect to the direction $\left< \beta, \varpi_i \right> \to \infty$ for $i \not\in \mathtt{J}$. We denote the completion of the LHS of (\ref{locinc}) by $\mathbf K_G^{\wedge}$ and the completion of the RHS of (\ref{locinc}) by $\mathbf K_L ^{\wedge}$. We have $( \sum_{k = 0}^{\infty}{\mathtt t}_{k\alpha_i^{\vee}}) \xi _i \in \mathbf K_G^{\wedge}$ for $i \not\in \mathtt{J}$, that is an inverse of $\phi_i$. We have (\ref{geninc}) if and only if $\mathbf K_G^{\wedge} \subset \mathbf K_L ^{\wedge}$.

For a collection $\vec{m} := \{ m_i \}_{i \in (\mathtt{I} \setminus \mathtt{J})} \in \mathbb{Z}^{(\mathtt{I} \setminus \mathtt{J})}$, we set $\Lambda ( \vec{m} ) : = \{ \lambda \in \Lambda \mid \left< \alpha_i^{\vee}, \lambda \right> = m _i , i \in (\mathtt{I} \setminus \mathtt{J}) \}$. Assume that
$$\sum_{\lambda \in \Lambda, \beta \in \gamma + Q_{+}^{\vee}} c_{\lambda,\beta} [{\mathcal O}_\beta^\star ( \lambda ) ] \in K_{\mathbf{G}} ( \mathrm{Gr}_G ) \hskip 5mm c_{\lambda, \beta} \in {\mathbb C}_q \mathbb{X}^* ( G ).$$
By taking the conjugations by ${\mathtt t}_{\alpha_i^{\vee}}$ for each $i \in ( \mathtt{I} \setminus \mathtt{J} )$ and separate out the eigenvectors, we conclude that
$$\sum_{\lambda \in \Lambda ( \vec{m} ), \beta \in \gamma + Q_{+}^{\vee}} c_{\lambda,\beta} [{\mathcal O}_\beta^\star ( \lambda ) ] \in K_{\mathbf{G}} ( \mathrm{Gr}_G ) [\phi_i, \xi_i, {\mathtt t}_{\pm \alpha_i^{\vee}} \mid i \not\in \mathtt{J}].$$
Inside $\mathbf K_G^{\wedge}$, we can take conjugation by $\phi_i$ for each $i \not\in \mathtt{J}$. By examining their eigenvalues, we have
$$\sum_{\lambda \in \Lambda ( \vec{m} ), \beta \in \gamma + Q_{\mathtt{J}, +}^{\vee}} c_{\lambda,\beta} [{\mathcal O}_\beta^\star ( \lambda ) ] \in \mathbf K_{G} ^{\wedge}.$$
Summing them up with respect to $\vec{m}$, we find that
$$\sum_{\lambda \in \Lambda, \beta \in \gamma + Q_{\mathtt{J}, +}^{\vee}} c_{\lambda,\beta} [{\mathcal O}_\beta^\star ( \lambda ) ] \in \mathbf K_{G} ^{\wedge}.$$

Recall that we have $\mathbb{X}^{\le}_* \subset \mathbb{X}_*^{\le} ( \mathtt{J} )$ and $\Lambda_+ ( \beta ) \subset \Lambda ^{\mathtt{J}}_+ ( \beta ) + \Lambda^{\mathtt{I} \setminus \mathtt{J}}$, and hence there is a natural inclusion between the (labels of the) ${\mathbb C}_q \mathbb{X}^* ( G )$-basis
\begin{equation}
\{E ( \beta, \lambda )\}_{\beta \in \mathbb{X}^{\le}_*, \lambda \in \Lambda_+ ( \beta )} \subset K_{\mathbf{G}} ( \mathrm{Gr}_G )\label{Ebasis}
\end{equation}
into the (labels of the) ${\mathbb C}_q \mathbb{X}^* ( G )$-basis
\begin{equation}
\{E^{\mathtt{J}} ( \beta, \lambda_1 ) e^{\lambda_2}\}_{\beta \in \mathbb{X}_*^{\le} ( \mathtt{J}), \lambda _1 \in \Lambda ^{\mathtt{J}}_+ ( \beta ), \lambda_2 \in \Lambda ^{\mathtt{I} \setminus \mathtt{J}}} \subset K_{\mathbf{L}} ( \mathrm{Gr} _L ).\label{EJbasis}
\end{equation}

If a (formal) linear combination
\begin{equation}
\sum_{\lambda \in \Lambda, \beta \in \gamma + Q_{+}^{\vee}} c_{\lambda,\beta} [{\mathcal O}_\beta^\star ( \lambda ) ] \hskip 5mm c_{\lambda, \beta} \in {\mathbb C}_q \mathbb{X}^* ( G )\label{flG}
\end{equation}
belongs to $K_{\mathbf{G}} ( \mathrm{Gr}_G )$, then it represents a ${\mathbb C}_q \mathbb{X}^* ( G )$-linear combination of (\ref{Ebasis}). In view of Proposition \ref{aa-comp}, the partial  sum corresponding to $( \gamma + Q_{\mathtt{J},+}^{\vee} ) \subset ( \gamma + Q_{+}^{\vee} )$ yields the ${\mathbb C}_q \mathbb{X}^* ( G )$-linear combination of (\ref{EJbasis}) through $K_{\mathbf{H}} ( \mathrm{Gr}_{H} )$. Therefore, (\ref{flG}) belongs to $K_{\mathbf{G}} ( \mathrm{Gr}_G )$ only if
$$\sum_{\lambda \in \Lambda, \beta \in \gamma + Q_{\mathtt{J},+}^{\vee}} c_{\lambda,\beta} [{\mathcal O}_{\mathtt{J}, \beta}^\star ( \lambda ) ] \in K_{\mathbf{L}} ( \mathrm{Gr} _L ).$$
Since the corresponding leading term element belongs to $K_{\mathbf{G}} ( \mathrm{Gr}_G ) \subset \mathbf K_{G} ^{\wedge}$ as a linear combination of (\ref{Ebasis}) thanks to Lemma \ref{E-basis}, we conclude that $\mathbf K_{G}^{\wedge} \subset \mathbf K_L^{\wedge}$ by removing the leading terms inductively. This forces $K_{\mathbf{G}} ( \mathrm{Gr}_{G} ) \subset K_{\mathbf{L}} ( \mathrm{Gr} _L )$ as required. Thus, we conclude Theorem \ref{main}.

\medskip

{\small
\hskip -5.25mm {\bf Acknowledgement:} The author would like thank Michael Finkelberg and \'Eric Vasserot for the discussions on the topic in this paper. He also thanks Joel Kamnitzer for some correspondences. Part of this work was done during his visit to the Higher School of Economics in December 2019, and the Institute Henri Poincar\'e during January--March 2020. This research was supported in part by JSPS KAKENHI Grant Number JP19H01782.}