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

Basic Information

• Paper ID: 2406.16070
• Title: Iwahori Matsumoto presentation for modules of Iwahori fixed functions on symmetric spaces
• Author: Guy Shtotland
• Classification: math.RT (Mathematics - Representation Theory)
• Publication Date: June 2024 (arXiv preprint, revised January 2025)
• Paper Link: https://arxiv.org/abs/2406.16070

Abstract

This paper studies the space of smooth functions $S(X)^I$ on symmetric spaces $X=G/H$ that are invariant under the action of the Iwahori subgroup $I$, viewing it as a module over the Iwahori Hecke algebra $\mathcal{H}(G,I)$ of the $p$-adic group $G$. The article provides a description of this module, generalizing the classical description of $\mathcal{H}(G,I)$ by Iwahori and Matsumoto.

Research Background and Motivation

Core Problems

1. Fundamental questions in relative representation theory: Study of $H$-distinguished representations, i.e., smooth representations $\pi$ of $G$ satisfying $\text{Hom}_H(\pi,\mathbb{C}) \neq 0$
2. Module structure of Iwahori fixed vectors: Via Frobenius reciprocity, the study of $H$-distinguished irreducible representations is equivalent to studying quotients of the $G$-module $S(X)$, where $S(X)$ is the space of locally constant compactly supported functions on $X$

Research Significance

• The Iwahori subgroup $I$ decomposes the category of smooth representations $M(G)$, where representations generated by $I$-fixed vectors form the principal block
• This category is equivalent to the category of finite-dimensional $H(G,I)$-modules, with equivalence given by $V \mapsto V^I$
• Describing the structure of $S(X)^I$ as an $H(G,I)$-module is a key step in studying smooth $H$-distinguished representations

Limitations of Existing Methods

• The classical Iwahori-Matsumoto description applies only to $H(G,I)$ itself
• Systematic description of function modules $S(X)^I$ on symmetric spaces is lacking
• New geometric and combinatorial methods are needed to handle symmetry constraints

Core Contributions

1. Construction of affine Weyl group action on $I\backslash X$: Proved that this action has finitely many orbits
2. Complete classification of $I$-orbits: Established a natural bijection between $I\backslash X$ and $\bigcup_{T \in \mathcal{A}} W^H_{\text{aff}}(T)$
3. Generalization of Iwahori-Matsumoto relations: Provided action formulas for generators $T_s$ in the case $l_\sigma(s \times x) \neq l_\sigma(x)$
4. Complete description of equal-length case: Provided complete structure constant formulas for the complex case $l_\sigma(s \times x) = l_\sigma(x)$
5. Construction of universal module: Constructed module $M_t$ over the universal Iwahori Hecke algebra, specializing to $S(X)^I$ when $t=q$

Detailed Methods

Task Definition

Study the structure of the space $S(X)^I$ of Iwahori-fixed functions on the symmetric space $X = G/H$ as a module over the Iwahori Hecke algebra $H(G,I)$, where:

• $G$ is a connected reductive group over a $p$-adic field $F$
• $H = G^\sigma$ is the fixed point group of an algebraic involution $\sigma: G \to G$
• $I$ is an Iwahori subgroup of $G$

Core Geometric Construction

1. Orbit Classification

Theorem: There exists a natural bijection between $I\backslash X$ and $\bigcup_{T \in \mathcal{A}} W^H_{\text{aff}}(T)$, where:

• $\mathcal{A} = T_\sigma/H$ is the set of representatives of $H$-orbits of $\sigma$-stable maximal tori
• $W^H_{\text{aff}}(T) = W_{\text{aff}}(T)/W_{H,\text{aff}}(T)$

2. Affine Weyl Group Action

Define the action of the affine Weyl group $W_{\text{aff}}$ on $I\backslash X$ via $w \times x$ through the above bijection, with the action performed separately on each $W^H_{\text{aff}}(T)$.

3. Length Function

Define the length function $l_\sigma: I\backslash X \to \mathbb{N}$: $l_\sigma(C) := d(C, \sigma(C))$ where $d$ is the distance between chambers in the building.

Technical Innovations

1. Uniqueness of $\sigma$-stable apartments

Key Proposition: Every chamber is contained in some $\sigma$-stable apartment, and this apartment is unique up to conjugation by $H$-elements fixing the chamber.

2. Geometric interpretation of structure constants

Through building geometry, the computation of Hecke algebra action reduces to: $(T_s + 1)1_x = \gamma_{f,g} D_{f,o}$ where $\gamma_{f,g}$ is the size of a specific $H$-orbit, and $f = gC \cap gsC$.

3. Reduction to semisimple rank 1 case

