Бесконечномерная алгебра Ли, встречающаяся в квантовой теории поля
Определенные коммутационные соотношения между операторами плотности тока в квантовых теориях поля определяют бесконечномерную алгебру Ли, называемую алгеброй токов . [1] Математически это алгебры Ли, состоящие из гладких отображений из многообразия в конечномерную алгебру Ли. [2]
История
Первоначальная алгебра токов, предложенная в 1964 году Мюрреем Гелл-Манном , описывала слабые и электромагнитные токи сильно взаимодействующих частиц, адронов , что привело к формуле Адлера–Вайсбергера и другим важным физическим результатам. Основная концепция в эпоху, непосредственно предшествовавшую квантовой хромодинамике , заключалась в том, что даже без знания подробностей лагранжиана, управляющего динамикой адронов, точная кинематическая информация – локальная симметрия – все еще могла быть закодирована в алгебре токов. [3]
Коммутаторы, используемые в алгебре токов, представляют собой бесконечномерное расширение жордановой карты , где квантовые поля представляют собой бесконечные массивы осцилляторов.
Современные алгебраические методы по-прежнему являются частью общей основы физики элементарных частиц при анализе симметрий и незаменимы при обсуждении теоремы Голдстоуна .
Пример
В неабелевой симметрии Янга–Миллса , где V и A являются компонентами нулевого тока аромата и аксиального тока (плотностями заряда) соответственно, парадигма алгебры токов такова [4] [5]
и
где f — структурные константы алгебры Ли . Чтобы получить осмысленные выражения, они должны быть нормально упорядочены .
Алгебра разрешается в прямую сумму двух алгебр, L и R , после определения
после чего
Конформная теория поля
Для случая, когда пространство представляет собой одномерную окружность, токовые алгебры возникают естественным образом как центральное расширение алгебры петель , известной как алгебры Каца–Муди или, более конкретно, аффинные алгебры Ли . В этом случае коммутатору и нормальному порядку можно дать очень точное математическое определение в терминах контуров интегрирования на комплексной плоскости, тем самым избегая некоторых формальных трудностей расходимости, обычно встречающихся в квантовой теории поля.