Спинорные методы в теории относительности предоставляют мощный математический аппарат для анализа геометрии пространства-времени и свойств полей с полуцелыми спинами. Они позволяют переписать уравнения Эйнштейна и связанные с ними объекты в форме, более удобной для изучения симметрий, классификации решений и анализа гравитационных волн.
Спинор в четырёхмерном пространстве-времени — это объект, который трансформируется по двумерному комплексному представлению группы Лоренца SL(2, ℂ). В отличие от тензоров, спиноры обладают структурой, отражающей внутреннюю ориентацию пространства-времени и позволяют изящно описывать объекты типа Weyl-спиноров и Dirac-спиноров.
В спинорном формализме используются два типа индексов: верхние и нижние спинорные индексы A, B, … и их сопряжённые Ȧ, Ḃ, …. Для каждого спинора существует операция поднятия и опускания индексов с использованием антисимметричного спинорного метрического тензора ϵAB, который играет роль “метрики” в спинорной плоскости:
ψA = ϵABψB, ψA = ϵABψB
Эта структура обеспечивает внутреннюю согласованность преобразований и позволяет выражать тензорные объекты через спиноры. Например, в четырёхмерном пространстве-времени метрика gab может быть записана через симметризованные спинорные индексы:
gAA′BB′ = ϵABϵA′B′
где A, B — спинорные индексы, а A′, B′ — их сопряжённые.
Любой тензор в пространстве Минковского можно переписать через спиноры с использованием правил:
FAA′BB′ = ϕABϵA′B′ + ϕ̄A′B′ϵAB
где ϕAB = ϕ(AB) — симметричный спинор, описывающий “положительную” часть поля, а ϕ̄A′B′ — комплексно-сопряжённая часть.
Такое разложение особенно полезно для анализа электромагнитного поля, тензора Риччи и тензора Вейля, где спинорная форма позволяет выделять независимые компоненты, связанные с гравитационным излучением.
Ключевым объектом в спинорной теории гравитации является тензор Вейля Cabcd, который характеризует чистое гравитационное поле без источников. В спинорной форме тензор Вейля представляется симметричным спинором четвёртого ранга ΨABCD = Ψ(ABCD). Его комплексное сопряжение Ψ̄A′B′C′D′ соответствует “правой” части поля.
С помощью спиноров Вейля можно осуществлять классификацию Петрова, которая определяет типы пространств-времён по кратности собственных спиноров ΨABCD:
Эта классификация критически важна для анализа решений уравнений Эйнштейна, таких как чёрные дыры, волновые решения и космологические модели.
Уравнения Эйнштейна
Gab + Λgab = 8πTab
в спинорной форме переписываются через спиноры Вейля ΨABCD и спиноры Риччи ΦABA′B′:
ΦABA′B′ + ΛϵABϵA′B′ = 4πTABA′B′
где ΦABA′B′ соответствует тензору Риччи Rab, а Λ — космологическая постоянная. Спинорная форма позволяет разделять геометрические и физические степени свободы поля и упрощает анализ симметрий.
Для поля Дирака ψA и его сопряжённого ψ̄A′ уравнения движения в кривом пространстве имеют вид:
∇AA′ψA = 0, ∇AA′ψ̄A′ = 0
где ∇AA′ — ковариантная производная, действующая на спиноры. Эти уравнения используются для изучения взаимодействия полей с гравитацией и для построения спинорных моделей чёрных дыр с полуцелым спином.
Спинорный формализм играет центральную роль в нескольких направлениях теоретической физики: