Sur quelques points, plus ou moins effectifs, de cohomologie des groupes arithmétiques
Nous donnerons un panorama de certaines techniques et résultats pour le calcul de la cohomologie des groupes arithmétiques de rang
pour des anneaux d'entiers algébriques, ainsi que leurs applications arithmétiques et K-théoriques. Nous ferons ensuite un focus sur les méthodes utilisant le modèle de Voronoi (euclidien ou hermitien), ainsi que plusieurs améliorations algorithmiques. Nous préciserons certains résultats relatifs aux complexes de Voronoi et leurs cellules (pour
avec
), ainsi qu'un travail en cours avec B. Allombert et R. Coulangeon sur les formes parfaites de rang
sur
et la cohomologie de
pour certains anneaux d'entiers avec
. Nous mentionnerons aussi plusieurs problèmes ouverts relatifs à ces modèles.