Стресс-энергетический след безмассового поля Клейна-Гордона

Я вычислил след энергии напряжения для безмассового поля КГ и продолжаю получать Т "=" ( ф ) 2 в 3+1 измерениях.

я использую

Т мю ν "=" мю ф ν ф 1 2 г мю ν ( ф ) 2

С г мю ν г мю ν "=" 4 , второй член в два раза больше первого.

С другой стороны, заметки Дэвида Тонга предполагают, что безмассовая КГ является конформной теорией поля и, таким образом, имеет след = 0. Он показывает это в двумерном евклидовом пространстве, но затем говорит: «Это ключевая особенность конформной теории поля в любом измерении. .Многие теории имеют эту особенность на классическом уровне"

Что мне не хватает?

Ответы (1)

Поле Клейна-Гордона в том виде, в каком вы его написали, на самом деле не является конформно-инвариантным для Д 2 . (Классически он инвариантен к масштабу, но не инвариантен к Вейлю. Квантово-механически даже инвариантность к масштабу нарушена.)

Чтобы получить конформную теорию поля, вам нужно включить так называемую «конформную связь» с гравитацией. Это изменит количество степеней свободы в вашей теории, потому что вы вынуждены учитывать гравитацию. Таким образом, у вас есть два варианта: (1) принять, что поле Клейна-Гордона вокруг фиксированного фона Минковского не является конформно-инвариантным на классическом уровне, или (2) рассмотреть другую физическую теорию, поле КГ, связанное с гравитацией, которая покажет конформная симметрия.

С этой оговоркой. В Д размеры, конформно связанное скалярное поле задается (с использованием соглашения о подписи «в основном плюс»)

С "=" д Д Икс г ( 1 2 г мю ν мю ф ν ф Д 2 8 ( Д 1 ) р ф 2 )

Последний член дает вклад в тензор энергии напряжения для ф (рассчитано с использованием Т мю ν "=" 2 г дельта С дельта г мю ν ):

Т мю ν "=" мю ф ν ф 1 2 г мю ν ( ф ) 2 + Д 2 4 ( Д 1 ) ( г мю ν ( ф 2 ) мю ν ( ф 2 ) )

Последнее слагаемое имеет решающее значение для получения Т "=" 0 , так что вы видите, что теория не является конформной без этой специальной связи.

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

Основная лежащая в основе физика состоит в том, что преобразование Вейля изменяет метрику. Таким образом, даже если вы начнете с плоской метрики Минковского с р "=" 0 , вообще говоря, после конформного преобразования метрика станет искривленной. Явно, после выполнения преобразования

г мю ν е 2 ю ( Икс ) г мю ν

скаляр Риччи преобразуется как

р р + 2 ( Д 1 ) ю ( Д 1 ) ( Д 2 ) ( ю ) 2

В частности, даже если р "=" 0 изначально после преобразования Вейля в общем случае будет ненулевое р .

Так что скалярное поле вообще должно знать о кривизне метрики, чтобы компенсировать это преобразование. Существует особая, чудесная отмена, которая происходит в Д "=" 2 что позволяет игнорировать этот факт.

Ссылка: http://folk.uio.no/ingunnkw/art/blackholes.pdf

У меня возникли проблемы с явной проработкой результатов, которые вы привели. Вы знаете, где я могу найти помощь?
Книга Кэрролла по GR — хорошее место для начала, или его конспекты лекций preposterousuniverse.com/grnotes . В качестве подсказки, гораздо проще разобраться с некоторыми из этих тождеств в «локально инерциальной системе отсчета», где метрика η , символы Кристоффеля равны нулю, но кривизна (производные от Кристоффеля) отлична от нуля.
Спасибо, в частности, я застрял в вычислении Т мю ν ...
О, я не знаю, актуально ли это, но есть одна хитрая вещь. Термин phi^2 R выглядит почти точно так же, как Эйнштейн Гильберт, поэтому вы можете сэкономить много работы, просматривая заметки о различных Эйнштейна Гильберта (я думаю, Википедия делает это). Однако есть один шаг в изменении Эйнштейна Гильберта, когда вы отбрасываете полный член производной. При изменении члена фи ^ 2 R эта часть больше не является полной производной, вместо этого вы получаете производные от фи. Эта страница Википедии немного рассказывает об этом en.m.wikipedia.org/wiki/Brans –Dicke_theory.
Да, именно это и было моей ошибкой вначале: я бы просто выбросил дельта р срок, не замечая ф 2 фактор. Но все равно задача выглядит достаточно сложной без хитрости по настройке дельта Г условия...
Да, такие вещи всегда утомительны, лучший способ - использовать локально инерциальную систему отсчета. Страница Википедии, посвященная разным Эйнштейну Гильберту, объясняет, как это сделать, я думаю. В качестве альтернативы, если у вас есть Mathematica, xAct — это бесплатное онлайн-программное обеспечение, которое может выполнять многие из этих манипуляций.
Спасибо большое, попробую оценить вариацию подключения в ЛИФе и посмотреть что получится
Хорошо, теперь у меня есть хотя бы правильная структура. Однако я продолжаю получать дополнительный член тензора Эйнштейна, и я не знаю, как проверить, что тензор на оболочке не имеет следов и сохраняется на оболочке.