Rational Schur module ($D_{\lambda }={\det }^{-k}\otimes D_{\lambda +k1}$)

For a dominant integer tuple $\lambda$, choose $k=\max (0,-{\lambda }_m)$ and define $D_{\lambda }={\det }^{-k}\otimes D_{\lambda +k(1,\dots ,1)}$, using the polynomial Schur module on the right. The alternant character formula for the general linear group shows that a larger admissible shift yields the same irreducible representation.

The dual of $D_{\lambda }$ has dominant label $-w_0\lambda =(-{\lambda }_m,\dots ,-{\lambda }_1)$. Substitution $x_i\mapsto x_i^{-1}$ in the alternant character formula for the general linear group and reversal of determinant columns gives that character. The numerator and denominator reversal signs and common monomial factors cancel.