Об исчезновении БРСТ-коммутатора в континуальном интеграле

В статье Виттена «Топологическая квантовая теория поля » о формуле (3.2) свойство { Вопрос , О } "=" 0 зависит от утверждения, что

Z ε ( О ) "=" Д Икс опыт ( ε Вопрос ) [ опыт ( л е 2 ) О ]

не зависит от ε . Откуда утверждение?

Ответы (1)

Виттен ясно пишет обоснование прямо над уравнением (3.2): интеграл независим, поскольку мера интегрирования инвариантна относительно суперсимметрии — симметрии, порожденной Вопрос .

Просто чтобы быть уверенным, Вопрос является бесконечно малым генератором, поэтому опыт ( ε Вопрос ) является конечным преобразованием, порожденным этим генератором: ε аргумент («угол Грассмана») преобразования. И опыт ( ε Вопрос ) [ А ] преобразованный оператор А этим преобразованием, и интеграл представляет собой устройство, которое производит скаляр из функции Икс .

Независимость от ε выполняется, потому что SUSY-преобразованный интеграл SUSY-преобразованной (операторно-значной) функции — это то же самое, что исходный интеграл SUSY-преобразованной функции: я мог бы стереть прилагательное «SUSY-преобразованный» перед интегралом, потому что интегрирование является SUSY-инвариантным. Поскольку не имеет значения, преобразуем ли мы подынтегральную функцию опыт ( ε Вопрос ) , это то же самое, что сказать, что интеграл не зависит от ϵ потому что он имеет то же значение, что и значение для ε "=" 0 .

Спасибо Любош. Моя загадка заключается в том, почему интеграл Вопрос инвариант? По-моему, оператор О не является Вопрос инвариант, а две другие части Д Икс и лагранжианы Вопрос инвариант. Почему полный интеграл Вопрос инвариант? Может быть, я делаю некоторые глупые ошибки, и извините за это.
Уважаемый Крейг, единственное утверждение здесь — это то, что интеграция, процедура неизменна: Вопрос ( ф ) "=" ф где Вопрос ( ф ) является преобразованным конечным SUSY-преобразованием ф . Таким образом, интеграл SUSY-преобразованной величины/функции дает тот же результат. Это утверждение аналогично утверждению о том, что г 4 Икс ф ( Икс ) инвариантен относительно переводов Икс Икс + Δ Икс , т.е. ф ( Икс ) ф ( Икс + Δ Икс ) , только переводы в Икс заменены на SUSY, которые являются своего рода переводами в θ . Вам не нужно ф ( Икс ) быть поточечно инвариантным относительно переносов, чтобы интеграл был.