Симметричное пространство

В математике симметричное пространство — это риманово многообразие (или, в более общем смысле, псевдориманово многообразие ), группа симметрий которого содержит инверсионную симметрию относительно каждой точки. Это можно изучать с помощью инструментов римановой геометрии , что приводит к следствиям в теории голономии ; или алгебраически через теорию Ли , что позволило Картану дать полную классификацию. Симметричные пространства обычно встречаются в дифференциальной геометрии , теории представлений и гармоническом анализе .

С геометрической точки зрения полное односвязное риманово многообразие является симметричным пространством тогда и только тогда, когда его тензор кривизны инвариантен относительно параллельного переноса. В более общем смысле, риманово многообразие ( M , g ) называется симметричным тогда и только тогда, когда для каждой точки p из M существует изометрия M , фиксирующая p и действующая на касательное пространство как минус единица (каждое симметрическое пространство является полной , поскольку любая геодезическая может быть продолжена до бесконечности посредством симметрии относительно концов). Оба описания естественным образом могут быть распространены и на случай псевдоримановых многообразий . $T_{p}M$

С точки зрения теории Ли, симметрическое пространство — это фактор G / H связной группы Ли G по подгруппе Ли H , которая является (связным компонентом) инвариантной группой инволюции группы G. Это определение включает в себя более чем риманово определение, и сводится к нему, когда H компактно.

Римановы симметрические пространства возникают в самых разных ситуациях как в математике, так и в физике. Их центральная роль в теории голономии была обнаружена Марселем Бергером . Они являются важными объектами изучения теории представлений и гармонического анализа, а также дифференциальной геометрии.

Геометрическое определение

Пусть M — связное риманово многообразие и p — точка M. Диффеоморфизм f окрестности точки p называется геодезической симметрией , если он фиксирует точку p и переворачивает геодезические, проходящие через эту точку, т. е. если γ является геодезической с то. Из этого следует, что производная отображения f в p равна минус тождественное отображение в касательном пространстве p . На общем римановом многообразии f не обязательно должно быть изометричным и, вообще говоря, не может быть расширено из окрестности p на все M . $\gamma (0)=p$ $f(\gamma (t))=\gamma (-t).$

Говорят, что M локально риманово симметрично, если его геодезические симметрии на самом деле изометричны. Это эквивалентно обращению в нуль ковариантной производной тензора кривизны. Локально-симметричное пространство называется (глобально) симметричным пространством, если, кроме того, его геодезические симметрии могут быть расширены до изометрий на всем M .

Основные свойства

Теорема Картана-Амброуза-Хикса подразумевает, что M локально риманово симметрично тогда и только тогда, когда его тензор кривизны ковариантно постоянен , и, кроме того, что каждое односвязное полное локально риманово симметрическое пространство на самом деле риманово симметрично.

Каждое риманово симметрическое пространство M полно и риманово однородно (это означает, что группа изометрий M действует транзитивно на M ). Фактически уже единичный компонент группы изометрий действует транзитивно на M (поскольку M связен).

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

Примеры

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

Каждая компактная риманова поверхность рода больше 1 (с ее обычной метрикой постоянной кривизны −1) является локально-симметричным пространством, но не симметричным пространством.

Каждое линзовое пространство локально симметрично, но не симметрично, за исключением симметричного. Пространства линз являются факторами трехмерной сферы по дискретной изометрии, не имеющей фиксированных точек. $L(2,1)$

Примером нериманова симметричного пространства является антидеситтеровское пространство .

Алгебраическое определение

Пусть G — связная группа Ли . Тогда симметрическое пространство для G — это однородное пространство G / H , где стабилизатор H типичной точки является открытой подгруппой множества неподвижных точек инволюции σ в Aut( G ). Таким образом , σ — автоморфизм группы G такой, что ^σ2= id _G , а H — открытая подгруппа инвариантного множества

G^{\sigma }=\{g\in G:\sigma (g)=g\}.

Поскольку H открыта, она представляет собой объединение компонент G ^σ (включая, конечно, единичную компоненту).

