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

Тор ​ . Стандартный тор однороден относительно своих групп диффеоморфизма и гомеоморфизма , а плоский тор однороден относительно своих групп диффеоморфизма, гомеоморфизма и изометрий .

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

Формальное определение

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

Если X — объект категории C , то структура G -пространства является гомоморфизмом :

$\rho :G\to \mathrm {Aut} _{\mathbf {C} }(X)$

в группу автоморфизмов объекта X категории C . Пара ( X , ρ ) определяет однородное пространство при условии, что ( G ) является транзитивной группой симметрий основного множества X. ρ

Примеры

Например, если X — топологическое пространство , то предполагается, что элементы группы действуют гомеоморфизмы на X. как Структура G -пространства представляет собой групповой гомоморфизм ρ : G Homeo( X в группу гомеоморфизмов X. → )

Аналогично, если X — дифференцируемое многообразие , то элементы группы являются диффеоморфизмами . Структура G -пространства представляет собой групповой гомоморфизм ρ : G → Diffeo( X ) в группу X. диффеоморфизмов

Римановы симметрические пространства являются важным классом однородных пространств и включают в себя множество примеров, перечисленных ниже.

Конкретные примеры включают в себя:

Примеры однородных пространств

пространство X	группа G	стабилизатор Н
сферическое пространство S п -1	На ​ )	О( п - 1)
ориентированный S п -1	ТАК( п )	ТАК ( п - 1)
проективное пространство P R п -1	PO( n )	PO( n − 1)
Евклидово пространство E н	Е( п )	На ​ )
ориентированный E н	И + ( н )	ТАК( п )
гиперболическое пространство H н	ТО + (1, н )	На ​ )
ориентированный H н	ТАК + (1, н )	ТАК( п )
антидеситтеровское пространство AdS n +1	О(2, п )	О(1, п )
Грассманиан Gr( r , n )	На ​ )	О( р ) × О( п - р )
аффинное пространство A( n , K )	Афф( п , К )	GL( п , К )

Группы изометрии

• Положительная кривизна:
  1. Сфера ( ортогональная группа ): S ^{п -1} ≅ О( п ) / О( п -1) . Это верно на основании следующих наблюдений: во-первых, S ^{п -1} — набор векторов в R ^н с нормой 1. Если рассматривать один из этих векторов как базовый, то любой другой вектор можно построить с помощью ортогонального преобразования. Если рассматривать пространство этого вектора как одномерное подпространство R ^н , то дополнение представляет собой ( n − 1) -мерное векторное пространство, инвариантное относительно ортогонального преобразования из O( n − 1) . Это показывает нам, почему мы можем построить S ^{п -1} как однородное пространство.
  2. Ориентированная сфера ( специальная ортогональная группа ): S ^{п -1} ≅ ТАК( п ) / ТАК( п - 1)
  3. Проективное пространство ( проективная ортогональная группа ): P ^{п -1} ≅ PO( n ) / PO( n − 1)
• Плоский (нулевая кривизна):
  1. Евклидово пространство ( евклидова группа , стабилизатор точки — ортогональная группа): A ^н ≅ Е( п ) / О( п )
• Отрицательная кривизна:
  1. Гиперболическое пространство ( ортохронная группа Лоренца , ортогональная группа стабилизатора точки, соответствующая модели гиперболоида ): H ^н ≅ ⁺ (1, п ) / О( п )
  2. Ориентированное гиперболическое пространство: SO ⁺ (1, п ) / ТАК( п )
  3. Пространство Антиде Ситтера : AdS _{n +1} = O(2, n ) / O(1, n )

Другие

• Аффинное пространство над полем K (для аффинной группы , общей линейной группы стабилизатора точки ): A ^н знак равно Афф( п , К ) / GL ( п , К ) .
• Грассманиан : Gr( r , n ) = O( n ) / ( O ( r ) × O ( n - r ))
• Топологические векторные пространства (в смысле топологии)
• Существуют и другие интересные однородные пространства, особенно имеющие отношение к физике: сюда входит пространство Минковского M. ^н ≅ ISO( n-1,1 ) / SO( n,1 ) или пространства Галилея и Кэрролла.

Геометрия

С точки зрения программы Эрлангена что «все точки одинаковы» геометрии X. можно понять , в Это было верно практически для всех геометрий, предложенных до римановой геометрии , в середине девятнадцатого века.

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

Еще одним классическим примером является пространство линий в трехмерном проективном пространстве (эквивалентно пространству двумерных подпространств четырехмерного векторного пространства ). С помощью простой линейной алгебры можно показать, что GL ₄ действует на них транзитивно. Мы можем параметризовать их координатами линии : это миноры 2×2 матрицы 4×2 со столбцами, состоящими из двух базисных векторов для подпространства. Геометрия полученного однородного пространства — это линейная геометрия Юлиуса Плюкера .

Однородные пространства как смежные пространства

В общем случае, если X — однородное пространство группы G , а H _o — стабилизатор некоторой отмеченной точки o в X (выбор начала координат ), точки X соответствуют левым смежным классам G / H _o , а отмеченная точка o соответствует смежному классу идентичности. И наоборот, учитывая смежный класс G / H , это однородное пространство для G с выделенной точкой, а именно смежным классом идентичности. Таким образом, однородное пространство можно рассматривать как смежное пространство без выбора начала координат.

