Почему мы можем считать, что кручение в ОТО равно нулю?

Первое уравнение Картана

г ю а + θ б а ю б знак равно Т а

куда ю а является ортонормированным базисом, Т а это кручение и θ б а является спиновой связью. В Мизнере, Торне и Уиллере, а также в нескольких лекциях по общей теории относительности, которые я видел с использованием формализма Картана, они предполагают Т а знак равно 0 чтобы затем использовать первое уравнение для определения соединений.

Почему в общей теории относительности справедливо предположить, что кручение равно нулю?

Ответы (2)

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

Связность Леви-Чевита является единственной связностью, которая не имеет кручения и совместима с метрикой, но для ОТО необходимо только допущение отсутствия кручения. Через действие Палатини, заданное лагранжианом л грамм знак равно грамм грамм а б р а б , симметричности коэффициентов связи достаточно, чтобы вывести, что они обязательно

Г б с а знак равно 1 2 грамм а г [ грамм г б , с + грамм г с , б грамм б с , г ] .
Подход Палатини обсуждается в некоторых вводных учебниках, например, Рэя д'Инверно « Введение в теорию относительности Эйнштейна» и в качестве упражнения в книге Шона Кэрролла « Пространство-время и геометрия » .

Физически предположение об отсутствии кручения позволяет метрике взять на себя роль потенциала для «гравитационного поля» коэффициентов связи.

Но, в конце концов, это всего лишь предположение теории; если вы не принимаете его, вы занимаетесь чем-то другим, например, теорией Эйнштейна-Картана или телепараллельной гравитацией . Интересно, что Эйнштейн говорил о взаимосвязи между соединением и метрикой примерно в то время, когда он работал над телепараллелизмом:

... существенное достижение общей теории относительности, а именно преодоление «жесткого» пространства (т. е. инерциальной системы отсчета), лишь косвенно связано с введением римановой метрики. Непосредственно относящимся к делу концептуальным элементом является «поле смещения» ( Г я к л ), который выражает бесконечно малое смещение векторов. ... Это позволяет строить тензоры дифференцированием и, следовательно, обходиться без введения «жесткого» пространства (инерциальной системы отсчета). Перед лицом этого кажется второстепенным в каком-то смысле, что какой-то конкретный Г поле можно вывести из римановой метрики...

Есть (по крайней мере) два подхода к кручению в геометрической структуре общей теории относительности:

Во-первых, мы можем использовать его для кодирования новой степени свободы теории: связи спина с гравитационным полем. Это теория Эйнштейна-Картана , которая (насколько мне известно) не подтверждается и не исключается данными наблюдений.

Во-вторых, мы можем использовать его для кодирования существующих гравитационных степеней свободы. Между кривизной и кручением существует своего рода калибровочная симметрия . Измерив кручение за 0, мы получим общую теорию относительности, тогда как зафиксировав кривизну за 0, мы получим ее телепараллельный эквивалент.