Оглавление
- 1 Локальная система
- 1.1 Определение локальных систем
- 1.2 Эквивалентные определения
- 1.3 Примеры локальных систем
- 1.4 Когомологии локальных систем
- 1.5 Обобщение на конструируемые пучки
- 1.6 Приложения
- 1.7 Когомологии с локальными коэффициентами
- 1.8 Скрученная двойственность Пуанкаре
- 1.9 Связанные темы
- 1.10 Рекомендации
- 1.11 Полный текст статьи:
- 2 Локальная система
Локальная система
-
Определение локальных систем
- Локальная система на топологическом пространстве X — это локально постоянный пучок абелевых групп или модулей.
- Каждая точка имеет открытую окрестность, где пучок изоморфен разложению постоянного предпучка.
-
Эквивалентные определения
- Локальные системы на подключенных пространствах эквивалентны групповым гомоморфизмам.
- Локальные системы на несвязанных пространствах определяются как ковариантные функторы из фундаментального группоида X в категорию модулей над коммутативным кольцом R.
-
Примеры локальных систем
- Постоянные пучки, такие как Q_X, полезны для вычисления когомологий.
- Локальные системы на R2\{(0,0)\} определяются картами, соответствующими различным представлениям π_1(X; x_0).
- Локальные системы на X с заданными значениями определяются как k-линейные представления π_1(X, x).
-
Когомологии локальных систем
- Существуют различные способы определения когомологий локальных систем, называемые когомологиями с локальными коэффициентами.
- Когомологии с локальными коэффициентами эквивалентны сингулярным когомологиям при умеренных предположениях о X.
-
Обобщение на конструируемые пучки
- Локальные системы обобщаются на конструируемые пучки, которые являются снопами, где локальные системы являются слоями.
- Конструируемые пучки можно найти, используя когомологии производного pushforward для непрерывного отображения f: X → Y.
-
Приложения
- Когомологии с локальными коэффициентами используются для формулировки двойственности Пуанкаре для неориентируемых многообразий.
-
Когомологии с локальными коэффициентами
- Используются для формулировки двойственности Пуанкаре для неориентируемых многообразий
- Соответствуют ориентационному покрытию
-
Скрученная двойственность Пуанкаре
- Формулировка двойственности Пуанкаре для неориентируемых многообразий
- Включает использование скрученного комплекса де Рама
-
Связанные темы
- Спектральная последовательность Лерея
- Связь Гаусса–Манина
- D-модуль
- Гомология пересечений
- Извращенный сноп
-
Рекомендации
- Внешние ссылки