2025-11-11T02:06:45.795459

Iwahori Matsumoto presentation for modules of Iwahori fixed functions on symmetric spaces

Shtotland

We study the space $S(X)^I$ of smooth functions on a symmetric space $X=G/H$ invariant to the action of an Iwahori subgroup $I$, as a module over $\mathcal{H}(G,I)$, the Iwahori Hecke algebra of a p-adic group $G$. We present a description of this module that generalizes the description given to $\mathcal{H}(G,I)$ by Iwahori and Matsumoto.

academic

Iwahori Matsumoto presentation for modules of Iwahori fixed functions on symmetric spaces

基本信息

论文ID: 2406.16070
标题: Iwahori Matsumoto presentation for modules of Iwahori fixed functions on symmetric spaces
作者: Guy Shtotland
分类: math.RT (数学-表示论)
发表时间: 2024年6月 (arXiv预印本，2025年1月修订)
论文链接: https://arxiv.org/abs/2406.16070

摘要

本文研究对称空间 $X=G/H$ 上的光滑函数空间 $S(X)^I$ ，该空间在Iwahori子群 $I$ 作用下不变，并将其视为 $p$ -adic群 $G$ 的Iwahori Hecke代数 $\mathcal{H}(G,I)$ 上的模。文章给出了该模的描述，推广了Iwahori和Matsumoto对 $\mathcal{H}(G,I)$ 的经典描述。

研究背景与动机

核心问题

相对表示论中的基本问题: 研究 $H$ -distinguished表示，即满足 $\text{Hom}_H(\pi,\mathbb{C}) \neq 0$ 的 $G$ 的光滑表示 $\pi$
Iwahori固定向量的模结构: 通过Frobenius互反性， $H$ -distinguished不可约表示的研究等价于研究 $G$ -模 $S(X)$ 的商，其中 $S(X)$ 是 $X$ 上局部常数紧支撑函数空间

研究重要性

Iwahori子群 $I$ 将光滑表示范畴 $M(G)$ 分解，其中由 $I$ 固定向量生成的表示构成主块(principal block)
该范畴与有限维 $H(G,I)$ 模范畴等价，等价性由 $V \mapsto V^I$ 给出
描述 $S(X)^I$ 作为 $H(G,I)$ 模的结构是研究光滑 $H$ -distinguished表示的关键步骤

现有方法局限性

经典的Iwahori-Matsumoto描述仅适用于 $H(G,I)$ 本身
对于对称空间上的函数模 $S(X)^I$ 缺乏系统性描述
需要新的几何和组合方法来处理对称性约束

核心贡献

构造了仿射Weyl群在 $I\backslash X$ 上的作用: 证明了该作用具有有限个轨道
给出了 $I$ 轨道的完整分类: 建立了 $I\backslash X$ 与 $\bigcup_{T \in \mathcal{A}} W^H_{\text{aff}}(T)$ 的自然双射
推广了Iwahori-Matsumoto关系: 在 $l_\sigma(s \times x) \neq l_\sigma(x)$ 情况下给出了生成元 $T_s$ 的作用公式
完整描述了等长度情况: 对 $l_\sigma(s \times x) = l_\sigma(x)$ 的复杂情况给出了完整的结构常数公式
构造了泛模: 在泛Iwahori Hecke代数上构造了模 $M_t$ ，当 $t=q$ 时特化为 $S(X)^I$

方法详解

任务定义

研究对称空间 $X = G/H$ 上Iwahori固定函数空间 $S(X)^I$ 作为Iwahori Hecke代数 $H(G,I)$ 模的结构，其中：

$G$ 是 $p$ -adic域 $F$ 上的连通约化群
$H = G^\sigma$ 是代数对合 $\sigma: G \to G$ 的固定点群
$I$ 是 $G$ 的Iwahori子群

核心几何构造

1. 轨道分类

定理: 存在 $I\backslash X$ 与 $\bigcup_{T \in \mathcal{A}} W^H_{\text{aff}}(T)$ 之间的自然双射，其中：

$\mathcal{A} = T_\sigma/H$ 是 $\sigma$ -稳定极大环面的 $H$ 轨道代表元集合
$W^H_{\text{aff}}(T) = W_{\text{aff}}(T)/W_{H,\text{aff}}(T)$

2. 仿射Weyl群作用

通过上述双射定义仿射Weyl群 $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$ 是建筑中chamber之间的距离。

技术创新点

1. $\sigma$ -稳定apartment的唯一性

关键命题: 任何chamber都包含在某个 $\sigma$ -稳定apartment中，且该apartment在固定chamber的 $H$ 元素共轭下唯一。

2. 结构常数的几何解释

通过建筑几何将Hecke代数作用的计算归结为： $(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)$ ，通过parahoric群概型的约化商将问题转化为有限域上半单秩1群的对称子群在旗簇上的轨道计算。

主要结果

1. Iwahori-Matsumoto型公式

定理: 设 $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}$

存在3个 $\sigma$ -稳定apartment的 $T$ 轨道
$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$