WikiDer > Универсальный комплект

В математика, то универсальный комплект в теории пучки волокон со структурной группой заданный топологическая группа грамм, является конкретным пучком над классификация пространства BG, такое, что каждый пучок с данным структурная группа грамм над M это откат с помощью непрерывная карта M → BG.

Наличие универсального комплекта

В категории CW complex

Когда определение классифицирующего пространства происходит внутри гомотопии категория из Комплексы CW, теоремы существования универсальных расслоений вытекают из Теорема Брауна о представимости.

Для компактных групп Ли

Сначала докажем:

Предложение. Позволять грамм быть компактным Группа Ли. Существует стягиваемое пространство НАПРИМЕР на котором грамм действует свободно. Проекция НАПРИМЕР → BG это грамм-главный пучок волокон.

Доказательство. Существует инъекция грамм в унитарная группа U(п) за п достаточно большой.^[1] Если мы найдем Европа(п) тогда мы можем взять НАПРИМЕР быть Европа(п). Построение Европа(п) дается в классифицируя пространство для U(п).

Следующая теорема является следствием предыдущего предложения.

Теорема. Если M паракомпактное многообразие и п → M является основным грамм-bundle, то существует карта  ж  : M → BG, единственная с точностью до гомотопии, такая, что п изоморфен  ж ^∗(НАПРИМЕР), откат грамм-пучок НАПРИМЕР → BG к  ж.

Доказательство. С одной стороны, оттяжка пачки π : НАПРИМЕР → BG по естественной проекции п ×_грамм НАПРИМЕР → BG это связка п × НАПРИМЕР. С другой стороны, откат главного грамм-пучок п → M по проекции п : п ×_грамм НАПРИМЕР → M это также п × НАПРИМЕР

${ displaystyle { begin {array} {rcccl} P & to & P times EG & to & EG downarrow && downarrow && downarrow pi M & to _ {! ! ! ! ! ! ! s} & P times _ {G} EG & to & BG end {array}}}$

С п расслоение со стягиваемым волокном НАПРИМЕР, разделы п существовать.^[2] В такой раздел s связываем композицию с проекцией п ×_грамм НАПРИМЕР → BG. Карта, которую мы получаем, - это  ж  мы искали.

Для единственности с точностью до гомотопии заметим, что существует взаимно однозначное соответствие между отображениями  ж  : M → BG такой, что  ж ^∗(НАПРИМЕР) → M изоморфен п → M и разделы п. Мы только что увидели, как связать  ж  в раздел. Обратно предположим, что  ж  дано. Позволять Φ:ж ^∗(НАПРИМЕР) → п быть изоморфизмом:

${ Displaystyle Phi: left {(x, u) in M ​​ times EG : f (x) = pi (u) right } to P}$

Теперь просто определите раздел с помощью

${ displaystyle { begin {cases} M to P times _ {G} EG x mapsto lbrack Phi (x, u), u rbrack end {cases}}}$

Потому что все разделы п гомотопны, гомотопический класс  ж  уникален.

Использование при изучении групповых действий

Общее пространство универсального пучка обычно записывается НАПРИМЕР. Эти пространства представляют интерес сами по себе, несмотря на то, что обычно стягиваемый. Например, при определении гомотопический фактор или же пространство гомотопических орбит из групповое действие из грамм, в случаях, когда орбитальное пространство является патологический (в смысле неПространство Хаусдорфа, Например). Идея, если грамм действует в пространстве Икс, вместо этого рассматривать действие на Y = Икс × НАПРИМЕР, и соответствующее частное. Видеть эквивариантные когомологии для более подробного обсуждения.

Если НАПРИМЕР стягивается тогда Икс и Y находятся гомотопический эквивалент пробелы. Но диагональное действие на Y, т.е. где грамм действует как на Икс и НАПРИМЕР координаты, может быть хорошо воспитанный когда действие на Икс не является.

Примеры

• Классифицирующее пространство для U (n)

Смотрите также

• Черн класс
• тавтологический пучок, универсальное расслоение для полной линейной группы.

внешняя ссылка

• Страница PlanetMath с примерами универсальных пакетов

Примечания