An indiscrete Bierberbach theorem : from amenable CAT(0) groups to Tits buildings

Nous étudions les espaces à courbure négative qui admettent une action cocompacte d’un groupe moyennable. Lorsque le groupe de toutes les isométries est sans point fixe global à l’infini, une classification est établie ; le bord à l’infini est alors un immeuble sphérique. Si en outre l’espace est géodésiquement complet, il s’agit nécessairement d’un produit de plats, d’espaces symétriques, d’arbres bi-réguliers et d’immeubles de Bruhat–Tits. Lorsqu’un immeuble sphérique apparaît comme bord d’un espace CAT(0) propre, nous proposons un critère qui implique la condition de Moufang. Nous en déduisons qu’un immeuble euclidien irréductible localement fini de dimension ≥2 est de Bruhat–Tits si et seulement si son groupe d’automorphismes est cocompact et opère transitivement sur les chambres à l’infini