Изменение действия Дирака дифференциальными формами

Действие Дирака в искривленном пространстве-времени можно записать в терминах Вирбейна. { е а } и спиновое соединение { ю а б } дифференциальные формы. Пусть спинорное поле ψ интерпретировать как спинорнозначную 0 - формировать и определять 1 -форма γ "=" γ а е а , где { γ а } являются гамма-матрицами. Спинорная ковариантная производная определяется выражением

Д ψ "=" г ψ + 1 4 ю а б [ γ а , γ б ] ψ

Стандартное действие Дирака имеет вид

я "=" я М ψ ¯ γ * Д ψ

где * является двойственным оператором Ходжа. Теперь я хотел бы изменить это действие по отношению к veilbein. В приложении к этой книге уравнение (A.115) утверждает, что вариация действия по отношению к veilbein определяется выражением

дельта я "=" М я ψ ¯ γ а * Д ψ дельта е а

но я не могу этого показать. вот моя попытка

дельта я "=" я М ψ ¯ дельта γ * Д ψ + ψ ¯ γ дельта ( * Д ψ ) "=" я М ψ ¯ γ а дельта е а * Д ψ + ψ ¯ γ дельта ( * Д ψ )

где я принял гамма-матрицы { γ а } , несмотря на наличие индекса Вейльбейна, не подвержены влиянию вариации, следовательно, дельта γ "=" дельта ( γ а е а ) "=" γ а дельта е а . Первый член я могу преобразовать в

я М ψ ¯ γ а * Д ψ дельта е а

где я только что изменил порядок произведения клина, получив знак минус. Это дает мне вариацию, о которой говорит автор, но мне еще предстоит разобраться со второй частью. Это содержит термин дельта ( * Д ψ ) . Я знаю, что двойственность по Ходже должна зависеть от veilbein, потому что автор использовал этот факт в уравнении (A.107), так что эта вариация, вообще говоря, не исчезнет. Я не уверен, как это оценить. В идеале я бы хотел, чтобы он исчез.

Любая помощь будет принята с благодарностью.

Не могли бы вы написать название книги?
@ Matt0410, попробуйте заменить γ * с γ γ γ .

Ответы (1)

Если у вас исчезающее кручение, то я думаю, вы можете сделать следующий трюк:

ψ ¯ γ дельта ( * Д ψ ) "=" ψ ¯ γ а Д ψ дельта * е а "=" ψ ¯ γ а Д ψ дельта е б * ( е а е б )
С Д и дельта коммутируют (плюс исчезающее условие кручения) этот член является полной производной, потому что Д дельта е а "=" 0 "=" Д * ( е а е б ) . Конечно, чтобы это имело смысл, индексы должны быть индексами Лоренца (т. е. индексами фреймов, а не координатными), так что оператор Ходжа связан с этаметрикой, означающей, что Д ϵ а б с г "=" 0 . Я просто использовал для этого симметрию произведения Ходжа.