Parabolic Deligne-Lusztig varieties (Q2445851)

This work is motivated by the Broué conjecture on blocks with abelian defect groups and it utilises the Deligne-Lusztig varieties. Let \(G\) be a connected reductive group over the algebraic closure of a prime field with \(p\) elements. Let \(F\) be the an isogeny such that some power \(F^n\) is Frobenius map over \(F_{p^n}\) and let \(P\) be a parabolic subgroup of \(G\). If \(G\) is quasi-simple and \(F\) is a isogeny such that the fixed points group \(G^F\) is finite, then \(F\) satisfies the hypothesis and \(G^F\) is a finite group of Lie type. Deligne and Lusztig considered the varieties \(X_P=\{gP\in G/P | gp\cap F(gP)\neq \emptyset\}\) on which \(G^F\) acts on the left. Deligne and Lusztig found a virtual representation for all characters of an \(F\)-stable maximal torus; their construction uses \(l\)-adic compactly supported cohomology groups over \(X_P\). In this work, the authors construct a monoid of endomorphisms \(M\) of \(X_P\) related to the braid group, which conjecturally will induce in some cases an action of a cyclotomic Hecke algebra on the cohomology of \(X_P\). The relationship with Broué conjecture comes as follows: assume, for some prime number \(l\neq p\), that a Sylow \(l\)-subgroup \(S\) of \(G^F\) is abelian. Then, in this particular case, Broué conjecture predicts an equivalence of derived categories between the principal block of \(\overline{\mathbb{Z}}_lG^F\) and that of \(\overline{\mathbb{Z}}_l N_{G^F} (S)\). This conjecture translates into certain conjectures about the cohomology of \(X_P\); in particular the image in the cohomology of the monoid \(M\) is a cyclotomic Hecke algebra. To construct \(M\), the authors enlarge the set of considered varieties, including the ``parabolic Deligne-Lusztig varieties'' which are varieties attached to morphisms in a ``ribbon category''. Then, \(M\) corresponds to the endomorphisms in the ``conjugacy category'' of this ribbon category of the object attached to \(X_P\). The main feature of these ribbon categories is that they have Garside families. This concept has appeared in recent work to understand the ordinary and dual monoids attached to the braid groups.