On one-sided singular Soergel bimodules (Q6170774)

Let \((W, S)\) be a Coxeter system. A Hecke category for \((W,S)\) is a category whose split Grothendieck group is isomorphic to the Hecke algebra \(\mathcal{H}\) attached to \((W,S)\). Various versions of Hecke categories have been defined: Soergel bimodules by Soergel, certain sheaves on a moment graph by Fiebig, parity sheaves by Juteau-Mautner-Williamson, a generalization of Soergel bimodules by Elias-Williamson to study fundamental problems in representation theory of complex reductive Lie algebras and modular representation theory of reductive algebraic groups. These Hecke categories were shown to be equivalent by \textit{N. Abe} [Compos. Math. 157, No. 10, 2133--2159 (2021; Zbl 07430017)] under mild hypotheses. In the paper under review, the author defines the category \(_{S_0}\mathcal{S}\mathrm{bimod}\) of one-sided singular Soegel bimodules associated with a subset \(S_0 \subset S\) satisfying some requirements (Definition 2.22). The category \(_{\emptyset}\mathcal{S}\mathrm{bimod}\) coincides with the category \(\mathcal{S}\mathrm{bimod}\) of Soergel bimodules, and there is a natural tensor product action of the category \(\mathcal{S}\mathrm{bimod}\) on the category \(_{S_0}\mathcal{S}\mathrm{bimod}\). The first main result of the paper is the fact that the split Grothendieck group \([_{S_0}\mathcal{S}\mathrm{bimod}]\) of the category \(_{S_0}\mathcal{S}\mathrm{bimod}\), as a module over \([\mathcal{S}\mathrm{bimod}] = \mathcal{H}\), is isomorphic to the submodule \(\mathrm{triv}_{\mathcal{H}_{S_0}} \otimes_{\mathcal{H}_{S_0}}\mathcal{H}\), where \(\mathcal{H}_{S_0}\) is the Hecke subalgebra attached to \(S_0 \subset S\) and \(\mathrm{triv}_{\mathcal{H}_{S_0}}\) is the trivial module of \(\mathcal{H}_{S_0}\) (Theorem 2.36). The second main result is geometric. Assume the Coxeter datum \((W, S)\) is attached to a Kac-Moody group \(G\). Let \(B\subset G\) be a Borel subgroup of \(G\), let \(P_{S_0} \subset G\) be the standard parabolic attached to \(S_0\), and let \(_{S_0}X = P_{S_0} \backslash G\) be the partial flag variety attached to \(S_0\). The author considers the category \(\mathrm{Parity}_B(_{S_0}X)\) of \(B\)-equivariant parity sheaves on \(_{S_0}X\). He shows that the category \(\mathrm{Parity}_B(X)\) of \(B\)-equivariant parity sheaves on the flag variety \(X = B\backslash G\) acts on the category \(\mathrm{Parity}_B(_{S_0}X)\) by convolution. Moreover, he shows that taking \(B\)-equivariant hypercohomology yields a functor \[ _{S_0}\mathbb{H}: \mathrm{Parity}_B(_{S_0}X) \rightarrow _{S_0}\mathcal{S}\mathrm{bimod} \] which is an equivalence. Through such equivalence, the convolution action of \(\mathrm{Parity}_B(X)\) on \(\mathrm{Parity}_B(_{S_0}X)\) translates into the tensor product action of \(\mathcal{S}\mathrm{bimod}\) on \(_{S_0}\mathcal{S}\mathrm{bimod}\) (Theorem 3.1).