Универсальное накрытие: односвязный накрывающий слой

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

Что такое накрытие

Отображение $p \colon \tilde{X} \to X$ называется накрытием, если у каждой точки $x \in X$ есть открытая окрестность $U$, прообраз которой $p^{-1}(U)$ распадается в дизъюнктное объединение открытых множеств, каждое из которых $p$ отображает гомеоморфно на $U$. Такую $U$ называют равномерно накрытой, а листы прообраза - слоями над $U$. Локально накрытие выглядит как стопка одинаковых копий $U$, лежащих друг над другом.

Простейший образ - спираль над окружностью. Прямая $\mathbb{R}$ накрывает окружность $S^1$ отображением $p(t) = (\cos 2\pi t, \sin 2\pi t)$: каждая точка окружности имеет бесконечно много прообразов, отличающихся на целое число, и над маленькой дугой $\mathbb{R}$ распадается на счётный набор интервалов. Эта спираль и есть универсальное накрытие окружности.

Рассчитать для своей задачи

Определение универсального накрытия

Накрытие $p \colon \tilde{X} \to X$ называется универсальным, если пространство $\tilde{X}$ односвязно: оно линейно-связно и его фундаментальная группа тривиальна, $\pi_1(\tilde{X}) = 1$. Слово «универсальное» оправдано тем, что такое накрытие накрывает любое другое связное накрытие того же пространства - оно максимально, стоит на самом верху иерархии.

Содержательная идея: при подъёме в накрытие петли «распрямляются». Замкнутый путь в $X$, обходящий нетривиальную петлю, поднимается в незамкнутый путь в $\tilde{X}$ - его концы лежат в разных точках одного слоя. В универсальном накрытии распрямляются все петли сразу: ни одна нестягиваемая петля внизу не поднимается до петли наверху. Именно поэтому $\tilde{X}$ односвязно - все «дырки», которые ловила фундаментальная группа, в накрытии раскрыты.

Универсальное накрытие единственно с точностью до изоморфизма накрытий: если $\tilde{X}_1$ и $\tilde{X}_2$ оба односвязны и оба накрывают $X$, существует гомеоморфизм между ними, согласованный с проекциями. Поэтому говорят об универсальном накрытии как об определённом объекте.

Условие существования

Не у каждого пространства есть универсальное накрытие. Достаточное условие - пространство $X$ должно быть линейно-связным, локально линейно-связным и полулокально односвязным. Последнее свойство означает: у каждой точки $x$ есть окрестность $U$, в которой любая петля стягивается уже в самом $X$ (вложение $\pi_1(U, x) \to \pi_1(X, x)$ тривиально). Петля внутри $U$ не обязана стягиваться внутри $U$, но обязана стягиваться в объемлющем пространстве.

Если условие выполнено, универсальное накрытие существует и строится явно (см. ниже). Для разумных пространств - многообразий, CW-комплексов, графов - оно всегда есть, поэтому в большинстве учебных задач существование можно не проверять. Тонкости начинаются на «диких» пространствах вроде гавайских серёг.

Связь со слоем и фундаментальной группой

Главная теорема теории накрытий связывает слой универсального накрытия с фундаментальной группой базы. Над любой точкой $x_0 \in X$ слой $p^{-1}(x_0)$ находится в биекции с фундаментальной группой:

$p^{-1}(x_0) \;\leftrightarrow\; \pi_1(X, x_0).$

Биекция строится через подъём путей: каждому элементу $[\gamma] \in \pi_1(X, x_0)$ ставится в соответствие конечная точка поднятого пути $\tilde{\gamma}$, начинающегося в фиксированной точке слоя. Число листов накрытия равно порядку группы $\pi_1(X)$. Для окружности $\pi_1(S^1) = \mathbb{Z}$, и слой над точкой - счётный, что мы и видели у спирали.

Более того, $\pi_1(X)$ действует на $\tilde{X}$ преобразованиями колоды (deck transformations) - гомеоморфизмами $\tilde{X} \to \tilde{X}$, согласованными с проекцией. Это действие свободно и собственно разрывно, а факторпространство восстанавливает базу:

$X \;\cong\; \tilde{X} / \pi_1(X).$

Так фундаментальная группа становится «группой симметрий» накрывающего слоя, а база - фактором по этому действию. Окружность есть фактор прямой по действию $\mathbb{Z}$ сдвигами: $S^1 = \mathbb{R}/\mathbb{Z}$.

Рассчитать для своей задачи

Построение через классы путей

Универсальное накрытие можно построить руками - как пространство классов путей. Зафиксируем базовую точку $x_0 \in X$. Точками $\tilde{X}$ объявим классы гомотопии (с закреплёнными концами) путей $\gamma$, выходящих из $x_0$:

$\tilde{X} = \{ [\gamma] : \gamma(0) = x_0 \}, \qquad p([\gamma]) = \gamma(1).$

Проекция $p$ отправляет класс пути в его конечную точку. Топология на $\tilde{X}$ задаётся так, чтобы $p$ было локально гомеоморфизмом: базовые окрестности класса $[\gamma]$ - это классы путей вида «$\gamma$, продолженный коротким путём внутри равномерно накрытой окрестности конца».

Полученное пространство односвязно. Любая петля в $\tilde{X}$ соответствует петле в $X$, гомотопной постоянной (иначе классы путей разъехались бы), поэтому стягивается. Полулокальная односвязность ровно и нужна, чтобы эта топология была корректной и $p$ оказалось накрытием. Это конструктивное доказательство теоремы существования: условие выполнено - значит накрытие построено.

