Числа Грассмана и фермионные интегралы Березина: алгебра частиц

Традиционная линейная алгебра и анализ строятся над полями вещественных или комплексных чисел, которые подчиняются правилу коммутативности (a*b = b*a). Однако в квантовой теории поля, при попытке математически описать фермионы (такие как электроны или кварки), физики столкнулись с непреодолимым барьером. Фермионы подчиняются принципу запрета Паули (антикоммутируют), и для их матричного описания потребовалось расширить понятие самого числа. Так в физику вошли числа Грассмана — антикоммутирующие алгебраические элементы. Внедрение этих переменных потребовало создания совершенно новой суперматематики, венцом которой стал интеграл Березина — фантастический аппарат, в котором операции дифференцирования и интегрирования матриц тождественны друг другу.

Антикоммутирующие переменные и ряды Тейлора

Грассмановы числа (theta_1, theta_2, ...) образуют внешнюю алгебру Грассмана, фундаментальное правило умножения в которой гласит: theta_i * theta_j = - (theta_j * theta_i). Из этого антикоммутативного правила мгновенно следует парадоксальный вывод: квадрат любого грассманова числа строго и абсолютно равен нулю (theta_i * theta_i = 0). Это означает, что любая функция от одной грассмановой переменной, будучи разложенной в ряд Тейлора, обрывается на первом же производном члене: f(theta) = A + B*theta, где A и B — обычные комплексные числа. Это невероятное алгебраическое ограничение делает грассманову математику строго конечномерной и позволяет вычислять состояния фермионных полей без сингулярностей и бесконечных расходимостей.

Интеграл Березина: алгебраическое интегрирование

В 1966 году советский математик Феликс Александрович Березин разработал правила интегрирования по грассмановым переменным. Поскольку классический предел сумм Римана (площадь под кривой) здесь не имеет топологического смысла, Березин ввел интеграл как линейный функционал, заданный чисто аксиоматически. Правила Березина ломают классический анализ: интеграл от константы по грассмановой переменной тождественно равен нулю, а интеграл от самой переменной строго равен единице. Потрясающим следствием этих аксиом является то, что в этой суперматематике операция интегрирования полностью и абсолютно эквивалентна операции формального дифференцирования! Обе эти операции работают как операторы уничтожения, просто «вырезая» переменную из алгебраического выражения.

Матрицы и определители в суперпространстве: Пфаффиан

Когда физики вычисляют многомерные гауссовы интегралы для бозонов (векторов из обычных коммутирующих чисел), результат математически представляет собой квадратный корень из определителя матрицы квадратичной формы, расположенный в знаменателе. Но когда Березин применил свой интеграл к экспоненте от антикоммутирующей билинейной формы (theta^T * A * theta, где матрица A кососимметрична), результат перевернул всю линейную алгебру. Гауссов интеграл по фермионным переменным оказался равен не обратному, а прямому Пфаффиану матрицы (квадратному корню из определителя), расположенному в числителе: Pfaffian(A) = sqrt(det A). Эта смена знаменателя на числитель в матричной алгебре математически доказывает разницу между статистикой Бозе-Эйнштейна и Ферми-Дирака.

Суперматрицы и Березиниан (Супердетерминант)

Интеграл Березина привел к формированию единой линейной супералгебры. Векторы в ней состоят из двух независимых блоков: четного (классические скаляры) и нечетного (грассмановы числа). Операторы в этом суперпространстве описываются блочными суперматрицами. Для суперматриц было введено строжайшее обобщение определителя, называемое супердетерминантом или Березинианом (Berezinian). Березиниан вычисляется как отношение определителя бозонного блока к определителю фермионного блока (выведенное через дополнение Шура матрицы). Это понятие сегодня является краеугольным матричным камнем теории суперструн и суперсимметрии (SUSY), математически спаивая бозоны (переносчики взаимодействий) и фермионы (частицы материи) в единую калибровочную систему.

Оценить