Skip to main content
3 of 3
added 4 characters in body
Francesco Polizzi
  • 66.3k
  • 5
  • 180
  • 283

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$.

Question. Why $\Omega(v_\Lambda\otimes v_\Lambda)=(\Lambda|\Lambda)v_\Lambda\otimes v_\Lambda$? Could someone give some explanation or some references?