Квантовая группа - Википедия - Quantum group

В математика и теоретическая физика, период, термин квантовая группа обозначает один из нескольких видов некоммутативные алгебры с дополнительной структурой. К ним относятся квантовые группы типа Дринфельда – Джимбо (которые являются квазитреугольные алгебры Хопфа ), компактные матричные квантовые группы (которые являются структурами на единичных разделимых C * -алгебры ) и квантовые группы биикроспроизведения.

Термин «квантовая группа» впервые появился в теории квантовые интегрируемые системы, который затем был формализован Владимир Дринфельд и Мичио Джимбо как особый класс Алгебра Хопфа. Этот же термин используется и для других алгебр Хопфа, деформирующих или близких к классическим. Группы Ли или же Алгебры Ли, например, класс квантовых групп "бикроспроизведения", введенный Шахн Маджид немного позже работы Дринфельда и Джимбо.

В подходе Дринфельда квантовые группы возникают как Алгебры Хопфа в зависимости от вспомогательного параметра q или же час, которые стали универсальные обертывающие алгебры некоторой алгебры Ли, часто полупростой или же аффинный, когда q = 1 или час = 0. Тесно связаны некоторые дуальные объекты, также алгебры Хопфа и также называемые квантовыми группами, деформирующие алгебру функций на соответствующем полупростом алгебраическая группа или компактная группа Ли.

Интуитивное значение

Открытие квантовых групп было весьма неожиданным, так как давно было известно, что компактные группы а полупростые алгебры Ли являются «жесткими» объектами, другими словами, их нельзя «деформировать». Одна из идей, лежащих в основе квантовых групп, заключается в том, что если мы рассмотрим структуру, которая в некотором смысле эквивалентна, но больше, а именно групповая алгебра или универсальная обертывающая алгебра, то групповая или обертывающая алгебра может быть «деформирована», хотя деформация больше не будет оставаться групповой или обертывающей алгеброй. Точнее, деформацию можно осуществить в категории Алгебры Хопфа которые не обязательно должны быть коммутативный или же кокоммутативный. Можно представить деформированный объект как алгебру функций на «некоммутативном пространстве» в духе некоммутативная геометрия из Ален Конн. Эта интуиция, однако, появилась после того, как определенные классы квантовых групп уже доказали свою полезность при изучении квантовых групп. Уравнение Янга – Бакстера и квантовый метод обратной задачи разработан Ленинградской школой (Людвиг Фаддеев, Леон Тахтаджан, Евгений Склянин, Николай Решетихин и Владимир Корепин ) и связанные с ним работы Японской школы.[1] Интуиция за вторым, бикроспродукт, класс квантовых групп был другим и возник в результате поиска самодуальных объектов как подхода к квантовая гравитация.[2]

Квантовые группы типа Дринфельда – Джимбо.

Один тип объектов, обычно называемый «квантовой группой», появился в работах Владимира Дринфельда и Мичио Джимбо как деформация универсальная обертывающая алгебра из полупростая алгебра Ли или, в более общем смысле, Алгебра Каца – Муди, в категории Алгебры Хопфа. Полученная алгебра имеет дополнительную структуру, превращающую ее в квазитреугольная алгебра Хопфа.

Позволять А = (аij) быть Матрица Картана алгебры Каца – Муди, и пусть q ≠ 0, 1 - комплексное число, тогда квантовая группа, Uq(грамм), куда грамм - алгебра Ли, матрица Картана которой А, определяется как единый ассоциативная алгебра с генераторами kλ (куда λ является элементом весовая решетка, т.е. 2 (λ, αя) / (αя, αя) является целым числом для всех я), и ея и жя (за простые корни, αя) при соблюдении следующих соотношений:

И для яj у нас есть q-Серровые отношения, являющиеся деформациями Серр связи:

где q-факториал, то q-аналог обычного факториал, определяется рекурсивно с помощью q-числа:

В пределе как q → 1, эти соотношения приближаются к соотношениям универсальной обертывающей алгебры U(грамм), куда

