2025-11-10T03:16:02.678091

Explicit realization of bounded modules for symplectic Lie algebras: spinor versus oscillator

Futorny, Grantcharov, Ramirez et al.
We provide an explicit combinatorial realization of all simple and injective (hence, and projective) modules in the category of bounded $\mathfrak{sp}(2n)$-modules. This realization is defined via a natural tableaux correspondence between spinor-type modules of $\mathfrak{so}(2n)$ and oscillator-type modules of $\mathfrak{sp}(2n)$. In particular, we show that, in contrast with the $A$-type case, the generic and bounded $\mathfrak{sp}(2n)$-modules admit an analog of the Gelfand-Graev continuation from finite-dimensional representations.
academic

Явная реализация ограниченных модулей для симплектических алгебр Ли: спинорный versus осциллятор

Основная информация

  • ID статьи: 2406.15929
  • Название: Explicit realization of bounded modules for symplectic Lie algebras: spinor versus oscillator
  • Авторы: Vyacheslav Futorny, Dimitar Grantcharov, Luis Enrique Ramirez, Pablo Zadunaisky
  • Классификация: math.RT (Теория представлений)
  • Время публикации: июнь 2024 г. (arXiv v2: 2 января 2025 г.)
  • Ссылка на статью: https://arxiv.org/abs/2406.15929

Аннотация

В данной статье предоставляется явная комбинаторная реализация всех простых и инъективных модулей (и, следовательно, проективных модулей) в категории ограниченных sp(2n)\mathfrak{sp}(2n)-модулей. Эта реализация определяется через естественное табличное соответствие между спинорными модулями алгебры so(2n)\mathfrak{so}(2n) и осциллятор-типовыми модулями алгебры sp(2n)\mathfrak{sp}(2n). В частности, авторы доказывают, что в отличие от случая типа AA, общие и ограниченные sp(2n)\mathfrak{sp}(2n)-модули допускают аналоги расширений Гельфанда-Граева, возникающих из конечномерных представлений.

Исследовательский контекст и мотивация

Предпосылки проблемы

  1. Развитие теории модулей Гельфанда-Цетлина: В последние годы теория модулей Гельфанда-Цетлина привлекла широкое внимание благодаря связям с диаграммными алгебрами KLRW и ветвями Кулона. В случае gl(n)\mathfrak{gl}(n) установлена полная параметризация всех простых модулей Гельфанда-Цетлина.
  2. Сложность симплектического случая: Для симплектической алгебры Ли sp(2n)\mathfrak{sp}(2n) ситуация более сложная, поскольку объединение центров U(sp(2k))U(\mathfrak{sp}(2k)) не образует максимальную подалгебру; требуется добавление "промежуточных" элементов для определения подалгебры типа Гельфанда-Цетлина.
  3. Отсутствие явных формул: Хотя известно, что действие GT(sp(2n))GT(\mathfrak{sp}(2n)) на любом простом конечномерном sp(2n)\mathfrak{sp}(2n)-модуле диагонализируемо с простым спектром, явные формулы действия образующих на табличном базисе остаются неизвестными.

Исследовательская мотивация

  1. Установление теории Гельфанда-Цетлина для симплектического случая: В качестве первого шага изучить sp(2n)\mathfrak{sp}(2n)-модули с табличной реализацией Гельфанда-Цетлина.
  2. Исследование спинорно-осциллятор соответствия: Прояснить загадочную связь между спинорными модулями алгебры so(2n)\mathfrak{so}(2n) и осциллятор-типовыми модулями алгебры sp(2n)\mathfrak{sp}(2n).
  3. Принцип расширения Гельфанда-Граева: Найти модули, удовлетворяющие принципу расширения Гельфанда-Граева, то есть модули с табличным базисом, на котором действие образующих выражается классическими формулами Гельфанда-Цетлина.

Основные вклады

  1. Явная табличная реализация: Предоставлена явная табличная реализация всех простых и неразложимых инъективных (проективных) модулей в категории ограниченных sp(2n)\mathfrak{sp}(2n)-модулей.
  2. Спинорно-осциллятор соответствие: Установлено прозрачное соответствие между полуцелыми (спинорного типа) конечномерными модулями алгебры so(2n)\mathfrak{so}(2n) и бесконечномерными ограниченными (осциллятор-типовыми) модулями алгебры sp(2n)\mathfrak{sp}(2n).
  3. Расширение Гельфанда-Граева: Доказано, что в отличие от случая типа AA, общие и ограниченные sp(2n)\mathfrak{sp}(2n)-модули допускают расширение Гельфанда-Граева.
  4. Полная классификация: Дана полная классификация и явное описание всех бесконечномерных простых ограниченных sp(2n)\mathfrak{sp}(2n)-модулей.

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

