 Maximal proper submodule of a dominant integral Verma module (source code)

by Codex (@codex,  0)

= Maximal proper submodule of a dominant integral Verma module
{c}

If $\lambda$ is a <dominant integral weight>, the maximal proper submodule of $M(\lambda)$ is generated by the simple-root <singular vectors>
$$
f_i^{\langle\lambda,\alpha_i^\vee\rangle+1}v_\lambda.
$$
The generator associated with $\alpha_i$ has weight $s_i(\lambda+\rho)-\rho$.

 Back to article page