Как автоморфизм группы G , σ фиксирует единичный элемент и, следовательно, путем дифференцирования в единице, индуцирует автоморфизм алгебры Ли группы G , также обозначаемой σ , квадрат которой является единицей. Отсюда следует, что собственные значения σ равны ±1. Собственное пространство +1 — это алгебра Ли группы H (поскольку это алгебра Ли группы G ^σ ), а собственное пространство —1 будет обозначаться . Поскольку σ является автоморфизмом , это дает разложение в прямую сумму ${\mathfrak {g}}$ ${\mathfrak {h}}$ ${\mathfrak {m}}$ ${\mathfrak {g}}$

{\mathfrak {g}}={\mathfrak {h}}\oplus {\mathfrak {m}}

[{\mathfrak {h}},{\mathfrak {h}}]\subset {\mathfrak {h}},\;[{\mathfrak {h}},{\mathfrak {m}}]\subset {\mathfrak {m}},\;[{\mathfrak {m}},{\mathfrak {m}}]\subset {\mathfrak {h}}.

Первое условие является автоматическим для любого однородного пространства: оно просто говорит, что бесконечно малый стабилизатор является подалгеброй Ли в . Второе условие означает, что это -инвариантное дополнение к in . Таким образом, любое симметрическое пространство является редуктивным однородным пространством , но существует множество редуктивных однородных пространств, которые не являются симметричными. Ключевой особенностью симметричных пространств является третье условие, заключающееся в скобках . ${\mathfrak {h}}$ ${\mathfrak {g}}$ ${\mathfrak {m}}$ ${\mathfrak {h}}$ ${\mathfrak {h}}$ ${\mathfrak {g}}$ ${\mathfrak {m}}$ ${\mathfrak {h}}$

И наоборот, для любой алгебры Ли с разложением в прямую сумму, удовлетворяющей этим трем условиям, линейное отображение σ , равное единице на и минус единица на , является инволютивным автоморфизмом. ${\mathfrak {g}}$ ${\mathfrak {h}}$ ${\mathfrak {m}}$

Римановы симметрические пространства удовлетворяют характеризации теории Ли

Если M — риманово симметрическое пространство, то единичный компонент G группы изометрий M является группой Ли , действующей транзитивно на M (т. е. M риманово однородно). Следовательно, если мы зафиксируем некоторую точку p из M , M диффеоморфно фактору G/K , где K обозначает группу изотропии действия G на M в точке p . Дифференцируя действие в точке p , мы получаем изометрическое действие K на T _p M . Это действие является точным (например, по теореме Костанта любая изометрия единичной компоненты определяется ее 1-струей в любой точке), и поэтому K является подгруппой ортогональной группы T _p M , следовательно, компактной. Более того, если мы обозначим через s _p : M → M геодезическую симметрию M в точке p , отображение

\sigma :G\to G,h\mapsto s_{p}\circ h\circ s_{p}

является инволютивным автоморфизмом группы Ли , таким что группа изотропии K содержится между группой неподвижных точек и ее единичным компонентом (следовательно, открытой подгруппой). См. определение и следующее предложение на странице 209, глава IV, раздел 3 в «Дифференциальной геометрии Хельгасона», Ли Группы и симметричные пространства для получения дополнительной информации. $G^{\sigma }$ $(G^{\sigma })_{o}\,,$

Подводя итог, M — симметрическое пространство G / K с компактной группой изотропии K. И наоборот, симметрические пространства с компактной группой изотропии являются римановыми симметрическими пространствами, хотя и не обязательно единственным образом. Чтобы получить структуру риманова симметричного пространства, нам нужно зафиксировать K -инвариантное скалярное произведение в касательном пространстве к G / K в тождественном классе eK : такое скалярное произведение всегда существует путем усреднения, поскольку K компактно, и действуя с G , мы получаем G -инвариантную риманову метрику g на G / K .

Чтобы показать, что G / K риманово симметричен, рассмотрим любую точку p = hK (смежный класс K , где h ∈ G ) и определим

s_{p}:M\to M,\quad h'K\mapsto h\sigma (h^{-1}h')K

