Инварианты для $\mathbb G_{(r)}$-модулей

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

• ID статьи: 2505.08094
• Название: Инварианты для $\mathbb G_{(r)}$-модулей
• Автор: Eric M. Friedlander
• Классификация: math.RT (теория представлений)
• Дата публикации: 16 октября 2025 г.
• Ссылка на статью: https://arxiv.org/abs/2505.08094

Аннотация

В данной работе пересматриваются тонкие инварианты конечномерных представлений инфинитезимальной групповой схемы $\mathbb G_{(r)}$ над полем $k$ характеристики $p>0$, построенные ранее J. Pevtsova и автором. Основное внимание уделяется рассмотрению универсального $p$-нильпотентного оператора как элемента групповой алгебры групповой схемы $\mathbb G_{(r),X}$ над $X$, где $X$ — пространство модулей 1-параметрических подгрупп высоты $r$ группы $\mathbb G$ — $V_r(\mathbb G)$ или пространство модулей $r$-наборов попарно коммутирующих $p$-нильпотентных элементов из алгебры Ли $\mathfrak g$ группы $\mathbb G$ — $\mathcal C_r(\mathcal N_p(\mathfrak g))$.

Научный контекст и мотивация

Проблемный фон

1. Развитие теории поддержки: Работа использует методы и результаты теории поддержки для изучения явных инвариантов конечномерных модулей над инфинитезимальными групповыми схемами, что контрастирует с предыдущими работами, использовавшими теорию поддержки для установления свойств категорий представлений конечных групповых схем.
2. Углубленное исследование функции типа Жордана: Автор развивает введённую ранее совместно с J. Pevtsova "функцию типа Жордана", которая обеспечивает непрерывное отображение из схемы точек, представляющих 1-параметрические подгруппы высоты $r$, в частично упорядоченное множество диаграмм Юнга с $p$ столбцами.
3. Вычислительная доступность: Существующие функции типа Жордана вычислительно сложны, что требует разработки более удобных для вычисления вариантов.

Научная мотивация

1. Более тонкие инварианты: По сравнению с теорией когомологической поддержки $M \mapsto P_{H^*(G_{(r)},k)}M$, функция типа Жордана $M \mapsto JT_{G,r,M}(-)$ захватывает больше информации о $G_{(r)}$-модуле $M$.
2. Специальная обработка экспоненциальных групп: Для экспоненциальных групп 1-параметрические подгруппы могут быть описаны более явно через $p$-нильпотентные элементы алгебры Ли, что упрощает вычисления.

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

1. Формализация функции типа Жордана: Формализация функции типа Жордана с использованием нескольких вариантов непрерывной функции $JT_{G,r,M}(-): \mathbb P V_r(\mathbb G) \to \mathcal Y$, где $\mathcal Y$ — частично упорядоченное множество диаграмм Юнга с $p$ столбцами.
2. Упрощённый экспоненциальный тип Жордана: Введение более вычислимой функции экспоненциального типа Жордана $JT^{\exp}_{g,r,M}(-)$, особенно применимой к экспоненциальным групповым схемам.
3. Расширение конструкции векторных расслоений: Расширение конструкции векторных расслоений, предложенной ранее Pevtsova и автором, на все конечномерные $G_{(r)}$-модули, что даёт когерентные пучки, локально свободные на слоях над $X$, связанными с $JT_{G,r,M}(-)$.
4. Исправление результатов о стабилизации: Исправление небольшой ошибки в предыдущей работе, касающейся стабилизации функции типа Жордана относительно $r$.

Методологические подробности

Основные понятия и определения

Определение типа Жордана

Для $k[t]/t^p$-модуля $M$ его тип Жордана $a = (a_1, \ldots, a_p) \in \mathbb{N}^{\times p}$ определяется количеством $a_i$ жордановых клеток размера $i$ в жордановой нормальной форме матрицы $\rho_M(t)$.

Универсальный $p$-нильпотентный оператор

Для аффинной групповой схемы $G$ и положительного целого числа $r$ универсальная 1-параметрическая подгруппа $U_{G,r}: G_{a(r),k[V_r(G)]} \to G_{(r),k[V_r(G)]}$ индуцирует универсальный $p$-нильпотентный оператор $\Theta_{G,r} = (U_{G,r})_*(1 \otimes u_{r-1}) \in k[V_r(G)] \otimes kG_{(r)}$

Экспоненциальные групповые схемы

Экспоненциальная структура

Групповая схема $G$ с экспоненциальной структурой высоты $r$ означает существование морфизма $E^{(r)}: G_{a(r)} \times \mathcal{N}_p(g) \to G_{(r)}$ удовлетворяющего определённым условиям коммутативности и однородности.

Упрощённый оператор

Для экспоненциальной группы определяется $\Theta^{\exp}_{g,r} = \sum_{s=0}^{r-1} \Theta_{g,r|s} \in k[C_r(\mathcal{N}_p(g))] \otimes kG_{(r)}$ что является линеаризацией исходного оператора $\Theta_{g,r} = \prod_{s=0}^{r-1} \Theta_{g,r|s}$.

Непрерывность функции типа Жордана

Теорема: Для конечномерного $G_{(r)}$-модуля $M$ функция $JT_{G,r,M}(-): \text{Spec}A \to \mathcal{Y}$ является непрерывной, где $A$ — нётерова коммутативная $k$-алгебра.

Доказательство основано на лемме Накаямы и полунепрерывности снизу типа Жордана.

Технические инновации

1. Слоистая геометрическая структура

