Il n'existe pas de carte universelle pour tous les groupes ✛ ✎

Une immense feuille de papier est posée sur la table. Le cartographe tente d'y faire tenir tous les paysages imaginables : chaînes de montagnes, gorges enchevêtrées, plaines sans fin. Chaque paysage est un groupe de type fini, et la carte est son graphe de Cayley, le portrait graphique du groupe, où les sommets sont les éléments et les arêtes les liens entre eux. Des distorsions sont autorisées : on peut étirer et comprimer les distances, mais pas plus d'un facteur donné – une telle application est appelée plongement grossier, comme si l'on regardait le paysage à travers un verre dépoli. Peut-il exister une carte universelle sur laquelle tous les groupes puissent tenir, à ces contours flous près ? Le mathématicien Robin Tucker-Drob a répondu sans appel : non.

La clé de la preuve réside dans l'affrontement de deux nombres. Le cartographe dessine sur du papier quadrillé et ne peut tracer des lignes qu'avec une certaine précision. Si tous les paysages pouvaient tenir sur une telle carte, il existerait des applications régulières – des applications L-lipschitziennes à fibres bornées, c'est-à-dire telles qu'au plus M points du paysage se collent en un point de la carte. Alors le nombre de cartes-images différentes pour un groupe à s éléments est majoré par une exponentielle : N(s) ≤ $A^s$, où A dépend des distorsions admissibles. Mais le nombre de paysages possibles – les graphes 3-réguliers de grand circonférence (le circonférence est la longueur du plus court cycle, comme un sentier qui ne revient pas trop vite) – croît de manière super-exponentielle : M(s) ≥ (a s)^{3s/2}. Pour s grand, la super-exponentielle dépasse l'exponentielle. L'obstacle est inévitable.

Mais un obstacle isolé ne suffit pas – il faut montrer qu'un seul groupe peut être une exception universelle. C'est ici qu'intervient la petite simplification graphique – une méthode de marquage des arêtes avec des symboles d'un alphabet fini, une sorte de marquage codé, où les longs chemins ne se répètent pas. Cela ressemble à l'assemblage d'un puzzle géant, où chaque pièce ne porte qu'une petite fraction de l'image globale, mais ensemble elles forment un groupe K. Son graphe de Cayley contient isométriquement tous les paysages obstacles – exactement, sans distorsion. Par conséquent, le groupe K ne se plonge grossièrement dans aucune carte avec un nombre fini de feuilles types.

Ce résultat anéantit l'espoir d'une classification grossière unique de tous les groupes et oblige à étudier chaque paysage séparément. La feuille de papier sur la table du cartographe sera toujours incomplète : certains reliefs déborderont inévitablement. À terme, on cherche des renforcements quantitatifs : à quelle vitesse les paramètres doivent-ils croître pour qu'un obstacle apparaisse, et peut-on affaiblir les conditions jusqu'à simplement un degré borné du graphe ? La technique elle-même, qui combine le dénombrement de graphes et la petite simplification, fournit un outil puissant pour construire des espaces exotiques en géométrie et en théorie des systèmes dynamiques.