Мощные категорические представления

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

• ID статьи: 2510.07482
• Название: Potent categorical representations
• Авторы: David Ben-Zvi, David Nadler
• Классификация: math.RT math-ph math.AG math.MP
• Время публикации: октябрь 2025 г. (препринт arXiv)
• Ссылка на статью: https://arxiv.org/abs/2510.07482

Аннотация

В данной работе, основанной на сотрудничестве с Germán Stefanich, вводится концепция мощных категорических представлений редуктивной группы $G$ над комплексными числами. Авторы предлагают гипотетическое соответствие Ленглендса, которое отождествляет мощные категорические представления группы $G$ и её двойственной по Ленглендсу группы $\check{G}$. Подчёркивается симплектическая геометрическая природа мощных категорических представлений, которые одновременно зависят от параметров в максимальных торах групп $G$ и $\check{G}$, и обсуждается, как их гипотетическое соответствие Ленглендса встраивается в 2-категорическое преобразование Фурье. Основными инструментами являются высшая теория пучков и её микролокализация, в частности теория категорий ind-когерентных пучков на стеках. Эти конструкции вдохновлены физикой трёхмерной зеркальной симметрии и S-дуальности, а также теорией двойных аффинных алгебр Гекке.

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

Постановка проблемы

1. Ограничения традиционной теории категорических представлений: Традиционная теория категорических представлений редуктивной группы $G$ (такая как теория D-модулей) рассматривает только односторонние параметры, не учитывая двойственные параметры, что ограничивает полноту и симметричность теории.
2. Развитие геометрического соответствия Ленглендса: Существующие геометрические соответствия Ленглендса сосредоточены главным образом на односторонних пространствах параметров и недостаточно используют симплектическую геометрическую структуру.
3. Физическое вдохновение: Трёхмерная зеркальная симметрия и S-дуальность четырёхмерной теории Янга-Миллса $N=4$ предоставляют новую перспективу, предполагающую существование более богатых дуальных структур.

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

1. Стремление к симметрии: Поиск теоретической базы, которая одновременно включает параметры группы $G$ и её двойственной по Ленглендсу группы $\check{G}$.
2. Значимость симплектической геометрии: Признание центральной роли симплектической структуры пространства параметров $T \times \check{T}$ в соответствии Ленглендса.
3. Применение высшей категорической теории: Использование высшей теории ind-когерентных пучков, разработанной Stefanich, для конструирования более тонких категорических объектов.

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

1. Введение концепции мощных категорических представлений: Определение мощных категорических представлений редуктивной группы $G$ как циклических ind-когерентных пучков на циклическом пространстве $G/G = LBG$.
2. Предложение гипотезы о мощном соответствии Ленглендса: Гипотеза о существовании эквивалентности между мощными категорическими представлениями групп $G$ и $\check{G}$.
3. Установление теории 2-категорического преобразования Фурье: Доказательство 2-преобразования Фурье для конечномерных векторных пространств и обобщение на мультипликативный случай.
4. Конструирование мощного монада Гекке: Определение мощного монада Гекке $H_G$, который объединяет различные категории Гекке.
5. Связь физики и математики: Установление связи между трёхмерной TQFT и мощными категорическими представлениями.

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

Определение основных концепций

Мощные D-модули: Для стека $X$ мощные D-модули определяются как циклические пучки на циклическом пространстве: $D^{\text{pot}}(X) := \text{IndCoh}(LX)^{\text{Tate}}$

Мощные категорические представления: Для редуктивной группы $G$ мощные категорические $G$-представления определяются как: $G\text{-cat}^{\text{pot}} := 2\text{IndCoh}^{\diamond}(G/G)^{\text{Tate}}$

Технический фреймворк

1. Высшая теория ind-когерентных пучков

• Использование теории $2\text{IndCoh}$, разработанной Stefanich, которая является расширением $2\text{QCoh}$
• Объекты имеют сингулярные носители в $T^*[2]X$
• Удовлетворяют соотношению следа: $\text{Tr}(2\text{IndCoh}(X)) \simeq \text{IndCoh}(LX)$

2. Периодизация и эквивариантные расширения

• Периодизация: Введение периодического базиса $A = 2\text{IndCoh}^{\diamond}(\text{pt}) := 2\text{IndCoh}(G_a)/2\text{QCoh}(G_a)$
• Эквивариантные расширения: Для факторстека $X = Z/S^1$ расширение образующих от схем с $S^1$-действием к редуцированным абелевым гербам

3. 2-преобразование Фурье

Теорема: Для конечномерного векторного пространства $V$ и его двойственного $V^*$ существует 2-преобразование Фурье: $2\text{IndCoh}^{\pi}(V) \simeq 2\text{IndCoh}^{\pi}(V^*)$

Мощная теория Гекке

