Skip to main content
2 of 3
Improved formatting, added tags
gmvh
  • 3.1k
  • 6
  • 27
  • 45

Action of the Casimir on highest weight modules for Kac-Moody algebra

Let $g$ be a Kac-Moody algebra with a symmetrizable Cartan matrix, and let $\{u_j\}$ and $\{u^j\}$ be bases of $g$ dual with respect to a nondegenerate invariant bilinear form $(\cdot|\cdot)$ on $g$, and consistent with the triangular decomposition of $g$. Let $L(\Lambda)$ be an integrable representation of $g$ with highest weight $\Lambda$, and let $v_\Lambda$ be its highest weight vector. Denote the Casimir $\Omega=\sum_j u_j\otimes u^j$.

I want to know why $\Omega(v_\Lambda\otimes v_\Lambda)=(\Lambda|\Lambda)v_\Lambda\otimes v_\Lambda$? Could someone give some explanation or some references?