Finite-dimensional representations of hyper loop algebras over non-algebraically closed fields (Q975347): Difference between revisions

Let \(\mathfrak{g}\) be a finite-dimensional complex simple Lie algebra and let \(\tilde{\mathfrak{g}}=\mathfrak{g}\otimes\mathbb{C}[t,t^{-1}]\) be its loop algebra. Then the hyper loop algebra \(U(\tilde{\mathfrak{g}})_\mathbb{F}\) of \(\mathfrak{g}\) over any field \(\mathbb{F}\) is obtained from Garland's integral form \(U(\tilde{\mathfrak{g}} )_\mathbb{Z}\) of the universal enveloping algebra \(U(\tilde{\mathfrak{g}})\) of \(\mathfrak{g}\) by tensoring it with \(\mathbb{F}\) over \(\mathbb{Z}\). In a previous paper [Pac.\ J.\ Math.\ 233, No.\ 2, 371--402 (2007; Zbl 1211.17008)], the authors studied finite-dimensional representations of the hyper loop algebra \(U(\tilde{\mathfrak{g}} )_\mathbb{F}\) for an algebraically closed field \(\mathbb{F}\) of prime characteristic. In the paper under review the authors investigate finite-dimensional representations of hyper loop algebras \(U(\tilde{\mathfrak{g}})_\mathbb{K}\) over not necessarily algebraically closed fields \(\mathbb{K}\). In particular, they obtain a classification of the isomorphism classes of finite-dimensional irreducible representations of \(U(\tilde{\mathfrak{g}})_\mathbb{K}\) in terms of certain equivalence classes of maximal ideals of a certain polynomial subalgebra \(\mathbb{K}[\Lambda]\) of \(U (\tilde{\mathfrak{h}})_\mathbb{K}\), where \(\mathfrak{h}\) is a Cartan subalgebra of \(\mathfrak{g}\). (Note that the proof does not depend on the results of their earlier paper in the algebraically closed case so that these are recovered.) Next, base change, i.e., the relation between an irreducible module over \(\mathbb{K}\) and over the algebraic closure of \(\mathbb{K}\) as well as the same for Weyl modules, is studied. Here a crucial ingredient is the degree of an equivalence class of maximal ideals in \(\mathbb{K}[\Lambda]\) which is defined as the dimension of the corresponding irreducible \(\mathbb{K} [\Lambda]\)-module. This notion is also used to prove results on the tensor products of finite-dimensional irreducible representations of \(U(\tilde{\mathfrak{g}})_\mathbb{K}\). It is shown by examples that the tensor product of two finite-dimensional irreducible representations of \(U(\tilde{\mathfrak{g}})_\mathbb{K}\) can be reducible. These examples also make it clear that the Clebsch-Gordan problem for finite-dimensional irreducible \(U(\tilde{\mathfrak{g}})_\mathbb{K}\)-modules does not reduce to the analogous problem for \(U(\mathfrak{g})_\mathbb{K}\) as in the algebraically closed case. The resulting multiplicity problems are studied in another paper of the authors [Contemp.\ Math.\ 483, 147--159 (2009; Zbl 1185.17020)]. The paper concludes by investigating the block decomposition of the category \(\mathcal{C}_\mathbb{K}\) of finite-dimensional \(U(\tilde{\mathfrak{g}})_\mathbb{K}\)-modules. The authors proceed in two steps, namely firstly, showing that \(\mathcal{C}_\mathbb{K}\) is a direct sum of certain abelian subcategories, and secondly, proving that these subcategories are indecomposable. The first step amounts to prove that every finite-dimensional incecomposable \(U (\tilde{\mathfrak{g}})_\mathbb{K}\)-module has a well-defined spectral character. This follows from a consequence of a conjecture of the authors for algebraically closed fields. For the second step the techniques used in the algebraically closed case do not work since tensor products are not as well-behaved. Nevertheless, the authors are able to prove that the subcategories corresponding to a spectral character are indecomposable by applying arguments independent from the first step, and thus not depending on the conjecture used for its proof. In particular, finite-dimensional irreducible \(U(\tilde{\mathfrak{g}})_\mathbb{K}\)-modules with the same spectral character belong to the same block.