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

Abstract

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.

arXiv commentMinor revision to correct the formulation of the translation from Brown's Noetherian collapsing scheme to Chari's acyclic matching. No proof details have changed