https://123dok.net/document/z3d4l67y-derived-categories-and-deligne-lusztig-varieties-ii.html