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固定函数加群に対するIwahori Matsumoto表示

基本情報

論文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$ 進群 $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$ に対する体系的な記述が欠けている
対称性制約を扱うための新しい幾何学的および組合論的方法が必要である

中心的貢献

$I\backslash X$ 上のアフィンWeyl群作用の構成: この作用が有限個の軌道を持つことを証明
$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$ 進体 $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}$

$\sigma$ -安定apartmentの $T$ 軌道は3つ存在する
$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$