W-алгебра - W-algebra

В конформная теория поля и теория представлений, а W-алгебра ассоциативная алгебра, обобщающая Алгебра Вирасоро. W-алгебры были введены Александр Замолодчиков (Замолодчиков (1985) ), а название «W-алгебра» происходит от того, что Замолодчиков использовал букву W для одного из элементов одного из своих примеров.

Существует по крайней мере три различных, но связанных понятия, называемых W-алгебрами: классические W-алгебры, квантовые W-алгебры и конечные W-алгебры.

Классические W-алгебры

Выполнение классических Drinfeld -Соколовская редукция на алгебре Ли дает Скобка Пуассона по этой алгебре.

Квантовые W-алгебры

Bouwknegt & Schoutens (1993) определяет (квантовую) W-алгебру как мероморфный конформная теория поля (примерно алгебра вершинных операторов ) вместе с выделенным набором образующих, удовлетворяющих различным свойствам.

Их можно построить из (супер) алгебры Ли с помощью квантовой редукции Дринфельда – Соколова. Другой подход - искать другие сохраняемые токи, помимо Тензор напряжения-энергии аналогично тому, как Алгебра Вирасоро можно прочитать из разложения тензора напряжений.

Конечные W-алгебры

Ван (2011) сравнивает несколько различных определений конечных W-алгебр, которые представляют собой определенные ассоциативные алгебры, связанные с нильпотентными элементами полупростых алгебр Ли.

Первоначальное определение, данное Александром Преметом, начинается с пары состоящий из редуктивной алгебры Ли над комплексными числами и нильпотентным элементом e. Теорема Якобсона-Морозова, e является частью sl2 тройной (е, з, е). Разложение ad (h) в собственное подпространство индуцирует -градуировка по г:

Определить персонаж (т.е. гомоморфизм от g к тривиальной одномерной алгебре Ли) по правилу , куда обозначает Форма убийства. Это вызывает невырожденный антисимметричный билинейная форма на -1 балл по правилу:

После выбора любого Лагранжево подпространство , мы можем определить следующие нильпотентный подалгебры, действующей на универсальную обертывающую алгебру сопряженное действие.

Слева идеальный из универсальная обертывающая алгебра создано инвариантен относительно этого действия. Из небольшого расчета следует, что инварианты в под объявлением унаследовать ассоциативная алгебра структура из . Инвариантное подпространство называется конечной W-алгеброй, построенной из (g, e), и обычно обозначается .

Источники