Мощный монада Гекке определяется как: $H_G \in 2\text{IndCoh}^{\diamond}(T/T \times T/T)^{\text{Tate}}$

Представляется ротационно-эквивариантным группоидом $L(B\backslash G/B) \to L(BT \times BT)$.

Теорема о монадности: Мощные категорические $G$-представления являются монадическими над мощными категорическими $T$-представлениями с монадой, являющейся мощным монадом Гекке $H_G$.

Основные результаты

Мультипликативное 2-преобразование Фурье

Теорема: Для тора $T$ существует мультипликативное 2-преобразование Фурье: $T\text{-cat}^{\text{pot,dR}} = 2\text{IndCoh}^{\diamond}(t/\Lambda \times BT)^{\text{Tate}} \simeq 2\text{IndCoh}^{\diamond}(\check{t}/\check{\Lambda} \times B\check{T})^{\text{Tate}} = \check{T}\text{-cat}^{\text{pot,dR}}$

Главная гипотеза: Мощная двойственность Ленглендса

Гипотеза: Для редуктивной группы $G$ мультипликативное 2-преобразование Фурье отождествляет de Rham мощные монады Гекке $H_G^{\text{dR}}$ и $H_{\check{G}}^{\text{dR}}$. Следовательно, существует эквивалентность: $G\text{-cat}^{\text{pot,dR}} \simeq \check{G}\text{-cat}^{\text{pot,dR}}$

Связь с физикой

Интерпретация в терминах трёхмерной TQFT

1. Теория Розанского-Виттена: $2\text{IndCoh}^{\diamond}(L)$ моделирует теорию RW кокасательного расслоения $T^*L$
2. Трёхмерная калибровочная теория: Мощные категорические представления предоставляют граничную теорию для трёхмерной теории Янга-Миллса $N=8$
3. Трёхмерная зеркальная симметрия: Связывает калибровочную теорию с теорией RW

Эквивариантная компактификация

Начиная с четырёхмерной теории Капустина-Виттена, через $S^1$-эквивариантную компактификацию и $\Omega$-фон, получается симметричная трёхмерная дуальность, которая является физическим источником мощной двойственности Ленглендса.

Приложения и обобщения

1. Связь с алгебрами Гекке

Установление соответствия трёхуровневой структуры Гекке:

• Конечная алгебра Гекке ↔ аффинная алгебра Гекке ↔ двойная аффинная алгебра Гекке
• Унипотентные представления ↔ de Rham представления ↔ мощные представления

2. Теория характеристических пучков

Ожидается, что след мощных представлений даст пучки на схеме Гильберта, связывая гомологии зацеплений Хованова-Розанского и программу y-ификации.

3. Относительная двойственность Ленглендса

Гипотеза: Для двойственных сферических многообразий $G \curvearrowright X$ и $\check{G} \curvearrowright \check{X}$ мощная двойственность Ленглендса согласует $D_G^{\text{pot}}(X)$ с $D_{\check{G}}^{\text{pot}}(\check{X})$.

Теоретическое значение и влияние

Математические вклады

1. Объединяющая база: Предоставляет объединяющую базу для различных категорий Гекке и теории представлений
2. Симплектическая геометрическая перспектива: Подчёркивает значимость симплектической геометрии в соответствии Ленглендса
3. Высшая категоризация: Продвигает применение высшей категорической теории в теории представлений

Физические идеи

1. Реализация TQFT: Предоставляет строгую математическую модель для трёхмерной TQFT
2. Понимание дуальности: Углубляет понимание зеркальной симметрии и S-дуальности
3. Размерная редукция: Уточняет механизм понижения четырёхмерной теории до трёхмерной через эквивариантную компактификацию

Технические вызовы и ограничения

Текущие ограничения

1. Аналитические основания: Многие конструкции в настоящее время лишены адекватных аналитических оснований
2. Вычислительная сложность: Конкретные вычисления мощных категорических представлений остаются затруднительными
3. Трудность верификации: Основные результаты остаются гипотетическими

Будущие направления

1. Конкретная реализация: Разработка эффективных методов вычисления мощных категорических представлений
2. Расширение применений: Распространение на другие типы групп и пространств
3. Физическая верификация: Проверка математических гипотез через физические теории

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

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

1. Концептуальная инновация: Концепция мощных категорических представлений обладает оригинальностью и глубиной
2. Теоретическое объединение: Успешно связывает несколько математических и физических областей
3. Техническая глубина: Использует передовые инструменты высшей категорической теории
4. Физическое вдохновение: Полностью использует глубокие идеи из физики

Недостатки

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

Оценка влияния

Данная статья представляет важный прогресс в геометрической теории представлений и, вероятно:

1. Продвинет развитие программы Ленглендса
2. Углубит междисциплинарные исследования математики и физики
3. Вдохновит новые вычислительные и прикладные методы

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