Притушите свет. На сцену выходит театр теней, где всего r кукловодов — но ширма живёт по законам гиперболической геометрии. Каждый взмах руки рождает узор, который математики называют дискретной группой изометрий. Пространство Шоттки — это громадный каталог таких теневых спектаклей: всевозможные способы, которыми свободная группа ранга r может играть на d-мерной искривлённой сцене.
Когда размерность сцены ровно вдвое больше числа кукловодов (d = 2r), в театре начинается странное. Локально каждый актёр может повернуть свою фигуру обратной стороной — возникает петля, которая меняет ориентацию образующей. Фундаментальная группа такого почти полного собрания сценариев состоит ровно из r независимых переворотов, каждый порядка два: π₁(U) ≅ (ℤ/2ℤ)ʳ. Иными словами, вы нащупываете r независимых «выключателей», которые меняют направление вращения каждого кукловода. Но стоит дать теням сшибиться — позволить параметрам выродиться, когда фундаментальные области соприкасаются, — и вся эта запутанность исчезает. Петлю можно плавно стянуть в точку, проведя её через шов, где тени слипаются. Глобально всё пространство 𝔖2r,r оказывается односвязным: любой путь возвращается к началу без разрывов.
Следствие поражает: любые две группы Шоттки одного ранга в этой размерности можно перевести друг в друга непрерывной деформацией — они квазиконформно изотопны. Теневой театр обретает непрерывность: один спектакль плавно перетекает в другой, стоит лишь пройти через мгновение, где тени сливаются в неразличимую рябь. Граница пространства модулей играет роль клея, уничтожающего препятствия, — совсем как в листе Мёбиуса, где переворот локально различим, а глобально сводится к безобидной петле.
Эта работа берёт начало в идеях Анри Пуанкаре, который первым задумался о деформационных пространствах дискретных групп. Сегодня к ней примыкают мотивы из геометрической теории групп, теории Тейхмюллера высших размерностей и даже квантовой гравитации — ведь гиперболические пространства возникают и в физике. Круг замкнулся: тени на ширме, которые казались разрозненными, составляют единый спектакль, где любое движение тянется за кулисами в никуда.
До исследования считалось, что вращательные параметры делают пространство Шоттки очень запутанным. Оказалось, что в единственной размерности, где число параметров минимально, топология упрощается до предела: пространство стягиваемо.