Фермионная скобка Пуассона

Я хотел бы понять скобку Пуассона для фермионов в классической теории поля, определенных на цилиндре (с координатами ( т , Икс ) , Икс являющееся компактным направлением) и распространяющееся по Т н с постоянной метрикой г я Дж (хотя Т н вероятно, это не важно для обсуждения здесь).

Действие

С "=" я 4 π г т г Икс г я Дж [ ψ я ( т + Икс ) ψ Дж + ψ ¯ я ( т Икс ) ψ ¯ Дж ] .

Как я могу дать отсюда общее определение скобки Пуассона? Некоторые ограничения на это должны быть следующими:

  1. Он должен быть симметричным (поскольку в бозонном случае он антисимметричен).

  2. Я должен быть в состоянии восстановить стандартное отношение

    { ψ я ( т , Икс ) , ψ Дж ( т , Икс ) } п Б "=" 2 π я г я Дж дельта ( Икс Икс )
    от него.

Одно определение, которое, кажется, работает, это

{ Ф , г } "=" 2 π я г Икс г я Дж ( дельта Ф дельта ψ я дельта г дельта ψ Дж + дельта Ф дельта ψ ¯ я дельта г дельта ψ ¯ Дж )

Однако, если это так, я хотел бы понять, почему на более общих основаниях.

Также одна конкретная скобка Пуассона, которую я заинтересован в вычислениях, это { ( т Икс 1 ) ψ я ( Икс 1 ) , ψ Дж ( Икс 2 ) } который я получаю из приведенного выше определения, чтобы быть 2 π я Икс 1 дельта ( Икс 1 Икс 2 ) . Это разумно?

Изменить: для справки я смотрю Приложение А в следующей статье Капустина и Орлова:

http://arxiv.org/abs/hep-th/0010293

и пытаясь проверить скобки Пуассона в уравнении. (48).

Ответы (1)

Суперскобка Пуассона следует из суперверсии процедуры Дирака-Бергмана или процедуры Фаддеева-Якива. При работе с нечетными переменными Грассмана необходимо проявлять особую осторожность, чтобы добиться согласованных соглашений о знаках, см., например, мой ответ Phys.SE здесь .

Сингулярное преобразование Лежандра для фермионов также обсуждается в моем ответе Phys.SE здесь . В случае OP [который является фермионной частью уравнения. (44) в [1], плотность лагранжиана имеет вид

(1) л   "="   я 4 π г я Дж [ ψ я ψ ˙ Дж + ψ ¯ я ψ ¯ ˙ Дж ] ЧАС ,

где мы определили плотность гамильтониана

(2) ЧАС   "="   я 4 π г я Дж [ ψ я Икс ψ Дж ψ ¯ я Икс ψ ¯ Дж ] .

Симплектический потенциал одной формы можно записать из кинетического члена в (1):

(3) ϑ ( т )   "="   я 4 π г Икс   г я Дж [ ψ я ( Икс , т )   г ψ Дж ( Икс , т ) + ψ ¯ я ( Икс , т )   г ψ ¯ Дж ( Икс , т ) ] ,

где г обозначает внешнюю производную в бесконечном числе измерений. Тогда симплектическая двумерная форма

ю ( т )   "="   г ϑ ( т )   "="   я 4 π г Икс   г я Дж [ г ψ я ( Икс , т ) г ψ Дж ( Икс , т ) + г ψ ¯ я ( Икс , т ) г ψ ¯ Дж ( Икс , т ) ]
(4)   "="   я 4 π г Икс   г у   г я Дж   дельта ( Икс у ) [ г ψ я ( Икс , т ) г ψ Дж ( Икс , т ) + г ψ ¯ я ( Икс , т ) г ψ ¯ Дж ( Икс , т ) ] .

Одновременная суперскобка Пуассона /Дирака на фундаментальных полях является обратной суперматрицей суперматрицы для симплектической двумерной формы (4):

(5) { ψ я ( Икс , т ) , ψ Дж ( у , т ) } п Б   "="   2 π я ( г 1 ) я Дж   дельта ( Икс у )   "="   { ψ ¯ я ( Икс , т ) , ψ ¯ Дж ( у , т ) } п Б ,

и другие фундаментальные суперскобки Пуассона исчезают. Равновременная скобка супер-Пуассона читается

(6) { Ф ( т ) , г ( т ) }   "="   2 π я г Икс ( г 1 ) я Дж [ дельта р Ф ( т ) дельта ψ я ( Икс , т ) дельта л г ( т ) дельта ψ Дж ( Икс , т ) + дельта р Ф ( т ) дельта ψ ¯ я ( Икс , т ) дельта л г ( т ) дельта ψ ¯ Дж ( Икс , т ) ]

для произвольных одновременных функционалов Ф ( т ) и г ( т ) . Здесь индексы л и р относятся к дифференцированию слева и справа соответственно.

Использованная литература:

  1. А. Капустин и Д. Орлов, arXiv:hep-th/0010293 .