Фундаментальная группа и накрывающие пространства

Фундаментальная группа описывает, как петли в пространстве могут или не могут быть стянуты, а теория накрывающих пространств переводит её подгруппы в полный геометрический словарь пространств, которые «оборачиваются» вокруг исходного.

Definition

Фундаментальная группа пространства с отмеченной точкой — это группа, элементами которой являются гомотопические классы петель, начинающихся и заканчивающихся в этой точке, с операцией конкатенации; накрывающее пространство — это отображение, которое локально представляет собой тривиальный набор копий базы, и его теория связывает такие отображения с подгруппами фундаментальной группы.

Scope

Эта тема вводит гомотопию путей, фундаментальную группу как группу классов петель, основанных в точке, и её вычисление с помощью теоремы ван Кампена. Она развивает теорию накрывающих пространств, критерий поднятия и галуа-подобное соответствие между подгруппами фундаментальной группы и связными накрытиями, включая универсальное накрытие и дек-преобразования. Включены такие приложения, как классификация накрытий окружности и вычисление фундаментальных групп графов и поверхностей.

Core questions

• Как фундаментальная группа обнаруживает «дыры», которые препятствуют стягиванию петель?
• Как теорема ван Кампена строит фундаментальную группу пространства из фундаментальных групп перекрывающихся частей?
• Каково точное соответствие между связными накрывающими пространствами и подгруппами фундаментальной группы?
• Когда отображение поднимается через накрытие, и какую роль играет универсальное накрытие?

Key concepts

• Гомотопия путей и конкатенация петель
• Фундаментальная группа и её функториальность при отображениях, сохраняющих отмеченную точку
• Теорема ван Кампена
• Накрывающие пространства, критерий поднятия и дек-преобразования
• Универсальное накрытие и соответствие Галуа для накрытий

Clinical relevance

Фундаментальная группа является первым и наиболее доступным алгебраическим инвариантом, отличающим окружность от диска и лежащим в основе монодромии, теории римановых поверхностей и классификации плоских расслоений; теория накрывающих пространств является топологической моделью для теории Галуа и для фактор-пространств по действиям групп.

History

Пуанкаре ввёл фундаментальную группу в «Analysis Situs» (1895); теорема Зейферта-ван Кампена 1930-х годов сделала её вычислимой путём склеивания, а систематическое соответствие между накрытиями и подгруппами, формализованное через дек-преобразования, установило аналогию с теорией Галуа, ныне стандартную в учебных программах.

Key figures

• Henri Poincaré
• Egbert van Kampen
• Allen Hatcher

Seminal works

• hatcher2002
• bredon1993

Frequently asked questions

Почему фундаментальная группа окружности — это целые числа?

Петля на окружности классифицируется с точностью до гомотопии по тому, сколько раз она обходит окружность, с учётом знака направления; это число оборотов аддитивно при конкатенации, что даёт изоморфизм с целыми числами.

Что такое универсальное накрытие?

Это односвязное накрывающее пространство (подходящего) пространства; оно соответствует тривиальной подгруппе в словаре накрывающих пространств и несёт фундаментальную группу как свою группу дек-преобразований.