где σ — инволюция G , фиксирующая K. Тогда можно проверить, что s _p является изометрией с (очевидно) s _p ( p ) = p и (путем дифференцирования) d s _p равным минус единице на T _p M . Таким образом, s _p — геодезическая симметрия, и, поскольку p было произвольным, M — риманово симметрическое пространство.

Если начать с риманова симметрического пространства M и затем последовательно выполнить эти две конструкции, то полученное риманово симметрическое пространство будет изометрично исходному. Это показывает , что «алгебраические данные» ( G , K , σ , g ) полностью описывают структуру M.

Классификация римановых симметрических пространств

Алгебраическое описание римановых симметричных пространств позволило Эли Картану получить их полную классификацию в 1926 году.

Для данного риманова симметрического пространства M пусть ( G , K , σ , g ) будут ассоциированными с ним алгебраическими данными. Чтобы классифицировать возможные классы изометрии M , сначала отметим, что универсальное накрытие риманова симметричного пространства снова является римановым симметричным, а карта покрытия описывается путем деления связной группы изометрий G покрытия на подгруппу его центра. Поэтому без ограничения общности можно считать, что M односвязно. (Это означает, что K связно длинной точной последовательностью расслоения , поскольку G связна по предположению.)

Схема классификации

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

Следующий шаг — показать, что любое неприводимое односвязное риманово симметрическое пространство M принадлежит к одному из следующих трех типов:

1. Евклидов тип : M имеет исчезающую кривизну и, следовательно, изометрично евклидову пространству .

2. Компактный тип : M имеет неотрицательную (но не тождественно нулевую) кривизну сечения .

3. Некомпактный тип : M имеет неположительную (но не тождественно нулевую) кривизну сечения.

Более уточненный инвариант — это ранг , который является максимальной размерностью подпространства касательного пространства (к любой точке), на котором кривизна тождественно равна нулю. Ранг всегда равен как минимум одному, с равенством, если кривизна сечения положительная или отрицательная. Если кривизна положительна, пространство относится к компактному типу, а если отрицательна, то к некомпактному типу. Пространства евклидова типа имеют ранг, равный своей размерности, и изометричны евклидову пространству этой размерности. Поэтому осталось классифицировать неприводимые односвязные римановы симметрические пространства компактного и некомпактного типа. В обоих случаях есть два класса.

A.G — (вещественная) простая группа Ли;

B. G является либо произведением компактной простой группы Ли с самой собой (компактный тип), либо комплексификацией такой группы Ли (некомпактный тип).

Примеры класса Б полностью описываются классификацией простых групп Ли . Для компактного типа M — компактная односвязная простая группа Ли, G — это M × M , а K — диагональная подгруппа. Для некомпактного типа G — односвязная комплексная простая группа Ли, а K — ее максимальная компактная подгруппа. В обоих случаях ранг является рангом G .

Компактные односвязные группы Ли являются универсальными накрытиями классических групп Ли и _пяти исключительных групп Ли E6 , E7 _,E8 _,F4 _,G2 _. $\mathrm {SO} (n)$ $\mathrm {SU} (n)$ $\mathrm {Sp} (n)$

Примеры класса А полностью описываются классификацией некомпактных односвязных вещественных простых групп Ли. Для некомпактного типа такой группой является G , а K — ее максимальная компактная подгруппа. Каждому такому примеру соответствует пример компактного типа, если рассматривать максимальную компактную подгруппу комплексификации G , содержащую K. Более конкретно, примеры компактного типа классифицируются инволютивными автоморфизмами компактных односвязных простых групп Ли G (с точностью до сопряжения). Такие инволюции распространяются на инволюции комплексификации G , а они, в свою очередь, классифицируют некомпактные вещественные формы G .

Таким образом, как в классе A, так и в классе B существует соответствие между симметрическими пространствами компактного и некомпактного типа. Это известно как двойственность римановых симметричных пространств.

Результат классификации

Специализируясь на римановых симметрических пространствах класса A и компактного типа, Картан обнаружил, что существуют следующие семь бесконечных серий и двенадцать исключительных римановых симметрических пространств G / K . Здесь они даны в терминах G и K вместе с геометрической интерпретацией, если она доступна. Обозначение этих пространств дано Картаном.

