Contractibility of the orbit space of the $p$-subgroup complex via Brown-Forman discrete Morse theory

We give a simple proof that the orbit space of the $p$-subgroup complex of a finite group is contractible using Brown-Forman discrete Morse theory. This result was originally conjectured by Webb and proved by Symonds.