В дифференциальной геометрии , A G -структуры на п - многообразие М , для данной структуры группы [1] G , является главным G - подрасслоением из касательного расслоения кадра F M (или GL ( M )) из М .
Понятие G -структуры включает в себя различные классические структуры, которые могут быть определены на многообразиях, которые в некоторых случаях являются тензорными полями . Например, для ортогональной группы O ( n ) -структура определяет риманову метрику , а для специальной линейной группы SL ( n , R ) -структура аналогична форме объема . Для тривиальной группы { e } -структура состоит из абсолютного параллелизма многообразия.
Обобщая эту идею на произвольные главные расслоения на топологических пространствах, можно задать вопрос,-группировать группу "происходит из" подгруппы из . Это называется редукцией структурной группы (к).
Некоторые структуры на многообразиях, такие как комплексная структура , симплектическая структура или кэлерова структура , являются G -структурами с дополнительным условием интегрируемости .
Сокращение структурной группы
Можно спросить, не -группировать группу "происходит из" подгруппы из . Это называется редукцией структурной группы (к), и имеет смысл для любой карты , которая не обязательно должна быть картой включения (несмотря на терминологию).
Определение
Далее пусть быть топологическим пространством , топологические группы и гомоморфизм групп .
В отношении бетонных пучков
Учитывая принципала -пучок над , редукция структурной группы (от к ) это -пучок и изоморфизм в ассоциированном расслоении к исходному расслоению.
С точки зрения классификации пространств
Учитывая карту , где является классифицирующим пространством для-расслоения, редукция структурной группы представляет собой отображение и гомотопия .
Свойства и примеры
Редукции структурной группы не всегда существуют. Если они существуют, они обычно не являются уникальными, поскольку изоморфизм является важной частью данных.
В качестве конкретного примера, каждое четномерное вещественное векторное пространство изоморфно основному реальному пространству комплексного векторного пространства: оно допускает линейную комплексную структуру . Вещественное векторное расслоение допускает почти сложную структуру тогда и только тогда, когда оно изоморфно лежащему в основе вещественному расслоению комплексного векторного расслоения. Тогда это редукция по включению GL ( n , C ) → GL (2 n , R )
С точки зрения карт переходных , A G -расслоение может быть уменьшена , если и только если могут быть взяты карты переходов , чтобы иметь значения в H . Обратите внимание, что термин сокращение вводит в заблуждение: он предполагает, что H является подгруппой G , что часто имеет место, но не обязательно (например, для спиновых структур ): это правильно называется подъемом .
Более абстрактно, « G- расслоения над X » - это функтор [2] в G : если дано отображение H → G , можно получить отображение из H -расслоений в G- расслоения путем индуцирования (как указано выше). Снижение структурной группы в G -расслоения B является выборе H -расслоение, образ которого является Б .
Индуцирующее отображение из H- расслоений в G- расслоения, как правило, не является ни взаимно однозначным, поэтому структурная группа не всегда может быть сокращена, а когда это возможно, это сокращение не обязательно должно быть уникальным. Например, не всякое многообразие ориентируемо , а ориентируемые допускают ровно две ориентации.
Если H - замкнутая подгруппа группы G , то существует естественное взаимно однозначное соответствие между редукциями G -расслоения B к H и глобальными сечениями расслоения B / H, полученными факторизацией B по правому действию H . В частности, расслоение B → B / H является главным Н -расслоение над B / H . Если σ: X → B / H представляет собой сечение, то индуцированное расслоение B H = σ -1 B является уменьшение B . [3]
G -конструкции
Каждое векторное расслоение размерности имеет канонический -бандл, пачка рамы . В частности, каждое гладкое многообразие имеет каноническое векторное расслоение - касательное расслоение . Для группы Ли и гомоморфизм групп , а -конструкция - это приведение структурной группы пучка рам к .
Примеры
Следующие примеры определены для вещественных векторных расслоений , в частности касательного расслоения в виде гладкого многообразия .
Групповой гомоморфизм | Группа | -состав | Препятствие |
---|---|---|---|
Общая линейная группа положительного определителя | Ориентация | Связка должна быть ориентируемой | |
Специальная линейная группа | Форма объема | Связка должна быть ориентируемой (является деформационным ретрактом ) | |
Детерминант | Псевдо- объемная форма | Всегда возможно | |
Ортогональная группа | Риманова метрика | Всегда возможно (это максимальная компактная подгруппа , поэтому включение деформационный ретракт) | |
Неопределенная ортогональная группа | Псевдориманова метрика | Топологическое препятствие [4] | |
Комплексная общая линейная группа | Почти сложная структура | Топологическое препятствие | |
| почти кватернионная структура [5] | Топологическое препятствие [5] | |
Общая линейная группа | Разложение в виде суммы Уитни (прямой суммы) подрасслоений ранга а также . | Топологическое препятствие |
Некоторый -структуры - это определенные термины других: дана риманова метрика на ориентированном многообразии, -конструкция для 2-х створчатой крышки является спиновой структурой . (Обратите внимание, что гомоморфизм групп здесь не является включением.)
Основные пакеты
Хотя теория главных расслоений играет важную роль в изучении G-структур , эти два понятия различны. G -структура является главным подрасслоением пучка касательного кадра , но тот факт , что G -структуры пучок состоит из касательных кадров рассматриваются как часть данных. Например, рассмотрим две римановы метрики на R n . Соответствующие O ( n ) -структуры изоморфны тогда и только тогда, когда метрики изометричны. Но поскольку R n стягиваемо, лежащие в основе O ( n ) -расслоения всегда будут изоморфны как главные расслоения, потому что единственные расслоения над стягиваемыми пространствами - тривиальные.
Это фундаментальное различие между этими двумя теориями может быть захвачено, давая дополнительную часть данных о нижележащей G -расслоении в G -структуры: в форме припоя . Форма припоя - это то, что связывает основное основное расслоение G -структуры с локальной геометрией самого многообразия, задавая канонический изоморфизм касательного расслоения M к ассоциированному векторному расслоению . Хотя форма припоя не является формой соединения , иногда ее можно рассматривать как предшественницу таковой.
Подробно предположим, что Q - главное расслоение G -структуры. Если Q реализуются как уменьшение кадра пучка М , то форма припоя задается откатом в тавтологических виде рамы пучка вдоль включения. Абстрактно, если рассматривать Q как главное расслоение независимо от его реализации как редукции расслоения фреймов, то форма припоя состоит из представления ρ группы G на R n и изоморфизма расслоений θ: TM → Q × ρ R n .
Условия интегрируемости и плоские G -структуры
Некоторые структуры на многообразиях, такие как комплексная структура, симплектическая структура или кэлерова структура , являются G -структурами (и, следовательно, могут быть заблокированы), но должны удовлетворять дополнительному условию интегрируемости . Без соответствующего условия интегрируемости структура вместо этого называется «почти» структурой, как в почти комплексной структуре , почти симплектической структуре или почти кэлеровской структуре .
В частности, структура симплектического многообразия является более сильным понятием, чем G -структура для симплектической группы . Симплектическая структура на многообразии - это невырожденная 2-форма ω на M (которая является-структура, или почти симплектическая структура), вместе с дополнительным условием, что d ω = 0; последнее называется условием интегрируемости .
Точно так же слоения соответствуют G -структурам, происходящим из блочных матриц , вместе с условиями интегрируемости, так что применима теорема Фробениуса .
Плоская G -структура является G -структуры Р , имеющим глобальное сечение ( V 1 , ..., V п ) , состоящим из коммутирующих векторных полей . G -структура является интегрируемой (или локально плоской ) , если она локально изоморфна плоской G -структуры.
Изоморфизм G -структур.
Множество диффеоморфизмов из М , что сохраняет G -структуры называется группой автоморфизмов этой структуры. Для O ( n ) -структуры они являются группой изометрий римановой метрики, а для SL ( n , R ) -структур - сохраняющих объем отображений.
Пусть Р будет G -структуры на многообразии M , а Q G -структуры на многообразии N . Тогда изоморфизм из G -структуры является диффеоморфизм е : М → N такое , что прямым образом линейных кадров F * : FM - → FN ограничивает , чтобы дать отображение Р в Q . (Обратите внимание , что достаточно , чтобы Q содержаться в образе F * ) . В G -структурой Р и Q является локально изоморфными , если М допускает покрытие открытых множеств U и семейство диффеоморфизмов F U : U → F ( U ) ⊂ N такое, что f U индуцирует изоморфизм P | U → Q | f ( U ) .
Автоморфизм из G -структуры является изоморфизмом G -структура P с самими собой. Автоморфизмы часто возникают [6] при изучении групп преобразований геометрических структур, поскольку многие важные геометрические структуры на многообразии могут быть реализованы как G -структуры.
Широкий класс проблем эквивалентности можно сформулировать на языке G -структур. Например, пара римановых многообразий (локально) эквивалентна тогда и только тогда, когда их пучки ортонормированных реперов являются (локально) изоморфными G -структурами. С этой точки зрения, общая процедура решения проблемы эквивалентности состоит в построении системы инвариантов для G -структуры, которых затем достаточно для определения, является ли пара G -структур локально изоморфной или нет.
Соединения на G -структурах
Пусть Q будет G -структуры на М . Принципиальные схема соединения на главном расслоении Q индуцирует соединение на любом ассоциированном векторном расслоении: в частности , на касательном расслоении. Линейная связность ∇ на ТМ , возникающие таким образом , как говорят, совместим с Q . Соединения, совместимые с Q , также называются адаптированными соединениями .
Конкретно говоря, адаптированные соединения можно понять в терминах движущейся рамы . [7] Предположим , что V я является основой локальных сечений ТМ (т.е. кадр на М ) , который определяет сечение Q . Любая связность ∇ определяет систему зависимых от базиса 1-форм ω посредством
- ∇ X V i = ω i j (X) V j
где как матрица 1-форм ω ∈ Ω 1 (M) ⊗ gl ( n ). Адаптированная соединение, для которого ω принимает значения в алгебре Ли д в G .
Кручение G -структурой
С любой G-структурой связано понятие кручения, связанное с кручением связности. Заметим, что данная G-структура может допускать множество различных совместимых связей, которые, в свою очередь, могут иметь разные кручения, но, несмотря на это, можно дать независимое понятие кручения G-структуры следующим образом. [8]
Разность два приспособленных соединений является 1-формой на М со значениями в к сопряженному расслоению Ad Q . То есть пространство адаптированных связностей A Q является аффинным пространством для Ω 1 (Ad Q ).
Кручения адаптированной связи определяет отображение
в 2-формы с коэффициентами в TM . Эта карта линейна; его линеаризация
называется алгебраическим кручением . Для двух адаптированных связностей ∇ и ∇ ′ их тензоры кручения T ∇ , T ∇ ′ отличаются на τ (∇ − ∇ ′). Следовательно, образ T ∇ в coker (τ) не зависит от выбора ∇.
Изображение T ∇ в коксовании (т) для любой адаптированной связности ∇ называется кручением из G -структуры. G -структуры называется без кручения , если ее кручение исчезает. Это происходит именно тогда, когда Q допускает адаптированное соединение без кручения.
Пример: кручение для почти сложных конструкций
Примером G -структуры является почти комплексная структура , т. Е. Редукция структурной группы четномерного многообразия к GL ( n , C ). Такая редукция однозначно определяется C ∞- линейным эндоморфизмом J ∈ End ( TM ) таким, что J 2 = −1. В этой ситуации кручение можно явно вычислить следующим образом.
Простой подсчет размеров показывает, что
- ,
где Ω 2,0 ( TM ) - пространство форм B ∈ Ω 2 ( TM ), удовлетворяющих
Следовательно, кручение почти комплексной структуры можно рассматривать как элемент в Ω 2,0 ( TM ). Легко проверить, что кручение почти комплексной структуры равно ее тензору Нейенхейса .
Высший порядок G -структуры
Наложение условий интегрируемости на конкретную G -структуру (например, в случае симплектической формы) можно решить через процесс продолжения . В таких случаях продолженная G -структура не может быть отождествлена с G -подрасслоением пучка линейных реперов. Однако во многих случаях продолжение является самостоятельным главным расслоением, и его структурная группа может быть отождествлена с подгруппой группы струй более высокого порядка . В этом случае она называется G- структурой более высокого порядка [Кобаяши]. В целом к таким случаям применим метод эквивалентности Картана .
Смотрите также
- G 2 -конструкция
Заметки
- ^ Какая группа Ли отображение в общую линейную группу . Часто, но не всегда, это подгруппа Ли ; например, для спиновой структуры карта представляет собой покрывающее пространство на ее изображении.
- ^ Действительно, это бифунктор в G и X .
- ^ В классической теории поля такой разделописывает классическое поле Хиггса ( Сарданашвили, G. (2006) «Геометрия классического хиггсовского полей».. Международный журнал геометрических методов в современной физике . 03 :. 139-148 Arxiv : геп-й / 0510168 . дои : 10,1142 / S0219887806001065 .).
- ^ Это гравитационное поле в калибровочной теории гравитации ( Сарданашвили, Г. (2006). «Калибровочная теория гравитации с геометрической точки зрения». Международный журнал геометрических методов в современной физике . 3 (1): v – xx. arXiv : gr-qc / 0512115 . Bibcode : 2005gr.qc .... 12115S .)
- ^ a b Бесс 1987 , §14.61
- ^ Кобаяши 1972
- ↑ Кобаяши 1972 , I.4
- ^ Годушона 1997
Рекомендации
- Черн, Шиинг-Шэнь (1966). «Геометрия G-структур » . Бюллетень Американского математического общества . 72 (2): 167–219. DOI : 10.1090 / S0002-9904-1966-11473-8 .
- Годюшон, Поль (1997). «Канонические связи для почти гиперкомплексных структур» . Комплексный анализ и геометрия . Pitman Research Notes in Mathematics Series. 366 . Лонгман. С. 123–13. ISBN 978-0-582-29276-5.
- Кобаяси, Шошичи (1972). Группы преобразований в дифференциальной геометрии . Классика по математике. Springer. ISBN 978-3-540-58659-3. OCLC 31374337 .
- Штернберг, Шломо (1983). Лекции по дифференциальной геометрии ((2-е изд.) Изд.). Нью-Йорк: ISBN Chelsea Publishing Co. 978-0-8218-1385-0. OCLC 43032711 .
- Година, Марко; Маттеуччи, Паоло (2003). «Редуктивные G-структуры и производные Ли». Журнал геометрии и физики . 47 (1): 66–86. arXiv : math / 0201235 . Bibcode : 2003JGP .... 47 ... 66G . DOI : 10.1016 / S0393-0440 (02) 00174-2 . MR 2006 228 . S2CID 119558088 .