Bases of the intersection cohomology of Grassmannian Schubert varieties (Q2236104)

The main goal of the present paper is to lift the combinatorics of Dyck partitions to the category of Grassmannian Soergel bimodules, obtaining a basis of the intersection cohomology parameterized by Dyck partitions. The basic idea is to reinterpret each Dyck strip \(D\) as a morphism of degree one (denoted by \(f_D\)) between the corresponding singular Soergel bimodules. A key feature of indecomposable Grassmannian Soergel bimodules is that the space of degree one morphisms between indecomposable bimodules is one-dimensional, therefore the morphism \(f_D\) is actually uniquely determined up to a scalar. For an arbitrary Dyck partition \(P = \{D_1, D_2,\dots, D_k\}\), they consider the morphism \(f_P = f_{D_1} \circ f{_D{_2}} \circ\dots\circ f_{D_k}\). Unfortunately, this morphism is not well defined: different orders of the elements in \(P\) (i.e. different orders for the composition of the morphisms \(f_{D_i}\)) may lead to different morphisms. A crucial technical point is to define a partial order on the set of Dyck partitions. They then show that the morphism \(f_P\) is well defined, up to a scalar and up to smaller morphisms in the partial order. After fixing for any Dyck partition an order of its strips arbitrarily the set \(\{f_P\}\) gives us a basis of the morphisms between singular Soergel bimodules. Moreover, the basis they obtain is cellular and this makes the Grassmannian Soergel bimodules a strictly object-adapted cellular category. By evaluating these morphisms on the unit of the cohomology ring, they also get bases of the (equivariant) intersection cohomology of Schubert varieties.