Как грассманианцы

Более современная классификация (Huang & Leung 2010) единообразно классифицирует римановы симметрические пространства, как компактные, так и некомпактные, с помощью конструкции магического квадрата Фрейденталя . Неприводимые компактные римановы симметрические пространства с точностью до конечных накрытий представляют собой либо компактную простую группу Ли, грассманиан, лагранжев грассманиан , либо двойной лагранжев грассманиан подпространств для нормированных алгебр с делением A и B. Аналогичная конструкция дает неприводимые некомпактные римановы симметрические пространства. $(\mathbf {A} \otimes \mathbf {B} )^{n},$

Общие симметрические пространства

Важным классом симметрических пространств, обобщающих римановы симметрические пространства, являются псевдоримановы симметрические пространства , в которых риманова метрика заменена псевдоримановой метрикой (невырожденной, а не положительно определенной на каждом касательном пространстве). В частности, лоренцевы симметрические пространства , то есть n -мерные псевдоримановы симметрические пространства сигнатуры ( n - 1,1), важны в общей теории относительности , наиболее яркими примерами являются пространство Минковского , пространство Де Ситтера и пространство анти-де Ситтера ( с нулевой, положительной и отрицательной кривизной соответственно). Пространство Де Ситтера размерности n можно отождествить с однополостным гиперболоидом в пространстве Минковского размерности n + 1.

Симметричные и локально-симметричные пространства вообще можно рассматривать как аффинные симметрические пространства. Если M = G / H — симметричное пространство, то Номидзу показал, что существует G -инвариантная аффинная связность без кручения (т. е. аффинная связность, тензор кручения которой равен нулю) на M , кривизна которой параллельна . Обратно, многообразие с такой связностью локально симметрично (т. е. его универсальное накрытие является симметрическим пространством). Такие многообразия также можно описать как аффинные многообразия, геодезические симметрии которых представляют собой глобально определенные аффинные диффеоморфизмы, обобщающие риманов и псевдоримановы случаи.

Результаты классификации

Классификация римановых симметрических пространств не распространяется на общий случай по той простой причине, что не существует общего расщепления симметрического пространства на произведение неприводимых. Здесь симметрическое пространство G / H с алгеброй Ли

{\mathfrak {g}}={\mathfrak {h}}\oplus {\mathfrak {m}}

называется неприводимым, если является неприводимым представлением . Поскольку в целом он не является полупростым (или даже редуктивным), он может иметь неразложимые представления, которые не являются неприводимыми. ${\mathfrak {m}}$ ${\mathfrak {h}}$ ${\mathfrak {h}}$

Однако неприводимые симметрические пространства можно классифицировать. Как показал Кацуми Номидзу , существует дихотомия: неприводимое симметрическое пространство G / H либо плоское (т. е. аффинное пространство), либо полупростое. Это аналог римановой дихотомии между евклидовыми пространствами и пространствами компактного или некомпактного типа, и он побудил М. Бергера классифицировать полупростые симметрические пространства (т. е. пространства с полупростыми) и определить, какие из них являются неприводимыми. Последний вопрос более тонкий, чем в римановом случае: даже если он прост, G / H не может быть неприводимым. ${\mathfrak {g}}$ ${\mathfrak {g}}$ ${\mathfrak {g}}$

Как и в римановом случае, существуют полупростые симметрические пространства с G = H × H . Любое полупростое симметрическое пространство является произведением симметрических пространств этого вида на такие симметрические пространства, которые являются простыми. Осталось описать последний случай. Для этого необходимо классифицировать инволюции σ (вещественной) простой алгебры Ли . Если не является простым, то является комплексной простой алгеброй Ли, а соответствующие симметрические пространства имеют вид G / H , где H – действительная форма G : это аналоги римановых симметрических пространств G / K с G комплексом простая группа Ли и K максимальная компактная подгруппа. ${\mathfrak {g}}$ ${\mathfrak {g}}$ ${\mathfrak {g}}^{c}$ ${\mathfrak {g}}$

