Deligne-Lusztig induction
ID: deligne-lusztig-induction
For a rational maximal torus , choose a Borel subgroup containing it with unipotent radical . The alternating compactly supported étale cohomology of , in the appropriate -isotypic component, defines the virtual character of . It is independent of the chosen Borel. When the Borel subgroup is rational, this is ordinary induction from its rational points after inflation of a group representation from .
New to topics? Read the docs here!