Computational proof of the Mackey formula for q > 2
arXiv:1003.4922
Abstract
Let G be a connected reductive group defined over a finite field with q elements. We prove that the Mackey formula for the Lusztig induction and restriction holds in G whenever q>2 or G does not have a component of type E.
25 pages