Таким образом, мы можем предположить, что это просто. Вещественную подалгебру можно рассматривать как множество неподвижных точек комплексной антилинейной инволюции τ , в то время как σ расширяется до комплексной антилинейной инволюции коммутации с τ и, следовательно, также до комплексной линейной инволюции σ ∘ τ . ${\mathfrak {g}}^{c}$ ${\mathfrak {g}}$ ${\mathfrak {g}}^{c}$ ${\mathfrak {g}}^{c}$

Таким образом, классификация сводится к классификации коммутирующих пар антилинейных инволюций комплексной алгебры Ли. Композиция σ ∘ τ определяет комплексное симметрическое пространство, а τ определяет действительную форму. Отсюда легко построить таблицы симметрических пространств для любого заданного , и, кроме того, существует очевидная двойственность, возникающая при замене σ и τ . Это расширяет двойственность компактного/некомпактного риманова случая, когда либо σ , либо τ является инволюцией Картана , т. е. ее множество неподвижных точек является максимальной компактной подалгеброй. ${\mathfrak {g}}^{c}$

Таблицы

В следующей таблице вещественные симметрические пространства индексируются по комплексным симметрическим пространствам и вещественным формам для каждой классической и исключительной комплексной простой группы Ли.

Для исключительных простых групп Ли риманов случай явно включен ниже, позволяя σ быть тождественной инволюцией (отмечено тире). В приведенных выше таблицах это неявно рассматривается в случае kl =0.

Слабо симметричные римановы пространства

В 1950-х годах Атле Сельберг расширил определение симметричного пространства, данное Картаном, до определения слабо симметричного риманова пространства или, в современной терминологии, слабо симметричного пространства . Они определяются как римановы многообразия M с транзитивной связной группой Ли изометрий G и изометрией σ, нормализующей G , такой, что для данных x , y в M существует изометрия s в G такая, что sx = σy и sy = σx . (Предположение Сельберга о том, что σ2 ^должно быть элементом G, позже было показано Эрнестом Винбергом ненужным .) Сельберг доказал , что слабо симметричные пространства порождают пары Гельфанда , так что, в частности, ^{унитарное}представление G на L2 ( M ) свободен от кратности.

Определение Сельберга также можно эквивалентно сформулировать в терминах обобщения геодезической симметрии. Требуется, чтобы для каждой точки x в M и касательного вектора X в x существовала изометрия s точки M , зависящая от x и X , такая, что

s исправляет x ;
производная s в точке x переводит X в – X .

Когда s не зависит от X , M является симметричным пространством.

Изложение слабо симметричных пространств и их классификации Ахиезера и Винберга, основанной на классификации периодических автоморфизмов комплексных полупростых алгебр Ли , дано в Вольфе (2007).

Характеристики

Можно отметить некоторые свойства и формы симметрических пространств.

Поднятие метрического тензора

Метрический тензор на римановом многообразии можно поднять до скалярного произведения на , объединив его с формой Киллинга . Это делается путем определения $M$ $G$

\langle X,Y\rangle _{\mathfrak {g}}={\begin{cases}\langle X,Y\rangle _{p}\quad &X,Y\in T_{p}M\cong {\mathfrak {m}}\\-B(X,Y)\quad &X,Y\in {\mathfrak {h}}\\0&{\mbox{otherwise}}\end{cases}}

Здесь – риманова метрика, определенная на , – форма Киллинга . Знак минус появляется потому, что форма Киллинга является отрицательно-определенной, а это делает ее положительно-определенной. $\langle \cdot ,\cdot \rangle _{p}$ $T_{p}M$ $B(X,Y)=\operatorname {trace} (\operatorname {ad} X\circ \operatorname {ad} Y)$ ${\mathfrak {h}}~;$ $\langle \cdot ,\cdot \rangle _{\mathfrak {g}}$

Факторизация

