Максимальная компактная подгруппа

Максимальная компактная подгруппа K топологической группы G — это компактное пространство с индуцированной топологией, максимальное среди всех подгрупп. Максимальные компактные подгруппы играют важную роль в классификации групп Ли и, особенно, в классификации полупростых групп Ли. Максимальные компактные подгруппы групп Ли в общем случае не единственны, но единственны с точностью до сопряжённости — они являются существенно сопряжёнными^[en].

ПримерПравить

В качестве примера используем подгруппу O(2), ортогональную группу внутри полной линейной группы GL(2, R). Связанным примером является группа круга SO(2) внутри группы SL(2, R). Очевидно, что SO(2) внутри группы SL(2, R) является компактной и не максимальной. Неединственность этих примеров можно видеть из того, что любое скалярное произведение имеет ассоциированную ортогональную группу и существенная единственность соответствует существенной единственности скалярного произведения.

ОпределениеПравить

Максимальная компактная подгруппа является максимальной подгруппой среди компактных подгрупп — максимальная (компактная подгруппа) — а не (альтернативное возможное чтение) максимальной подгруппой^[en], которая оказывается компактной, которую следовало бы назвать компактной (максимальной подгруппой), но не просто максимальной группой (и, фактически, максимальная собственная подгруппа, как правило, не является компактной).

Существование и единственностьПравить

Теорема Картана — Ивасавы — Мальцева утверждает, что любая связная группа Ли (и более того, любая локально компактная группа) обладает максимальными компактными подгруппами и что они все являются сопряжёнными друг другу. Для полупростой группы Ли единственность является следствием теоремы Картана о неподвижной точке, которая утверждает, что если компактная группа действует путём изометрий на полном односвязном отрицательно искривлённом римановом многообразии, то она имеет неподвижную точку.

Максимальные компактные подгруппы связных групп Ли обычно не единственны, но они единственны с точностью до сопряжения, что означает, что если даны две максимальные компактные подгруппы K и L, имеется элемент $g\in <!--\; \in \; -->G$$g\in G$ , такой что $gK{g}^{-<!--\; -\; -->1}=L$$gKg^{-1}=L$ , следовательно, максимальная компактная подгруппа является существенно единственной и исследователи часто говорят о максимальных компактных подгруппах как о единственной подгруппе.

Для примера полной линейной группы GL(n, R) это соответствует факту, что любое скалярное произведение на ${\mathbb{R}}^n$$\mathbb {R} ^{n}$  определяет (компактную) ортогональную группу (её группу изометрии), и что она обладает ортонормальным базисом — изменение базиса определяет элемент смежности, определяющую смежность группы изометрии классической ортогональной группы O(n, R) .

ДоказательствоПравить

Для вещественной полупростой группы доказательство Картана существования и единственности максимальной компактной подгруппы можно найти в статье Бореля и книге Хелгасона. Картье и Хошильд обсуждали распространение доказательства на связные группы Ли и локально связные компактные группы.

Для полупростых групп существование является следствием существования компактной вещественной формы^[en] некомпактной полупростой группы Ли и соответствующего разложения Картана^[en]. Доказательство единственности основывается на теореме Картана о неподвижной точке и факте, что соответствующее риманово симметрическое пространство $G/K$$G/K$  имеет отрицательную кривизну. Мостов показал, что производная экспоненциального отображения в любой точке $G/K$$G/K$  удовлетворяет условию $|\mathrm{d}\mathrm{e}\mathrm{x}\mathrm{p}X|⩾<!--\; ⩾\; -->|X|$$|\mathrm {dexp} X|\geqslant |X|$ . Из этого следует, что $G/K$$G/K$  является пространством Адамара, то есть полным метрическим пространством, удовлетворяющим ослабленную форму тождества параллелограмма в евклидовом пространстве. Единственность затем может быть выведена из теоремы Брюа — Титса о неподвижной точке^[en]. Более того, любое ограниченное замкнутое множество в пространстве Адамара содержится в единственном наименьшем замкнутом шаре. В частности, компактная группа, действующая с помощью изометрий, должна оставлять неподвижными центрами описанных окружностей каждой из её орбит.

Доказательство единственности для полупростых группПравить

Мостов свёл общую задачу для полупростых групп к случаю GL(n, R). Соответствующее симметрическое пространство является пространством положительных симметричных матриц. Прямое доказательство единственности, опирающееся на элементарные свойства этого пространства, приведено в книге Хилгерта и Ниба.

Пусть $\mathfrak{g}$$\mathfrak{g}$  является вещественной полупростой алгеброй Ли с инволюцией Картана^[en] $\mathrm{\sigma <!--\; \sigma \; -->}$$\sigma$ . Тогда подгруппа неподвижных точек^[en] инволюции $\mathrm{\sigma <!--\; \sigma \; -->}$$\sigma$  является максимальной компактной подгруппой K и имеется спектральное разложение матрицы

