Представление Ивахори-Мацумото для модулей функций, фиксированных Ивахори, на симметрических пространствах

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

• ID статьи: 2406.16070
• Название: Iwahori Matsumoto presentation for modules of Iwahori fixed functions on symmetric spaces
• Автор: Guy Shtotland
• Классификация: math.RT (Математика - теория представлений)
• Дата публикации: июнь 2024 г. (препринт arXiv, пересмотрено в январе 2025 г.)
• Ссылка на статью: https://arxiv.org/abs/2406.16070

Аннотация

В данной работе исследуется пространство гладких функций $S(X)^I$ на симметрическом пространстве $X=G/H$, инвариантных относительно действия подгруппы Ивахори $I$, и рассматривается как модуль над алгеброй Ивахори-Хеке $\mathcal{H}(G,I)$ $p$-адической группы $G$. Статья дает описание этого модуля, обобщая классическое описание Ивахори и Мацумото алгебры $\mathcal{H}(G,I)$.

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

Основные проблемы

1. Фундаментальные вопросы в относительной теории представлений: изучение $H$-различимых представлений, то есть гладких представлений $\pi$ группы $G$, удовлетворяющих условию $\text{Hom}_H(\pi,\mathbb{C}) \neq 0$
2. Модульная структура векторов, фиксированных Ивахори: через взаимность Фробениуса исследование $H$-различимых неприводимых представлений эквивалентно изучению факторов $G$-модуля $S(X)$, где $S(X)$ — пространство локально постоянных функций с компактным носителем на $X$

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

• Подгруппа Ивахори $I$ разлагает категорию гладких представлений $M(G)$, где представления, порожденные векторами, фиксированными $I$, составляют главный блок (principal block)
• Эта категория эквивалентна категории конечномерных $H(G,I)$-модулей, эквивалентность задается отображением $V \mapsto V^I$
• Описание структуры $S(X)^I$ как $H(G,I)$-модуля является ключевым шагом в исследовании гладких $H$-различимых представлений

Ограничения существующих методов

• Классическое описание Ивахори-Мацумото применимо только к самой алгебре $H(G,I)$
• Отсутствует систематическое описание модулей функций $S(X)^I$ на симметрических пространствах
• Требуются новые геометрические и комбинаторные методы для работы с ограничениями симметрии

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

1. Построено действие аффинной группы Вейля на $I\backslash X$: доказано, что это действие имеет конечное число орбит
2. Дана полная классификация орбит $I$: установлена естественная биекция между $I\backslash X$ и $\bigcup_{T \in \mathcal{A}} W^H_{\text{aff}}(T)$
3. Обобщены соотношения Ивахори-Мацумото: даны формулы действия образующих $T_s$ в случае $l_\sigma(s \times x) \neq l_\sigma(x)$
4. Полное описание случая равной длины: даны полные формулы структурных констант для сложного случая $l_\sigma(s \times x) = l_\sigma(x)$
5. Построен универсальный модуль: на универсальной алгебре Ивахори-Хеке построен модуль $M_t$, который специализируется в $S(X)^I$ при $t=q$

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

Определение задачи

Исследование структуры пространства $S(X)^I$ функций, фиксированных Ивахори, на симметрическом пространстве $X = G/H$ как модуля над алгеброй Ивахори-Хеке $H(G,I)$, где:

• $G$ — связная редуктивная группа над $p$-адическим полем $F$
• $H = G^\sigma$ — группа неподвижных точек алгебраической инволюции $\sigma: G \to G$
• $I$ — подгруппа Ивахори группы $G$

Основная геометрическая конструкция

1. Классификация орбит

Теорема: существует естественная биекция между $I\backslash X$ и $\bigcup_{T \in \mathcal{A}} W^H_{\text{aff}}(T)$, где:

• $\mathcal{A} = T_\sigma/H$ — множество представителей $H$-орбит $\sigma$-стабильных максимальных торов
• $W^H_{\text{aff}}(T) = W_{\text{aff}}(T)/W_{H,\text{aff}}(T)$

2. Действие аффинной группы Вейля

Через указанную биекцию определяется действие аффинной группы Вейля $W_{\text{aff}}$ на $I\backslash X$ как $w \times x$, причем это действие осуществляется отдельно на каждом $W^H_{\text{aff}}(T)$.

3. Функция длины

Определяется функция длины $l_\sigma: I\backslash X \to \mathbb{N}$: $l_\sigma(C) := d(C, \sigma(C))$ где $d$ — расстояние между камерами в здании.

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

1. Единственность $\sigma$-стабильного апартамента

Ключевое предложение: любая камера содержится в некотором $\sigma$-стабильном апартаменте, и этот апартамент единственен с точностью до сопряжения элементами из $H$, фиксирующими данную камеру.

