A two-sided \(q\)-analogue of the Coxeter complex. (Q2488325)

Let \((W,S)\) be a finite Coxeter system. Let \(R\) be a unitary commutative ring and let \(q\in R^\times\). Let \(\mathcal H\) be the Iwahori-Hecke algebra of \((W,S)\) over \(R\) with parameter \(q\). One fixes a total order \(S=\{s_i\mid 1\leq i\leq|S|\}\) on the set \(S\). In this paper the authors define a complex of bimodules over \(\mathcal H\) as follows: Let \(D\) be the cochain complex of \(\mathcal H\)-\(\mathcal H\) modules concentrated in degrees 0 to \(|S|\) defined by setting \(D^n=\bigoplus_{I\subset S,\;|I|=n}\mathcal H\otimes_{\mathcal H_I}\mathcal H\) for \(0\leq n\leq|S|\), with differential \(d^n=\sum_{I\subset S,\;|I|=n}\sum_{s_i\in S\setminus I}(-1)^i\pi_{I,I\cup\{s_i\}}\) where \(\pi_{I,J}\colon{\mathcal H}\otimes_{\mathcal H_I}{\mathcal H}\to{\mathcal H}\otimes_{\mathcal H_J}\mathcal H\) is the canonical surjective homomorphism of \(\mathcal H\)-\(\mathcal H\) bimodules, for any subsets \(I,J\) of \(S\) such that \(I\subset J\). The authors calculate its cohomology and show that it induces a derived equivalence over its module category extending the Morita equivalence given by a certain algebra automorphism. They show further that when tensored with the index representation this complex becomes isomorphic to the one-sided \(q\)-analogue of the Coxeter complex previously defined by \textit{V. V. Deodhar} [J. Algebra 111, 483-506 (1987; Zbl 0656.22007)] and \textit{A. Mathas} [J. Algebra 164, No. 3, 831-848 (1994; Zbl 0836.20055)], where the \(\mathcal H\)-module \(R\) endowed with the action \(T_w\cdot\lambda=q^{l(w)}\lambda\) for \(w\in W\) and \(\lambda\in R\) is called the index representation of \(\mathcal H\).