For the complex equal-length case $l_\sigma(s \times x) = l_\sigma(x)$, reduction via quotients of parahoric group schemes transforms the problem into computing orbits of symmetric subgroups of semisimple rank 1 groups over finite fields acting on flag varieties.

Main Results

1. Iwahori-Matsumoto type formulas

Theorem: Let $x \in I\backslash G/H$ and $s \in \tilde{\Delta}$ be a simple reflection. Then:

• If $l_\sigma(s \times x) > l_\sigma(x)$, then $T_s 1_x = 1_{s \times x}$
• If $l_\sigma(s \times x) < l_\sigma(x)$, then $T_s 1_x = (q-1)1_x + q1_{s \times x}$

2. Complete description of equal-length case

Theorem: If $l_\sigma(x) = l_\sigma(s \times x)$, then: $\gamma_{f,g} = \frac{q-1}{n_{\max}} \delta_{x,\max} + \frac{2}{n_{\min}} \delta_{x,\min}$ where $n_{\max}, n_{\min} \in \{1,2\}$ are the numbers of orbits with maximum/minimum $l_\sigma$ length in the support set.

3. Finite generation

Theorem: $S(X)^I$ is a finitely generated module over $H(G,I)$.

4. Possible structure constants

Corollary: The possible values of structure constants $\gamma_{f,g}$ are: $1, 2, \frac{q-1}{2}, q-1, q, q+1, \frac{q+1}{2}$.

Concrete Examples

Example 1: $G = \text{SL}_2, H = T$ (diagonal torus)

• There are 3 $T$-orbits of $\sigma$-stable apartments
• $I$-orbits correspond to $W_{\text{aff}} \sqcup W_{\text{aff}} \sqcup W_{\text{aff}}/T^0$
• Length function: $l_\sigma(z_0) = l_\sigma(z_1) = 0$, $l_\sigma(x_w) = l_\sigma(y_w) = 2\lfloor l(w)/2 \rfloor + 1$

Example 2: $G = \text{SL}_{2n}, H = \text{Sp}_{2n}$

• Unique $T$-orbit of $\sigma$-stable apartments
• $I$-orbits correspond to antisymmetric matrices in $W_{\text{aff}}$
• Action formula: $w \times x = wxw^t$
• Length function: $l_\sigma(x) = l(x) - 1$

Related Work

Historical Development

1. Classical Iwahori-Matsumoto theory: Provided generators and relations for $H(G,I)$
2. Cartan decomposition for symmetric spaces: Studied by Delorme-Sécherre and others for $K_0$-orbits (where $K_0$ is a maximal compact subgroup)
3. Spherical function theory: Hironaka, Sakellaridis and others studied the structure of $S(X)^{K_0}$ as an $H(G,K_0)$-module

Innovations of this Paper

• First systematic study of symmetric space function modules at the Iwahori level
• Introduction of new methods based on building geometry
• Establishment of deep connections between $p$-adic geometry and algebraic geometry over finite fields

Conclusions and Discussion

Main Conclusions

1. Complete description of the module structure of Iwahori-fixed functions on symmetric spaces
2. Generalization of classical Iwahori-Matsumoto theory to the relative setting
3. Establishment of a bridge between $p$-adic geometry and algebraic geometry over finite fields

Limitations

1. Requires residue characteristic not equal to 2
2. Primarily considers split groups
3. Formulas for the equal-length case are relatively complex

Future Directions

1. Study module structure for minimal rank symmetric spaces
2. Applications to questions about distinguished properties of Steinberg representations
3. Generalization to more general spherical varieties

In-Depth Evaluation

Strengths

1. Theoretical depth: Skillfully combines building theory, Hecke algebras, and algebraic geometry
2. Technical innovation: Introduces theory of $\sigma$-stable apartments and reduction techniques
3. Completeness: Provides complete descriptions for all cases, including the difficult equal-length case
4. Geometric intuition: Transforms algebraic computations into geometric problems, enhancing understanding

Weaknesses

1. Technical complexity: The treatment of the equal-length case is quite technical
2. Scope of applicability: Significant restrictions on groups and involutions
3. Computational complexity: Computing structure constants in practice requires substantial geometric information

Impact

1. Theoretical contribution: Provides new tools and perspectives for relative representation theory
2. Methodology: Building geometry methods may apply to other relative situations
3. Application prospects: Provides foundation for studying distinguished representations

Applicable Scenarios

• Research in relative representation theory of $p$-adic groups
• Harmonic analysis on symmetric spaces
• Module theory of Hecke algebras
• Applications of building theory

References

This paper primarily references classical work by Iwahori-Matsumoto IM65, symmetric space theory by Delorme-Sécherre DS11, and classification theory of involutions by Helminck-Wang HW93, among other important literature.