Универсальной карты для всех групп не существует ✛ ✎

Огромный лист бумаги лежит на столе. Картограф пытается уместить на нём все мыслимые ландшафты: горные хребты, запутанные ущелья, бескрайние равнины. Каждый ландшафт — это конечнопорождённая группа, а карта — её граф Кэли, графический портрет группы, где вершины — элементы, а рёбра — связи между ними. Допускаются искажения: расстояния можно растягивать и сжимать, но не более чем в заданное число раз — такое отображение называют грубым вложением, как если бы мы смотрели на ландшафт через мутное стекло. Может ли существовать универсальная карта, на которую поместятся все группы с точностью до таких размытых очертаний? Математик Робин Такер-Дроб ответил жёстко: нет.

Ключ к доказательству — противостояние двух чисел. Картограф рисует на бумаге в клетку и может проводить линии только с определённой точностью. Если бы все ландшафты помещались на такую карту, то существовали бы регулярные отображения — L-липшицевы карты с ограниченным слоем, то есть такие, где не более M точек ландшафта склеиваются в одну точку карты. Тогда число различных карт-образов для группы из s элементов оценивается сверху экспонентой: N(s) ≤ $A^s$, где А зависит от допустимых искажений. Но число возможных ландшафтов — 3-регулярных графов с большим обхватом (обхват — длина кратчайшего цикла, как у тропы, которая не возвращается слишком быстро) — растёт сверхэкспоненциально: M(s) ≥ (a s)^{3s/2}. При больших s сверхэкспонента обгоняет экспоненту. Препятствие неизбежно.

Но одного разрозненного препятствия мало — нужно показать, что даже одна группа может быть универсальным исключением. Здесь вступает графическое малое сокращение — метод разметки рёбер символами из конечного алфавита, своеобразная кодовая разметка, при которой длинные пути не повторяются. Это похоже на сборку гигантского пазла, где каждый фрагмент несёт лишь малую долю общей картины, но вместе они образуют группу K. Её граф Кэли изометрично содержит все ландшафты-препятствия — в точности, без искажений. Значит, группа K не вкладывается грубо ни в какую карту с конечным числом типовых листов.

Результат перечёркивает надежду на единую грубую классификацию всех групп и вынуждает изучать каждый ландшафт по отдельности. Лист бумаги на столе картографа всегда будет неполным: какие-то рельефы неизбежно выпадут за его пределы. В перспективе — поиск количественных усилений: насколько быстро должны расти параметры, чтобы возникло препятствие, и можно ли ослабить условия до просто ограниченной степени графа. Сама техника, соединившая подсчёт графов и малое сокращение, даёт мощный инструмент для конструирования экзотических пространств в геометрии и теории динамических систем.