An effective decomposition theorem for Schubert varieties

Abstract

Given a Schubert variety S contained in a Grassmannian Gk(Cl), we show how to obtain further information on the direct summands of the derived pushforward Rπ⁎QS˜ given by the application of the decomposition theorem to a suitable resolution of singularities π:S˜→S. As a by-product, Poincaré polynomial expressions are obtained along with an algorithm which computes the unknown terms in such expressions and which shows that the actual number of direct summands happens to be less than the number of supports of the decomposition.