close

Вход

Забыли?

вход по аккаунту

?

Алгебры голономии лоренцевых многообразий.

код для вставкиСкачать
ПРОБЛЕМЫ ЕСТЕСТВЕННЫХ НАУК
УДК 514.764.214
А.С. Галаев
АЛГЕБРЫ ГОЛОНОМИИ ЛОРЕНЦЕВЫХ МНОГООБРАЗИЙ
Проблема классификации алгебр голономии псевдоримановых
многообразий является открытой. Классификация алгебр голономии
римановых многообразий – хорошо известный классический результат. В
настоящей работе приводится классификация алгебр голономии
лоренцевых многообразий. Для каждой алгебры голономии строится пример
полиномиальной метрики.
A.S. Galaev
HOLONOMY ALGEBRAS OF LORENTZIAN MANIFOLDS
The problem of classification of holonomy algebras for pseudoRiemannian manifolds is known. The classification of holonomy algebras for
Riemannian manifolds is a well-known classical result. This article presents
the classification of holonomy algebras of Lorentzian manifolds. An example of
polynomial metric for each holonomy algebra is constructed here.
Группа голономии псевдориманова многообразия (M, g) в точке x ∈ M есть
подгруппа Ли псевдоортогональной группы O (Tx M , g x ) , порожденная параллельными
переносами вдоль всех кусочно-гладких петель в точке x . Соответствующая подалгебра
алгебры Ли so(Tx M , g x ) называется алгеброй голономии многообразия (M, g) в точке x.
Группы и алгебры голономии позволяют находить параллельные тензорные поля,
параллельные распределения, параллельные и киллинговы спинорные поля на
многообразии и дают информацию о тензоре кривизны и некоторых других объектах на
многообразии. Поэтому возникает проблема классификации алгебр голономии
псевдоримановых многообразий. Эта проблема была решена полностью только для
римановых многообразий [1]. В настоящей работе приводится решение этой проблемы
для лоренцевых многообразий.
Алгебру голономии n+2-мерного лоренцева многообразия можно отождествить с
подалгеброй g ⊂ so(1, n + 1) (n≥0). Из результата М. Берже [1] следует, что единственной
неприводимой (не имеющей собственных инвариантных подпространств в пространстве
Минковского R 1,n +1 ) алгеброй голономии лоренцева многообразия является вся so(1, n + 1) .
Теорема Ш. Ву ([1]) позволяет рассматривать только слабо неприводимые, не являющиеся
неприводимыми, алгебры голономии лоренцевых многообразий g ⊂ so(1, n + 1) (всякая
такая алгебра g не имеет собственных инвариантных невырожденных подпространств в
R 1,n +1 , но имеет инвариантную изотропную прямую l ⊂ R 1,n +1 , поэтому g содержится в
параболической
подалгебре
so(1, n + 1)l ⊂ so(1, n + 1) ).
Для
подалгебры
so(1, n + 1)l ⊂ so(1, n + 1) имеем разложение Ивасавы
so(1, n + 1)l = ( R ⊕ so( n )) в R n .
(1)
В [2] Л. Берард-Бержери и А. Икемакхен сделали первый шаг к классификации
алгебр голономии лоренцевых многообразий. В следующей теореме они получили
классификацию слабо неприводимых, не являющихся неприводимыми, подалгебр g
⊂ so(1, n + 1) . Напомним, что для всякой подалгебры h ⊂ so( n ) имеем h = h′ ⊕ z( h) , где h′
– коммутант h и z( h) – центр h .
Теорема 1. Подалгебра g ⊂ so(1, n + 1)l является слабо неприводимой тогда и
только тогда, когда g является алгеброй одного из следующих типов:
Тип 1. g1,h = ( R ⊕ h) в R n , где h ⊂ so(n ) – подалгебра;
Тип 2. g 2,h = hв R n ;
Тип 3. g 3,h,ϕ = {(ϕ ( A), A, X ) | A ∈ h, X ∈ R n }, где h ⊂ so(n ) – подалгебра с условием
z( h) ≠ {0} и ϕ : h → R – ненулевое линейное отображение со свойством ϕ |h′ = 0 ;
Тип 4. g 4,h,m,ψ = {(0, A, X + ψ ( A)) | A ∈ h, X ∈ R m }, где R n = R m ⊕ R n −m – некоторое
разложение, h ⊂ so( m) – подалгебра с условием dim z( h) ≥ n − m , а ψ : h → R n −m –
сюрьективное линейное отображение со свойством ψ |h′ = 0 .
Подалгебра h ⊂ so( n ) , ассоциированная выше со слабо неприводимой подалгеброй
g ⊂ so(1, n + 1)l , называется ортогональной частью алгебры Ли g и совпадает с проекцией
g на so(n ) из разложения (1).
Для подалгебры g ⊂ so(1, n + 1) рассмотрим пространство
R (g ) = {R ∈ Hom ( ∧2 R 1,n +1, g ) | R(u ∧ v ) w + R( v ∧ w)u + R( w ∧ u )v = 0, u, v, w ∈ R 1,n +1}
(2)
тензоров кривизны типа g.
Определение 1. Подалгебра g ⊂ so(1, n + 1) называется алгеброй Берже, если
span{R ( ∧2 R 1,n +1 ) | R ∈ R (g )} = g.
Из теоремы Амброза – Зингера [1] следует, что алгебра голономии лоренцева
многообразия является алгеброй Берже. Поэтому алгебры Берже можно считать
кандидатами в алгебры голономии.
Для всякой подалгебры h ⊂ so( n ) определим пространство
P ( h) = {P ∈ Hom( R n , h) | ( P(u )v, w) + ( P( v ) w, u ) + ( P( w)u, v ) = 0, u, v, w ∈ R n },
где ( ⋅, ⋅) — скалярное произведение на R n . Мы называем P ( h) пространством слабых
тензоров кривизны типа h .
Определение 2. Подалгебра h ⊂ so( n ) называется слабой алгеброй Берже, если
L(P ( h)) = h, где L( P ( h)) = span{P(u ) | P ∈ P ( h), u ∈ R n }.
В [4] мы даем описание пространств тензоров кривизны R (g ) для алгебр теоремы
1 с произвольной ортогональной частью h ⊂ so( n ) в терминах пространства P ( h) . Из
этого описания вытекает
Теорема 2. Всякая слабо неприводимая подалгебра g ⊂ so(1, n + 1)l является
алгеброй Берже тогда и только тогда, когда ее ортогональная часть h ⊂ so(n ) является
слабой алгеброй Берже.
(3)
Следующая теорема, доказанная в [5] Т. Лейстнером, дает классификацию слабых
алгебр Берже.
Теорема 3. Всякая подалгебра h ⊂ so( n ) является слабой алгеброй Берже тогда и
только тогда, когда она является алгеброй голономии риманова многообразия.
Из теорем 2 и 3 следует, что подалгебра g ⊂ so(1, n + 1) является слабо
неприводимой, не являющейся неприводимой, алгеброй Берже тогда и только тогда,
когда g сопряжена одной из следующих подалгебр g1,h , g 2,h , g 3,h,ϕ , g 4,h,m ,ψ ⊂ so(1, n + 1)l , где
h ⊂ so(n ) – алгебра голономии риманова многообразия. Чтобы завершить классификацию
алгебр голономии лоренцевых многообразий, необходимо для каждой слабо
неприводимой, не являющейся неприводимой, алгебры Берже g построить пример
лоренцева многообразия с алгеброй голономии g. Приведем соответствующие
конструкции.
Рассмотрим произвольную алгебру голономии h ⊂ so( n ) риманова многообразия.
Будем исходить из того, что h является слабой алгеброй Берже, т.е. L(P ( h)) = h . Имеем
разложение R n = R m0 ⊕ R n −m0 , такое, что h( R n −m0 ) = {0} и R m0 не содержит ненулевых
подпространств, на которых действие h тривиально. Значит, h ⊂ so(m0 ) . Выберем
произвольные линейно независимые элементы P1 ,..., PN ∈ P ( h) , образы которых
порождают h как векторное пространство, например, можно взять базис векторного
пространства P ( h) . Определим числа Pαkji ( α = 1,..., N , i, j, k = 1,..., m0 ) такие, что
Pα (ei )e j = ∑ k =01 Pαkji ek . Рассмотрим следующую метрику на R n+ 2
m
n
m0
i =1
i =1
g = 2dx 0dx n +1 + ∑ ( dx i ) 2 + 2∑ u i dx i dx n +1 + f ⋅ ( dx n +1 ) 2 ,
(4)
где
N
ui = ∑
m0
∑ aα
α =1 j ,k =1
i
jk
x j x k ( x n +1 )α −1, aαk ji =
1
3 ⋅ (α − 1)!
P + Pαkij ⎞⎟⎠ ,
⎛ k
⎜ α ji
⎝
а f – некоторая функция.
Для алгебры Ли g 3,h,ϕ (если она существует) определим числа ϕα i =
(5)
1
( α −1)!
ϕ ( Pα ( ei )) (
α = 1,..., N , i = 1,..., m0 ).
Для алгебры Ли g 4,h,m,ψ (если она существует) определим числа ψ αij ( α = 1,..., N ,
i = 1,..., m0 , j = m + 1,..., n ), такие, что
1
(α −1)!
ψ ( Pα ( ei )) = − ∑ j =m +1ψ αij e j .
n
Если f (0) = 0 , то касательное пространство к R n+ 2 в точке 0 можно отождествить
с пространством R 1,n +1 . Результат построения можно сформулировать в виде теоремы.
Теорема 4. Алгебра голономии hol 0 метрики g в точке 0 зависит от функции f,
как в таблице.
Доказательство. Так как рассматриваемые метрики – аналитические, то алгебра
голономии в точке 0 ∈ R n+ 2 порождается операторами
R( X , Y )0 , ∇R( X , Y ; Z1 )0 , ∇2 R ( X , Y ; Z1; Z 2 )0 ,...∈ so(Tx M , g x ),
где R – тензор кривизны; ∇ r R ( X , Y ; Z1;...; Z r ) = (∇ Z r L ∇ Z1 R )( X , Y ) – его ковариантные
производные и X , Y , Z1 , Z 2 ,... – касательные векторы в точке 0 ∈ R n + 2 [1]. Пользуясь
формулой Коссуля [1], можно найти компоненты связности для каждой из метрики
теоремы. Далее можно найти тензор кривизны и его ковариантные производные. Имеем
(6)
⎛
∂
∂
∂ ⎞ ⎞
⎛ ∂
pr so ( n ) ⎜ ∇ r R ⎜ i , n +1 ; n +1 ;L ; n +1 ⎟ ⎟ = Pr +1 ( ei ),
∂x
∂x ⎠0 ⎠
⎝ ∂x ∂x
⎝
(7)
⎛ ⎛ ∂
∂ ⎞ ⎞ 1 ∂2 f
,
pr R ⎜ R⎜ 0 , n +1 ⎟ ⎟ =
0 2
⎝ ⎝ ∂x ∂x ⎠0 ⎠ 2 (∂x )
(8)
⎛
∂
∂
∂ ⎞ ⎞ 1
∂α +1 f
⎛ ∂
,
pr R ⎜ ∇α −1R⎜ i , n +1 ; n +1 ;L ; n +1 ⎟ ⎟ =
∂x
∂x ⎠0 ⎠ 2 ∂x 0∂x i (∂x n +1 )α −1
⎝ ∂x ∂x
⎝
(9)
⎛
∂
∂
∂ ⎞ ⎞ 1
⎛ ∂
pr R n ⎜ ∇α −1R⎜ i1 , n +1 ; n +1 ;L ; n +1 ⎟ ⎟ =
∂x
∂x ⎠0 ⎠ 2
⎝ ∂x ∂x
⎝
∂α +1 f
∑ i1 j n+1 )α −1 e j ,
j = m0 +1 ∂x ∂x ( ∂x
n
(10)
где r = 0,..., N − 1 , α ≥ 0 , i = 1,..., m0 , i1 = m0 + 1,..., n . Легко проверить, что другие
ковариантные производные тензора кривизны не дают ничего нового. Таким образом,
выбор функций u i , как в (7), гарантирует нам, что ортогональная часть алгебры
голономии hol 0 совпадает с h ⊂ so( n ) и что R m0 ⊂ hol 0 . Выбор функции f для алгебр
каждого типа ясен из формул (8), (9), (10): мы используем формулу (8) для алгебры типа 1;
формулу (9) – для алгебры типа 3; формулу (10) при α=0 для алгебр всех типов; формулу
(10) при α≥0 для алгебры типа 4. Теорема доказана.
Зависимость алгебры голономии hol 0 метрики от функции f
f
( x 0 )2 +
hol 0
n
∑
( x j )2
g1,h
j = m0 +1
n
∑
( x j )2
g 2,h
j = m0 +1
N
m0
2 x 0 ∑ ∑ ϕαi x i ( x n +1 )α −1 +
α =1 i =1
N
m0
2∑ ∑
n
∑
α =1 i =1 j = m +1
n
∑
( x j )2
g 3,h,ϕ (если z( h) ≠ {0} )
j = m0 +1
ψ αij x i x j ( x n +1 )α −1 +
m
∑
( x j )2
g 4,h,m,ψ (если dim z( h) ≥ n − m )
j = m0 +1
Теперь сформулируем основную классификационную теорему.
Теорема 5. Подалгебра g ⊂ so(1, n + 1) является слабо неприводимой, не
являющейся неприводимой, алгеброй голономии лоренцева многообразия тогда и только
g
тогда,
когда
сопряжена
одной
из
следующих
подалгебр
1,h
2 ,h
3, h ,ϕ
4 ,h , m ,ψ
g ,g ,g ,g
⊂ so(1, n + 1)l , где h ⊂ so( n ) – алгебра голономии риманова
многообразия.
Согласно теореме Ву, всякая алгебра голономии лоренцева многообразия имеет
вид: h1 ⊕ L ⊕ h r ⊕ g , где h1 ,..., h r – неприводимые алгебры голономии римановых
многообразий, g = so(1, k + 1) или g – слабо неприводимая, не являющаяся неприводимой,
алгебра голономии лоренцева многообразия.
ЛИТЕРАТУРА
1. Бессе А. Многообразия Эйнштейна / А. Бессе. М.: Мир, 1990. Т. 1. 319 с.; Т. 2. 385 с.
2. Berard-Bergery L. On the Holonomy of Lorentzian Manifolds / L. Berard-Bergery,
A. Ikemakhen // Proc. of symposia in pure math. 1993. Vol. 54. Р. 27-40.
3. Галаев А.С.
Группы
движений
пространств
Лобачевского,
группы
преобразования подобия евклидовых пространств и группы голономии лоренцевых
многообразий / А.С. Галаев // Известия Сарат. ун-та: Математика. Механика.
Информатика. 2005. Т. 5, Вып. 1. С. 3-12.
4. Galaev A.S. The spaces of curvature tensors for holonomy algebras of Lorentzian
manifolds / A.S. Galaev // Differential Geometry and its Applications. 2005. Vol. 22. P. 1-18.
5. Leistner T. Holonomy and parallel spinors in Lorentzian geometry / T. Leistner. PhD
thesis, Humboldt-Universität zu Berlin, 2003. 173 р.
Галаев Антон Сергеевич –
аспирант кафедры «Геометрия»
Саратовского государственного университета им. Н.Г. Чернышевского
Документ
Категория
Без категории
Просмотров
3
Размер файла
256 Кб
Теги
алгебра, голономии, многообразие, лоренцевых
1/--страниц
Пожаловаться на содержимое документа