2. Геометрическая интерпретация структурных констант

Через геометрию здания вычисление действия алгебры Хеке сводится к: $(T_s + 1)1_x = \gamma_{f,g} D_{f,o}$ где $\gamma_{f,g}$ — размер определенной $H$-орбиты, $f = gC \cap gsC$.

3. Редукция к полупростому рангу 1

Для сложного случая равной длины $l_\sigma(s \times x) = l_\sigma(x)$ задача сводится через редукцию по схеме параахорической группы к вычислению орбит подгруппы симметрии полупростой группы ранга 1 над конечным полем, действующей на многообразии флагов.

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

1. Формулы типа Ивахори-Мацумото

Теорема: пусть $x \in I\backslash G/H$, $s \in \tilde{\Delta}$ — простой отражение, тогда:

• если $l_\sigma(s \times x) > l_\sigma(x)$, то $T_s 1_x = 1_{s \times x}$
• если $l_\sigma(s \times x) < l_\sigma(x)$, то $T_s 1_x = (q-1)1_x + q1_{s \times x}$

2. Полное описание случая равной длины

Теорема: если $l_\sigma(x) = l_\sigma(s \times x)$, то: $\gamma_{f,g} = \frac{q-1}{n_{\max}} \delta_{x,\max} + \frac{2}{n_{\min}} \delta_{x,\min}$ где $n_{\max}, n_{\min} \in \{1,2\}$ — количество орбит с максимальной/минимальной длиной $l_\sigma$ в носителе.

3. Конечная порожденность

Теорема: $S(X)^I$ является конечно порожденным модулем над $H(G,I)$.

4. Возможные структурные константы

Следствие: возможные значения структурных констант $\gamma_{f,g}$ — это: $1, 2, \frac{q-1}{2}, q-1, q, q+1, \frac{q+1}{2}$.

Конкретные примеры

Пример 1: $G = \text{SL}_2, H = T$ (диагональный тор)

• Существует 3 $T$-орбиты $\sigma$-стабильных апартаментов
• $I$-орбиты соответствуют $W_{\text{aff}} \sqcup W_{\text{aff}} \sqcup W_{\text{aff}}/T^0$
• Функция длины: $l_\sigma(z_0) = l_\sigma(z_1) = 0$, $l_\sigma(x_w) = l_\sigma(y_w) = 2\lfloor l(w)/2 \rfloor + 1$

Пример 2: $G = \text{SL}_{2n}, H = \text{Sp}_{2n}$

• Единственная орбита $\sigma$-стабильных апартаментов
• $I$-орбиты соответствуют кососимметричным матрицам в $W_{\text{aff}}$
• Формула действия: $w \times x = wxw^t$
• Функция длины: $l_\sigma(x) = l(x) - 1$

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

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

1. Классическая теория Ивахори-Мацумото: дает образующие и соотношения для $H(G,I)$
2. Разложение Картана для симметрических пространств: исследования Делорма-Сешера и других авторов по орбитам $K_0$ (где $K_0$ — максимальная компактная подгруппа)
3. Теория сферических функций: работы Хиронаки, Сакелларидиса и других по структуре $S(X)^{K_0}$ как $H(G,K_0)$-модуля

Инновации данной работы

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

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

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

1. Полное описание модульной структуры функций, фиксированных Ивахори, на симметрических пространствах
2. Обобщение классической теории Ивахори-Мацумото на относительный случай
3. Установление моста между $p$-адической геометрией и алгебраической геометрией над конечными полями

Ограничения

1. Требуется остаточная характеристика, не равная 2
2. Основное внимание уделяется расщепляемым группам
3. Формулы для случая равной длины относительно сложны

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

1. Исследование модульной структуры для симметрических пространств минимального ранга
2. Приложения к вопросам о различимости представлений Штейнберга
3. Обобщение на более общие сферические многообразия

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

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

1. Теоретическая глубина: искусное сочетание теории зданий, алгебр Хеке и алгебраической геометрии
2. Технические инновации: введение теории $\sigma$-стабильных апартаментов и методов редукции
3. Полнота: полное описание всех случаев, включая сложный случай равной длины
4. Геометрическая интуиция: преобразование алгебраических вычислений в геометрические задачи, повышающее понимание

Недостатки

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

Влияние

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

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

• Исследование относительной теории представлений $p$-адических групп
• Гармонический анализ на симметрических пространствах
• Модульная теория алгебр Хеке
• Приложения теории зданий

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

Данная работа в основном опирается на классические работы Ивахори-Мацумото IM65, теорию симметрических пространств Делорма-Сешера DS11, а также теорию классификации инволюций Хельминка-Ванга HW93 и другие важные источники.