Invariants and representations of the $\Gamma$-graded general linear Lie $\omega$-algebras

Abstract

There is considerable current interest in applications of generalised Lie algebras graded by an abelian group $\Gamma$ with a commutative factor $\omega$. This calls for a systematic development of the theory of such algebraic structures. We treat the representation theory and invariant theory of the $\Gamma$-graded general linear Lie $\omega$-algebra $\mathfrak{gl}(V(\Gamma ,\omega ))$, where $V(\Gamma ,\omega )$ is any finite dimensional $\Gamma$-graded vector space. Generalised Howe dualities over symmetric $(\Gamma ,\omega )$-algebras are established, from which we derive the first and second fundamental theorems of invariant theory, and a generalised Schur-Weyl duality. The unitarisable $\mathfrak{gl}(V(\Gamma ,\omega ))$-modules for two ``compact'' $\ast$-structures are classified, and it is shown that the tensor powers of $V(\Gamma ,\omega )$ and their duals are unitarisable for the two compact $\ast$-structures respectively. A Hopf $(\Gamma ,\omega )$-algebra is constructed, which gives rise to a group functor corresponding to the general linear group in the $\Gamma$-graded setting. Using this Hopf $(\Gamma ,\omega )$-algebra, we realise simple tensor modules and their dual modules by mimicking the classic Borel-Weil theorem. We also analyse in some detail the case with $\Gamma ={\mathbb{Z}}^{\dim V(\Gamma ,\omega )}$ and $\omega$ depending on a complex parameter $q\ne 0$, where $\mathfrak{gl}(V(\Gamma ,\omega ))$ shares common features with the quantum general linear (super)group, but is better behaved especially when $q$ is a root of unity.

87 pages; final version to appear in Expositiones Mathematicae