Extensions between finite-dimensional simple modules over a generalized current Lie algebra (Q707910)

From the text: ``In this article we are concerned with finite-dimensional modules over a generalized current Lie algebra \(A\otimes\mathfrak g\), where \(\mathfrak g\) is a finite-dimensional semisimple Lie algebra defined over the complex number field \(\mathbb C\) and \(A\) is a nonzero finitely generated commutative \(\mathbb C\)-algebra. This class of Lie algebras includes loop Lie algebras and their multivariable analogs. Since the category of finite-dimensional \(A\otimes\mathfrak g\)-modules is not semisimple in general, we need to study its homological properties. The purpose of this article is to give an answer for the following problem which naturally arises during the study. Problem 1.1. Calculate \(\text{Ext}^1(V,V')\) for any finite-dimensional simple \(A\otimes \mathfrak g\)-modules \(V,V'\). Some results are known for special cases so far. \textit{A. Fialowski} and \textit{F. Malikov} [Am. J. Math. 116, No. 5, 1265--1281 (1994; Zbl 0823.17036)] give an answer for the case of loop Lie algebras or current Lie algebras under the assumption that \(V\) and \(V'\) are so-called evaluation modules. In fact they calculate \(\text{Ext}^1(V,V')\) for any finite-dimensional simple evaluation modules \(V, V'\) and all \(i \geq 0\). The first extension groups for any finite-dimensional simple modules over a current Lie algebra are calculated by \textit{V. Chari} and \textit{J. Greenstein} [Contemp. Math. 392, 15--31 (2005; Zbl 1170.17304)]. Our main theorem is regarded as a generalization of the result in [Chari-Greenstein] although the approach is different. Our approach is based on a work by \textit{V. Chari} and \textit{A. A. Moura} [J. Algebra 279, No. 2, 820--839 (2004; Zbl 1195.17018)], which determines the blocks of the category of finite-dimensional modules over a loop Lie algebra. One of the main tools used in [Chari-Moura] is a family of the universal finite-dimensional highest weight modules called Weyl modules. In [Chari-Moura] some knowledge on the composition factors of Weyl modules is established and they use it to determine the blocks. The notion of Weyl modules is generalized by \textit{B. Feigin} and \textit{S. Loktev} [Commun. Math. Phys. 251, No. 3, 427--445 (2004; Zbl 1100.17005)] for an arbitrary generalized current Lie algebra. They also prove the properties of Weyl modules mentioned above in the general situation. Then techniques used in [CM] are applicable for the general case and in fact yield a stronger result than the block decomposition of the category.'' The main result is too lengthy to state here.