mjj

Types and compact-induction constructions for reductive groups

## First step: compact-induction constructions for linear reductive groups in small residue characteristic Within the broader programme above, the first step is to work with **linear reductive groups