Интеграл по путям как функциональный определитель

У Пескина и Шредера на стр. 304, авторы называют фермионный интеграл по путям:

Д ψ ¯ Д ψ опыт [ я д 4 Икс ψ ¯ ( я γ мю Д мю м ) ψ ]
функциональный определитель,
дет ( я γ мю Д мю м ) .
Я никогда не слышал, чтобы об этом думали так. Почему производящий функционал должен быть функциональным определителем?

Ответы (1)

Это связано с тем, что интеграл по путям Z является бесконечномерной версией грассманово-нечетного гауссова интеграла

д н θ ¯   д н θ   е я , Дж "=" 1 н θ ¯ я   М я Дж   θ Дж     дет ( М ) ,

где индексы я , Дж можно интерпретировать как сокращенную нотацию ДеВитта .

Просто чтобы добавить к идеальному ответу @Qmechanic. Вы также можете увидеть обсуждение в приложении к книге Рамона QFT. Интересно также, что интеграл для вещественных переменных Грассмана дает пфаффиан.