Математическая энциклопедия - инвариантная метрика

риманова метрика mна многообразии М, не изменяющаяся при всех преобразованиях из данной группы Ли G преобразований. Сама группа G при этом наз. группой движений (изометрий) метрики m(или риманова пространства ( М, т)).

Группа Ли G преобразований многообразия М, действующая на Мсовершенно (т. е. так, что отображение

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

любой точки компактная подгруппа в G.

Если сама группа G компактна, то G-инвариантную метрику т 0 на Мможно построить, усреднив произвольную метрику тна Мпо группе G:

где интеграл берется по мере Хаара.

В случае, когда группа Gтранзитивна, многообразие Мотождествляется с пространством смежных классов G/H группы Gпо стабилизатору фиксированной точки и для существования G-инвариантной метрики на Мнеобходимо и достаточно, чтобы линей ная группа изотропии (см. Изотропии представление )имела компактное замыкание в (в частности, достаточно, чтобы Нбыла компактна). В этом случае пространство G/H редуктивно, т. е. алгебра Ли группы Gдопускает разложение где подалгебра, отвечающая подпространство, инвариантное относительно AdH, где Ad присоединенное представление группы G. Если отождествить тс Т х0 (М), то любая G-инвариантная метрика mна Мполучается из нек-рой AdН-инвариантной евклидовой метрики на следующим образом:

где такой элемент, что gx0=x.

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

где X*поле скоростей однопараметрич. группы преобразований exp tX, -оператор ковариантного дифференцирования римановой связности, а оператор производной Ли. В частности, для оператора кривизны Riem (X, Y )и для секционной кривизны К( Х, Y )по направлению, задаваемому ортонормальным базисом, справедливы следующие формулы:

где Zmпроекция на вдоль

Операторы Номидзу выражаются в терминах алгебры Ли и метрики формулой

где Из определения операторов Номидзу следует, что их действие на G-инвариантные поля отличается только знаком от действия ковариантной производной в точке х 0. Если риманово пространство (G/H, m )не содержит плоских сомножителей в разложении де Рама, то линейная алгебра Ли, порожденная операторами Номидзу совпадает с алгеброй голономии пространства (GlH, m )в точке х 0.

Описание геодезических инвариантной метрики на однородном пространстве можно дать следующим образом. Пусть сначала M=G группа Ли, действующая на себе при помощи левых сдвигов. Пусть gtгеодезическая левоинвариантной метрики mна группе Ли G и соответствующая ей кривая в алгебре Ли (годограф скорости). Кривая Xt удовлетворяет уравнению годографа