arXiv++ Combinatorics

Let G=GL_n be the general linear group over an algebraically closed field k and let g=gl_n be its Lie algebra. Let U be the subgroup of G which consists of the upper unitriangular matrices. Let k[g] be the algebra of polynomial functions on g and let k[g]^G be the algebra of invariants under the conjugation action of G. For all weights chi in Z^n with chi_2<=0 or chi_{n-1}>=0 we give explicit bases for the k[g]^G-module k[g]^U_chi of highest weight vectors of weight chi. This extends earlier results to a much bigger class of weights. To express our semi-invariants in terms of matrix powers we prove certain Cayley-Hamilton type identities.

We use the rational tableaux introduced by Stembridge to give a bideterminant basis for a normal reductive monoid and for its variety of noninvertible elements. We also obtain a bideterminant basis for the full coordinate ring of the general linear group and for all its truncations with respect to saturated sets. Finally, we deduce an alternative proof of the double centraliser theorem for the rational Schur algebra and the walled Brauer algebra over an arbitrary infinite base field which was first obtained by Dipper, Doty and Stoll.