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$ -구별된 표현 연구, 즉 $\text{Hom}_H(\pi,\mathbb{C}) \neq 0$ 을 만족하는 $G$ 의 매끄러운 표현 $\pi$
Iwahori 고정 벡터의 모듈 구조: Frobenius 상호성을 통해, $H$ -구별된 기약표현의 연구는 $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$ -구별된 표현을 연구하는 핵심 단계입니다.

기존 방법의 한계

고전적인 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에 포함되며, 고정된 chamber의 $H$ 원소 켤레 아래 이 apartment는 유일합니다.

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$