$\mathfrak{g}=\mathfrak{k}\oplus <!--\; \oplus \; -->\mathfrak{p}$$\displaystyle {{\mathfrak {g}}={\mathfrak {k}}\oplus {\mathfrak {p}}}$ ,

где $\mathfrak{k}$${\mathfrak {k}}$ , алгебра Ли подгруппы K, является собственным пространством +1. Разложение Картана даёт

$G=K\cdot <!--\; \cdot \; -->\exp <!--\; \; -->\mathfrak{p}=K\cdot <!--\; \cdot \; -->P=P\cdot <!--\; \cdot \; -->K$$\displaystyle {G=K\cdot \exp {\mathfrak {p}}=K\cdot P=P\cdot K}$ .

Если B является формой Киллинга на $\mathfrak{g}$$\mathfrak{g}$ , задаваемый выражением $B(X,Y)=\mathrm{T}\mathrm{r}(\mathrm{a}\mathrm{d}\mathrm{X})(\mathrm{a}\mathrm{d}\mathrm{Y})$$B(X,Y)=\mathrm {Tr(ad~X)(ad~Y)}$ , то

$(X,Y{)}_{\mathrm{\sigma <!--\; \sigma \; -->}}=-<!--\; -\; -->B(X,\mathrm{\sigma <!--\; \sigma \; -->}(Y))$$\displaystyle {(X,Y)_{\sigma }=-B(X,\sigma (Y))}$ 

является вещественным скалярным произведением на $\mathfrak{g}$$\mathfrak{g}$ . При присоединённом представлении группы Ли K является подгруппой группы G, сохраняющей скалярное произведение.

Если B является другой компактной подгруппой группы G, то K является подгруппой группы G, сохраняющей это скалярное произведение.

Если H является другой компактной подгруппой группы G, то среднее скалярного произведения по H по мере Хаара даёт инвариант скалярного произведения над H. Операторы Ad p при p из P являются положительными симметричными операторами. Это новое скалярное произведение можно записать как

$(S\cdot <!--\; \cdot \; -->X,Y{)}_{\mathrm{\sigma <!--\; \sigma \; -->}}$$(S\cdot X,Y)_{\sigma }$ ,

где S является положительным симметричным оператором на $\mathfrak{g}$$\mathfrak{g}$ , таким, что $\mathrm{A}\mathrm{d}(h{)}^{t}S\mathrm{A}\mathrm{d}h=S$$\mathrm {Ad} (h)^{t}S\mathrm {Ad} ~h=S$  для h из H (с транспонированием, вычисленным с учётом скалярного произведения). Более того, для x из G

$\mathrm{A}\mathrm{d}\mathrm{\sigma <!--\; \sigma \; -->}(x)=(\mathrm{A}\mathrm{d}(x{)}^{-<!--\; -\; -->1}{)}^t$$\displaystyle {\mathrm {Ad} \,\sigma (x)=(\mathrm {Ad} \,(x)^{-1})^{t}}$ .

Так что для h из H

$S\circ <!--\; \circ \; -->\mathrm{A}\mathrm{d}(\mathrm{\sigma <!--\; \sigma \; -->}(h))=\mathrm{A}\mathrm{d}(h)\circ <!--\; \circ \; -->S$$\displaystyle {S\circ \mathrm {Ad} (\sigma (h))=\mathrm {Ad} (h)\circ S}$ .

Для X из $\mathfrak{p}$$\mathfrak{p}$  определим

$f(e^X)=\mathrm{T}\mathrm{r}\mathrm{A}\mathrm{d}(e^X)S$$\displaystyle {f(e^{X})=\mathrm {Tr} \,\mathrm {Ad} (e^{X})S}$ .

Если $e_i$$e_{i}$  является ортонормальным базисом собственных векторов для S с $S{e}_i={\mathrm{\lambda <!--\; \lambda \; -->}}_i{e}_i$$Se_{i}=\lambda _{i}e_{i}$ , то

$f(e^X)=\sum <!--\; \sum \; -->{\mathrm{\lambda <!--\; \lambda \; -->}}_i(\mathrm{A}\mathrm{d}(e^X)e_i,e_i{)}_{\mathrm{\sigma <!--\; \sigma \; -->}}⩾<!--\; ⩾\; -->(min{\mathrm{\lambda <!--\; \lambda \; -->}}_i)\cdot <!--\; \cdot \; -->\mathrm{T}\mathrm{r}{e}^{\mathrm{a}\mathrm{d}X}$$\displaystyle {f(e^{X})=\sum \lambda _{i}(\mathrm {Ad} (e^{X})e_{i},e_{i})_{\sigma }\geqslant (\min \lambda _{i})\cdot \mathrm {Tr} \,e^{\mathrm {ad} \,X}}$ ,

