Гипотеза Каждана — Лустига

Гипотеза Каждана — Лустига — это математическая гипотеза в области теории представлений групп Ли и алгебраической геометрии, сформулированная советскими и американскими математиками Дэвидом Кажданом и Джорджем Лустигом в 1979 году. Гипотеза устанавливает связь между геометрическими свойствами многообразий флагов и алгебраической структурой кольца представлений полупростой группы Ли, а именно — между многочленами Каждана — Лустига и характерами простых модулей над алгеброй Ли. Она является одной из центральных проблем в теории представлений и была доказана в 1980-х годах независимо несколькими математиками, включая Александра Бейлинсона, Джозефа Бернштейна и Пьера Делиня.

История

Предпосылки

В 1970-х годах теория представлений полупростых групп Ли достигла значительного прогресса. Ключевым объектом изучения стали модули Верма — бесконечномерные представления алгебры Ли, которые служат строительными блоками для конечномерных представлений. Однако проблема описания характеров простых модулей (неприводимых представлений) оставалась открытой. В 1976 году Дэвид Каждан и Джордж Лустиг начали совместную работу, пытаясь связать эту задачу с топологией многообразий флагов — компактных пространств, параметризующих максимальные подгруппы Бореля в группе Ли.

Формулировка

В 1979 году Каждан и Лустиг опубликовали статью «Многочлены Каждана — Лустига и их комбинаторные приложения» (англ. «Kazhdan–Lusztig polynomials and their combinatorial applications»), где впервые сформулировали гипотезу. Она утверждала, что характер простого модуля с заданным старшим весом может быть вычислен через многочлены Каждана — Лустига, которые определяются комбинаторно из группы Вейля — конечной группы, связанной с системой корней группы Ли. Гипотеза была сформулирована для всех полупростых групп Ли, включая классические (типы A, B, C, D) и исключительные (типы E, F, G).

Доказательство

Гипотеза была доказана в 1980–1981 годах. Александр Бейлинсон и Джозеф Бернштейн (независимо) использовали методы теории пересечений в алгебраической геометрии, а Пьер Делинь и Джордж Лустиг — подход, основанный на теории этальных когомологий. Доказательство опиралось на построение категории эквивариантных пучков на многообразии флагов и их связь с модулями Верма. В 1987 году Бейлинсон, Бернштейн и Делинь опубликовали обобщение, известное как «теорема Каждана — Лустига», которая стала фундаментом для дальнейших исследований.

Основные понятия

Многочлены Каждана — Лустига

Многочлены Каждана — Лустига — это семейство многочленов с целыми коэффициентами, индексированных парами элементов группы Вейля W. Для элементов w, v ∈ W (где w ≤ v в частичном порядке Брюа) многочлен P_{w,v}(q) определяется рекурсивно через комбинаторные свойства группы Вейля. Эти многочлены имеют степень, не превосходящую (l(v) − l(w) − 1)/2, где l — длина элемента в группе Вейля. Они играют роль в теории представлений, топологии и комбинаторике.

Модули Верма и простые модули

Модули Верма M(λ) — это индуцированные представления алгебры Ли g, параметризованные весом λ ∈ h* (дуальное пространство к подалгебре Картана). Они имеют единственный максимальный подмодуль, фактор по которому даёт простой модуль L(λ). Характер ch L(λ) — это формальная сумма размерностей весовых подпространств, которая является ключевым объектом в теории представлений.

Многообразие флагов

Многообразие флагов G/B (где G — полупростая группа Ли, B — подгруппа Бореля) — это проективное алгебраическое многообразие, точки которого соответствуют максимальным флагам в векторном пространстве. Его топология тесно связана с группой Вейля: клеточное разбиение Брюа даёт стратификацию многообразия на клетки, индексированные элементами W.

Формулировка гипотезы

Основное утверждение

