Как получить ∫Σδ(∗F)∧δA=∫ΣdΣμδFμν∧δAν∫Σδ(∗F)∧δA=∫ΣdΣμδFμν∧δAν\int_{\Sigma}\delta(*F)\wedge\delta A =\int_{ \Sigma}d\Sigma^{\mu}\delta F_{\mu\nu}\wedge\delta A^{\nu} для свободной ЭМ? [дубликат]

Я читаю лекции Энди .

На странице 22 представлена ​​симплектическая форма свободной электродинамики:

(1) Ом Σ "=" 1 е 2 Σ дельта ( * Ф ) дельта А ,
где Σ любая гиперповерхность Коши (трехмерная) и дельта есть вариация в фазовом пространстве. В дальнейшем (1) дает уравнение с индексами вида
(2) Ом Σ "=" 1 е 2 Σ г Σ мю дельта Ф мю ν дельта А ν ,
где г Σ мю представляет собой индуцированное измерение, умноженное на вектор единичной нормы для Σ .

Кто-нибудь знает, как вывести уравнение (2) из ​​уравнения (1)? Далее, что имеется в виду под «индуцированной мерой» здесь? Значит ли это | час | г Икс 1 г Икс 2 г Икс 3 , где час мю ν индуцированная метрика? Если это действительно так, то когда поверхность является нулевой гиперповерхностью я ± , у нас есть час "=" 0 .

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

Ответы (1)

Давайте здесь обратимся только к последней концептуальной части вопроса ОП (v4).

Пусть задано 4-мерное ориентируемое лоренцево многообразие ( М , г ) с каноническим псевдообъемом 1 форма

(А) Ом   "="   | г | г Икс 0 г Икс 1 г Икс 2 г Икс 3   е   Г ( 4 ( Т * М ) ) , г   "="   дет ( г мю ν ) .
[Обратите внимание, что эта омега не имеет ничего общего с симплектической формой в уравнениях. (1) и (2)] Гамильтоново квантование в теории поля обычно основано на выборе векторного поля Икс е Г ( Т М ) который представляет поток параметра эволюции, ср. например, этот пост Phys.SE. Для времениподобного векторного поля мы всегда можем нормализовать его, если захотим; но если оно светоподобно, то нет канонического выбора Икс .

Затем мы выбираем поверхность Коши Σ М коразмерности 1, т. е. гиперповерхность, такую, что

(Б) Т п * Σ   "="   К е р ( Икс п ) , п   е   Σ .
Здесь мы определили вектор
(С) Икс п : Т п * М     р
с функционалом на кокасательном пространстве Т п * М . Затем мы можем определить форму псевдообъема ю е Г ( 3 ( Т * Σ ) ) на поверхности Коши Σ через сокращение
(Д) ю п   "="   я Икс п Ом п , п   е   Σ .

--

1 Форма псевдообъема преобразуется как

(Е) Ом   "="   с г н ( Дж )   Ом , Дж   "="   дет ( Икс ν Икс мю ) ,
при общих преобразованиях координат Икс мю Икс ν "=" ф ν ( Икс ) .