В математике, вершинный оператор алгебра ( VOA ) является алгебраической структурой , которая играет важную роль в двумерной конформной теории поля и теории струн . Помимо физических приложений, алгебры вершинных операторов оказались полезными в чисто математических контекстах, таких как чудовищный самогон и геометрическое соответствие Ленглендса .
Связанное с этим понятие вертексной алгебры было введено Ричардом Борчердсом в 1986 году, мотивированным конструкцией бесконечномерной алгебры Ли, созданной Игорем Френкелем . В ходе этого построения используется пространство Фока , допускающее действие вершинных операторов, прикрепленных к векторам решетки. Борчердс сформулировал понятие вертексной алгебры, аксиоматизируя отношения между операторами вершин решетки, создав алгебраическую структуру, которая позволяет строить новые алгебры Ли, следуя методу Френкеля.
Понятие вертексной операторной алгебры было введено как модификация понятия вертексной алгебры Френкелем, Джеймсом Леповски и Арне Мерманом в 1988 году в рамках их проекта по созданию модуля самогона . Они заметили, что многие вершинные алгебры, которые появляются в природе, имеют полезную дополнительную структуру (действие алгебры Вирасоро) и удовлетворяют свойству ограниченного снизу по отношению к оператору энергии. Мотивированные этим наблюдением, они добавили действие Вирасоро и свойство ограниченного снизу в качестве аксиом.
Теперь у нас есть апостериорная мотивация для этих понятий из физики, а также несколько интерпретаций аксиом, которые изначально не были известны. Физически вершинные операторы, возникающие в результате вставок голоморфных полей в точках (т. Е. Вершинах) в двумерной конформной теории поля, допускают разложения операторных произведений, когда вставки сталкиваются, и они точно удовлетворяют соотношениям, указанным в определении алгебры вертексных операторов. Действительно, аксиомы вертексной операторной алгебры являются формальной алгебраической интерпретацией того, что физики называют киральными алгебрами или «алгебрами киральных симметрий», где эти симметрии описывают тождества Уорда, которым удовлетворяет данная конформная теория поля, включая конформную инвариантность. Другие формулировки аксиом вертексной алгебры включают более поздние работы Борчердса по сингулярным коммутативным кольцам, алгебры над некоторыми операдами на кривых, введенные Хуангом, Крисом и другими, и D-модульные -теоретические объекты, называемые киральными алгебрами, введенные Александром Бейлинсоном и Владимиром Дринфельдом . Хотя эти киральные алгебры связаны между собой, они не совсем то же самое, что объекты с тем же именем, которое используют физики.
Важные базовые примеры алгебр вершинных операторов включают решетчатые ВОА (моделирующие решеточные конформные теории поля), ВОА, заданные представлениями аффинных алгебр Каца – Муди (из модели WZW ), ВОА Вирасоро (т. Е. ВОА, соответствующие представлениям алгебры Вирасоро ) и самогонный модуль V ♮ , отличающийся своей чудовищной симметрией. Более сложные примеры, такие как аффинные W-алгебры и киральный комплекс де Рама на комплексном многообразии, возникают в геометрической теории представлений и математической физике .
Формальное определение
Вершинная алгебра
Алгебра вершины представляет собой совокупность данных, удовлетворяющие определенные аксиомы.
Данные
- векторное пространство V , называется пространством состояний. В качестве основного поля обычно используются комплексные числа, хотя исходная формулировка Борчердса допускала произвольное коммутативное кольцо.
- единичный элемент 1 ∈ V , иногда записываемыйили Ω для обозначения состояния вакуума.
- эндоморфизм Т : V → V , называется "перевод". (Первоначальная формулировка Борчердса включала систему разделенных степеней T , поскольку он не предполагал, что основное кольцо делимо.)
- линейное отображение умножения Y : V ⊗ V → V (( г )) , где V (( г )) есть пространство всех формальных рядов Лорана с коэффициентами в V . Эта структура альтернативно представлена как бесконечный набор билинейных произведений u n v или как отображение левого умножения V → End ( V ) [[ z ± 1 ]] , называемое соответствием поля состояний. Для каждого u ∈ V операторнозначное формальное распределение Y ( u , z ) называется вершинным оператором или полем (вставленным в нуль), а коэффициент при z - n −1 - оператором u n . Стандартное обозначение умножения:
- .
Аксиомы
Эти данные необходимы для выполнения следующих аксиом:
- Личность. Для любого U ∈ V , Y (1, г ) у = у = UZ 0 и У ( у , г ) 1 ∈ U + ZV [[ г ]] .
- Перевод. Т (1) = 0 , и для любого U , V ∈ V ,
- Местность (идентичность Якоби или идентичность Борчердса). Для любых u , v ∈ V существует натуральное число N такое, что:
Эквивалентные формулировки аксиомы локальности
Аксиома локальности имеет несколько эквивалентных формулировок в литературе, например, Френкель-Леповский-Меурман ввел тождество Якоби:
где мы определяем формальный дельта-ряд следующим образом:
Борчердс [1] изначально использовал следующие два тождества: для любых векторов u , v и w и целых чисел m и n мы имеем
а также
- .
Позже он дал более обширную версию, которая эквивалентна, но проще в использовании: для любых векторов u , v и w и целых чисел m , n и q мы имеем
Наконец, существует формальная функциональная версия локальности: для любых u , v , w ∈ V существует элемент
такие, что Y ( u , z ) Y ( v , x ) w и Y ( v , x ) Y ( u , z ) w - соответствующие разложенияв V (( z )) (( x )) и V (( x )) (( z )) .
Вершинная операторная алгебра
Алгебра вершинного оператора является вершина алгебры снабжен конформным элемент со , таким , что оператор вершины Y ( ω , г ) есть вес два Вирасоро поля Ь ( г ) :
и удовлетворяет следующим свойствам:
- [ L m , L n ] = ( m - n ) L m + n + (δ m + n, 0/12 ) ( m 3 - m ) c Id V , где c - постоянная, называемая центральным зарядом , или рангом из V . В частности, коэффициенты этого вершинного оператора наделяют V действием алгебры Вирасоро с центральным зарядом c .
- L 0 действует на V полупросто с целыми собственными значениями, ограниченными снизу.
- При градуировке, обеспечиваемой собственными значениями L 0 , умножение на V однородно в том смысле, что если u и v однородны, то u n v однородно степени deg ( u ) + deg ( v ) - n - 1 .
- Тождество 1 имеет степень 0, а конформный элемент ω - степень 2.
- Л -1 = Т .
Гомоморфизм вершинных алгебр - это карта лежащих в основе векторных пространств, которая уважает дополнительную структуру идентичности, трансляции и умножения. Гомоморфизмы вершинных операторных алгебр имеют «слабую» и «сильную» формы в зависимости от того, уважают ли они конформные векторы.
Коммутативные вершинные алгебры
Вершинная алгебра V коммутативна, если все вершинные операторы коммутируют друг с другом. Это эквивалентно тому, что все произведения Y ( u , z ) v лежат в V [[ z ]]. Учитывая коммутативную вершинную алгебру, постоянные члены умножения наделяют векторное пространство коммутативной кольцевой структурой, а T является производным. Наоборот, любое коммутативное кольцо V с дифференцированием T имеет каноническую структуру вертексной алгебры, где мы полагаем Y ( u , z ) v = u –1 v z 0 = uv . Если дифференцирование T обращается в нуль, мы можем положить ω = 0, чтобы получить вершинную операторную алгебру, сосредоточенную в нулевой степени.
Любая конечномерная вертексная алгебра коммутативна. В частности, даже самые маленькие примеры некоммутативных вершинных алгебр требуют значительного введения.
Основные свойства
Оператор сдвига T в вершинной алгебре индуцирует бесконечно малые симметрии на структуре произведения и удовлетворяет следующим свойствам:
- Y ( u , z ) 1 = e zT u
- Тот = U -2 1, так что Т определяются Y .
- Y ( Tu , z ) = d ( Y ( u , z )) / dz
- е xT Y ( u , z ) e −xT = Y ( e xT u , z ) = Y ( u , z + x )
- (кососимметрия) Y ( u , z ) v = e zT Y ( v , - z ) u
Для вершинной операторной алгебры другие операторы Вирасоро обладают аналогичными свойствами:
- x L 0 Y ( u , z ) x −L 0 = Y ( x L 0 u , xz ).
- e xL 1 Y ( u , z ) e −xL 1 = Y (e x (1 – xz) L 1 (1– xz ) −2L 0 u , z (1– xz ) −1 )
- (квазиконформность) для всех m ≥ – 1.
- (Ассоциативность, или свойство Кузена): для любых u , v , w ∈ V элемент
данное в определении также расширяется до Y ( Y ( u , z - x ) v , x ) w в V (( x )) (( z - x )).
Свойство ассоциативности вершинной алгебры следует из того факта, что коммутатор Y ( u , z ) и Y ( v , x ) аннулируется конечной степенью z - x , т. Е. Его можно разложить в виде конечной линейной комбинации производных формальной дельта-функции по ( z - x ) с коэффициентами в End ( V ).
Реконструкция: Пусть V - вершинная алгебра, и пусть { J a } - набор векторов с соответствующими полями J a ( z ) ∈ End ( V ) [[ z ± 1 ]]. Если V натянуто на одночлены от положительных весовых коэффициентов полей (т. Е. Конечные произведения операторов J a n, примененных к 1, где n отрицательно), то мы можем записать операторное произведение такого одночлена как нормально упорядоченное произведение разделенных производных полей по степеням (здесь нормальный порядок означает, что полярные члены слева перемещаются вправо). Конкретно,
В более общем смысле, если одному дано векторное пространство V с эндоморфизмом T и вектором 1, а набору векторов J a присваивается набор полей J a ( z ) ∈ End ( V ) [[ z ± 1 ]] которые являются взаимно локальными, положительные весовые коэффициенты которых порождают V и удовлетворяют условиям тождества и трансляции, то предыдущая формула описывает структуру вершинной алгебры.
Пример: свободный бозон ранга 1
Базовым примером некоммутативной вершинной алгебры является свободный бозон ранга 1, также называемый вертексной операторной алгеброй Гейзенберга. Он «порождается» одним вектором b в том смысле, что, применяя коэффициенты поля b ( z ) = Y ( b , z ) к вектору 1 , мы получаем остовное множество. Основное векторное пространство - это кольцо многочленов с бесконечной переменной C [ x 1 , x 2 , ...], где для положительных n коэффициент b –n у Y ( b , z ) действует как умножение на x n , а b n действует как n, умноженная на частную производную по x n . Действие b 0 - это умножение на ноль, производящее фоковское представление V 0 с «нулевым импульсом» алгебры Ли Гейзенберга (порожденное b n для целых чисел n , с коммутационными соотношениями [ b n , b m ] = n δ n, - m ), т. е. индуцированные тривиальным представлением подалгебры, натянутой на b n , n ≥ 0.
Пространство Фока V 0 можно превратить в вертексную алгебру с помощью следующей реконструкции:
где: ..: обозначает нормальный порядок (т.е. перемещение всех производных по x вправо). Вершинные операторы также могут быть записаны как функционал от функции многих переменных f как:
если мы понимаем, что каждый член в разложении f нормально упорядочен.
Свободный бозон ранга n получается n- кратным тензорным произведением свободного бозона ранга 1. Для любого вектора b в n -мерном пространстве имеется поле b ( z ), коэффициенты которого являются элементами алгебры Гейзенберга ранга n , коммутационные соотношения которой имеют дополнительный член внутреннего произведения: [ b n , c m ] = n (b , в) δ n, –m .
Пример: вертексные операторные алгебры Вирасоро
Алгебры вершинных операторов Вирасоро важны по двум причинам: во-первых, конформный элемент в алгебре вершинных операторов канонически индуцирует гомоморфизм из алгебры вершинных операторов Вирасоро, поэтому они играют универсальную роль в теории. Во-вторых, они тесно связаны с теорией унитарных представлений алгебры Вирасоро и играют важную роль в конформной теории поля . В частности, унитарные минимальные модели Вирасоро являются простыми факторами этих вершинных алгебр, а их тензорные произведения обеспечивают способ комбинаторного построения более сложных алгебр вершинных операторов.
Алгебра вертексных операторов Вирасоро определяется как индуцированное представление алгебры Вирасоро : если мы выберем центральный заряд c , существует единственный одномерный модуль для подалгебры C [z] ∂ z + K, для которого K действует как c Id , и C [z] ∂ z действует тривиально, и соответствующий индуцированный модуль натянут на многочлены от L –n = –z −n – 1 ∂ z, когда n пробегает целые числа больше 1. Тогда модуль имеет статистическую сумму
- .
Это пространство имеет структуру алгебры вершинных операторов, где вершинные операторы определяются:
а также . То, что поле Вирасоро L (z) локально по отношению к самому себе, можно вывести из формулы для его самокоммутатора:
где c - центральный заряд .
Если дан гомоморфизм вершинной алгебры из вершинной алгебры Вирасоро с центральным зарядом c в любую другую вершинную алгебру, вершинный оператор, присоединенный к образу ω, автоматически удовлетворяет соотношениям Вирасоро, т. Е. Образ ω является конформным вектором. Наоборот, любой конформный вектор в вершинной алгебре индуцирует выделенный гомоморфизм вершинной алгебры из некоторой вершинной операторной алгебры Вирасоро.
Алгебры вершинных операторов Вирасоро просты, за исключением случая, когда c имеет вид 1–6 ( p - q ) 2 / pq для взаимно простых целых чисел p , q строго больше 1 - это следует из формулы определителя Каца. В этих исключительных случаях имеется единственный максимальный идеал, и соответствующий фактор называется минимальной моделью. Когда p = q +1, вершинные алгебры являются унитарными представлениями Вирасоро, а их модули известны как представления дискретных серий. Они играют важную роль в конформной теории поля отчасти потому, что они необычайно легко поддаются обработке, а при малых p они соответствуют хорошо известным системам статистической механики при критичности, например модели Изинга , трикритической модели Изинга , трехкритической модели Изинга. состояние Потс модели и т.д. к работе Weiqang Ван [2] относительно правил слияния , мы имеем полное описание тензорных категорий унитарных минимальных моделей. Например, когда c = 1/2 (Изинг), существуют три неприводимых модуля с наименьшим L 0 -весом 0, 1/2 и 1/16, а его кольцо слияния - Z [ x , y ] / ( x 2 –1, y 2 - x –1, xy - y ).
Пример: вакуумные модули WZW
Заменяя алгебры Гейзенберга Ли с раскрученной аффинной алгебры Каца-Муди Ли (то есть универсальное центральное расширение в алгебры петель на конечномерном простой алгебры Ли ), можно построить вакуумную представление во многом таким же образом , как и свободный бозонная вершинная алгебра. Здесь WZW относится к модели Весса – Зумино – Виттена , которая дает аномалию, которая интерпретируется как центральное расширение.
Конкретно, оттягивая центральную пристройку
по включению дает расщепленное расширение, и вакуумный модуль индуцируется из одномерного представления последнего, на котором центральный базисный элемент действует посредством некоторой выбранной константы, называемой «уровнем». Поскольку центральные элементы можно отождествить с инвариантными скалярными произведениями на алгебре Ли конечного типа, обычно уровень нормализуется так, чтобы форма убийства имела уровень, вдвое превышающий двойное число Кокстера . Эквивалентно, уровень один дает внутренний продукт, для которого самый длинный корень имеет норму 2. Это соответствует соглашению по алгебре петель , где уровни дискретизируются третьими когомологиями односвязных компактных групп Ли.
Выбирая базис J конечной алгебры Ли типа, одна может образовать основу аффинной алгебры Ли с помощью ямайского с п = J т п вместе с центральным элементом K . Путем реконструкции мы можем описать вершинные операторы нормальными упорядоченными произведениями производных полей
Когда уровень некритичен, то есть внутренний продукт не минус половина формы Киллинга, вакуумное представление имеет конформный элемент, заданный конструкцией Сугавары . [a] Для любого выбора двойственных базисов J a , J a относительно скалярного произведения уровня 1 конформный элемент равен
и дает алгебру операторов вершины которой центральное заряд является. На критическом уровне конформная структура разрушается, поскольку знаменатель равен нулю, но можно получить операторы L n для n ≥ –1, взяв предел, когда k приближается к критичности.
Эту конструкцию можно изменить, чтобы она работала для свободного бозона ранга 1. Фактически, векторы Вирасоро образуют однопараметрическое семейство ω s = 1/2 x 1 2 + s x 2 , наделяя получившиеся вершинные операторные алгебры центральным зарядом 1−12s 2 . Когда s = 0, у нас есть следующая формула для градуированного размера:
Это известно как производящая функция для разбиений , и также записывается как q, умноженное на 1/24 модулярной формы веса -1/2 1 / η ( эта функция Дедекинда ). Свободный бозон ранга n тогда имеет n- параметрическое семейство векторов Вирасоро, и когда эти параметры равны нулю, характер в q n / 24 раз больше весовой n / 2 модулярной формы η −n .
Модули
Как и обычные кольца, вершинные алгебры допускают понятие модуля или представления. Модули играют важную роль в конформной теории поля, где их часто называют секторами. Стандартное предположение в физической литературе состоит в том, что полное гильбертово пространство конформной теории поля разлагается на сумму тензорных произведений движущихся влево и вправо секторов:
То есть конформная теория поля имеет алгебру вертексных операторов левосторонних киральных симметрий, вертексную операторную алгебру правых киральных симметрий, а секторы, движущиеся в заданном направлении, являются модулями соответствующей вертексной операторной алгебры.
Для вершинной алгебры V с умножением Y под V -модулем понимается векторное пространство M с действием Y M : V ⊗ M → M (( z )), удовлетворяющее следующим условиям:
- (Идентичность) Y M (1, z) = Id M
- (Ассоциативность, или тождество Якоби) Для любых u , v ∈ V , w ∈ M существует элемент
такие, что Y M ( u , z ) Y M ( v , x ) w и Y M ( Y ( u , z - x ) v , x ) w - соответствующие разложенияв M (( z )) (( x )) и M (( x )) (( z - x )). Эквивалентно справедливо следующее « тождество Якоби »:
Модули вертексной алгебры образуют абелеву категорию . При работе с оператором вершин алгебры, предыдущее определение дано название « слабый модуль », а также V - модули должны удовлетворять дополнительному условию , что L 0 действует полупросто с конечномерных подпространств и собственных значений, ограниченных ниже в каждом смежном классе Z . Работы Хуанга, Леповски, Миямото и Чжана показали на различных уровнях общности, что модули вершинной операторной алгебры допускают операцию слияния тензорного произведения и образуют тензорную категорию со сплетением .
Когда категория V -модулей полупроста с конечным числом неприводимых объектов, алгебра вершинных операторов V называется рациональной. Алгебры рациональных вершинных операторов, удовлетворяющие дополнительной гипотезе конечности (известной как условие C 2 -конечности Чжу ), как известно, имеют особенно хорошее поведение и называются «регулярными». Например, теорема модулярной инвариантности Чжу 1996 г. утверждает, что характеры модулей регулярной ВОА образуют векторнозначное представление SL 2 ( Z ). В частности, если ВОА голоморфна , т. Е. Ее категория представления эквивалентна категории представлений векторных пространств, то ее статистическая сумма SL 2 ( Z ) -инвариантна с точностью до константы. Хуанг показал, что категория модулей регулярной ВОА является модулярной тензорной категорией , а ее правила слияния удовлетворяют формуле Верлинде .
Чтобы связать с нашим первым примером, неприводимые модули свободного бозона ранга 1 задаются пространствами Фока V λ с некоторым фиксированным импульсом λ, т. Е. Индуцированными представлениями алгебры Ли Гейзенберга , где элемент b 0 действует скалярным умножением на λ . Пространство можно записать как C [ x 1 , x 2 , ...] v λ , где v λ - выделенный вектор основного состояния. Категория модулей не является полупростой, поскольку можно индуцировать представление абелевой алгебры Ли, в котором b 0 действует нетривиальной йордановой клеткой . Для свободного бозона ранга n существует неприводимый модуль V λ для каждого вектора λ в комплексном n -мерном пространстве. Каждый вектор b ∈ C n порождает оператор b 0 , а пространство Фока V λ отличается тем, что каждое такое b 0 действует как скалярное умножение на скалярное произведение ( b , λ).
В отличие от обычных колец, вершинные алгебры допускают понятие скрученного модуля, присоединенного к автоморфизму. Для автоморфизма σ порядка N действие имеет вид V ⊗ M → M (( z 1 / N )) со следующим условием монодромии : если u ∈ V удовлетворяет σ u = exp (2π ik / N ) u , тогда u n = 0, если n не удовлетворяет n + k / N ∈ Z (есть некоторые разногласия по поводу знаков среди специалистов). Геометрически скрученные модули могут быть прикреплены к точкам ветвления на алгебраической кривой с разветвленным покрытием Галуа . В литературе по конформной теории поля скрученные модули называются скрученными секторами и тесно связаны с теорией струн на орбифолдах .
Алгебра вершинных операторов, заданная четной решеткой
Конструкция решетчатой вершинной алгебры была исходной мотивацией для определения вершинных алгебр. Он строится путем взятия суммы неприводимых модулей для свободного бозона, соответствующего векторам решетки, и определения операции умножения путем задания операторов сплетения между ними. То есть, если Λ - четная решетка, решеточная вершинная алгебра V Λ распадается на свободные бозонные модули как:
Решеточные вершинные алгебры канонически присоединены к двойным покрытиям четных целочисленных решеток , а не к самим решеткам. Хотя каждая такая решетка имеет единственную решеточную вершинную алгебру с точностью до изоморфизма, конструкция вершинной алгебры не является функториальной, поскольку решеточные автоморфизмы имеют неоднозначность в подъеме. [1]
Рассматриваемые двойные покрытия однозначно определяются с точностью до изоморфизма по следующему правилу: элементы имеют вид ± e α для векторов решетки α ∈ Λ (т. Е. Существует отображение на Λ, переводящее e α в α, которое забывает знаки), и умножение удовлетворяет соотношениям e α e β = (–1) (α, β) e β e α . Другой способ описать это состоит в том, что для четной решетки Λ существует единственный (с точностью до кограницы) нормированный коцикл ε ( α , β ) со значениями ± 1 такой, что (−1) ( α , β ) = ε ( α , β ) ε ( β , α ) , где условием нормировки является ε (α, 0) = ε (0, α) = 1 для всех α ∈ Λ . Этот коцикл индуцирует центральное расширение Λ группой порядка 2, и мы получаем скрученное групповое кольцо C ε [Λ] с базисом e α ( α ∈ Λ) и правилом умножения e α e β = ε ( α , β ) e α + β - условие коцикла на ε обеспечивает ассоциативность кольца. [3]
Вершинный оператор, присоединенный к вектору младшего веса v λ в пространстве Фока V λ, имеет вид
где z λ - это сокращение от линейного отображения, которое переводит любой элемент α-фоковского пространства V α в моном z ( λ , α ) . Затем посредством реконструкции определяются вершинные операторы для других элементов пространства Фока.
Как и в случае свободного бозона, можно выбрать конформный вектор, задаваемый элементом s векторного пространства Λ ⊗ C , но условие, что дополнительные пространства Фока имеют целые L 0 собственных значений, ограничивает выбор s : для ортонормированный базис x i , вектор 1/2 x i, 1 2 + s 2 должен удовлетворять ( s , λ ) ∈ Z для всех λ ∈ Λ, т. е. s лежит в двойственной решетке.
Если четная решетка Λ порождается ее «корневыми векторами» (удовлетворяющими (α, α) = 2), и любые два корневых вектора соединены цепочкой корневых векторов с последовательными скалярными произведениями, отличными от нуля, то алгебра вершинных операторов является единственным простым фактором вакуумного модуля аффинной алгебры Каца – Муди соответствующей простой простой алгебры Ли на уровне один. Это известно как Френкель-Кац (или Френкель - Кац - Segal ) строительства, и основано на более ранней конструкции по Sergio Фубини и Габриэле Венециано~d из тахионного вершинного оператора в двойной резонансной модели . Среди других особенностей нулевые режимы вершинных операторов, соответствующих корневым векторам, дают конструкцию базовой простой алгебры Ли, связанную с представлением, первоначально созданным Жаком Титсом . В частности, строятся все группы Ли типа ADE непосредственно из их корневых решеток. И это обычно считается самым простым способом построить 248-мерную группу E 8 . [3] [4]
Вершинные операторные супералгебры
Позволяя лежащему в основе векторному пространству быть суперпространством (т. Е. Z / 2 Z -градуированным векторным пространством) вершинную супералгебру можно определить по тем же данным, что и вершинную алгебру, с 1 в V + и T четным оператором. Аксиомы по существу те же, но нужно включить подходящие знаки в аксиому локальности или в одну из эквивалентных формулировок. То есть, если a и b однородны, сравнивается Y ( a , z ) Y ( b , w ) с ε Y ( b , w ) Y ( a , z ), где ε равно –1, если и a, и b равны нечетное и 1 в противном случае. Если, кроме того, в четной части V 2 есть элемент Вирасоро ω и выполняются обычные ограничения градуировки, то V называется вершинной операторной супералгеброй .
Один из простейших примеров - супералгебра вершинных операторов, порожденная одним свободным фермионом ψ. Как представление Вирасоро, оно имеет центральный заряд 1/2 и разлагается как прямая сумма модулей Изинга наименьшего веса 0 и 1/2. Его также можно описать как спиновое представление алгебры Клиффорда на квадратичном пространстве t 1/2 C [ t , t −1 ] ( dt ) 1/2 с спариванием вычетов. Вершинная операторная супералгебра голоморфна в том смысле, что все модули являются прямыми суммами самих себя, т. Е. Категория модулей эквивалентна категории векторных пространств.
Тензорный квадрат свободного фермиона называется свободным заряженный фермион, и бозон-фермионное соответствием, она изоморфна решетка вершина супералгебра прикреплена к нечетной решетке Z . [3] Это соответствие было использовано Дате-Джимбо-Кашивара-Мива для построения солитонных решений иерархии КП нелинейных УЧП.
Суперконформные структуры
Алгебра Вирасоро имеет некоторые суперсимметричные расширения , которые естественным образом появляются в суперконформной теории поля и теории суперструн . N = 1, 2, 4 и суперконформные алгебры имеют особое значение.
Бесконечно голоморфная суперконформная преобразований supercurve (с одной даже локальная координата Z и N нечетно локальные координаты & thetas ; 1 , ..., θ N ) генерируются коэффициенты супер-стресс-энергии тензора Т (г, θ 1 ,. .., θ N ).
Когда N = 1, T имеет нечетную часть, заданную полем Вирасоро L ( z ), и четную часть, заданную полем
с учетом коммутационных отношений
Изучая симметрию операторных произведений, можно обнаружить, что есть две возможности для поля G : индексы n либо все целые числа, что дает алгебру Рамона , либо все полуцелые числа, что дает алгебру Невё – Шварца . Эти алгебры имеют представления унитарной дискретной серии при центральном заряде
и унитарные представления для всех c больше 3/2, с наименьшим весом h, ограниченным только h ≥ 0 для Невё – Шварца и h ≥ c / 24 для Рамона.
N = 1 суперконформная вектор в вершинный оператор алгебры V центрального заряда с является нечетным элементом τ ∈ V веса 3/2, таким образом, что
G −1/2 τ = ω, а коэффициенты G ( z ) дают действие N = 1 алгебры Невё – Шварца при центральном заряде c .
При N = 2 суперсимметрии получаются четные поля L ( z ) и J ( z ) и нечетные поля G + (z) и G - (z). Поле J ( z ) порождает действие алгебр Гейзенберга (описываемое физиками как ток U (1)). Существует N = 2 суперконформных алгебр Рамона и Невё – Шварца в зависимости от того, является ли индексирование полей G целочисленным или полуцелым. Однако ток U (1) порождает однопараметрическое семейство изоморфных суперконформных алгебр, интерполирующих между Рамоном и Неве-Шварцем, и эта деформация структуры известна как спектральный поток. Унитарные представления даются дискретными рядами с центральным зарядом c = 3-6 / m для целых m не менее 3 и континуумом наименьших весов для c > 3.
N = 2 суперконформная структура на алгебре оператора вершина пары нечетных элементов τ + , τ - веса 3/2, и даже элемент ц веса 1 таким образом, что τ ± генерировать G ± (г), а μ генерирует J ( z ).
Для N = 3 и 4 унитарные представления имеют только центральные заряды в дискретном семействе, с c = 3 k / 2 и 6 k , соответственно, поскольку k пробегает положительные целые числа.
Дополнительные конструкции
- Подалгебры с фиксированной точкой: учитывая действие группы симметрии на алгебру вершинных операторов, подалгебра фиксированных векторов также является алгеброй вершинных операторов. В 2013 году Миямото доказал, что два важных свойства конечности, а именно условие Чжу C 2 и регулярность, сохраняются при взятии неподвижных точек при конечных разрешимых действиях группы.
- Текущие расширения: учитывая вершинную операторную алгебру и некоторые модули с целочисленным конформным весом, можно при благоприятных обстоятельствах описать структуру вертексной операторной алгебры на прямой сумме. Решеточные вершинные алгебры являются стандартным примером этого. Другое семейство примеров - это VOA с фреймами, которые начинаются с тензорных произведений моделей Изинга и добавляют модули, которые соответствуют достаточно четным кодам.
- Орбифолды: дана конечная циклическая группа, действующая на голоморфной ВОА, предполагается, что можно построить вторую голоморфную ВОА, присоединив неприводимые скрученные модули и взяв неподвижные точки при индуцированном автоморфизме, если эти скрученные модули имеют подходящий конформный вес. Известно, что это верно в частных случаях, например, для групп порядка не выше 3, действующих на решетчатые ВОА.
- Конструкция смежного класса (благодаря Годдарду, Кенту и Оливу): дана вершинная операторная алгебра V с центральным зарядом c и набор векторов S , можно определить коммутант C ( V , S ) как подпространство векторов v строго коммутируют со всеми полями поступающих из S , то есть, например , что Y ( s , г ) v ∈ V [[ г ]] для всех s ∈ S . Это оказывается вершина подалгебра, с Y , T , и идентичность , унаследованная от V . и если S является VOA центрального заряда гр S , коммутант является VOA центрального заряда с - с S . Например, вложение SU (2) на уровне k +1 в тензорное произведение двух SU (2) алгебр на уровнях k и 1 дает дискретный ряд Вирасоро с p = k +2, q = k +3 и это использовалось, чтобы доказать их существование в 1980-х годах. Снова с помощью SU (2) вложение уровня k +2 в тензорное произведение уровня k и уровня 2 дает N = 1 суперконформный дискретный ряд.
- БРСТ-редукция: для любого вектора v степени 1, удовлетворяющего v 0 2 = 0, когомологии этого оператора имеют структуру градуированной вершинной супералгебры. В более общем смысле, можно использовать любое поле веса 1, остаток которого имеет квадрат ноль. Обычный метод - тензор с фермионами, так как тогда получается канонический дифференциал. Важным частным случаем является квантовая редукция Дринфельда-Соколова, применяемая к аффинным алгебрам Каца – Муди для получения аффинных W -алгебр как когомологий нулевой степени. Эти W- алгебры также допускают конструкции как вершинные подалгебры свободных бозонов, заданные ядрами экранирующих операторов.
Дополнительные примеры
- Монстр вершина алгебра (также называемый «модулем самогона»), ключ к доказательству Борчердса гипотез о чудовищном самогоне , был построен Френкелем, Леповски и Меурманом в 1988 году. Он примечателен тем, что его статистическая сумма представляет собой модульный инвариант j –744, а его Группа автоморфизмов - это самая большая спорадическая простая группа, известная как группа монстров . Он построен путем орбифолдинга решетки Лича VOA с помощью автоморфизма порядка 2, индуцированного отражением решетки Лича в начале координат. Таким образом, мы формируем прямую сумму решетки Лича VOA со скрученным модулем и выбираем неподвижные точки при индуцированной инволюции. Френкель, Леповски и Меурман в 1988 г. предположили, что- единственная голоморфная вершинная операторная алгебра с центральным зарядом 24 и статистической суммой j –744. Это предположение остается открытым.
- Киральный комплекс де Рама: Маликов, Шехтман и Вайнтроб показали, что методом локализации можно канонически присоединить систему bcβγ (бозон-фермионное суперполе) к гладкому комплексному многообразию. Этот комплекс пучков имеет выделенный дифференциал, а глобальные когомологии являются вершинной супералгеброй. Бен-Цви, Хелуани и Щесны показали, что риманова метрика на многообразии индуцирует N = 1 суперконформную структуру, которая превращается в структуру N = 2, если метрика кэлерова и Риччи-плоская, а гипер-кэлерова структура индуцирует N = 1. = 4 структура. Борисов и Либгобер показали, что можно получить эллиптический род с двумя переменными компактного комплексного многообразия из когомологий Кирала де Рама - если многообразие является многообразием Калаби-Яу, то этот род является слабой формой Якоби . [5]
Связанные алгебраические структуры
- Если рассматривать только особую часть ОПЕ в вершинной алгебре, можно прийти к определению конформной алгебры Ли . Поскольку часто интересует только особая часть ОПЕ, это делает конформные алгебры Ли естественным объектом для изучения. Существует функтор из вершинных алгебр в конформные алгебры Ли, который забывает регулярную часть OPE, и у него есть левый сопряженный, называемый функтором «универсальной вертексной алгебры». Вакуумные модули аффинных алгебр Каца – Муди и вершинных алгебр Вирасоро являются универсальными вершинными алгебрами, и, в частности, их можно очень кратко описать после разработки базовой теории.
- В литературе имеется несколько обобщений понятия вершинной алгебры. Некоторые легкие обобщения включают ослабление аксиомы локальности, чтобы допустить монодромию, например, абелевы сплетающие алгебры Донга и Леповски. Их можно грубо рассматривать как объекты вершинной алгебры в плетеной тензорной категории градуированных векторных пространств, во многом так же, как вершинная супералгебра является таким объектом в категории супервекторных пространств. Более сложные обобщения относятся к q- деформациям и представлениям квантовых групп, например, в работах Френкеля – Решетихина, Этингофа – Каждана и Ли.
- Бейлинсон и Дринфельд ввели теоретико-пучковое понятие киральной алгебры , которое тесно связано с понятием вершинной алгебры, но определяется без использования каких-либо видимых степенных рядов. Для алгебраической кривой X киральная алгебра на X - это D X -модуль A, снабженный операцией умноженияна X × X , удовлетворяющий условию ассоциативности. Они также ввели эквивалентное понятие факторизационной алгебры, которая представляет собой систему квазикогерентных пучков на всех конечных произведениях кривой, вместе с условием совместимости, включающим откаты к дополнению различных диагоналей. Любую трансляционно-эквивариантную киральную алгебру на аффинной прямой можно отождествить с вертексной алгеброй, взяв слой в точке, и есть естественный способ присоединить киральную алгебру на гладкой алгебраической кривой к любой вершинной операторной алгебре.
Смотрите также
- Операторная алгебра
Заметки
- ^ История постройки Сугавары сложна, потребовалось несколько попыток, чтобы получить правильную формулу. [1]
Цитаты
- ^ a b Borcherds 1986 .
- ^ Ван 1993 .
- ^ а б в Кац 1998 .
- ^ Френкель, Lepowsky & Meurman 1988 .
- ^ Борисов & C. Либгобер (2000) .
Источники
- Ричардс Борчердс (1986), «Вершинные алгебры, алгебры Каца-Муди и чудовище», Труды Национальной академии наук Соединенных Штатов Америки , 83 : 3068–3071, Bibcode : 1986PNAS ... 83.3068B , DOI : 10.1073 / pnas.83.10.3068 , PMC 323452 , PMID 16593694
- Борисов, Лев А .; Либгобер, Анатолий (2000), «Эллиптические роды торических многообразий и приложения к зеркальной симметрии», Inventiones Mathematicae , 140 (2): 453–485, arXiv : math / 9904126 , doi : 10.1007 / s002220000058 , MR 1757003
- Френкель, Эдвард ; Бен-Цви, Дэвид (2001), Вершинные алгебры и алгебраические кривые , Математические обзоры и монографии, Американское математическое общество, ISBN 0-8218-2894-0
- Френкель, Игорь ; Леповски, Джеймс ; Меурман, Арне (1988), Вершинные операторные алгебры и монстр , Чистая и прикладная математика, 134 , Academic Press, ISBN 0-12-267065-5
- Кац, Виктор (1998), Вершинные алгебры для начинающих , Серия лекций в университете, 10 (2-е изд.), Американское математическое общество , ISBN 0-8218-1396-X
- Ван, Weiqiang (1993), "Рациональность алгебр вершинных операторов Вирасоро", Duke Math. J. IMRN , 71 : 197–211
- Сюй, Сяопин (1998), Введение в супералгебры вершинных операторов и их модули , Springer, ISBN 079235242-4