Symmétrie discrète à  domaine fondamental compact et simple connexité géométrique

Il y a presque 20 ans, Brick et Mihalik ont decouvert une propriété la QSF, qui a un sens pour tous les espaces localement compacts et pour tous les groupes G de présentation finie. Mon théorème est que TOUT tel G est QSF. Cette propriété universelle se trouve auusi être nontriviale, car pour les groupes fondamentaux des 3-variétés, où elle était déjà  connue, le seul moyen de l'avoir était la Géométrisation de Thurston, prouvée par
Perelman. Je vais présenter quelques unes des idées de la démonstration, ainsi que quelques ramifications possibles.