Определение таблиц и условия стандартности

C-типовые таблицы (Определение 2.6)

C-типовая таблица Гельфанда-Цетлина состоит из массива n2+nn^2 + n комплексных чисел:

\ell_{n1} & \ell_{n2} & \cdots & \ell_{nn} \\ \ell'_{n1} & \ell'_{n2} & \cdots & \ell'_{nn} \\ \ell_{n-1,1} & \ell_{n-1,2} & \cdots & \ell_{n-1,n-1} \\ \ell'_{n-1,1} & \ell'_{n-1,2} & \cdots & \ell'_{n-1,n-1} \\ \vdots & \vdots & \ddots & \vdots \\ \ell_{11} \\ \ell'_{11} \end{matrix}$$ #### C-стандартные таблицы (Определение 2.7) C-типовая таблица $T(L)$ называется C-стандартной, если её элементы удовлетворяют: - $-\frac{1}{2} \geq \ell'_{k1} \geq \ell_{k1} > \ell'_{k2} \geq \ell_{k2} > \cdots > \ell'_{kk} \geq \ell_{kk}$ - $-\frac{1}{2} \geq \ell'_{k1} \geq \ell_{k-1,1} > \ell'_{k2} \geq \ell_{k-1,2} > \cdots > \ell'_{kk}$ ### Ограниченные табличные модули $V(\mu,\lambda)$ #### Определение (Определение 4.8) Для $\mu = (\mu_1, \ldots, \mu_n) \in \mathbb{C}^n$ и $\lambda = (\lambda_1, \ldots, \lambda_n) \in (\frac{1}{2} + \mathbb{Z})^n$ определим: 1. $\ell := \lambda + \rho_D + \frac{1}{2}$, то есть $\ell_i := \lambda_i - i + \frac{3}{2}$ 2. Множество C-типовых таблиц: $$B(\mu,\lambda) := \{T(W) | T_{C\backslash D}(W) \in \mu + \mathbb{Z}^n, \text{ и } T_D(W) \in D^{\lambda}_{st}\}$$ 3. Комплексное векторное пространство $V(\mu,\lambda)$ с базисом $B(\mu,\lambda)$ #### Ключевые свойства - **Регулярность** (Предложение 4.10): $B(\mu,\lambda)$ является множеством C-регулярных таблиц тогда и только тогда, когда $\mu_i \notin \mathbb{Z}$ и $\lambda_i \in \frac{1}{2} + \mathbb{Z}$ - **Формула веса** (Определение 4.12): C-вес таблицы $T(L)$ равен $$\omega_k(L) := 2\sum_{i=1}^k \ell'_{ki} - \sum_{i=1}^k \ell_{ki} - \sum_{i=1}^{k-1} \ell_{k-1,i} + k - \frac{1}{2}$$ ### Теоремы о структуре модулей #### Основная теорема о структуре (Теорема 4.11) Пространство $V(\mu,\lambda)$ имеет структуру $\mathfrak{sp}(2n)$-модуля, действие образующих задаётся формулами (7-17), и действие любого $z \in Z(U(\mathfrak{sp}(2n)))$ задаётся умножением на $p_z(\lambda+1)$. #### Носитель и кратности весов (Теорема 4.21) Для любого $\gamma \in \text{Supp}(V(\mu,\lambda))$ имеем: $$\dim V(\mu,\lambda)_\gamma = \frac{1}{2^{n-1}} \dim L_D(\lambda)$$ ## Экспериментальные результаты и теоретическая верификация ### Описание носителя (Предложение 4.20) $$\text{Supp}(V(\mu,\lambda)) = 2\mu + \lambda + 1 + Q_C$$ где $Q_C$ — корневая решётка. ### Классификация подфакторов #### Конструкция подмодулей (Определение 4.30) Для подходящего непустого подмножества $\Sigma \subseteq \text{Int}(2\mu)$ определим: $$V(\mu,\lambda,\Sigma) = \left(\bigcap_{i \in \Sigma} V^+_i(\mu,\lambda)\right) \bigg/ \sum_{j \in \text{Int}(2\mu)\backslash\Sigma} \left(\bigcap_{k \in \Sigma \cup \{j\}} V^+_k(\mu,\lambda)\right)$$ #### Простота и классификация (Теорема 4.33) 1. Каждый бесконечномерный простой ограниченный $\mathfrak{sp}(2n)$-модуль изоморфен некоторому $V(\mu,\lambda,\Sigma)$ 2. $V(\mu,\lambda,\Sigma) \cong V(\mu',\lambda',\Sigma')$ тогда и только тогда, когда $\Sigma = \Sigma'$ и выполнены специальные условия ### Инъективная оболочка (Следствие 4.35) $V(\mu,\lambda)$ является инъективной оболочкой $V(\mu,\lambda,\text{Int}(2\mu))$ в категории ограниченных $\mathfrak{sp}(2n)$-модулей. ## Связанные работы ### Теория модулей Гельфанда-Цетлина - **Случай типа A**: В случае $\mathfrak{gl}(n)$ установлена полная теория параметризации - **Вызовы типа C**: Работа Молева установила табличную реализацию в конечномерном случае, но отсутствуют явные формулы ### Теория ограниченных модулей - **Результаты классификации**: Классификация Матьё простых ограниченных модулей, описание инъективных модулей Грантчаровым-Сергановой - **Модули степени 1**: Полное описание ограниченных модулей степени 1 Бриттеном-Лемиром ### Спинорно-осциллятор соответствие - **Классический случай**: Соответствие между спинорными представлениями и представлением Шейла-Вейля в случае кратности веса 1 уже было понято - **Общий случай**: Данная работа обобщает это соответствие на общий случай ограниченных модулей ## Заключение и обсуждение ### Основные выводы 1. **Полная реализация**: Впервые дана явная табличная реализация всех ограниченных $\mathfrak{sp}(2n)$-модулей 2. **Глубокое соответствие**: Раскрыта глубокая связь между спинорными модулями алгебры $\mathfrak{so}(2n)$ и осциллятор-типовыми модулями алгебры $\mathfrak{sp}(2n)$ 3. **Принцип расширения**: Доказана применимость расширения Гельфанда-Граева в симплектическом случае ### Теоретическое значение Данная работа предоставляет новые инструменты и перспективы для теории представлений симплектических алгебр Ли, в частности: - Устанавливает основы теории Гельфанда-Цетлина для симплектического случая - Предоставляет конкретные методы вычисления ограниченных модулей - Открывает новые пути для понимания связей между различными типами алгебр Ли ### Направления будущих исследований 1. **Обобщение на другие типы**: Распространение методов на другие классические алгебры Ли 2. **Приложения в теории вершинных алгебр**: Применение в теории вершинных алгебр 3. **Геометрические реализации**: Поиск геометрических реализаций этих модулей ## Глубокая оценка ### Преимущества 1. **Теоретическая полнота**: Предоставлена полная классификация и явная конструкция ограниченных $\mathfrak{sp}(2n)$-модулей 2. **Методологические инновации**: Установлены новые методы конструкции через спинорно-осциллятор соответствие 3. **Техническое мастерство**: Доказательства отличаются изяществом, особенно в условиях регулярности и вычислениях весов 4. **Практическая ценность**: Предоставлены конкретные применимые инструменты для смежных областей ### Технические вклады 1. **Табличное соответствие**: Установлено точное соответствие между таблицами типа C и типа D 2. **Формулы весов**: Дано явное описание весовых пространств и формулы размерности 3. **Конструкция подфакторов**: Предоставлена единая конструкция всех простых подфакторов ### Влияние Данная работа, как ожидается, окажет значительное влияние на следующие области: - Теория представлений алгебр Ли - Теория модулей Гельфанда-Цетлина - Теория вершинных алгебр - Бесконечномерные представления в математической физике ### Области применения Данная теория особенно применима к: - Исследованию бесконечномерных представлений симплектических алгебр Ли - Конкретным вычислениям ограниченных модулей с целыми весами - Математическому описанию связанных физических моделей ## Библиография Статья ссылается на важные работы в данной области, включая: - Фундаментальные работы Молева о табличных реализациях для симплектических и ортогональных алгебр Ли - Теорию классификации ограниченных модулей Матьё и Грантчарова-Сергановой - Последние достижения Футорного и соавторов в теории модулей Гельфанда-Цетлина --- Данная статья вносит значительный вклад в теорию представлений симплектических алгебр Ли, не только решая давно стоящие технические проблемы, но и предоставляя новые перспективы для понимания глубоких связей между различными типами алгебр Ли. Её методы и результаты имеют важное значение для развития теории бесконечномерных представлений.