Кривизна Риччи

В дифференциальной геометрии тензор Риччи, названный в честь Риччи-Курбастро, задаёт один из способов измерения кривизны многообразия, то есть степени отличия геометрии многообразия от геометрии плоского евклидова пространства. Тензор Риччи, точно так же как метрический тензор, есть симметричная билинейная форма на касательном пространстве риманова многообразия. Грубо говоря, тензор Риччи измеряет деформацию объёма, то есть степень отличия n-мерных областей n-мерного многообразия от аналогичных областей евклидова пространства. См. геометрический смысл тензора Риччи.

Формальное определение

Пусть (M,g) — n-мерное риманово многообразие, а T_pM — касательное пространство к M в точке p. Для любой пары $\xi, \eta\in T_pM$ касательных векторов в точке p, тензор Риччи Ric(ξ,η), по определению, отображает (ξ,η) в след линейного автоморфизма $T_pM\to T_pM$, заданного тензором кривизны Римана R:

$\zeta \mapsto R(\zeta,\eta) \xi$

Если на многообразии заданы локальные координаты, то тензор Риччи можно разложить по компонентам:

$\operatorname{Ric} = R_{ij}\,dx^i \otimes dx^j$

где $R_{ij} = {R^k}_{ikj}.$ — след тензора Римана в координатном представлении.

Геометрический смысл

В окрестности любой точки p риманова многообразия (M,g) можно всегда определить специальные локальные координаты, так называемые нормальные геодезические координаты, в которых геодезические из точки p совпадают с прямыми проходящими через начало координат. Кроме того, в самой точке p метрический тензор равен метрике евклидова пространства δ_ij (или метрике Минковского η_ij в случае псевдориманова многообразия).

В этих специальных координатах форма объема раскладывается в ряд Тейлора вокруг p:

$d\mu_g = \Big[ 1 - \frac{1}{6}R_{jk}x^jx^k+ O(|x|^3)\Big] d\mu_{{\rm Euclidean}}$

Таким образом, если кривизна Риччи Ric(ξ,ξ) положительна в направлении вектора ξ, то узкий конус геодезических, исходящих из точки p в направлении ξ, будет иметь меньший объем, чем такой же конус в евклидовом пространстве. Аналогично, если кривизна Риччи отрицательна, то узкий конус геодезических в направлении вектора ξ будет иметь объем, больший по сравнению с евклидовым.

Кривизна Риччи и геометрия в целом

Пусть M есть полное n-мерное риманово многообразие с $\operatorname{Ric}_M\ge (n-1)\kappa$

• Неравенство Бишопа — Громова. Пусть $p\in M$, обозначим через v_p(r) есть объём шара радиуса r с центром в p. обозначим через $\tilde v(r)$ объём шара радиуса r в n-мерном пространстве постоянной кривизны κ. Тогда отношение

  $\frac{v_p(r)}{\tilde v(r)}$

есть невозрастающая функция от r.

• Теорема Мейера
• Оценка на собственные числа лапласиана
• Неравенство Соболева
• Оценка на ядро в уравнении теплопроводности

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

• Тензор кривизны Риччи в общей теории относительности служит ключевым компонентом уравнений Эйнштейна.

• Кривизна Риччи также появляется в уравнении потока Риччи, в котором зависящая от времени метрика деформируется пропорционально кривизне Риччи со знаком минус.

См. также

• Кривизна
• Тензор кривизны
• Поток Риччи