https://123dok.net/document/6zk91kpy-polynomiality-of-grothendieck-groups-for-finite-general-linear-groups-deligne-lusztig-characters-and-injective-unstable-modules.html