A remark on homomorphisms between generalized Verma modules (Q1894174)

Let \({\mathfrak g}\) be a complex simple Lie algebra, \({\mathfrak p}_s\) a parabolic subalgebra of \({\mathfrak g}\), and \(\widehat {\mathfrak p}_s\) the set of (isomorphism classes of) simple \({\mathfrak p}_s\)-modules of finite dimension. For \(E\in \widehat {\mathfrak p}_s\), put \(M_s (E)= U({\mathfrak g})\otimes_{U ({\mathfrak p}_s)} E\), where \(U({\mathfrak g})\) and \(U({\mathfrak p}_s)\) denote the enveloping algebra of \({\mathfrak g}\) and \({\mathfrak p}_s\) respectively. For any \(E, F\in \widehat {\mathfrak p}_s\), the reducibility of \(\Hom_{\mathfrak g} (M_s (E), M_s (F))\) is discussed. The question is associated with the example given by \textit{R. S. Irving} [Trans. Am. Math. Soc. 291, 701-732 (1985; Zbl 0594.17005)].