Работа устанавливает слоистую структуру $\mathbb{P}V_r(G)$, где каждый слой определяется множеством уровня функции типа Жордана: $(PV_r(G))_{M,=a} = \{x : JT_{G,r,M}(x) = a\}$ Эти слои являются локально замкнутыми множествами, образующими стратификацию, упорядоченную частичным порядком на диаграммах Юнга.

2. Обоснованность экспоненциального упрощения

Ключевой результат показывает, что для изучения поддерживающих многообразий $\Theta_{g,r}$ и $\Theta^{\exp}_{g,r}$ дают одинаковую информацию:

Предложение: Пусть $M$ — конечномерный $G_{(r)}$-модуль, $a$ — максимальный тип Жордана модуля $M$. Для любого $B \in C_r(\mathcal{N}_p(g))$, $JT(\Theta^{\exp}_{g,r,B}, k(B) \otimes M) = a \iff JT(\Theta_{g,r,B}, k(B) \otimes M) = a$

3. $A^1$-гомотопическая эквивалентность векторных расслоений

Для модулей с постоянным типом Жордана векторные расслоения, построенные с использованием $\Theta_{g,r}$ и $\Theta^{\exp}_{g,r}$, являются $A^1$-гомотопически эквивалентными.

Примеры и вычислительные результаты

Пример 1: Случай $SL_2$

Для $G = SL_2$ рассмотрим неприводимый $G$-модуль $M = S(\lambda_0) \otimes S(\lambda_1)^{(1)}$, где $0 \leq \lambda_0, \lambda_1 < p$.

Вычисление $JT^{\exp}_{sl_2,2,M}(B)$, где $B = (a_0E, a_1E)$, $E$ — стандартная нильпотентная матрица:

• Если $a_0 \neq 0, a_1 = 0$: тип Жордана равен $m \cdot [n]$
• Если $a_0 = 0, a_1 \neq 0$: тип Жордана равен $n \cdot [m]$
• Если $a_0, a_1$ оба ненулевые: тип Жордана равен $[m] \otimes [n]$

где $m = \lambda_0 + 1$, $n = \lambda_1 + 1$.

Пример 2: Полиномиальные представления $GL_N$

Для $i$-го кручения Фробениуса $V^{(i)}$ полиномиального представления степени $< p$ группы $GL_N$: $JT^{\exp}_{gl_N,r,V^{(i)}}(B) = JT(B_s, V)$ где $s = r - i - 1$, $B = (B_0, \ldots, B_{r-1})$.

Связанные работы

Развитие теории поддержки

• Сотрудничество Suslin, Bendel и автора установило теорию поддержки, заменяющую когомологические многообразия многообразиями 1-параметрических подгрупп
• Предыдущая работа Pevtsova и автора установила тонкие инварианты и конструкции векторных расслоений
• Работа Carlson о циклических сдвигах подгрупп в $(Z/p)^{\times r}$ в идентификации поддерживающих многообразий модулей

Теория типов Жордана

• Развитие теории модулей с постоянным типом Жордана
• Работа Carlson-Friedlander о точных категориях модулей с постоянным типом Жордана
• Теорема реализации Benson-Pevtsova о модулях с постоянным типом Жордана и векторных расслоениях

Заключение и обсуждение

Основные выводы

1. Установлена полная теоретическая база функции типа Жордана, включая непрерывность, функториальность и связь с поддерживающими многообразиями
2. Для экспоненциальных групп предложена вычислительно более удобная упрощённая версия
3. Расширена конструкция векторных расслоений на произвольные конечномерные модули, дающая когерентные пучки, локально свободные на слоях

Ограничения

1. Экспоненциальное упрощение применимо только к экспоненциальным групповым схемам
2. Для $r > 1$ функция типа Жордана редко коммутирует с тензорным произведением
3. Некоторые вычисления остаются сложными, особенно при работе с суммами нескольких коммутирующих нильпотентных операторов

Направления будущих исследований

1. Исследование свойств стабилизации функции типа Жордана
2. Разработка более эффективных методов вычисления
3. Изучение связей с другими инвариантами в алгебраической геометрии
4. Исследование дополнительных свойств слоистых когерентных пучков

Глубокая оценка

Преимущества

1. Теоретическая полнота: Предоставляет полную теоретическую базу функции типа Жордана, включая непрерывность, функториальность и другие фундаментальные свойства
2. Вычислительная доступность: Экспоненциальное упрощение делает практические вычисления возможными
3. Геометрические идеи: Устанавливает глубокие связи между теорией представлений и алгебраической геометрией
4. Технические инновации: Расширение конструкции векторных расслоений и установление слоистой структуры

Недостатки

1. Ограниченная область применения: Многие результаты применимы только к экспоненциальным групповым схемам
2. Вычислительная сложность: Несмотря на упрощения, некоторые вычисления остаются сложными
3. Относительно мало примеров: Можно было бы предоставить больше конкретных вычислительных примеров

Влияние

Данная работа предоставляет важные геометрические инструменты для теории представлений инфинитезимальных групповых схем и, как ожидается, окажет значительное влияние на пересечение теории представлений алгебраических групп, алгебраической геометрии и гомологической алгебры.

Области применения

• Исследования в теории представлений алгебраических групп
• Геометрический анализ категорий модулей
• Приложения теории поддержки
• Задачи классификации векторных расслоений

Библиография

Статья цитирует основополагающие работы в этой области, включая:

• Работы Suslin, Friedlander, Bendel об инфинитезимальных 1-параметрических подгруппах и когомологиях
• Исследования Friedlander, Pevtsova по π-поддержке и обобщённым поддерживающим многообразиям
• Классические работы Carlson о многообразиях модулей и когомологических кольцах
• Стандартные ссылки в алгебраической геометрии на взвешенные проективные пространства и когерентные пучки