Открыть главное меню

Кривизна римановых многообразий

Слева направо: поверхности отрицательной, нулевой и положительной гауссовой кривизны.

Кривизна римановых многообразий численно характеризует отличие римановой метрики многообразия от евклидовой в данной точке.

В случае поверхности кривизна в точке полностью описывается гауссовой кривизной.

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

Способы выражения кривизныПравить

Тензор кривизныПравить

Основная статья: Тензор кривизны

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

 

Тензор кривизны   представляет собой линейное преобразование касательного пространства к многообразию в выбранной точке.

Если   и  , то есть они являются координатными векторами, то  , и поэтому формула упрощается:

 

то есть тензор кривизны измеряет некоммутативность ковариантных производных по векторам.

Линейное преобразование   также называют преобразованием кривизны.

NB. Есть несколько книг, где тензор кривизны определяется с противоположным знаком.

Симметрии и тождестваПравить

Тензор кривизны обладает следующими симметриями:

 
 
 

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

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

Ещё одно полезное тождество вытекает из этих трёх:

 

Тождество Бьянки (часто называемое вторым тождеством Бьянки) содержит ковариантные производные:

 

Секционная кривизнаПравить

Секционная кривизна является ещё одним эквивалентным описанием кривизны римановых многообразий с более геометрическим описанием.

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

Если   — два линейно независимых вектора в  , то

   где   

Следующая формула показывает, что секционная кривизна описывает тензор кривизны полностью:

 
 
 

Или в более простой форме, используя частные производные:

 

Форма кривизныПравить

Форма связности задаёт альтернативный способ описания кривизны. Главным образом такой способ представления используется для общих векторных расслоений и для главных расслоений, но он прекрасно работает для касательного расслоения со связностью Леви-Чивита.

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

Пусть   будет локальным ортонормированным репером. Форма связности определяется антисимметричной матрицей из 1-форм  , следующим тождеством

 

Тогда форма кривизны   определяется как

 

Следующее равенство описывает связь между формой кривизны и тензором кривизны:

 

Этот подход автоматически включает все симметрии тензора кривизны, за исключением первого тождества Бьянки, которое принимает вид

 

где   — это  -вектор 1-форм, определённых как  .

Второе тождество Бьянки принимает вид

 

  обозначает внешнюю ковариантную производную.

Оператор кривизныПравить

Иногда удобно думать о кривизне, как об операторе   на касательных бивекторах (элементах  ), которые однозначно определяются следующим тождеством:

 

Это возможно из-за симметрий тензора кривизны (а именно, антисимметрии первой и последней пары индексов, и блок-симметрии этих пар).

Другие кривизныПравить

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

Скалярная кривизнаПравить

Скалярная кривизна является функцией на римановом многообразии, как правило, обозначается  .

Это полный след тензора кривизны. Для ортонормированного базиса   в касательное пространство в   мы имеем

 

где   обозначает тензор Риччи. Результат не зависит от выбора ортонормированного базиса.

Начиная с размерности 3, скалярная кривизна не описывает тензор кривизны полностью.

Кривизна РиччиПравить

Кривизна Риччи является линейным оператором на касательном пространстве в точке, обычно обозначается  . Для ортонормированного базиса   в касательном пространстве в точке   он определяется как

 

Результат не зависит от выбора ортонормированного базиса. В размерности четыре или более кривизна Риччи не описывает тензор кривизны полностью.

Явные выражения для тензора Риччи через связности Леви-Чивита даны в статье о символах Кристоффеля.

Тензор ВейляПравить

Тензор Вейля   имеет те же симметрии, что и тензор кривизны, плюс одну дополнительную: след (то же, что кривизна Риччи) равен 0.

В размерностях 2 и 3 тензор Вейля равен нулю, но если размерность > 3, тогда он может отличаться от нуля.

  • Тензор кривизны может быть разложена на части: одна будет зависеть от кривизны Риччи, другая — от тензора Вейля.
  • Конформная смена метрики не меняет тензор Вейля.
  • Для многообразия постоянной кривизны тензор Вейля равен нулю.
    • Кроме того,  , тогда и только тогда, когда метрика является локально конформной евклидовой.

Разложение РиччиПравить

Вместе тензор Риччи и тензор Вейля определяют тензор кривизны полностью.

Вычисление кривизныПравить

СсылкиПравить