stringtranslate.com

Основное однородное пространство

В математике главное однородное пространство [ 1] или торсор для группы G — это однородное пространство X для G , в котором стабилизаторная подгруппа каждой точки тривиальна. Эквивалентно, главное однородное пространство для группы G — это непустое множество X , на котором G действует свободно и транзитивно (это означает, что для любых x , y в X существует единственный g в G такой, что x · g = y , где · обозначает (правое) действие G на X ). Аналогичное определение справедливо и в других категориях , где, например,

Определение

Если G неабелев , то необходимо различать левые и правые торсоры в зависимости от того, находится ли действие слева или справа. В этой статье мы будем использовать правые действия.

Чтобы сформулировать определение более явно, X является G -торсором или G -главным однородным пространством, если X непусто и снабжено отображением (в соответствующей категории) X × GX таким, что

х ·1 = х
х ·( гх ) = ( х · гч

для всех xX и всех g , hG , и таких, что отображение X × GX × X задано формулой

является изоморфизмом (множеств, или топологических пространств, или ..., в зависимости от обстоятельств, т.е. в рассматриваемой категории).

Обратите внимание, что это означает, что X и G изоморфны (в рассматриваемой категории; не как группы: см. ниже). Однако — и это существенный момент — в X нет предпочтительной точки «тождественности» . То есть, X выглядит точно так же, как G, за исключением того, какая точка является тождеством, было забыто. (Эта концепция часто используется в математике как способ перехода к более внутренней точке зрения под заголовком «отбросить начало».)

Поскольку X не является группой, мы не можем умножать элементы; однако мы можем взять их «частное». То есть, существует отображение X × XG , которое отправляет ( x , y ) в единственный элемент g = x \ yG такой, что y = x · g .

Однако композиция последней операции с действием правой группы дает тернарную операцию X × ( X × X ) → X , которая служит аффинным обобщением группового умножения и которая достаточна как для алгебраической характеристики главного однородного пространства, так и для внутренней характеристики группы, с которой оно связано. Если мы обозначим результат этой тернарной операции, то следующие тождества

будет достаточно для определения основного однородного пространства, в то время как дополнительное свойство

определяет те пространства, которые связаны с абелевыми группами. Группа может быть определена как формальные факторы, подчиненные отношению эквивалентности

,

с групповым произведением, тождеством и обратным, определяемыми соответственно как

,
,

и групповое действие

Примеры

Каждая группа G сама по себе может рассматриваться как левый или правый G -торсор под естественным действием левого или правого умножения.

Другим примером является концепция аффинного пространства : идею аффинного пространства A, лежащего в основе векторного пространства V, можно кратко выразить, сказав, что A является главным однородным пространством для V, действующего как аддитивная группа трансляций.

Флаги любого правильного многогранника образуют торсор для его группы симметрии.

Для данного векторного пространства V мы можем взять G как общую линейную группу GL( V ), а X как множество всех (упорядоченных) базисов V . Тогда G действует на X так же, как он действует на векторы V ; и он действует транзитивно, поскольку любой базис может быть преобразован с помощью G в любой другой. Более того, линейное преобразование, фиксирующее каждый вектор базиса, зафиксирует все v в V , и, следовательно, будет нейтральным элементом общей линейной группы GL( V ) : так что X действительно является главным однородным пространством. Один из способов проследить зависимость от базиса в аргументе линейной алгебры — отслеживать переменные x в X . Аналогично, пространство ортонормированных базисов ( многообразие Штифеля n -фреймов ) является главным однородным пространством для ортогональной группы .

В теории категорий , если два объекта X и Y изоморфны, то изоморфизмы между ними, Iso( X , Y ), образуют торсор для группы автоморфизмов X , Aut( X ), и аналогично для Aut( Y ); выбор изоморфизма между объектами приводит к изоморфизму между этими группами и отождествляет торсор с этими двумя группами, давая торсору групповую структуру ( так как теперь он имеет базовую точку ).

Приложения

Концепция главного однородного пространства является частным случаем концепции главного расслоения : она означает главное расслоение с базой в одной точке. Другими словами, локальная теория главных расслоений — это теория семейства главных однородных пространств, зависящих от некоторых параметров в базе. «Начало» может быть предоставлено сечением расслоения — такие сечения обычно предполагаются существующими локально на базе — расслоение локально тривиально , так что локальная структура является структурой декартова произведения . Но сечения часто не будут существовать глобально. Например, дифференциальное многообразие M имеет главное расслоение фреймов, связанное с его касательным расслоением . Глобальное сечение будет существовать (по определению) только тогда, когда M является параллелизуемым , что подразумевает сильные топологические ограничения.

В теории чисел есть (поверхностно иная) причина рассматривать главные однородные пространства для эллиптических кривых E, определенных над полем K (и более общие абелевы многообразия ). Как только это было понято, различные другие примеры были собраны под заголовком для других алгебраических групп : квадратичные формы для ортогональных групп и многообразия Севери–Брауэра для проективных линейных групп, являющиеся двумя.

Причина интереса к диофантовым уравнениям в случае эллиптической кривой заключается в том, что K может быть алгебраически не замкнутым . Могут существовать кривые C, не имеющие определенной точки над K , и которые становятся изоморфными над большим полем E , которое по определению имеет точку над K , служащую элементом тождества для его закона сложения. То есть, для этого случая мы должны отличать C , имеющие род 1, от эллиптических кривых E , имеющих K -точку (или, другими словами, обеспечивающих диофантово уравнение, имеющее решение в K ). Кривые C оказываются торсорами над E и образуют множество, несущее богатую структуру в случае, когда K является числовым полем (теория группы Сельмера ). Фактически, типичная плоская кубическая кривая C над Q не имеет особых причин иметь рациональную точку ; стандартная модель Вейерштрасса всегда имеет, а именно точку на бесконечности, но вам нужна точка над K , чтобы привести C к этой форме над K.

Эта теория была разработана с большим вниманием к локальному анализу , что привело к определению группы Тейта–Шафаревича . В общем подход, при котором теория торсора берется легко над алгебраически замкнутым полем , и попытка вернуться «вниз» к меньшему полю, является аспектом спуска . Это сразу приводит к вопросам когомологий Галуа , поскольку торсоры представляют классы в групповых когомологиях H 1 .

Другое использование

Понятие главного однородного пространства также может быть глобализировано следующим образом. Пусть X будет «пространством» ( схемой / многообразием / топологическим пространством и т. д.), а G будет группой над X , т. е. групповым объектом в категории пространств над X. В этом случае (скажем, правый) G -торсор E на X — это пространство E (того же типа) над X с (правым) действием G таким, что морфизм

предоставлено

является изоморфизмом в соответствующей категории , и таким, что E локально тривиально на X , в том смысле, что EX приобретает сечение локально на X. Классы изоморфизма торсоров в этом смысле соответствуют классам в группе когомологий H 1 ( X , G ).

Когда мы находимся в категории гладких многообразий , то G -торсор (для G - группы Ли ) является в точности главным G - расслоением , как определено выше.

Пример: если G — компактная группа Ли (скажем), то — G -торсор над классифицирующим пространством .

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

Примечания

  1. ^ Серж Лэнг и Джон Тейт (1958). «Главное однородное пространство над абелевыми многообразиями». American Journal of Mathematics . 80 (3): 659–684. doi :10.2307/2372778.

Дальнейшее чтение

Внешние ссылки