В статье Виттена «Топологическая квантовая теория поля » о формуле (3.2) свойство зависит от утверждения, что
не зависит от . Откуда утверждение?
Виттен ясно пишет обоснование прямо над уравнением (3.2): интеграл независим, поскольку мера интегрирования инвариантна относительно суперсимметрии — симметрии, порожденной .
Просто чтобы быть уверенным, является бесконечно малым генератором, поэтому является конечным преобразованием, порожденным этим генератором: аргумент («угол Грассмана») преобразования. И преобразованный оператор этим преобразованием, и интеграл представляет собой устройство, которое производит скаляр из функции .
Независимость от выполняется, потому что SUSY-преобразованный интеграл SUSY-преобразованной (операторно-значной) функции — это то же самое, что исходный интеграл SUSY-преобразованной функции: я мог бы стереть прилагательное «SUSY-преобразованный» перед интегралом, потому что интегрирование является SUSY-инвариантным. Поскольку не имеет значения, преобразуем ли мы подынтегральную функцию , это то же самое, что сказать, что интеграл не зависит от потому что он имеет то же значение, что и значение для .
тон
Любош Мотл