No label defined (Q4524261)

It has been stated in Remark 0.27 of the paper of \textit{B. Kostant} [Duke Math. J. 100, 447-501 (1999; Zbl 0952.17005)] that the results in that paper yield an extensive generalization of the Bott-Borel-Weil theorem. The purpose of the paper under review is to explain and justify this statement in detail. Namely, let \(G\) be a simply connected complex semisimple Lie group and \(\mathfrak g=\text{Lie } G\). Let \(P\) be a parabolic subgroup of \(G\) and \(\mathfrak p=\text{Lie } P\). Let \(\mathfrak p= \mathfrak g_1+\mathfrak n\) be the Levi-decomposition of \(\mathfrak p\) where \(\mathfrak g_1\) is a Levi-factor and \(\mathfrak n\) is the nilradical of \(\mathfrak p\). Let \(\lambda \) be the highest weight of an irreducible representation of \(\mathfrak g\) and let the other notation be as in Theorem 4.17 in the paper cited above. In the Levi-factor case, i.e., for \(\mathfrak r=\mathfrak g_1\), the author proves in Theorem B that \(2L_{\lambda}= (|\lambda+\rho|^2 -|\rho_{\mathfrak r}|^2)- \zeta_{\lambda}(\text{Cas}_{\mathfrak r})\) so that the \(\mathfrak g_1\)-module structure on \(\text{Ker}L_{\lambda}\) (and hence on \(H^*(\mathfrak n, V_{\lambda})\)) is given by the \(\mathfrak g_1\)-module structure on \(M\). In the general case one does not have the Laplacian \(L_{\lambda}\); instead one has the cubic Dirac operator \(\square_{\lambda}\). In Theorem C the author proves that with the assumptions of Theorem B one has \(\square_{\lambda}=2L_{\lambda}^e\) where \(L_{\lambda}^e\) is the operator on \(V_{\lambda}\otimes S\) defined by putting \(L_{\lambda}^e=L_{\lambda}\otimes 1\) with respect to the right side of the equality \(V_{\lambda}\otimes S = C(\mathfrak n, V_{\lambda})\otimes Z_{\rho(\mathfrak n)}\). For the entire collection see [Zbl 0947.00049].