Cocharacters for the weak polynomial identities of the Lie algebra of skew-symmetric matrices
Let be the Lie algebra of skew-symmetric matrices over a field of characteristic 0. The ideal of the weak polynomial identities of the pair consists of the elements of the free associative algebra with the property that in the algebra of all matrices for all . The generators of were found by Razmyslov in the 1980's. In this paper the cocharacter sequence of is computed. In other words, the -module structure of the algebra generated by generic skew-symmetric matrices is determined. Moreover, the same is done for the closely related algebra of -equivariant polynomial maps from the space of -tuples of skew-symmetric matrices into (endowed with the conjugation action). In the special case the latter algebra is a module over a -variable polynomial subring in the algebra of -invariants of triples of skew-symmetric matrices, and a free resolution of this module is found. The proofs involve methods and results of classical invariant theory, representation theory of the general linear group and explicit computations with matrices.