и тλ - элемент подалгебры Картана, удовлетворяющий (тλ, час) = λ(час) для всех час в подалгебре Картана.

Есть разные коассоциативные побочные продукты при котором эти алгебры являются алгебрами Хопфа, например,

где набор генераторов при необходимости расширен за счет включения kλ за λ который выражается как сумма элемента весовой решетки и половины элемента весовой корневая решетка.

Кроме того, любая алгебра Хопфа приводит к другой с обратным копроизведением Т о Δ, где Т дан кем-то Т(Иксу) = уИкс, давая еще три возможных варианта.

В графство на Uq(А) одинаково для всех этих сопутствующих продуктов: ε(kλ) = 1, ε(ея) = ε(жя) = 0, а соответствующие антиподы для вышеуказанных сопутствующих продуктов даны

В качестве альтернативы квантовая группа Uq(грамм) можно рассматривать как алгебру над полем C(q), поле всех рациональные функции неопределенного q над C.

Аналогично квантовая группа Uq(грамм) можно рассматривать как алгебру над полем Q(q), поле всех рациональные функции неопределенного q над Q (см. ниже в разделе о квантовых группах на q = 0). Центр квантовой группы можно описать квантовым определителем.

Теория представлений

Подобно тому, как существует много различных типов представлений для алгебр Каца – Муди и их универсальных обертывающих алгебр, существует много различных типов представлений для квантовых групп.

Как и все алгебры Хопфа, Uq(грамм) имеет присоединенное представительство сам по себе как модуль, с действием, заданным

куда

Случай 1: q не является корнем единства

Одним из важных типов представления является представление весов, и соответствующие модуль называется весовым модулем. Весовой модуль - это модуль с базой весовых векторов. Весовой вектор - это ненулевой вектор v такой, что kλ · v = dλv для всех λ, куда dλ комплексные числа для всех весов λ такой, что

для всех весов λ и μ.

Весовой модуль называется интегрируемым, если действия ея и жя локально нильпотентны (т.е.для любого вектора v в модуле существует натуральное число k, возможно, зависит от v, так что для всех я). В случае интегрируемых модулей комплексные числа dλ связанный с вектором веса, удовлетворяют ,[нужна цитата ] куда ν - элемент весовой решетки, а cλ такие комплексные числа, что

  • для всех весов λ и μ,
  • для всех я.

Особый интерес представляют представления со старшим весом, и соответствующие модули наивысшего веса. Модуль наивысшего веса - это модуль, порожденный вектором весов v, при условии kλ · v = dλv для всех весов μ, и ея · v = 0 для всех я. Точно так же квантовая группа может иметь представление с наименьшим весом и модуль с наименьшим весом, т.е. модуль, порожденный вектором весов v, при условии kλ · v = dλv для всех весов λ, и жя · v = 0 для всех я.

Определите вектор v иметь вес ν если для всех λ в решетке веса.

Если грамм является алгеброй Каца – Муди, то в любом неприводимом представлении со старшим весом Uq(грамм) со старшим весом ν кратности весов равны их кратности в неприводимом представлении U(грамм) с равным наибольшим весом. Если наивысший вес является доминирующим и интегральным (вес μ является доминирующим и целым, если μ удовлетворяет условию, что является неотрицательным целым числом для всех я), то весовой спектр неприводимого представления инвариантен относительно Группа Вейля за грамм, и представление интегрируемо.

И наоборот, если модуль старшего веса интегрируем, то его вектор старшего веса v удовлетворяет , куда cλ · v = dλv такие комплексные числа, что

  • для всех весов λ и μ,
  • для всех я,

и ν является доминирующим и неотъемлемым.

Как и все алгебры Хопфа, тензорное произведение из двух модулей - это еще один модуль. Для элемента Икс из Uq(ГРАММ), а для векторов v и ш в соответствующих модулях, Икс ⋅ (vш) = Δ (Икс) ⋅ (vш), так что , а в случае сопродукции ∆1, и

