Некоторые вопросы о представлениях p-адических групп

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

• ID статьи: 2511.06438
• Название: Some questions about representations of p-adic groups
• Автор: Dipendra Prasad (Indian Institute of Technology Bombay)
• Классификация: math.RT (Теория представлений)
• Дата публикации: 11 ноября 2025
• Ссылка на статью: https://arxiv.org/abs/2511.06438
• Характер работы: Сборник открытых проблем и обзор направлений исследований

Аннотация

В статье обсуждаются несколько нерешённых проблем в теории представлений p-адических групп. Эти проблемы возникли на семинаре по теории представлений, проведённом в июле 2025 года в IISER Bhopal. По просьбе участников автор предложил ряд доступных проблем, не требующих обширного предварительного знания, но имеющих значительную исследовательскую ценность.

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

Источники проблем

1. Потребность в академическом обмене: На семинаре по теории представлений в IISER Bhopal несколько участников выразили желание получить нерешённые проблемы, которые одновременно имели бы исследовательскую ценность и были бы относительно доступны
2. Состояние области: Теория представлений p-адических групп является центральным инструментом теории чисел и теории автоморфных форм, однако многие фундаментальные вопросы остаются полностью не понятыми
3. Теоретические пробелы: Несмотря на существование грандиозной теоретической программы Ленглендса, многие конкретные технические вопросы не имеют явных ответов

Значимость исследования

1. Фундаментальное теоретическое значение: Теория представлений p-адических групп составляет основу локального соответствия Ленглендса и критически важна для понимания симметрий в теории чисел
2. Технические вызовы: Переход от групп над конечными полями к p-адическим группам представляет существенный скачок от дискретного к непрерывному
3. Прикладная ценность: Решение этих проблем будет способствовать пониманию автоморфных форм, L-функций и других центральных объектов теории чисел

Позиционирование статьи

Данная работа не является традиционной исследовательской статьёй, а представляет собой сборник исследовательских проблем, целью которого является:

• Формулировка чётких, разрешимых исследовательских проблем
• Предоставление необходимого контекста для каждой проблемы
• Объяснение связей между проблемами и ожидаемых ответов
• Направление молодых исследователей в данную область

Основной вклад

Главный вклад статьи заключается в систематическом предложении 8 конкретных исследовательских проблем, охватывающих следующие темы:

1. Классификация представлений p-адических групп, содержащих представления групп над конечными полями (Вопросы 1-2)
2. Вырожденные модели Уиттакера на GLn(D) (Вопросы 3-4)
3. Скрученные модули Жаке для GL2n(Fq) (Вопросы 5-6)
4. Суперкаспидальные представления накрывающих групп (Вопрос 7)
5. Преобразование Фурье на Mn(Fq) (Вопрос 8)

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

Часть первая: Представления p-адических групп, содержащие представления групп над конечными полями

Предварительные установки

Пусть F — локальное поле, OF — кольцо целых, Fq — поле вычетов. Для расщепляемой или неразветвлённой группы G:

• G(OF) — максимальная компактная подгруппа в G(F)
• существует сюръекция G(OF) → G(Fq)
• представления G(Fq) можно рассматривать как представления G(OF) посредством раздутия

Вопрос 1: Поднятие представления Стейнберга

Формулировка проблемы: Классифицировать все неприводимые представления G(F), содержащие представление Стейнберга группы G(Fq) как G(OF)-подпредставление.

Ожидаемый ответ:

1. Скручивания характером представления Стейнберга группы G(F)
2. Общие неразветвлённые представления G(F) (то есть неприводимые сферические главные серии)

Теоретическое обоснование:

• Эти представления имеют минимальное ветвление, в частности имеют инвариантные векторы относительно подгруппы Ивахори
• По теореме Бореля они появляются как подфакторы неразветвлённых главных серий

Вопрос 2: Поднятие общих представлений πλ

Пусть πλ — неприводимое представление G(Fq), связанное с неприводимым представлением λ группы Вейля, появляющееся в $\text{Ind}_{B(\mathbb{F}_q)}^{G(\mathbb{F}_q)}(\mathbb{C})$

Проблема: Охарактеризовать представления G(F), содержащие πλ, используя расширенные параметры Ленглендса или классификацию Зелевинского.

