Una enorme hoja de papel descansa sobre la mesa. El cartógrafo intenta plasmar en ella todos los paisajes imaginables: cordilleras, desfiladeros intrincados, llanuras infinitas. Cada paisaje es un grupo finitamente generado, y el mapa es su grafo de Cayley, el retrato gráfico del grupo, donde los vértices son los elementos y las aristas las conexiones entre ellos. Se permiten distorsiones: las distancias pueden estirarse y encogerse, pero no más de un factor dado; este tipo de representación se llama inmersión gruesa, como si observáramos el paisaje a través de un cristal empañado. ¿Puede existir un mapa universal que contenga todos los grupos salvo por esos perfiles borrosos? El matemático Robin Tucker-Drob respondió con contundencia: no.

La clave de la demostración es el enfrentamiento de dos números. El cartógrafo dibuja sobre papel cuadriculado y solo puede trazar líneas con una precisión determinada. Si todos los paisajes cupieran en ese mapa, existirían aplicaciones regulares — funciones L-Lipschitz con fibra acotada, es decir, donde no más de M puntos del paisaje se pegan en un mismo punto del mapa. Entonces, el número de posibles imágenes en el mapa para un grupo de s elementos se acota superiormente por una exponencial: N(s) ≤ $A^s$, donde A depende de las distorsiones permitidas. Pero el número de paisajes posibles — grafos 3-regulares con cintura grande (la cintura es la longitud del ciclo más corto, como un sendero que no regresa demasiado pronto) — crece de forma superexponencial: M(s) ≥ (a s)^{3s/2}. Para s grandes, la superexponencial supera a la exponencial. El obstáculo es inevitable.

Pero un obstáculo aislado no basta; hay que demostrar que incluso un solo grupo puede ser la excepción universal. Aquí entra en juego la pequeña cancelación gráfica, un método para etiquetar aristas con símbolos de un alfabeto finito, una especie de codificación por marcas que impide que los caminos largos se repitan. Es como armar un puzle gigante donde cada pieza aporta solo una pequeña parte del cuadro, pero juntas forman el grupo K. Su grafo de Cayley contiene isométricamente todos los paisajes obstáculo — con exactitud, sin distorsiones. Por lo tanto, el grupo K no se sumerge groseramente en ningún mapa con un número finito de hojas típicas.

El resultado desbarata la esperanza de una clasificación gruesa única de todos los grupos y obliga a estudiar cada paisaje por separado. La hoja de papel sobre la mesa del cartógrafo siempre estará incompleta: algunos relieves quedarán inevitablemente fuera de sus márgenes. De cara al futuro, se buscarán refuerzos cuantitativos: con qué rapidez deben crecer los parámetros para que surja el obstáculo y si es posible relajar las condiciones exigiendo solo grado acotado del grafo. La propia técnica, que combina el conteo de grafos con la pequeña cancelación, proporciona una poderosa herramienta para construir espacios exóticos en geometría y en la teoría de sistemas dinámicos.