An effective decomposition theorem for Schubert varieties (Q6051112)

Let \(S\) be a Schubert variety of a Grassmannian. Applying the decomposition theorem to a suitable resolution of singularities \(\pi\colon \tilde{S} \rightarrow S\), the authors study the direct summands of the derived pushforward \(R\pi_\ast \mathbb Q_{\tilde{S}}[\dim S]\) in terms of the perverse cohomology sheaves (see [\textit{M. A. A. de Cataldo} and \textit{L. Migliorini}, Bull. Am. Math. Soc., New Ser. 46, No. 4, 535--633 (2009; Zbl 1181.14001)]). In fact, these sheaves are direct sums of intersection cohomology complexes of the semisimple local systems \(L_{i j}\), each of which is supported on a suitable locally closed stratum of codimension \(j\), usually called a support of the decomposition. Among other things, the authors present an iterative algorithm (named KaLu) for computing the unknown terms in such expressions and its implementation (available at \url{https://github.com/CarmineSessa/KaLu}) in CoCoA system of algebraic computations [\textit{J. Abbott} et al., ``CoCoA: a system for doing computations in commutative algebra'', \url{http://cocoa.dima.unige.it}]. In particular, they come to the conclusion that the actual number of direct summands happens to be less than the number of supports of the decomposition. They also compare in detail the presented approach with a series of other methods that have been used in different contexts and settings (see, e.g., [\textit{A. Lascoux} and \textit{M.-P. Schuetzenberger}, Astérisque 87--88, 249--266 (1981; Zbl 0504.20007)], [\textit{S. Billey} and \textit{V. Lakshmibai}, Singular loci of Schubert varieties. Boston, MA: Birkhäuser (2000; Zbl 0959.14032)], [\textit{F. Brenti}, Eur. J. Comb. 25, No. 8, 1151--1167 (2004; Zbl 1064.14062)], [\textit{F. du Cloux}, Exp. Math. 11, No. 3, 371--381 (2002; Zbl 1101.20304)], [\textit{F. Lübeck}, Trans. Am. Math. Soc. 373, No. 4, 2331--2347 (2020; Zbl 1444.20027)]).