Applications of (higher) categorical trace II: Deligne-Lusztig theory
arXiv:2603.26957
Abstract
We use the formalism of the (2-category) AGCat, developed in [GRV], and the operation of higher categorical trace to (re)derive a number of results in the Deligne-Lusztig theory.