Exterior powers of the reflection representation in the cohomology of Springer fibres (Q609367)

Suppose that \(\mathfrak{g}\) is a finite dimensional complex simple Lie algebra of rank \(\ell\) with Weyl group \(W\). Take \(V\) to be the reflection representation of \(W\). One knows that the set \(\{\Lambda^jV\mid j=1,\ldots,\ell\}\) of exterior powers of \(V\) is the class of all inequivalent irreducible representations of \(W\). Now, let \(e\) be a nilpotent element of \(\mathfrak{g}\) and denote by \(\mathcal{B}_e,\) the variety of Borel subalgebras of \(\mathfrak{g}\) containing \(e\). Consider the graded cohomology \(H^*(\mathcal{B}_e)\) of \(\mathcal{B}_e.\) One knows from the book of [\textit{J. E. Humphreys}, Conjugacy classes in semisimple algebraic groups. Mathematical Surveys and Monographs. 43. Providence, RI: American Mathematical Society (AMS) (1995; Zbl 0834.20048)] that for each nonnegative integer \(j\), \(H^{2j+1}(\mathcal{B}_e)=\{0\}\). A natural question is that of finding the degrees in which \(\Lambda^jV\) occurs in this representation. Suppose that \(s\) is the multiplicity of \(V\) in the representation \(H^*(\mathcal{B}_e)\) and let \(m_1,\ldots,m_s\) be nonnegative integers listed in increasing order such that \(\sum_{j}\dim(H^{2j}(\mathcal{B}_e)\otimes V)^Wq^j =q^{m_1}+q^{m_2} +\cdots+q^{m_s},\) an equality of polynomials in the indeterminate \(q\). If \(e\) is a regular nilpotent element in a Levi subalgebra of rank \(r\), \textit{G. I. Lehrer} and \textit{T. Shoji} [J. Aust. Math. Soc., Ser. A., 49, No.~3, 449--485 (1990; Zbl 0729.20017)] showed that \(s=\ell-r\) and that \(m_1,\ldots,m_s\) are coexponents of the corresponding parabolic hyperplane arrangement, in the sense of \textit{P. Orlik} and \textit{L. Solomon} [Proc. Symp. Pure Math., 40, 269--291 (1983; Zbl 0516.05019)]. Lehrer and Shoji also conjectured in their paper that in some cases, the occurrence of each exterior power \(\Lambda^jV\) in \(H^*(\mathcal{B}_e)\) is controlled in a natural way by \(m_1,\ldots,m_s\). Their conjecture is a generalization of the result on the \(e=0\) case studied in [\textit{L. Solomon}, Nagoya Math. J., 22, 57--64 (1963; Zbl 0117.27104)]. In the paper under review, the author confirms the Lehrer and Shoji's conjecture under the assumption that \(e\) is regular in a Levi subalgebra and satisfies a certain extra condition which holds automatically if \(\mathfrak{g}\) is of type \(A, B\), or \(C.\) His result generalizes the result of Solomon in the case \(e = 0\) and the result of Lehrer and Shoji in the case \(i = 1\).