Гипотеза Каждана — Лустига утверждает, что для любого доминантного веса λ (такого, что λ + ρ — регулярный и доминантный, где ρ — полусумма положительных корней) характер простого модуля L(λ) выражается через многочлены Каждана — Лустига следующим образом:

ch L(λ) = Σ_{w ∈ W} (−1)^{l(w)} P_{w_0, w w_0}(1) · ch M(w · λ),

где w_0 — элемент максимальной длины в группе Вейля, а w · λ — действие группы Вейля на весовом пространстве со сдвигом на ρ. Коэффициенты P_{w_0, w w_0}(1) — это значения многочленов в точке q = 1.

Эквивалентная формулировка

В терминах теории пересечений гипотеза может быть переформулирована как утверждение о том, что простой модуль L(λ) изоморфен пространству глобальных сечений некоторого пучка на многообразии флагов, а его характер совпадает с характером модуля пересечений. Это связывает алгебраическую структуру с геометрическими инвариантами.

Доказательство и обобщения

Методы доказательства

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

Обобщения

После доказательства гипотеза была распространена на:

• Квантовые группы (многочлены Каждана — Лустига для квантовых оболочек).
• Аффинные алгебры Ли (гипотеза Каждана — Лустига для аффинных групп Вейля).
• Категории О (категории модулей над алгеброй Ли с фиксированным действием подалгебры Картана).
• Теорию представлений p-адических групп (гипотеза Ленглендса — Каждана — Лустига).

Применения

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

Гипотеза Каждана — Лустига дала явную формулу для характеров простых модулей, что позволило решить проблему классификации неприводимых представлений полупростых групп Ли. Она также привела к развитию теории пересечений и категорий пучков.

В комбинаторике

Многочлены Каждана — Лустига нашли применение в комбинаторике групп Вейля, например, в вычислении многочленов Р. Стэнли для многогранников и в теории матроидов. Они также связаны с числами Эйлера и числами Бетти многообразий флагов.

В алгебраической геометрии

Гипотеза стимулировала развитие теории пучков пересечений и теории D-модулей, которые стали основными инструментами в современной алгебраической геометрии. В частности, она повлияла на доказательство гипотезы Вейля о рациональности дзета-функций.

Критика и открытые вопросы

Сложность доказательства

Первоначальное доказательство гипотезы было сложным и требовало глубоких знаний в алгебраической геометрии и теории представлений. Некоторые математики, такие как Уильям Фултон, отмечали, что комбинаторная природа многочленов Каждана — Лустига остаётся не до конца понятой, и существуют альтернативные подходы, основанные на теории графов.

Открытые проблемы

Несмотря на доказательство, остаются открытые вопросы:

• Явное вычисление многочленов Каждана — Лустига для всех групп Вейля (особенно для исключительных групп).
• Связь с гипотезой Ленглендса и её обобщениями.
• Применение к теории представлений супергрупп Ли и квантовых групп.

Интересные факты

• Дэвид Каждан — советский и американский математик, родившийся в 1946 году в Москве. Он также известен работами по теории групп и алгебраической геометрии.
• Джордж Лустиг — американский математик румынского происхождения, родившийся в 1946 году. Он внёс вклад в теорию представлений и комбинаторику.
• Многочлены Каждана — Лустига используются в физике для описания состояний в теории струн и квантовой гравитации.
• В 1982 году за доказательство гипотезы Каждан и Лустиг получили премию Коула по алгебре.

Источники

• Каждан Д., Лустиг Дж. «Многочлены Каждана — Лустига и их комбинаторные приложения» (1979).
• Бейлинсон А., Бернштейн Дж. «Локализация модулей Верма» (1981).
• Делинь П., Лустиг Дж. «Представления редуктивных групп над конечными полями» (1983).
• Хамфрис Дж. «Введение в алгебры Ли и теорию представлений» (1994).
• Спрингер Т. А. «Многочлены Каждана — Лустига» (1982).