Relative hard Lefschetz for Soergel bimodules (Q2039584)

Let \((W,S)\) be a Coxeter system, and \(\mathcal{H}\) be the associated Hecke algebra over \(\mathbb{Z}[v^{\pm 1}]\). The Hecke algebra \(\mathcal{H}\) has two important bases: the standard basis \(\{ H_{x} \mid x \in W\}\) and the Kazhdan-Lusztig basis \(\{ \underline{H}_{x} \mid x \in W\}\) (see [\textit{D. A. Kazhdan} and \textit{G. Lusztig}, Invent. Math. 53, 165--184 (1979; Zbl 0499.20035)]). The structure constants of \(\mathcal{H}\) are those elements \(\mu_{x,y}^{z} \in \mathbb{Z}[v^{\pm 1}]\) such that \(\underline{H}_{x} \underline{H}_{y}=\sum \mu_{x,y}^{z} \underline{H}_{z}\) (and by ``positivity of structure constants'', proved in full generality for arbitrary Coxeter systems by the authors [Ann. of Math. (2) 180, 1089--1136 (2014; Zbl 1326.20005)], \(\mu_{x,y}^{z} \in \mathbb{Z}_{\geq 0}[v^{\pm 1}]\)). In the paper under review the authors prove the relative hard Lefschetz theorem for Soergel bimodules (Theorem 1.2). The relative hard Lefschetz theorem has two impotant consequences. In the first place it follows that the structure constants of the Kazhdan-Lusztig basis are unimodal. In the second place it implies that the tensor category associated by Lusztig to any two-sided cell in a Coxeter group is rigid and pivotal. In a short review it is impossible to highlight the importance of the results obtained in this paper, also because it is difficult to fully explain the notations that are used. The interested reader can find all the details in the monograph of \textit{B. Elias} et al. [Introduction to Soergel bimodules. Cham: Springer (2020; Zbl 07243231)] .