Structure of the Verma module \(M(-\rho)\) over Euclidean Lie algebras (Q584375)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Structure of the Verma module \(M(-\rho)\) over Euclidean Lie algebras |
scientific article |
Statements
Structure of the Verma module \(M(-\rho)\) over Euclidean Lie algebras (English)
0 references
1989
0 references
Let \(G\) be a symmetrizable Kac-Moody Lie algebra and \(L(-\rho)\) be the irreducible quotient of the Verma module \(M(-\rho)\). \textit{V. G. Kac} and \textit{D. A. Kazhdan} [Adv. Math. 34, 97--108 (1979; Zbl 0427.17011)] gave the conjecture on the character formula: \[ \operatorname{ch} L(-\rho)=e^{- \rho}\prod_{\substack{\alpha \in \Delta \\ (\alpha,\alpha)\ne 0}}(1-e^{- \alpha})^{-\dim G_{\alpha}}. \] In this paper the author gives a proof for the conjecture when \(G\) is a Euclidean Lie algebra. In addition, he also determines the Jantzen filtration of \(M(-\rho)\) in this case. Further, he shows that the conjecture fails in general and states a new conjecture for the general case at the end. If \(G\) is a Euclidean Lie algebra, the conjecture can be rewritten as \[ \operatorname{ch} M(-\rho)=\sum^{\infty}_{k=0}m_k \operatorname{ch} L(-\rho -k\zeta), \] where \(\zeta\) is the smallest positive imaginary root of \(G\) and \[ \sum^{\infty}_{k=0}m_ke^{-k\zeta}=\prod^{\infty}_{k=0}(1- e^{-k\zeta})^{-\dim G_{\alpha}}. \] Let \(I_-\) be the Lie subalgebra of \(G\) generated by the set of negative imaginary root vectors of \(G\) and let \(U(I_-)\) be its universal enveloping algebra. Then \(m_k=\dim U(I_- )_{-k\zeta}\) for all \(k\). The author shows that each negative imaginary root vector gives rise to a highest weight vector of an embedding of \(M(- \rho)\) and these highest weight vectors behave in many ways exactly like the corresponding imaginary root vectors. He shows that the multiplicity of \(L(-\rho -k\zeta)\) in \(M(-\rho)\) is \(m_k\) for all \(k\). This enables us to compute an upper bound for \(\dim L(-\rho -\eta)\) for all \(\eta\) which leads to the conclusion.
0 references
symmetrizable Kac-Moody Lie algebra
0 references
Verma module
0 references
Euclidean Lie algebra
0 references
Jantzen filtration
0 references
highest weight vector
0 references
imaginary root vectors
0 references
multiplicity
0 references