Например, если H — единичная подгруппа { e }, то X — G -торсор , что объясняет, почему G -торсоры часто интуитивно описываются как « G с забытой идентичностью».

В общем, другой выбор начала координат o факторизации G по другой подгруппе H _{o ',} которая связана с o _{внутренним} H автоморфизмом G приведет к . Конкретно,

$$H_{o'}=gH_{o}g^{-1}$$ ( 1 )

где g — любой элемент G, для которого go = o ′ . Заметим, что внутренний автоморфизм (1) не зависит от того, какой именно g выбран; оно зависит только от g по модулю H _o .

действие G на X непрерывно Если и X хаусдорфова , то H — замкнутая в G. подгруппа В частности, если G — группа Ли , то H — подгруппа Ли по теореме Картана . Следовательно, G / H — гладкое многообразие , и поэтому X обладает единственной гладкой структурой, совместимой с действием группы.

Можно пойти дальше к двойных смежных классов пространствам , в частности к формам Клиффорда–Клейна Γ\ G / H , где Γ — дискретная подгруппа (группы G ), действующая собственно разрывно .

Пример

Например, в случае линейной геометрии мы можем идентифицировать H как 12-мерную подгруппу 16-мерной общей линейной группы GL(4), определяемой условиями на элементы матрицы

час ₁₃ = час ₁₄ = час ₂₃ = час ₂₄ = 0,

ища стабилизатор подпространства, натянутого на первые два стандартных базисных вектора. Это показывает, что X имеет размерность 4.

Поскольку однородных координат, заданных минорами, 6, то это означает, что последние не являются независимыми друг от друга. Фактически между шестью минорами существует единственное квадратичное соотношение, как это было известно геометрам девятнадцатого века.

Этот пример был первым известным примером грассманиана , отличного от проективного пространства. Есть много других однородных пространств классических линейных групп, широко используемых в математике.

Предоднородные векторные пространства

Идею предоднородного векторного пространства ввел Микио Сато .

Это конечномерное векторное пространство V с групповым действием алгебраической группы G , такое, что существует орбита G , открытая для топологии Зарисского (и, следовательно, плотная). Примером является GL(1), действующая в одномерном пространстве.

Определение является более ограничительным, чем кажется на первый взгляд: такие пространства обладают замечательными свойствами, и существует классификация неприводимых предоднородных векторных пространств с точностью до преобразования, известного как «рокировка».

Однородные пространства в физике

Учитывая группу Пуанкаре G и ее подгруппу группу Лоренца H , пространство смежных классов G / H является пространством Минковского . Вместе с пространством де Ситтера и пространством Анти-де Ситтера это максимально симметричное лоренцево пространство-время. В физике также существуют однородные пространства, которые не являются лоренцевыми, например галилеевское, кэрроловское или аристотелевское пространство-время.

Физическая космология , использующая общую теорию относительности, использует систему классификации Бьянки . Однородные пространства в теории относительности представляют собой космическую часть фоновых метрик некоторых космологических моделей ; например, три случая метрики Фридмана-Леметра-Робертсона-Уокера могут быть представлены подмножествами типов Бьянки I (плоский), V (открытый), VII (плоский или открытый) и IX (закрытый), тогда как Mixmaster Вселенная представляет собой анизотропный пример космологии Бьянки IX.

Однородное пространство N измерений допускает множество ⁠ 1/2 ⁠ N ( Векторы + N 1) Киллинга . Для трех измерений это дает в общей сложности шесть линейно независимых векторных полей Киллинга; Однородные 3-пространства обладают тем свойством, что можно использовать их линейные комбинации, чтобы найти три всюду ненулевых векторных поля Киллинга ξ ^{( а )}
_я ,

$\xi _{[i;k]}^{(a)}=C_{\ bc}^{a}\xi _{i}^{(b)}\xi _{k}^{(c)},$

где объект C ^а _bc , «структурные константы», образуют постоянный тензор третьего порядка, антисимметричный по двум нижним индексам (скобки слева обозначают антисимметризацию, а «;» представляет ковариантный дифференциальный оператор ). В случае плоской изотропной Вселенной одна из возможностей — C ^а _bc = 0 (тип I), но в случае замкнутой вселенной FLRW C ^а _{до н.э.} = е ^а _bc , где ε ^а _bc — символ Леви-Чивита .

См. также

• Эрлангенская программа
• геометрия Клейна
• Куча (математика)
• Однородное разнообразие

Ссылки

• Джон Милнор и Джеймс Д. Сташефф (1974) Характеристические классы , Princeton University Press ISBN   0-691-08122-0
• Такаши Кода. Введение в геометрию однородных пространств , Национальный университет Кёнпук.
• Менелаоса Зикидиса Однородные пространства из Гейдельбергского университета.
• Сошичи Кобаяши , Кацуми Номидзу (1969) Основы дифференциальной геометрии , том 2, глава X, (Библиотека Wiley Classics)