Алгебра

Квантовые группы

Цели урока

  • Освоить соотношения Uq(sl(2)) и классический предел q→1
  • Понять R-матрицу и уравнение Янга-Бакстера в форме группы кос
  • Знать структуру при корневом q и малую квантовую группу
  • Понимать кристальные базисы Кашивары как предел q→0

Предварительные знания

  • Универсальные обёртывающие алгебры
  • Алгебры Хопфа
  • Представления sl(2)
  • Универсальные обёртывающие алгебры

1985 год. Два человека на разных концах мира находят одно уравнение. Через 20 лет IBM строит квантовые компьютеры, Microsoft - топологические, оба используют это уравнение. Через 30 лет Кашивара получает Fields Medal за предел q→0. Всё началось с замены H на (q^H - q^{-H})/(q-q^{-1}).

  • IBM Quantum: Heron-процессоры используют R-матрицы Uq для описания запутанных состояний кубитов
  • Microsoft топологические квантовые вычисления: анионные браидинги описываются соотношениями группы кос через YBE
  • Инварианты узлов: полином Джонса вычисляется через R-матрицы при q = e^{2πi/r}
  • Интегрируемые системы: XXZ spin-chain, модель 6-вершин, модель Бакстера - все решены через квантовые группы

Открытие на двух континентах

Владимир Дринфельд в Харькове и Миио Джимбо в Токио независимо построили квантовые группы в 1985 году. Дринфельд ввёл их как деформации универсальных обёртывающих в контексте квантового обратного рассеяния. Джимбо нашёл их как q-аналоги соотношений Серра. В 1986 году Дринфельд доложил работу на ICM в Беркли и получил Медаль Филдса в 1990 году. Параллельно Кашивара разработал теорию кристальных базисов. Три линии исследований сошлись в одну теорию.

Uq(sl(2)) и квантовая деформация

1985 год. Два математика на разных концах мира - Дринфельд в Харькове и Джимбо в Токио - независимо находят одно и то же. Деформация алгебры с параметром q. При q=1 - классика. При q корень из единицы - что-то принципиально новое. IBM использует это для квантовых компьютеров уже сейчас.

q-числа: [n]_q = (q^n - q^{-n})/(q - q^{-1}). При q→1: [n]_q → n. Все формулы квантовых групп содержат q-числа вместо обычных целых чисел. Это ключевой словарь деформации.

При каком значении q квантовая группа Uq(sl(2)) совпадает с U(sl(2))?

При q→1 правила Uq(sl(2)) вырождаются в классические соотношения U(sl(2)) = sl(2)-скобки. Параметр q - расстояние от классики.

R-матрица и уравнение Янга-Бакстера

1967 год. Янг решает одномерную квантовую задачу с дельта-взаимодействием. 1972 год. Бакстер решает 8-вершинную модель. Оба используют одно уравнение, не зная друг о друге. Потом выяснится: это уравнение - душа интегрируемости.

Группа кос и квантовые компьютеры

Топологические квантовые вычисления

R-матрица квантовой группы задаёт представление группы кос: σ_i ↦ R_{i,i+1}. Уравнение Янга-Бакстера - это соотношение в группе кос. Топологические квантовые компьютеры Microsoft используют косообразные операции на анионах, описываемые именно такими R-матрицами. Ошибки физически невозможны - защита топологическая.

Любое решение уравнения Янга-Бакстера порождает интегрируемую систему. R-матрица Uq(sl(2)) - самое базовое решение. Из неё строятся модель XXZ, модель Гейзенберга и целый зоопарк решёточных моделей статистической физики.

Уравнение Янга-Бакстера R12 R13 R23 = R23 R13 R12 связано с:

YBE в форме R12 R23 R12 = R23 R12 R23 - это соотношение группы кос. R-матрица реализует генераторы группы кос. Это связь квантовых групп с топологией кос и узлов.

Корни из единицы и квантовые группы

При q = корень степени l из единицы происходит нечто неожиданное. Квантовая группа приобретает нильпотентные элементы. Появляются конечномерные цент. И именно этот случай связан с теорией представлений конечных групп при характеристике p.

Значение qТип алгебрыРазмерностьПрименение
q ≠ корень ед.Uq(g) общаябесконечнаяДеформация U(g), интегрируемые системы
q = 1U(g) классическаябесконечнаяСтандартная теория Ли
q = e^{2πi/l}Малая квантоваяl^{dim g}Связь с char p, узловые инварианты
q формальнаяU_q(g) над Z[q]бесконечнаяИнтегральные формы, канонический базис

Инварианты узлов Джонса, HOMFLY, Кауфмана - все вычисляются через R-матрицы квантовых групп при специальных значениях q. Это даёт связь между алгебраической структурой и 3D-топологией.

Что происходит с Uq(sl(2)) при q = e^{2πi/l} (примитивный корень из единицы степени l)?

При корневом q q-числа обнуляются: [l]_q = 0. Это создаёт нильпотентность и конечномерную малую квантовую группу u_q(sl(2)) размерности l^3. Ключевой случай для топологических инвариантов.

Кристальные базисы Кашивары

1990 год. Масаки Кашивара берёт предел q→0 в Uq(g)-модулях. Ожидаешь вырождения - получаешь кристалл. Дискретная комбинаторная структура, описывающая все неприводимые представления. Без единого сложного числа.

Кристалл B(2) для sl(2)

Неприводимое представление V_2

B(2) = {b_0, b_1, b_2} - три вершины. Веса: wt(b_0)=2, wt(b_1)=0, wt(b_2)=-2. Рёбра: tilde_f(b_0)=b_1, tilde_f(b_1)=b_2, tilde_f(b_2)=0. Тilde_e в обратном направлении. Это трёхвершинный путь - кристалл представления V_2.

Кристальный базис Кашивары получается из Uq(g)-модуля при:

Кристальный базис = предел q→0 с делёнными операторами Кашивары. Результат - дискретный граф (кристалл), комбинаторно кодирующий структуру представления.

Связи с другими областями

Квантовые группы объединяют алгебру, топологию и физику.

  • Теория узлов — Связанная тема
  • Интегрируемые системы — Связанная тема
  • Квантовые компьютеры — Связанная тема
  • Алгебраическая комбинаторика — Связанная тема

Итоги

  • Uq(sl(2)): KE=q^2EK, KF=q^{-2}FK, [E,F]=(K-K^{-1})/(q-q^{-1}); при q→1 восстанавливается U(sl(2))
  • R-матрица удовлетворяет YBE: R12 R13 R23 = R23 R13 R12 - соотношение группы кос
  • При q=e^{2πi/l}: малая квантовая группа u_q размерности l^3, нильпотентность E^l=F^l=0
  • Коумножение Δ(E)=E⊗K+1⊗E несимметрично - ключевое отличие от классики
  • Кристальный базис Кашивары: предел q→0 даёт дискретный граф B(λ) для представления V(λ)

Вопросы для размышления

  • Почему замена числа n на q-число [n]_q = (q^n - q^{-n})/(q-q^{-1}) является 'деформацией'?
  • Как уравнение Янга-Бакстера для R-матриц связано с соотношениями в группе кос Artina?
  • Почему именно предел q→0 даёт дискретную комбинаторную структуру, а не q→∞?

Связанные уроки

  • alg-25-universal-enveloping — Квантовые группы - деформация U(g)
  • alg-27-lie-repr — q-аналоги представлений sl(2)
  • alg-29-alg-comb — Многочлены Кажданa-Люстига возникают из квантовых групп
Квантовые группы

0

1

Войти