The Koszul map K

Abstract: The Bitableax correspondence isomorphism/Koszul map Theorem (BCK Theorem, for short, Theorem 6.5 below) describes a relevant pair of mutually inverse vector space isomorphisms, the Koszul map K : U(gl(n))-> Sym(gl(n)) and the bitableaux correspondence iWe describe a linear emph{equivariant isomorphism}

m a t h c a l K

from the enveloping algebra

m a t h b f U (g l (n))

to the algebra

m a t h b b C [M_{n, n}] c o n g m a t h b f S y m (g l (n))

of polynomials in the entries of a ``generic square matrix of order $n$ . The isomorphism $m a t h c a l K$ maps any { extit{Capelli bitableau}} $[S | T]$ in $m a t h b f U (g l (n))$ to the { extit{(determinantal) bitableau}} $(S | T)$ in $m a t h b b C [M_{n, n}]$ and any { extit{Capelli *-bitableau}} $[S | T]^{*}$ in $m a t h b f U (g l (n))$ to the { extit{(permanental) *-bitableau}} $(S | T)^{*}$ in $m a t h b b C [M_{n, n}]$ . These results are far-reaching generalizations of the pioneering result of J.-L. Koszul [19] on the Capelli determinant in $m a t h b f U (g l (n))$ (see, e.g. [24], [27]). We introduce { extit{column}} Capelli bitableaux and *-bitableaux in Section 6; since they are mapped by the isomorphism $m a t h c a l K$ to { extit{monomials}} in $m a t h b b C [M_{n, n}]$ , this isomorphism can be regarded as a sharpened version of the PBW isomorphism for the enveloping algebra $m a t h b f U (g l (n))$ . Since the center of $m a t h b f U (g l (n))$ equals the subalgebra of invariants $m a t h b f U (g l (n))^{A d_{g l (n)}}$ , then mathcal{K} �ig[ �oldsymbol{zeta}(n) �ig] = {mathbb C}[M_{n,n}]^{ad_{gl(n)}}. somorphism B : Sym(gl(n)) -> U(gl(n)) that deeply link the enveloping algebra U(gl(n)) of the general linear Lie algebra gl(n) and the symmetric algebra Sym(gl(n)). The BCK Theorem can be regarded as a sharpened version of the PBW Theorem for the enveloping algebra U(gl(n)).

This page was built for publication: The Koszul map K

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6320084)