Shifted quantum affine algebras: integral forms in type \(A\) (Q2302261)

Let \(\mathfrak{g}\) be a complex finite-dimensional simple Lie algebra of simply laced type. In [\textit{A. Braverman} et al., Adv. Theor. Math. Phys. 23, No. 1, 75--166 (2019)] Braverman-Finkelberg-Nakajima constructed the Coulomb branch of a quiver gauge theory whose framing is given by a suitable pair \((\mu, \lambda)\) of integral coweights of \(\mathfrak{g}\), and conjectured a presentation of quantized Coulomb branches by generators and relations. In [\textit{M. Finkelberg} and \textit{A. Tsymbaliuk}, Prog. Math. 330, 133--304 (2019; Zbl 1436.17021)] Finkelberg-Tsymbaliuk carried out the \(K\)-theoretic analog of the above construction. Let \(v\) denote a formal variable. They introduced the shifted quantum affine algebra \(U_{\mu}\); this is an algebra over \(\mathbb{C}(v)\) defined by generators and relations, it depends only on the coweight \(\mu\) and the Lie algebra \(\mathfrak{g}\), and it is called shifted because the case \(\mu = 0\) reduces to the ordinary quantum affine algebra of \(\mathfrak{g}\). More importantly, they obtained a morphism of \(\mathbb{C}(v)\)-algebras \[\Phi: U_{\mu} \longrightarrow \mathcal{A} \otimes_{\mathbb{C}[v,v^{-1}]} \mathbb{C}(v)\] where \(\mathcal{A}\), as an algebra over \(\mathbb{C}[v,v^{-1}]\), denotes the \(K\)-theoretic Coulomb branch (to simplify notations we have ignored the dependence of \(\mathcal{A}\) on \((\mu, \lambda)\) and additional parameters arising from quantization). The main result of the present paper is, for \(\mathfrak{g}\) of type \(A\), an explicit construction of a \(\mathbb{C}[v,v^{-1}]\)-subalgebra \(\mathcal{U}_{\mu}\) of \(U_{\mu}\) with the following properties: \begin{itemize} \item[(1)] it is an integral form in that \(\mathcal{U}_{\mu} \otimes_{\mathbb{C}[v,v^{-1}]} \mathbb{C}(v) \cong U_{\mu}\) via multiplication; \item[(2)] it is mapped onto \(\mathcal{A}\) by \(\Phi\). \end{itemize} Notice that the second property implies the surjectivity of \(\Phi\). In some particular cases, the authors are able to determine generators for the kernel of \(\Phi\). As another result, these integral forms are shown to be compatible with the coproduct morphism for shifted quantum affine algebras \[ \Delta_{\mu,\nu}: U_{\mu+\nu} \longrightarrow U_{\mu} \otimes_{\mathbb{C}(v)} U_{\nu}. \] for an arbitrary pair \((\mu, \nu)\) of integral coweights.