так что f является строго положительной и стремится к $\mathrm{\infty <!--\; \infty \; -->}$$\infty$  при $|X|$$|X|$  стремящемся к $\mathrm{\infty <!--\; \infty \; -->}$$\infty$ . Фактически эта норма эквивалентна оператору нормы на симметричных операторах $\mathrm{a}\mathrm{d}X$$\mathrm {ad} ~X$  и любое ненулевое собственное значение появляется вместе с отрицательным значением, поскольку $i\mathrm{a}\mathrm{d}X$$i~\mathrm {ad} ~X$  является кососопряжённым оператором на компактной вещественной форме $\mathfrak{k}\oplus <!--\; \oplus \; -->i\mathfrak{p}$${\mathfrak {k}}\oplus i{\mathfrak {p}}$ . Таким образом, f имеет глобальный минимум, скажем в Y. Этот минимум единственнен, поскольку, если Z является другим минимумом,

$e^Z=e^{Y/2}{e}^X{e}^{Y/2}$$\displaystyle {e^{Z}=e^{Y/2}e^{X}e^{Y/2}}$ ,

где X в $\mathfrak{p}$$\mathfrak{p}$  определяется разложением Картана

$e^{Z/2}{e}^{-<!--\; -\; -->Y/2}=k\cdot <!--\; \cdot \; -->e^{X/2}$$\displaystyle {e^{Z/2}e^{-Y/2}=k\cdot e^{X/2}}$ .

Если $f_i$$f_{i}$  является ортонормированным базисом собственных векторов $\mathrm{a}\mathrm{d}X$$\mathrm {ad} ~X$  с соответствующими вещественными собственными значениями ${\mathrm{\mu <!--\; \mu \; -->}}_i$$\mu _{i}$ , то

$g(t)=f(e^{Y/2}{e}^{tX}{e}^{Y/2})=\sum <!--\; \sum \; -->e^{{\mathrm{\mu <!--\; \mu \; -->}}_{i}t}\Vert <!--\; \Vert \; -->Ad(e^{Y/2})f_i{\Vert <!--\; \Vert \; -->}_{\mathrm{\sigma <!--\; \sigma \; -->}}^2$$\displaystyle {g(t)=f(e^{Y/2}e^{tX}e^{Y/2})=\sum e^{\mu _{i}t}\|Ad(e^{Y/2})f_{i}\|_{\sigma }^{2}}$ .

Поскольку правая часть является положительной комбинацией степеней, вещественнозначная функция g является строго выпуклой, если X ≠ 0, так что имеет единственный минимум. С другой стороны, функция имеет локальный минимум в точках t = 0 и t = 1, поскольку X = 0 и p = exp Y является единственным глобальным минимумом. По построению $f(x)=f(\mathrm{\sigma <!--\; \sigma \; -->}(h)x{h}^{-<!--\; -\; -->1})$$f(x)=f(\sigma (h)xh^{-1})$  для h из H, так что $p=\mathrm{\sigma <!--\; \sigma \; -->}(h)p{h}^{-<!--\; -\; -->1}$$p=\sigma (h)ph^{-1}$  для h из H. Следовательно, $\mathrm{\sigma <!--\; \sigma \; -->}(h)=ph{p}^{-<!--\; -\; -->1}$$\sigma (h)=php^{-1}$ . Отсюда следует, что в случае $g=\mathrm{e}\mathrm{x}\mathrm{p}Y/2,gH{g}^{-<!--\; -\; -->1}$$g=\mathrm {exp} Y/2,gHg^{-1}$  является неподвижной для $\mathrm{\sigma <!--\; \sigma \; -->}$$\sigma$  и потому лежит в K.

ПриложенияПравить

Теория представленийПравить

Максимальные компактные подгруппы играют основную роль в теории представлений, когда G не компактна. В этом случае максимальная компактная подгруппа K является компактной группой Ли^[en] (поскольку замкнутая подгруппа группы Ли является группой Ли), для которой теория проще.

Операции, связанные с теорией представлений G и K, являются ограничением представлений^[en] из G в K и индуцированным представлением^[en] из K в G и это вполне понятно. Эти теории включают теорию зональных сферических функций^[en].

ТопологияПравить

Алгебраическая топология групп Ли переносится также на максимальную компактную подгруппу K. Для точности, связная группа Ли является топологическим произведением (хотя не групповым произведением) максимальной компактной подгруппы K и евклидова пространства $G=K\times <!--\; \times \; -->{\mathbb{R}}^d$$G=K\times \mathbb {R} ^{d}$ . Тогда, в частности, K является деформационным ретрактом группы G и гомотопически эквивалентен ей, а следовательно, они имеют те же самые гомотопические группы. Более того, включение $K\hookrightarrow <!--\; \hookrightarrow \; -->G$$K\hookrightarrow G$  и деформационный ретракт $G\twoheadrightarrow <!--\; \twoheadrightarrow \; -->K$$G\twoheadrightarrow K$  являются гомотопическими эквивалентностями.

Для полной линейной группы эта декомпозиция является QR-разложением, а деформационный ретракт является процессом Грама — Шмидта. Для общих полупростых групп разложение является разложением Ивасава^[en] группы G в виде G=KAN, где K встречается вместе со стягиваемой подгруппой AN.

См. такжеПравить

• Гиперспециальная подгруппа^[en]
• Комплексная группа Ли^[en]