Étale chain complexes and Deligne-Lusztig curves (Q1858262): Difference between revisions

The main result of the interesting paper is the proof of Broué's conjecture concerning Deligne-Lusztig curves. Let \(G\) be a reductive algebraic group over an algebraic closure \(k_{p}\) of a prime finite field \({\mathbb F}_{p}\), \(p \neq l, F:G \rightarrow G\) the Frobenius endomorphism. Let \(T\) be a maximum \(F\)-stable torus, \(B\) a Borel subgroup containing \(T\) and \(U\) the unipotent radical of \(B.\) For the Lang isogeny \( {\mathcal L}: G \rightarrow G, g \mapsto g^{-1}F(g)\) the Deligne-Lusztig variety is defined by \(Y = Y_{G}(U) = ({\mathcal L}^{-1}(F(U))/(U \cap F(U)).\) The author of the paper under review shows that if \[ \Hom_{\text{Ho}({\mathbb F}_{l}G)}({\widetilde R}\Gamma(Y,{\mathbb F}_{l}), \widetilde{R}\Gamma(Y,{\mathbb F}_{l})[i]) = 0 \] for \(i \neq 0\) then Broué's conjecture is true (Theorem 4.5). The conjecture is formulated in the article by \textit{M. Broué} and \textit{G. Malle} [Astérisque 212, 119-189 (1993; Zbl 0835.20064))] and is defined more precisely in the article by \textit{M. Broué} and \textit{J. Michel} [in: Finite reductive groups, Prog. Math. 141, 73-139 (1997; Zbl 1029.20500)]. The organization of the paper under review is as follows: 1. Introduction, 2. Lifting, 3. Profinite groups and coverings of affine line, 4. Deligne-Lusztig curves. In the second section the author lifts construction of functors between derived categories of étale sheaves over schemes with a sheaf of algebras to pure derived categories. Theorem 2.29 of the section generalizes theorem 4.2 by \textit{J. Rickard} [Publ. Math., IHÉS 80, 81-94 (1994; Zbl 0838.14013)]. Section 3 contains results about some profinite groups and cohomology of étale covers of the affine line \({\mathbb A}^{1}(k_{p}).\)