Частный случай: Для стандартной параболической подгруппы P существует неприводимое представление ΠP. Проблема сводится к вопросу: для каких пар (P,λ) имеет место $\text{Hom}_{GL_n(\mathcal{O}_F)}(\Pi_P, \pi_\lambda) \neq 0?$

Часть вторая: Вырожденные модели Уиттакера для GLn(D)

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

Пусть D — алгебра с делением, ϕ: D → ℂ× — нетривиальный аддитивный характер.

Вырожденная модель Уиттакера: Представление Π имеет ненулевой скрученный модуль Жаке ΠN,ψ, где $\psi\begin{pmatrix} 1 & X_1 & * & \cdots & * \\ 0 & 1 & X_2 & \ddots & * \\ \vdots & & \ddots & \ddots & \vdots \\ 0 & 0 & \cdots & 1 & X_{n-1} \\ 0 & 0 & \cdots & 0 & 1 \end{pmatrix} = \varphi(\text{tr}(X_1 + X_2 + \cdots + X_{n-1}))$

Известные результаты:

• Мёглин и Вальдшпургер доказали, что dim ΠN,ψ < ∞
• Для GLn(F) (D=F) это обычная модель Уиттакера
• Суперкаспидальные представления всегда имеют ненулевую вырожденную модель Уиттакера
• Все темперированные представления имеют вырожденную модель Уиттакера

Вопрос 3: Классификация существования

Проблема: Классифицировать неприводимые представления GLn(D), имеющие ненулевую вырожденную модель Уиттакера, используя соответствие Жаке-Ленглендса или параметры Ленглендса.

Подпроблемы:

• Существует ли аналог "гипотезы о стандартной модели"?
• Можно ли использовать присоединённую γ-функцию для определения размерности пространства вырожденной модели Уиттакера (аналогично гипотезе Хирага-Ичино-Икеды)?

Вопрос 4: Единственность

Проблема: Классифицировать неприводимые представления GLn(D), имеющие единственную вырожденную модель Уиттакера, в частности, какие каспидальные представления обладают этим свойством?

Гипотеза: Возможно, только каспидальные представления нулевой глубины имеют одномерное пространство вырожденной модели Уиттакера (на основе единственности модели Уиттакера над конечными полями).

Часть третья: Скрученные модули Жаке для GL2n(Fq)

Теоретическая база

Для каспидального представления π группы GL2n(Fq) главная серия π × π имеет точную последовательность: $0 \to \text{St}_2(\pi) \to \pi \times \pi \to \text{Sp}_2(\pi) \to 0$

где:

• St2(π): обобщённое представление Стейнберга (общая компонента)
• Sp2(π): обобщённое тривиальное представление
• dim St2(π) = qⁿ dim Sp2(π)

Вычисление скрученных модулей Жаке

Пусть ψ: N = M(n,Fq) → ℂ× — характер x ↦ ϕ(tr(X)).

Для представления Делиня-Люстига R(T,θ) (T = 𝔽×q2n) имеет место: $R(T,\theta) = \text{St}_2(\pi) - \text{Sp}_2(\pi)$

Результаты из литературы Pr дают: $\text{Ind}_{F^*_{q^n}}^{GL_n(\mathbb{F}_q)} \theta^2 = \text{St}_2(\pi)_{N,\psi} - \text{Sp}_2(\pi)_{N,\psi}$

Объединяя с $(\pi \times \pi)_{N,\psi} = \text{St}_2(\pi)_{N,\psi} + \text{Sp}_2(\pi)_{N,\psi}$, получаем: $\text{Sp}_2(\pi)_{N,\psi} = \frac{1}{2}\left((\pi \times \pi)_{N,\psi} - \text{Ind}_{F^*_{q^n}}^{GL_n(\mathbb{F}_q)} \theta^2\right)$

Вопрос 5: Явное вычисление

Проблема: Для каспидального представления π группы GLn(Fq) вычислить:

1. Скрученный модуль Жаке (π × π)N,ψ главной серии
2. Скрученный модуль Жаке Sp2(π)N,ψ "обобщённого тривиального" представления

Известный частный случай: При n=2 пространство Sp2(π)N,ψ является одномерным представлением ωπ группы GL2(Fq).

Вопрос 6: p-адический аналог

Для каспидального представления π = R(T,θ) группы GL2n(Fq) имеет место: $\pi_{N,\psi} = \text{Ind}_{F^*_{q^n}}^{GL_n(\mathbb{F}_q)} (\theta|_{F^*_{q^n}}) \quad (1)$