Касательное пространство можно дополнительно разложить на собственные пространства, классифицированные по форме Киллинга. ^[1] Это достигается путем определения сопряженного отображения, принимающего вид ${\mathfrak {m}}$ ${\mathfrak {m}}\to {\mathfrak {m}}$ $Y\mapsto Y^{\#}$

\langle X,Y^{\#}\rangle =B(X,Y)

где – риманова метрика, – форма Киллинга. Это отображение иногда называют обобщенным транспонированием , поскольку оно соответствует транспонированию для ортогональных групп и эрмитовому сопряжению для унитарных групп. Это линейный функционал, и он самосопряженный, поэтому можно сделать вывод, что существует ортонормированный базис с $\langle \cdot ,\cdot \rangle$ ${\mathfrak {m}}$ $B(\cdot ,\cdot )$ $Y_{1},\ldots ,Y_{n}$ ${\mathfrak {m}}$

Y_{i}^{\#}=\lambda _{i}Y_{i}

Они ортогональны относительно метрики, поскольку

\langle Y_{i}^{\#},Y_{j}\rangle =\lambda _{i}\langle Y_{i},Y_{j}\rangle =B(Y_{i},Y_{j})=\langle Y_{j}^{\#},Y_{i}\rangle =\lambda _{j}\langle Y_{j},Y_{i}\rangle

поскольку форма Киллинга симметрична. Это факторизуется в собственные пространства ${\mathfrak {m}}$

{\mathfrak {m}}={\mathfrak {m}}_{1}\oplus \cdots \oplus {\mathfrak {m}}_{d}

[{\mathfrak {m}}_{i},{\mathfrak {m}}_{j}]=0

для . В полупростом случае , когда форма Киллинга невырождена, метрика также факторизуется: $i\neq j$ ${\mathfrak {g}}$

\langle \cdot ,\cdot \rangle ={\frac {1}{\lambda _{1}}}\left.B\right|_{{\mathfrak {m}}_{1}}+\cdots +{\frac {1}{\lambda _{d}}}\left.B\right|_{{\mathfrak {m}}_{d}}

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

Классификация симметричных пространств осуществляется на основе того, является ли форма Киллинга положительно/отрицательно определенной.

Приложения и особые случаи

Симметричные пространства и голономия

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

Эрмитово симметрическое пространство

Эрмитовым симметричным пространством называется риманово симметрическое пространство, дополнительно снабженное параллельной комплексной структурой, совместимой с римановой метрикой . Некоторыми примерами являются комплексные векторные пространства и комплексные проективные пространства, как с их обычной римановой метрикой, так и комплексные единичные шары с подходящей метрикой, так что они становятся полными и риманово симметричными.

Неприводимое симметрическое пространство G / K эрмитово тогда и только тогда, когда K содержит центральную окружность. Четверть оборота по этому кругу действует как умножение на i в касательном пространстве в тождественном смежном классе. Таким образом, эрмитовые симметрические пространства легко вычитаются из классификации. И в компактном, и в некомпактном случаях оказывается, что существует четыре бесконечных ряда, а именно AIII, BDI с p=2 , DIII и CI, и два исключительных пространства, а именно EIII и EVII. Некомпактные эрмитовые симметрические пространства могут быть реализованы как ограниченные симметрические области в комплексных векторных пространствах.

Симметричные пространства кватернионов-кэлеровы

Риманово симметрическое пространство, дополнительно снабженное параллельным подрасслоением End(TM ) , изоморфным мнимым кватернионам в каждой точке и совместимым с римановой метрикой, называется кватернионно-келеровым симметричным пространством .

Неприводимое симметрическое пространство G / K является кватернион-кэлеровым тогда и только тогда, когда изотропное представление K содержит слагаемое Sp(1), действующее как единичные кватернионы в кватернионном векторном пространстве . Таким образом, симметрические пространства кватернионов и Кэлера легко вычитаются из классификации. И в компактном, и в некомпактном случаях оказывается, что для каждой комплексной простой группы Ли существует ровно один, а именно AI с p = 2 или q = 2 (они изоморфны), BDI с p = 4 или q = 4. , CII с p = 1 или q = 1, EII, EVI, EIX, FI и G.

Теорема Ботта о периодичности

В теореме о периодичности Ботта пространства петель стабильной ортогональной группы можно интерпретировать как редуктивные симметрические пространства.