Описанный выше интегрируемый модуль старшего веса является тензорным произведением одномерного модуля (на котором kλ = cλ для всех λ, и ея = жя = 0 для всех я) и модуль старшего веса, порожденный ненулевым вектором v0, при условии для всех весов λ, и для всех я.

В конкретном случае, когда грамм является конечномерной алгеброй Ли (как частный случай алгебры Каца – Муди), то неприводимые представления с доминантными целочисленными старшими весами также конечномерны.

В случае тензорного произведения модулей старшего веса его разложение на подмодули такое же, как и для тензорного произведения соответствующих модулей алгебры Каца – Муди (старшие веса такие же, как и их кратности).

Случай 2: q корень единства

Квазитреугольность

Случай 1: q не является корнем единства

Строго говоря, квантовая группа Uq(грамм) не является квазитреугольным, но его можно рассматривать как «почти квазитреугольный» в том смысле, что существует бесконечная формальная сумма, которая играет роль р-матрица. Эта бесконечная формальная сумма выражается через образующие ея и жя, и генераторы Картана тλ, куда kλ формально отождествляется с qтλ. Бесконечная формальная сумма - это произведение двух факторов:[нужна цитата ]

и бесконечная формальная сумма, где λj является базисом пространства, двойственного к подалгебре Картана, и μj - дуальный базис, и η = ±1.

Формальная бесконечная сумма, играющая роль р-матрица имеет четко определенное действие на тензорное произведение двух неприводимых модулей старшего веса, а также на тензорное произведение двух модулей младшего веса. В частности, если v имеет вес α и ш имеет вес β, тогда

и тот факт, что оба модуля являются модулями с наибольшим весом или оба модуля с наименьшим весом, снижает влияние другого фактора на vW к конечной сумме.

В частности, если V - модуль старшего веса, то формальная бесконечная сумма, р, имеет четко определенный, и обратимый, действие на VV, и это значение р (как элемент End (VV)) удовлетворяет Уравнение Янга – Бакстера, и, следовательно, позволяет нам определить представление группа кос, и определить квазиинварианты для узлы, ссылки и косы.

Случай 2: q корень единства

Квантовые группы при q = 0

Масаки Кашивара исследовал предельное поведение квантовых групп как q → 0, и обнаружил особенно хорошо работающую базу, названную кристаллическое основание.

Описание и классификация по корневым системам и диаграммам Дынкина

Был достигнут значительный прогресс в описании конечных частных квантовых групп, таких как приведенные выше Uq(грамм) за qп = 1; обычно рассматривают класс заостренный Алгебры Хопфа, что означает, что все субкоидеалы одномерны и, таким образом, сумма образует группу, называемую корадикальный:

  • В 2002 году Х.-Дж. Шнайдер и Н. Андрускевич [3] закончили свою классификацию точечных алгебр Хопфа с абелевой корадикальной группой (исключая простые числа 2, 3, 5, 7), особенно как указанные выше конечные факторы Uq(грамм) разложить на E′ S (борелевская часть), двойственная F'песок K(Алгебра Картана), как и обычные Полупростые алгебры Ли:
Здесь, как и в классической теории V это плетеное векторное пространство измерения п охватывает E'песок σ (так называемый коцилковый поворот) создает нетривиальную связывание между E'песок FС. Обратите внимание, что в отличие от классической теории может появиться более двух связанных компонентов. Роль квантовая алгебра Бореля принимается Алгебра николса плетеного векторного пространства.
обобщенная диаграмма Дынкина для точечной алгебры Хопфа, соединяющая четыре копии A3
  • Важнейшим ингредиентом был И. Хеккенбергер. классификация конечных алгебр Николса для абелевых групп в терминах обобщенных Диаграммы Дынкина.[4] Когда присутствуют маленькие простые числа, встречаются некоторые экзотические примеры, такие как треугольник (см. Также рисунок диаграммы Данкина ранга 3).
