Global Weyl modules for the twisted loop algebra (Q1956388): Difference between revisions

Let \(\mathfrak{g}\) be a simple Lie algebra, and \(L(\mathfrak{g}) = \mathfrak{g}\otimes \mathbb{C}[t^{\pm 1}]\) the associated loop algebra. A global Weyl module \(W(\mu)\) has initially been defined for \(L(\mathfrak{g})\) in [\textit{V. Chari} and \textit{A. Pressley}, Represent. Theory 5, 191--223 (2001; Zbl 0989.17019)], which is a certain maximal integral highest weight module generated by a vector of given weight \(\mu\). For a Dynkin diagram automorphism \(\Gamma\), the twisted loop algebra \(L^{\Gamma}(\mathfrak{g})\) is defined as the fixed point subalgebra of \(L(\mathfrak{g})\) with respect to a natural action of \(\Gamma\). In this paper, the authors define a global Weyl module \(W^{\Gamma}(\lambda)\) for \(L^{\Gamma}(\mathfrak{g})\) and a dominant integral weight \(\lambda\) of \(\mathfrak{g}_0= \mathfrak{g}^{\Gamma}\). The highest weight space \(\mathbf{A}_\lambda^{\Gamma}\) of \(W^{\Gamma}(\lambda)\) has a natural algebra structure, and they prove that this algebra is a finitely generated ring of symmetric Laurent polynomials. Moreover they show that there is a canonical embedding of \(\mathbf{A}_\lambda^{\Gamma}\) into the highest weight space \(\mathbf{A}_\mu\) of the global Weyl module \(W(\mu)\) for \(L(\mathfrak{g})\) with \(\mu\) satisfying \(\mu|_{\mathfrak{h}_0} = \lambda\), and that \(W^{\Gamma}(\lambda)\) is free over \(\mathbf{A}_\lambda^{\Gamma}\). Finally they prove that there is an embedding of \(W^{\Gamma}(\lambda)\) into the direct sum \(\oplus_{\mu} W(\mu)\) where \(\mu\) runs over the set of the weights satisfying \(\mu|_{\mathfrak{h}_0} = \lambda\).