Промежуточные накрытия получаются той же конструкцией, но классы путей берутся не по тривиальной группе, а по подгруппе $H \leq \pi_1(X)$: накрытия связного $X$ с точностью до изоморфизма соответствуют подгруппам $\pi_1(X)$ (теорема о соответствии Галуа для накрытий). Универсальное отвечает подгруппе $H = 1$, само $X$ - всей группе.

Классические примеры

Окружность $S^1$. Универсальное накрытие - прямая $\mathbb{R}$, проекция $p(t) = e^{2\pi i t}$. Группа $\pi_1(S^1) = \mathbb{Z}$ действует сдвигами на целое число, и $S^1 = \mathbb{R}/\mathbb{Z}$. Это базовый пример всей теории.

Тор $T^2$. Универсальное накрытие - плоскость $\mathbb{R}^2$, проекция факторизует по решётке $\mathbb{Z}^2$. Поскольку $\pi_1(T^2) = \mathbb{Z}^2$ (это вычисляется теоремой ван Кампена), тор есть $\mathbb{R}^2 / \mathbb{Z}^2$. Плоскость, расчерченная на единичные квадраты, при склейке противоположных сторон каждого квадрата даёт тор.

Букет окружностей. Универсальное накрытие букета $S^1 \vee S^1$ - бесконечное дерево Кэли (4-валентное), на котором свободно действует свободная группа $F_2 = \pi_1(S^1 \vee S^1)$. Дерево односвязно (в нём нет циклов), и фактор по $F_2$ возвращает восьмёрку.

Проективная плоскость $\mathbb{RP}^2$. Накрытие двулистное: сфера $S^2$ накрывает $\mathbb{RP}^2$ отождествлением антиподов. Сфера односвязна, $\pi_1(\mathbb{RP}^2) = \mathbb{Z}/2$, и слой над точкой состоит ровно из двух антиподальных точек. Здесь группа конечна, поэтому накрытие конечнолистное.

Накрытия и подгруппы: соответствие Галуа

Теория накрытий устроена как теория Галуа. Связные накрытия пространства $X$ с базовой точкой биективно соответствуют подгруппам $\pi_1(X, x_0)$, и эта биекция обращает порядок: чем меньше подгруппа, тем больше накрытие.

$\{ \text{связные накрытия } X \} \;\leftrightarrow\; \{ \text{подгруппы } \pi_1(X) \}.$

Нормальным (регулярным) накрытиям отвечают нормальные подгруппы, и у них группа преобразований колоды равна фактору $\pi_1(X)/H$. Универсальное накрытие отвечает тривиальной подгруппе и потому регулярно с группой колоды, равной всей $\pi_1(X)$; оно «накрывает» каждое промежуточное накрытие, что и оправдывает название. Это глубокая структурная связь: вопросы топологии накрытий переводятся в вопросы теории групп о подгруппах фундаментальной группы.

Частые ошибки

• Путают «односвязное» и «связное». Универсальность требует именно тривиальной $\pi_1(\tilde{X})$, а не просто связности. Связный накрывающий слой может иметь нетривиальную фундаментальную группу - тогда накрытие не универсально.
• Считают, что универсальное накрытие есть у любого пространства. Без полулокальной односвязности (гавайские серьги) его не существует - это обязательная проверка для экзотических пространств.
• Забывают, что число листов равно порядку $\pi_1(X)$. Для конечной группы накрытие конечнолистное ($\mathbb{RP}^2$ - два листа), для бесконечной - бесконечнолистное (окружность, тор).
• Пытаются построить накрытие, не зафиксировав базовую точку. Слой, действие группы и соответствие подгрупп определены относительно выбранной точки $x_0$; без неё конструкция через классы путей не запускается.
• Смешивают накрытие и расслоение. Накрытие - частный случай локально тривиального расслоения с дискретным слоем; у общего расслоения слой может быть непрерывным, и тогда вся теория другая.

FAQ

Чем универсальное накрытие отличается от обычного? Любое накрытие распрямляет часть петель базы, универсальное распрямляет все: его слой односвязен. Из универсального накрытия как фактор по подгруппам фундаментальной группы получаются все остальные связные накрытия, поэтому оно и стоит на вершине иерархии.

Всегда ли универсальное накрытие компактно? Нет, чаще наоборот. Накрытие компактно лишь при конечной фундаментальной группе: сфера над $\mathbb{RP}^2$ компактна, потому что $\pi_1(\mathbb{RP}^2) = \mathbb{Z}/2$ конечна. При бесконечной $\pi_1$ (окружность, тор) накрытие некомпактно - прямая, плоскость, бесконечное дерево.

Как универсальное накрытие помогает вычислять фундаментальную группу? Если удалось узнать $\tilde{X}$ и группу преобразований колоды, то $\pi_1(X)$ равна этой группе, поскольку $X = \tilde{X}/\pi_1(X)$ и действие свободно. Так $\pi_1(S^1) = \mathbb{Z}$ читается прямо из спирали $\mathbb{R} \to S^1$, а $\pi_1(T^2) = \mathbb{Z}^2$ - из решётки на плоскости.

Коротко

Универсальное накрытие пространства $X$ - это односвязный накрывающий слой $\tilde{X}$, в котором распрямляются все петли базы. Оно существует при полулокальной односвязности $X$ и строится как пространство классов путей из фиксированной точки. Слой над точкой биективен фундаментальной группе $\pi_1(X)$, число листов равно её порядку, а сама группа действует на $\tilde{X}$ преобразованиями колоды так, что $X = \tilde{X}/\pi_1(X)$. Связные накрытия соответствуют подгруппам $\pi_1(X)$ (соответствие Галуа), и универсальное отвечает тривиальной подгруппе. Классика: прямая над окружностью, плоскость над тором, дерево над букетом, сфера над проективной плоскостью.