Проблема: Каков аналог равенства (1) для GL2n(F) над p-адическим полем F?

Трудности:

• Доказательство в случае конечного поля опирается на теорию характеров
• Число неприводимых компонент в πN,ψ является полиномом от q (положительной степени), что невозможно доказать теорией характеров в p-адическом случае
• Требуется "геометрическое" доказательство, а не доказательство через теорию характеров

Возможная формулировка: Обе части имеют конечные фильтрации, чьи последовательные факторы совпадают или связаны.

Часть четвёртая: Накрывающие группы

Установки

Пусть G̃ → G — конечное накрытие p-адической группы, центральное расширение с ядром Z, циклической группой, ϵ: Z → ℂ× — фиксированный верный характер. Пусть K — модульная центральная компактная подгруппа, на которой накрытие расщепляется.

Вопрос 7: Поднятие суперкаспидальных представлений

Пусть Π = IndᴳK(ρ) — неприводимое суперкаспидальное представление G, ρ — неприводимое представление K. Определим:

• ρ̃ как представление K̃ = Z·s(K): на s(K) равно ρ, на Z равно ϵ
• Π̃ = IndG̃K̃(ρ̃)

Требуется доказать:

1. Π̃ — неприводимое суперкаспидальное представление
2. Если накрытие расщепляется на всех модульных центральных максимальных компактных подгруппах, то все суперкаспидальные представления G̃ с центральным характером ϵ имеют такой вид
3. Π̃ — общее тогда и только тогда, когда Π — общее
4. dim HomN(Π̃,ψ) = dim HomN(Π,ψ), в частности эти представления накрывающих групп удовлетворяют свойству кратности один для моделей Уиттакера

Значение: Контрастирует с высокой кратностью главных серий представлений GGK.

Часть пятая: Преобразование Фурье на Mn(Fq)

Контекст

На Mn(F) существует богатая теория преобразования Фурье, играющая фундаментальную роль в теории представлений GLn(F) (пионерская работа Хау). Однако случай конечного поля, похоже, не был предметом аналогичных исследований.

Вопрос 8: Конкретные вычисления

Дана функция f на Mn(Fq), её преобразование Фурье f̂ также является функцией на Mn(Fq).

Требуется вычислить:

1. Преобразование Фурье характеристических функций нильпотентных орбит
2. Преобразование Фурье характеристических функций полупростых орбит
3. Преобразование Фурье характеристической функции нильпотентного конуса
4. Связать вышеуказанные результаты с теорией характеров GLn(Fq)
5. Проделать то же самое для более общих полупростых алгебр Ли g (определённых над Fq)

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

Особенности конструирования проблем

1. Доступность: Проблемы сформулированы явно и конкретно, не требуют обширного предварительного знания
2. Связность: Проблемы имеют внутренние связи, отражающие единство теории представлений
3. Иерархичность: От конечных полей к p-адическим полям, от частных случаев к общим

Теоретические прозрения

1. Соответствие конечное-бесконечное: Несколько проблем исследуют соответствие между конечными полями и p-адическими полями
2. Геометризация: Подчёркивается необходимость "геометрического" доказательства, а не доказательства через теорию характеров
3. Единая база: Соответствие Ленглендса объединяет различные проблемы

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

Ключевые цитируемые источники

1. Bo Borel (1976): Теория допустимых представлений с инвариантными векторами Ивахори
2. Li Jian-Shu Li (1992): Результаты о неразветвлённых главных сериях
3. MW Moeglin-Waldspurger (1987): Конечномерность вырожденных моделей Уиттакера
4. HII Hiraga-Ichino-Ikeda (2008): Формальные степени и присоединённые γ-факторы
5. Ho Howe (1974): Преобразование Фурье и ростки характеров
6. Pr Prasad (2000): Пространства вырожденных моделей Уиттакера для общих линейных групп над конечными полями
7. NS Nadimpalli-Sheth (2025): Скрученные модули Жаке
8. GGK Gao-Gurevich-Karasiewicz (2024): Представления Гельфанда-Граева накрывающих групп

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

• Программа Ленглендса: Предоставляет глобальную теоретическую базу
• Теория Делиня-Люстига: Геометрическое построение представлений конечных групп
• Соответствие Жаке-Ленглендса: Соответствие между GLn(D) и GLmn(F)
• Теория Бернштейна-Зелевинского: Теория производных и классификация

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

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