Диаграмма Дынкина ранга 3, ассоциированная с конечномерной алгеброй Николса
  • Между тем, Шнайдер и Хеккенбергер[5] в целом доказали существование арифметика корневая система также в неабелевом случае, порождая Основа PBW что доказано Харчеко в абелевом случае (без предположения о конечномерности). Это можно использовать[6] по конкретным делам Uq(грамм) и объясняет, например, численное совпадение между некоторыми коидеальными подалгебрами этих квантовых групп и порядком Группа Вейля из Алгебра Ли грамм.

Компактные матричные квантовые группы

С. Л. Воронович ввели компактные матричные квантовые группы. Компактные матричные квантовые группы представляют собой абстрактные структуры, на которых «непрерывные функции» по структуре задаются элементами C * -алгебра. Геометрия компактной матричной квантовой группы является частным случаем некоммутативная геометрия.

Непрерывные комплекснозначные функции на компактном хаусдорфовом топологическом пространстве образуют коммутативную C * -алгебру. Посредством Теорема Гельфанда коммутативная C * -алгебра изоморфна C * -алгебре непрерывных комплекснозначных функций на компактном хаусдорфовом топологическом пространстве, а топологическое пространство однозначно определяется C * -алгеброй с точностью до гомеоморфизм.

Для компактного топологическая группа, граммсуществует гомоморфизм C * -алгебр ∆: C(грамм) → C(грамм) ⊗ C(грамм) (куда C(грамм) ⊗ C(грамм) является тензорным произведением C * -алгебры - пополнением алгебраического тензорного произведения C(грамм) и C(грамм)) такое, что ∆ (ж)(Икс, у) = ж(ху) для всех жC(грамм), и для всех Икс, уграмм (куда (жграмм)(Икс, у) = ж(Икс)грамм(у) для всех ж, граммC(грамм) и все Икс, уграмм). Также существует линейное мультипликативное отображение κ: C(грамм) → C(грамм), такое что κ(ж)(Икс) = ж(Икс−1) для всех жC(грамм) и все Иксграмм. Строго говоря, это не делает C(грамм) алгебра Хопфа, если только грамм конечно. С другой стороны, конечномерное представление из грамм может использоваться для генерации * -подалгебры C(грамм), которая также является * -алгеброй Хопфа. В частности, если является п-мерное представление грамм, то для всех я, j тыijC(грамм) и

Отсюда следует, что * -алгебра, порожденная тыij для всех я, j и κ(тыij) для всех я, j является * -алгеброй Хопфа: коединица определяется ε (тыij) = δij для всех я, j (куда δij это Дельта Кронекера ) антипод κ, а единица равна

Общее определение

В качестве обобщения компактная матричная квантовая группа определяется как пара (C, ты), куда C является C * -алгеброй и матрица с элементами в C такой, что

  • * -Подалгебра, C0, из C, который порождается матричными элементами ты, плотно в C;
  • Существует гомоморфизм C * -алгебр, называемый коумножением Δ: CCC (куда CC является тензорным произведением C * -алгебры - пополнением алгебраического тензорного произведения C и C) такой, что для всех я, j у нас есть:
  • Существует линейное антимультипликативное отображение κ: C0C0 (коинверс) такая, что κ(κ(v*)*) = v для всех vC0 и

куда я является элементом идентичности C. Поскольку κ антимультипликативно, то κ(vw) = κ(ш) κ(v) для всех v, ш в C0.

Как следствие непрерывности, коумножение на C коассоциативный.

В целом, C не биалгебра, и C0 является * -алгеброй Хопфа.

Неофициально C можно рассматривать как * -алгебру непрерывных комплекснозначных функций над компактной матричной квантовой группой, а ты можно рассматривать как конечномерное представление компактной матричной квантовой группы.

Представления

Представление компактной матричной квантовой группы дается основная презентация * -алгебры Хопфа (корпредставление коассоциативной коассоциативной коалгебры А квадратная матрица с записями в А (так v принадлежит M (п, А)) такие, что

для всех я, j и ε(vij) = δij для всех я, j). Кроме того, представление v, называется унитарной, если матрица для v унитарен (или, что то же самое, если κ (vij) = v *ij для всех я, j).

Пример

