Koszul duality for Coxeter groups (Q6580070)

Let \((W, S)\) be a Coxeter system with finite \(S\) and \(\mathfrak{h}\) a realization of \((W, S)\), and let \(\mathcal{D}_{BS}(\mathfrak{h}, W)\) denote the \(k\)-linear monoidal category constructed by Elias-Williamson. The first key result of this paper establishes a monoidal equivalence between the category \(\mathcal{D}_{BS}(\mathfrak{h}^*, W)\) and the category \(\mathcal{T}_{BS}(\mathfrak{h}, W)\), the free monodromic tilting category associated with the Coxeter system. This result generalizes Theorem 5.1 from [\textit{P. N. Achar} et al., J. Am. Math. Soc. 32, No. 1, 261--310 (2019; Zbl 1450.20011)]. Another notable result in this paper is a triangulated Koszul duality result: there exists an equivalence of triangulated categories between the category \(RE(\mathfrak{h}, W)\) and \(LE(\mathfrak{h}^*, W)\), where \(RE(\mathfrak{h}, W) = K^b\overline{\mathcal{D}}^\oplus_{BS}(\mathfrak{h}, W)\) (resp. \(LE(\mathfrak{h}^*, W) = K^b\underline{\mathcal{D}}^\oplus_{BS}(\mathfrak{h}, W)\)) is obtained by eliminating the left (resp. right) action in the bimodule structure of graded homomorphisms between two objects over the symmetric algebra of the dual representation underlying \(\mathfrak{h}\). In the final section, these results are applied to the combinatorics of indecomposable tilting modules.