1. Чёткие направления исследований: Предложены 8 конкретных исследуемых проблем
2. Значительное теоретическое значение: Эти проблемы затрагивают центральные технические вопросы теории представлений
3. Методологические прозрения: Подчёркивается исследовательский путь от конечного к бесконечному, от частного к общему

Ценность открытых проблем

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

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

1. Теория конечных полей: Совершенствование фундаментальной теории над конечными полями (например, Вопрос 8)
2. p-адические обобщения: Распространение результатов конечных полей на p-адический случай
3. Геометризация: Поиск геометрических интерпретаций для большего числа проблем
4. Единая теория: Объединение различных явлений через соответствие Ленглендса

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

Достоинства

1. Высокое качество проблем
   • Каждая проблема имеет чёткую математическую формулировку
   • Проблемы имеют исследовательскую ценность и относительно доступны
   • Предоставлены ожидаемые ответы и исследовательские подходы
2. Достаточный справочный материал
   • Для каждой проблемы предоставлены необходимые определения и известные результаты
   • Цитирование соответствующей литературы уместно
   • Объяснены связи между проблемами
3. Ясное изложение
   • Математические формулировки точны
   • Логическая структура прозрачна
   • Замечания (Remarks) предоставляют дополнительные прозрения
4. Академическая ценность
   • Заполняет пробел в сборниках открытых проблем в области
   • Способствует перекрёстному взаимодействию различных направлений исследований
   • Помогает подготовке молодых исследователей

Недостатки

1. Ограниченный обзор литературы
   • Обзор существующих работ по каждой проблеме относительно краток
   • Можно было бы более подробно описать уже полученные частичные результаты
2. Технические детали
   • Трудности отдельных проблем могли бы быть сформулированы более явно
   • Можно было бы предоставить более детальные технические пути решения проблем
3. Ограниченный охват
   • Автор признаёт, что выбирает проблемы "с очень узкой точки зрения"
   • Основное внимание сосредоточено на GLn и связанных группах
4. Отсутствие примеров
   • Для некоторых абстрактных проблем конкретные примеры были бы полезны
   • Например, явные вычисления для GL2 или GL3

Влияние

1. Вклад в область
   • Предоставляет чёткие направления для исследований в теории представлений
   • Связывает теорию конечных полей и p-адических полей
   • Стимулирует развитие теории представлений накрывающих групп
2. Практическая ценность
   • Подходит как темы для диссертаций аспирантов
   • Может использоваться для организации семинаров
   • Способствует международному сотрудничеству
3. Воспроизводимость
   • Проблемы сформулированы явно и легко понимаются
   • Предоставлены достаточные стартовые ссылки
   • Некоторые проблемы могут быть исследованы с помощью компьютерных вычислений

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

1. Исследователи
   • Аспиранты, ищущие темы докторских диссертаций
   • Исследователи, желающие войти в новые области
   • Преподаватели, организующие семинары
2. Исследовательские темы
   • Теория представлений p-адических групп
   • Теория представлений конечных групп
   • Программа Ленглендса
   • Теория автоморфных форм
3. Необходимый технический фон
   • Базовые знания теории представлений групп
   • Понимание основных свойств p-адических полей
   • Знакомство с индуцированными представлениями и модулями Жаке

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

Ключевые цитируемые в работе источники охватывают:

1. Фундаментальная теория: Работы Бореля об инвариантных векторах Ивахори
2. Теория классификации: Классификация Бернштейна-Зелевинского, классификация представлений конечных групп Люстигом
3. Функциональные уравнения: Работы Хирага-Ичино-Икеды о формальных степенях
4. Анализ Фурье: Классические работы Хау о преобразовании Фурье
5. Последние достижения: Nadimpalli-Sheth (2025), Gao-Gurevich-Karasiewicz (2024)

Итоговое резюме

Это высокого качества сборник открытых проблем, предоставляющий 8 чётких, имеющих исследовательскую ценность нерешённых проблем в теории представлений p-адических групп. Основная ценность работы заключается в:

1. Явности: Каждая проблема имеет ясную математическую формулировку и ожидаемые ответы
2. Доступности: Проблемы не требуют обширного предварительного знания и подходят для молодых исследователей
3. Связности: Проблемы имеют внутренние связи, отражающие единство теории
4. Вдохновляющем характере: Предоставляет исследовательские подходы и методологическое руководство

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