Примером компактной матричной квантовой группы является SUμ(2), где параметр μ - положительное действительное число. Итак SUμ(2) = (C (SUμ(2)), ты), где C (SUμ(2)) является C * -алгеброй, порожденной элементами α и γ, при условии

и

так что коумножение определяется выражением ∆ (α) = α ⊗ α - γ ⊗ γ *, ∆ (γ) = α ⊗ γ + γ ⊗ α *, а коинверсия определяется выражением κ (α) = α *, κ (γ) = −μ−1γ, κ (γ *) = −μγ *, κ (α *) = α. Обратите внимание, что ты это представление, но не унитарное представление. ты эквивалентно унитарному представлению

Эквивалентно SUμ(2) = (C (SUμ(2)), ш), где C (SUμ(2)) является C * -алгеброй, порожденной элементами α и β, при условии

и

так что коумножение определяется как ∆ (α) = α ⊗ α - μβ ⊗ β *, ∆ (β) = α ⊗ β + β ⊗ α *, а коинверсия определяется как κ (α) = α *, κ (β) = −μ−1β, κ (β *) = −μβ *, κ (α *) = α. Обратите внимание, что ш является унитарным представлением. Реализации можно идентифицировать, приравняв .

Когда μ = 1, то SUμ(2) совпадает с алгеброй C(SU (2)) функций на конкретной компактной группе SU (2).

Бикроспродуктовые квантовые группы

В то время как компактные матричные псевдогруппы обычно являются версиями квантовых групп Дринфельда-Джимбо в формулировке алгебры двойственных функций, с дополнительной структурой, бикроспроизведения представляют собой отдельное второе семейство квантовых групп, возрастающее значение которых как деформаций разрешимых, а не полупростых групп Ли. Они связаны с лиевскими расщеплениями алгебр Ли или локальными факторизациями групп Ли и могут рассматриваться как перекрестное произведение или квантование Макки одного из факторов, действующих на другой для алгебры, и аналогичная история для копроизведения Δ со вторым фактором действуя в ответ на первое.

Самый простой нетривиальный пример соответствует двум экземплярам р действуют локально друг на друга и приводят к квантовой группе (заданной здесь в алгебраической форме) с генераторами п, K, K−1, скажем, и сопродукт

куда час - параметр деформации.

Эта квантовая группа была связана с игрушечной моделью физики планковского масштаба, реализующей Прирожденная взаимность если рассматривать как деформацию Алгебра Гейзенберга квантовой механики. Кроме того, начиная с любой компактной вещественной формы полупростой алгебры Ли грамм ее комплексификация как вещественная алгебра Ли двойной размерности распадается на грамм и некоторая разрешимая алгебра Ли ( Разложение Ивасавы ), и это обеспечивает каноническую квантовую группу бикроспродукта, связанную с грамм. За вс(2) получается квантовая групповая деформация Евклидова группа E (3) движений в 3-х измерениях.

Смотрите также

Примечания

  1. ^ Швиберт, Кристиан (1994), Обобщенное квантовое обратное рассеяние, п. 12237, г. arXiv:hep-th / 9412237v3, Bibcode:1994hep.th ... 12237S
  2. ^ Маджид, Шан (1988), "Алгебры Хопфа для физики в масштабе Планка", Классическая и квантовая гравитация, 5 (12): 1587–1607, Bibcode:1988CQGra ... 5.1587M, CiteSeerX  10.1.1.125.6178, Дои:10.1088/0264-9381/5/12/010
  3. ^ Андрускевич, Шнайдер: остроконечные алгебры Хопфа, Новые направления в алгебрах Хопфа, 1–68, Math. Sci. Res. Inst. Publ., 43, Cambridge Univ. Press, Кембридж, 2002.
  4. ^ Хекенбергер: алгебры Николса диагонального типа и арифметические системы корней, докторская диссертация 2005.
  5. ^ Хеккенбергер, Шнайдер: система корней и группоид Вейля для алгебр Николса, 2008.
  6. ^ Хеккенбергер, Шнайдер: Правые коидеальные подалгебры алгебр Николса и порядок Дюфло группоида Вейля, 2009.

Рекомендации