Finite-dimensional representations of hyper multicurrent and multiloop algebras (Q2040635)

Let \(\mathfrak g\) be a Lie algebra defined over \(\mathbb C\). The multiloop and multicurrent Lie algebras associated to \(\mathfrak g\) are Lie algebras whose underlying vector spaces are respectively of the form \[ \mathfrak g [t_1, t_1^{-1}, \dotsc, t_n, t_n^{-1}] := \mathfrak g \otimes_\mathbb C \mathbb C[t_1, t_1^{-1}, \dotsc, t_n, t_n^{-1}] \quad \text{ and } \quad \mathfrak g [t_1, \dotsc, t_n] := \mathfrak g \otimes_\mathbb C \mathbb C[t_1, \dotsc, t_n], \] and their Lie brackets are obtained by bilinearly extending \[ [x \otimes p, y \otimes q] = [x,y] \otimes pq. \] Interest in these Lie algebras comes from the fact that, in the case where \(n = 1\) and \(\mathfrak g\) is finite dimensional and simple, then (multi)current and (multi)loop algebras are closely related to affine Kac-Moody algebras. In fact, information about the representation theory of affine Kac-Moody algebras can be obtained from studying representations of their current and loop algebras. Given a finite-dimensional simple Lie algebra \(\mathfrak g\) over \(\mathbb C\), one can consider its universal enveloping algebra \(U(\mathfrak g)\) as well as a connected, simply-connected, simple algebraic group \(G\) whose associated Lie algebra is \(\mathfrak g\). It is known that the category of (left) \(U(\mathfrak g)\)-modules is equivalent to that of \(G\)-modules. This statement would no longer be true if one were to replace \(\mathbb C\) by a field of positive characteristic. In this case one needs to replace \(U(\mathfrak g)\) by a so-called hyperalgebra. Given a Lie algebra \(\mathfrak a\), an integral form of \(U(\mathfrak a)\) is a subring \(U_\mathbb Z(\mathfrak a)\) of \(U(\mathfrak a)\) such that \(\mathbb C \otimes_\mathbb Z U_\mathbb Z(\mathfrak a) \cong U(\mathfrak a)\). Several classes of Lie algebras are known to admit integral forms for their universal enveloping algebras, in particular, mutiloop and multicurrent algebras. Given a field \(\mathbb F\) and an integral form \(U_\mathbb Z(\mathfrak a)\) of \(U(\mathfrak a)\), one defines the \(\mathbb F\)-hyperalgebra of \(\mathfrak a\) to be \(U_\mathbb F(\mathfrak a) := \mathbb F \otimes_\mathbb Z U_\mathbb Z(\mathfrak a)\). In this paper, the authors treat the case where \(\mathfrak a\) is either a multiloop or a multicurrent algebra. In fact, the authors study representations of hyperalgebras of multiloop and multicurrent Lie algebras associated to finite-dimensional simple Lie algebras. They define local Weyl modules and classify finite-dimensional irreducible modules for these hyperalgebras. They also establish a relation between local Weyl modules for multiloop and multicurrent algebras in the case where \(\mathbb F\) has characteristic zero.