Тензор кривизны

LIGO (2015, Nobel 2017) обнаружил гравитационные волны на расстоянии 1.3 млрд световых лет -- решение уравнений Эйнштейна G_{mu nu}=8pi T_{mu nu}, где G выражается через тензор Риччи.

• **ОТО:** тензор Эйнштейна G_{mu nu}=R_{mu nu}-half R g_{mu nu}=8pi T_{mu nu}. Из тождества Бьянки автоматически nabla^mu G_{mu nu}=0.
• **Топология:** теорема Гаусса-Бонне -- прообраз теоремы Атья-Зингера, связывающей геометрию и спектры операторов.
• **Riemannian ML:** тензор кривизны измеряет невыпуклость для оптимизации на многообразиях.

Тензор кривизны Римана

Уравнения Эйнштейна ОТО G_{μν}=8πT_{μν} связывают тензор Эйнштейна (выраженный через тензор Риччи и метрику) с тензором энергии-импульса. Обнаружение гравитационных волн LIGO (2015, Nobel 2017) подтвердило нелинейные решения этих уравнений на расстоянии 1.3 млрд световых лет.

Кривизна Риччи и скалярная кривизна

Теорема Гаусса-Бонне: ∫_M K dA = 2πχ(M). Для тора χ=0, для сферы χ=2. Это топологическое утверждение: интеграл кривизны не зависит от конкретной метрики. Его аналог в 4D - теорема Атья-Зингера ($1000 открытых проблем физики).

Ключевые идеи

• **Тензор Римана:** R(X,Y)Z=[nabla_X,nabla_Y]Z-nabla_{[X,Y]}Z. Для S^2: R_{theta phi theta phi}=sin^2(theta).
• **Тензор Риччи:** R_{ij}=R^k_{ikj}. Скалярная кривизна R=g^{ij}R_{ij}. Для S^2: R=2. Тождество Бьянки: nabla_{[i}R_{jk]lm}=0.
• **Теорема Гаусса-Бонне:** integral_M K dA=2pi chi(M). Топологический инвариант: не зависит от конкретной метрики.