Детерминантная формула Янцена

Детерминантная формула Янцена — это математическое выражение, связывающее детерминант (определитель) матрицы специального вида с произведением её диагональных элементов, используемое в теории представлений алгебр Ли и квантовой теории поля. Формула была предложена немецким математиком и физиком-теоретиком Райнхардом Янценом (Reinhard Jantzen) в 1970-х годах в контексте изучения модулей Верма над алгебрами Ли. Она является ключевым инструментом для анализа структуры неприводимых представлений полупростых алгебр Ли, позволяя вычислять детерминанты форм Шаповалова и устанавливать критерии редукции модулей.

История открытия

Формула возникла в рамках программы классификации неприводимых представлений полупростых алгебр Ли, начатой в работах Эли Картана и Германа Вейля. В середине XX века значительный прогресс был достигнут благодаря теории модулей Верма, введённой Дэвидом Верма. Однако оставалась нерешённой проблема точного описания редукции (сокращения) этих модулей — то есть определения того, при каких условиях модуль Верма становится приводимым.

В 1977 году Райнхард Янцен, работавший в Рурском университете Бохума, опубликовал статью, в которой вывел формулу для детерминанта матрицы, связанной с формой Шаповалова на модулях Верма. Эта матрица, известная как матрица Янцена, имеет размерность, равную кратности весов в модуле, и её детерминант выражается через произведение линейных функций, зависящих от корневой системы алгебры Ли. Формула Янцена позволила в явном виде определить, когда модуль Верма является неприводимым, и дала начало целому направлению в теории представлений — теории Янцена.

Математическая формулировка

Основные обозначения

Пусть \(\mathfrak{g}\) — полупростая алгебра Ли над полем комплексных чисел \(\mathbb{C}\), \(\mathfrak{h}\) — её подалгебра Картана, \(\Phi\) — корневая система, \(\Phi^+\) — множество положительных корней. Для каждого веса \(\lambda \in \mathfrak{h}^*\) определён модуль Верма \(M(\lambda)\) с максимальным весом \(\lambda\). На модуле Верма существует билинейная форма Шаповалова \((\cdot, \cdot)\), которая инвариантна относительно действия алгебры Ли.

Форма Шаповалова и матрица Янцена

Форма Шаповалова задаёт спаривание между \(M(\lambda)\) и его дуальным модулем. В градуировке по весам её ограничение на весовое подпространство \(M(\lambda)_\mu\) (где \(\mu = \lambda - \sum_{i} n_i \alpha_i\), \(\alpha_i \in \Phi^+\)) представляется матрицей \(B_\mu\). Размерность этой матрицы равна кратности веса \(\mu\) в модуле Верма, которая вычисляется по формуле Костанта.

Детерминантная формула Янцена утверждает, что детерминант матрицы \(B_\mu\) (с точностью до ненулевого множителя) равен:

\[ \det B_\mu = \prod_{\alpha \in \Phi^+} \prod_{n=1}^{\infty} \left( \langle \lambda + \rho, \alpha^\vee \rangle - n \right)^{P(\mu - n\alpha)}. \]

Здесь:

• \(\rho\) — полусумма положительных корней,
• \(\alpha^\vee\) — корень, дуальный к \(\alpha\) (относительно формы Киллинга),
• \(\langle \cdot, \cdot \rangle\) — спаривание между \(\mathfrak{h}^*\) и \(\mathfrak{h}\),
• \(P(\nu)\) — функция Костанта, равная числу способов представить вес \(\nu\) в виде суммы положительных корней (с неотрицательными целыми коэффициентами).

Следствия формулы

Из формулы следует, что детерминант обращается в нуль тогда и только тогда, когда для некоторого положительного корня \(\alpha\) и натурального числа \(n\) выполняется равенство \(\langle \lambda + \rho, \alpha^\vee \rangle = n\). Это условие эквивалентно тому, что модуль Верма \(M(\lambda)\) является приводимым. Точнее, если \(\langle \lambda + \rho, \alpha^\vee \rangle\) — целое положительное число, то в \(M(\lambda)\) существует нетривиальное подмодуль, порождённый сингулярным вектором веса \(s_\alpha \cdot \lambda\), где \(s_\alpha\) — отражение относительно корня \(\alpha\).

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

Классификация неприводимых модулей

Формула Янцена является основой для доказательства критерия редукции модулей Верма. Она позволяет определить, для каких весов \(\lambda\) модуль \(M(\lambda)\) является простым (неприводимым). В частности, если \(\lambda\) — целый доминантный вес (то есть \(\langle \lambda + \rho, \alpha^\vee \rangle\) — положительное целое число для всех \(\alpha \in \Phi^+\)), то модуль Верма приводим, и его единственный простой фактор — это конечномерный модуль старшего веса.

Теория Янцена и гипотеза Каждана — Люстига

Детерминантная формула Янцена тесно связана с гипотезой Каждана — Люстига (доказанной в 1980-х годах), которая даёт явное описание характеров неприводимых представлений полупростых алгебр Ли. Формула Янцена предоставляет комбинаторный инструмент для вычисления кратностей весов в этих представлениях, а гипотеза Каждана — Люстига выражает эти кратности через полиномы Каждана — Люстига, которые, в свою очередь, связаны с детерминантами Янцена.

Обобщения

Формула Янцена была обобщена на другие классы алгебр и модулей:

• Квантовые группы: для модулей Верма над квантовыми обёртывающими алгебрами \(U_q(\mathfrak{g})\) существует аналог формулы, в котором целые числа \(n\) заменяются на \(q\)-целые числа.
• Алгебры Ли в положительной характеристике: для алгебр Ли над полями простой характеристики формула Янцена модифицируется с учётом феномена редукции по модулю \(p\).
• Супералгебры Ли: для супералгебр Ли, таких как \(\mathfrak{gl}(m|n)\), существуют аналоги детерминантной формулы, учитывающие градуировку по чётности.

Критика и ограничения

Несмотря на свою фундаментальность, детерминантная формула Янцена имеет ограничения:

• Она применима только к модулям Верма, а не к произвольным модулям над алгебрами Ли.
• Вычисление функции Костанта \(P(\nu)\) для больших весов является комбинаторно сложной задачей, что затрудняет практическое использование формулы.
• В нецелых или недоминантных случаях формула может давать тривиальные результаты (детерминант не обращается в нуль), что не позволяет выявить все возможные редукции.

Историческое значение

Формула Янцена стала одним из ключевых результатов в теории представлений конца XX века. Она позволила систематизировать знания о структуре модулей Верма и заложила основы для дальнейших исследований в области алгебраической комбинаторики, теории особенностей и математической физики. В частности, её применение в квантовой теории поля связано с анализом сингулярных векторов в вертексных алгебрах и моделях конформной теории поля.

Источники

1. Jantzen, R. (1977). Moduln mit einem höchsten Gewicht. Lecture Notes in Mathematics, vol. 750. Springer.
2. Humphreys, J. E. (2008). Representations of Semisimple Lie Algebras in the BGG Category O. Graduate Studies in Mathematics, vol. 94. AMS.
3. Кац, В. Г. (1990). Бесконечномерные алгебры Ли. Мир.
4. Dixmier, J. (1977). Enveloping Algebras. North-Holland.