Математическая энциклопедия » Что такое «G-Расслоение,»?

Значение слова, определение и толкование термина

G-Расслоение,

G-Rassloyeniye,

р а с с л о е н и е с о с т р у кт у р н о й г р у п п о й,- обобщение понятия прямого произведения двух топологич. пространств.

Пусть G - топологич. группа, а X - эффективное правое G-пространство, т. е. топологич. пространство с заданным правым действием группы Gтаким, что xg-x влечет g=l, [G-Расслоение,. Фото 1] . Пусть [G-Расслоение,. Фото 2] подмножество таких пар ( х, х'), что x' = xg для нек-рого [G-Расслоение,. Фото 3] - пространство орбит и [G-Расслоение,. Фото 4] [G-Расслоение,. Фото 5] - отображение, сопоставляющее с каждой точкой ее орбиту. Если отображение [G-Расслоение,. Фото 6] непрерывно, то набор [G-Расслоение,. Фото 7](X, р, В )наз. г л а в н ы м р а с с л о е н и е м с о с т р у к т у р н о й г р у п п о й G.

Пусть F - левое G-пространство. Топологич. пространство [G-Расслоение,. Фото 8] снабжается правым действием группы G по формуле [G-Расслоение,. Фото 9] . Композиция [G-Расслоение,. Фото 10].[G-Расслоение,. Фото 11]. индуцирует отображение [G-Расслоение,. Фото 12][G-Расслоение,. Фото 13] (здесь Х F - пространство орбит действия G на [G-Расслоение,. Фото 14] ). Набор [G-Расслоение,. Фото 15] наз. р а с с л о е н и е м с о с т р у к т у р н о й г р у п п о й, а с с о ц и-и р о в а н н ы м с г л а в н ы м р а с с л о е н и е м x, а набор [G-Расслоение,. Фото 16] - р а с с л о е н и е м с о с л о е м F, б а з о й В и с т р у к т у р н о й г р у пп о й G. Таким образом, главное расслоение со структурной группой является частью структуры любого расслоения со структурной группой, и оно однозначно определяет расслоение для любого левого G-пространства F.

Если [G-Расслоение,. Фото 17] - два главных расслоения со структурной группой G. то морфизмом

[G-Расслоение,. Фото 18] наз. отображение G-пространств [G-Расслоение,. Фото 19] Отображение hиндуцирует отображение [G-Расслоение,. Фото 20] Главное расслоение со структурной группой наз. т р и в и а л ь н ы м, если оно изоморфно расслоению следующего вида:

[G-Расслоение,. Фото 21]

Пусть (X, р, В) - главное расслоение и [G-Расслоение,. Фото 22][G-Расслоение,. Фото 23] - непрерывное отображение произвольного топологич. пространства В' в В. Пусть [G-Расслоение,. Фото 24] подмножество таких пар (b, х), что f(b)=p(x). Проекция [G-Расслоение,. Фото 25] индуцирует отображение [G-Расслоение,. Фото 26] . Пространство X' обладает естественной структурой правого G-пространства, и тройка (X', р', В' )представляет собой главное расслоение, оно индуцировано расслоением (X, р, В )с помощью отображения f и наз. и н д у ц и р о в а н н ы м р а с с л о е н и е м. Если [G-Расслоение,. Фото 27] - включение подпространства, то (X1, р', В' )наз. ограничением (X, р, В). над подпространством В'.

Главное расслоение со структурной группой наз. локально т р и в и а л ь н ы м, если его ограничение на нек-рую окрестность любой точки базы Втривиально. Для широкого класса случаев требование локальной тривиальности излишне (напр., если G - компактная группа Ли, X - гладкое G-многообразие). Поэтому часто термин "расслоение" со структурной группой используется в смысле локально тривиального расслоения (или косого произведения).

Пусть [G-Расслоение,. Фото 28] пара расслоений с одной структурной группой и одним G-пространством в качестве слоя. Для морфизма [G-Расслоение,. Фото 29] главных расслоений отображение [G-Расслоение,. Фото 30] индуцирует непрерывное отображение [G-Расслоение,. Фото 31] , и пара (h,j) наз. морфизмом расслоений со структурной группой [G-Расслоение,. Фото 32]

Локально тривиальное расслоени h=( Х F, р F, F,x) допускает следующее описание, лежащее в основе другого, также общепринятого определения расслоения со структурной группой. Пусть U=a} - открытое покрытие базы Вдля к-рого ограничение hна и a при всех a тривиально. Выбор тривиализации и их сравнение на пересечениях [G-Расслоение,. Фото 33] приводит к непрерывным функциям (наз. ф у н к ц и я м и п е р ех о д а) [G-Расслоение,. Фото 34]. В пересечениях трех окрестностей [G-Расслоение,. Фото 35] имеет место равенство [G-Расслоение,. Фото 36] , а выбор других тривиализации над каждой окрестностью приводит к новым функциям [G-Расслоение,. Фото 37] . Таким образом, функции [G-Расслоение,. Фото 38] образуют одномерный коцикл в смысле Александрова - Чеха с коэффициентами в пучке ростков G-значных функций (коэффициенты неабелевы), и локально тривиальное расслоение определяет этот коцикл с точностью до кограницы.

Лит.:[1] Х ь ю з м о л л е р Д., Расслоенные пространства, пер. с англ., М., 1970; [2] С т и н р о д Н., Топология косых произведений, пер. с англ., М., 1953. А. Ф. Харшиладзе.

  • ВКонтакте

  • Facebook

  • Мой мир@mail.ru

  • Twitter

  • Одноклассники

  • Google+

См. также