В математике расслоение фреймов — это главное расслоение F( E ) , связанное с любым векторным расслоением E. Слой F( E ) над точкой x — это набор всех упорядоченных баз или фреймов для Ex . Общая линейная группа естественным образом действует на F( E ) посредством замены базиса , придавая расслоению фреймов структуру главного GL( k , R )-расслоения (где k — ранг E ).
Расслоение фреймов гладкого многообразия — это расслоение, связанное с его касательным расслоением . По этой причине его иногда называют связкой касательных кадров .
Пусть E → X — вещественное векторное расслоение ранга k над топологическим пространством X . Фрейм в точке x ∈ X является упорядоченным базисом векторного пространства E x . Эквивалентно, фрейм можно рассматривать как линейный изоморфизм.
Множество всех фреймов в точке x , обозначенное Fx , имеет естественное правое действие со стороны общей линейной группы GL( k , R ) обратимых матриц размера k × k : групповой элемент g ∈ GL( k , R ) действует на фрейме p через композицию , чтобы создать новый кадр
Это действие GL( k , R ) на Fx является одновременно свободным и транзитивным (это следует из стандартного результата линейной алгебры о том, что существует единственное обратимое линейное преобразование, переводящее один базис в другой). Как топологическое пространство, F x гомеоморфно GL( k , R ), хотя ему не хватает групповой структуры, поскольку нет «предпочтительного фрейма». Пространство F x называется GL( k , R ) -торсором .
Расслоение фреймов E , обозначаемое F( E ) или FGL ( E ) , представляет собой несвязное объединение всех Fx :
Каждая точка в F( E ) представляет собой пару ( x , p ), где x — точка в X , а p — кадр в точке x . Существует естественная проекция π: F( E ) → X , которая переводит ( x , p ) в x . Группа GL( k , R ) действует на F( E ) справа, как указано выше. Это действие, очевидно, свободное, и орбиты представляют собой не что иное, как слои π.
Расслоению фреймов F( E ) можно придать естественную топологию и структуру расслоения, определяемую топологией E. Пусть ( Ui , φi ) — локальная тривиализация E. Тогда для каждого x ∈ U i существует линейный изоморфизм φ i , x : E x → R k . Эти данные определяют биекцию
данный
С помощью этих биекций каждому π −1 ( U i ) можно задать топологию U i × GL( k , R ). Топология на F( E ) — это окончательная топология , соиндуцированная отображениями включения π −1 ( U i ) → F( E ).
При наличии всех вышеперечисленных данных расслоение фреймов F( E ) становится главным расслоением над X со структурной группой GL( k , R ) и локальными тривиализациями ({ U i }, {ψ i }). Можно проверить, что функции перехода F( E ) такие же, как и у E.
Все вышеперечисленное работает и в гладкой категории: если E — гладкое векторное расслоение над гладким многообразием M , то расслоению фреймов E можно придать структуру гладкого главного расслоения над M .
Векторное расслоение E и его фреймовое расслоение F( E ) являются ассоциированными расслоениями . Каждый определяет другого. Расслоение кадров F( E ) может быть построено из E , как указано выше, или, более абстрактно, с использованием теоремы о построении расслоения . В последнем методе F( E ) представляет собой расслоение с той же базой, структурной группой, тривиализирующими окрестностями и функциями перехода, что и E , но с абстрактным слоем GL( k , R ), где действие структурной группы GL( k , R) ) на слое GL( k , R ) — это слой левого умножения.
Для любого линейного представления ρ: GL( k , R ) → GL( V , F ) существует векторное расслоение
связанный с F( E ), который задается произведением F( E ) × V по модулю отношения эквивалентности ( pg , v ) ~ ( p , ρ( g ) v ) для всех g в GL( k , R ). Обозначим классы эквивалентности через [ p , v ].
Векторное расслоение E естественно изоморфно расслоению F( E ) × ρRk , где ρ — фундаментальное представление GL( k , R ) на Rk . Изоморфизм задается формулой
где v — вектор в Rk , а p : Rk → E x — кадр в точке x . Легко проверить, что это отображение корректно определено .
Любое векторное расслоение, связанное с E, может быть задано приведенной выше конструкцией. Например, двойственное расслоение к E задается формулой F( E ) × ρ* ( Rk ) *, где ρ* — двойственное фундаментальному представлению. Тензорные расслоения E можно построить аналогичным образом.
Касательное расслоение фреймов (или просто расслоение фреймов ) гладкого многообразия M — это расслоение фреймов, ассоциированное с касательным расслоением M . Пакет кадров M часто обозначается F M или GL( M ), а не F( TM ). Если M n -мерно , то касательное расслоение имеет ранг n , поэтому расслоение фреймов M является главным расслоением GL( n , R ) над M.
Локальные сечения расслоения фреймов M называются гладкими фреймами на M . Теорема о поперечном сечении для главных расслоений утверждает, что расслоение фреймов тривиально над любым открытым множеством из U в M , которое допускает гладкий фрейм. Для гладкого репера s : U → F U тривиализация ψ: F U → U × GL( n , R ) задается формулой
где p — кадр в точке x . Отсюда следует, что многообразие распараллеливаемо тогда и только тогда, когда расслоение реперов M допускает глобальное сечение.
Поскольку касательное расслоение к M тривиализуемо над координатными окрестностями M , то же самое можно сказать и о расслоении фреймов. Фактически, для любой координатной окрестности U с координатами ( x 1 ,…, x n ) поля координатных векторов
определим гладкий репер на U . Одним из преимуществ работы с пакетами кадров является то, что они позволяют работать с кадрами, отличными от координатных; можно выбрать рамку, адаптированную к решаемой задаче. Иногда это называют методом перемещения кадров .
Расслоение реперов многообразия M является особым типом главного расслоения в том смысле, что его геометрия фундаментально связана с геометрией M . Это отношение может быть выражено посредством векторнозначной 1-формы на FM, называемой формой припоя (также известной как фундаментальная или тавтологическая 1-форма ). Пусть x — точка многообразия M , а p — рамка в x , так что
является линейным изоморфизмом Rn с касательным пространством M в точке x . Форма припоя FM - это R n -значная 1-форма θ, определенная формулой
где ξ — касательный вектор к F M в точке ( x , p ), а p −1 : T x M → R n — обратный к отображению кадра, а dπ — дифференциал отображения проекции π: F M → М . Форма припоя горизонтальна в том смысле, что она обращается в нуль на векторах, касающихся слоев π, и эквивариантна справа в том смысле, что
где Rg — правый перевод на g ∈ GL( n , R ). Форма с этими свойствами называется базовой или тензорной формой на F M . Такие формы находятся в 1-1 соответствии с TM -значными 1-формами на M , которые, в свою очередь, находятся в 1-1 соответствии с гладкими отображениями расслоений TM → TM над M . В этом свете θ — это просто карта идентичности на ТМ .
В соответствии с соглашением об именах термин «тавтологическая одна форма» обычно резервируется для случая, когда форма имеет каноническое определение, как здесь, тогда как «форма пайки» больше подходит для тех случаев, когда форма не определена канонически. . Здесь эта условность не соблюдается.
Если векторное расслоение E снабжено метрикой риманова расслоения, то каждый слой Ex является не только векторным пространством, но и пространством внутреннего произведения . Тогда можно говорить о множестве всех ортонормированных систем отсчета для Ex . Ортонормированная система координат для E x — это упорядоченный ортонормированный базис для E x или, что то же самое, линейная изометрия.
где R k снабжен стандартной евклидовой метрикой . Ортогональная группа O( k ) действует свободно и транзитивно на множестве всех ортонормированных кадров посредством правой композиции. Другими словами, множество всех ортонормированных фреймов представляет собой правый O( k ) -торсор .
Расслоение ортонормированных кадров E , обозначенное F O ( E ), представляет собой набор всех ортонормированных кадров в каждой точке x в базовом пространстве X . Его можно построить методом, полностью аналогичным методу обычного набора кадров. Ортонормированное реперное расслоение риманова векторного расслоения E → X ранга k является главным O( k ) -расслоением над X. Опять же, конструкция работает так же хорошо и в гладкой категории.
Если векторное расслоение E ориентируемо , то можно определить ориентированное расслоение ортонормированных фреймов E , обозначенное F SO ( E ), как основное SO( k ) -расслоение всех положительно ориентированных ортонормированных фреймов.
Если M — n -мерное риманово многообразие , то ортонормированное расслоение реперов M , обозначаемое F O M или O( M ), — это ортонормированное расслоение реперов, связанное с касательным расслоением M (которое по определению снабжено римановой метрикой). ). Если M ориентируемо, то существует также ориентированное ортонормированное расслоение реперов F SO M .
Для риманова векторного расслоения E расслоение ортонормированных фреймов является главным O( k )-подрасслоением общего расслоения линейных фреймов. Другими словами, карта включения
является основной картой расслоения . Говорят, что F O ( E ) является сокращением структурной группы FGL ( E ) от GL( k , R ) до O( k ).
Если гладкое многообразие M имеет дополнительную структуру, часто естественно рассматривать подрасслоение полнофреймового расслоения M , адаптированное к данной структуре. Например, если M — риманово многообразие, как мы видели выше, естественно рассматривать расслоение ортонормированных реперов M . Расслоение ортонормированных фреймов — это просто сокращение структурной группы F GL ( M ) к ортогональной группе O( n ).
В общем случае, если M — гладкое n -многообразие и G — подгруппа Ли группы GL( n , R ), мы определяем G -структуру на M как редукцию структурной группы F GL ( M ) к G. Явно, это главное G -расслоение F G ( M ) над M вместе с G -эквивариантным отображением расслоения.
над М. _
На этом языке риманова метрика на M порождает O( n )-структуру на M. Ниже приведены некоторые другие примеры.
Во многих из этих случаев G -структура на M однозначно определяет соответствующую структуру на M. Например, SL( n , R )-структура на M определяет форму объема на M . Однако в некоторых случаях, например для симплектических и комплексных многообразий, необходимо дополнительное условие интегрируемости . Sp(2 n , R )-структура на M однозначно определяет невырожденную 2-форму на M , но для того, чтобы M было симплектическим, эта 2-форма должна быть еще и замкнутой .
![{\displaystyle [p,v]\mapsto p(v)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65eee159fb85905ad8e3b897b410b9d16755fae7)
