Abstract:Kei Yuen Chan and Kayue Daniel Wong constructed a functor from the category of Harish-Chandra modules of $\GL(n, \C)$ to the category of modules over graded Hecke algebra $\H_m$ of type A. This functor has several nice properties, such as compatible with parabolic inductions, and preserving standard and irreducible objects. Based on their results, we show this functor relates translation functor on the real side and Jacquet functor on the $p$-adic side.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: through Chan - Wong's comparison functor, establish the relationship between the translation functor on the real side and the Jacquet functor on the p - adic side. Specifically, the author attempts to prove the existence of a natural isomorphism that links the translation functor on the real side to the Jacquet functor on the p - adic side.
### Background and Problem Description of the Paper
1. **Translation Functor**
- The translation functor is defined on the real Lie group \(G\). For a given Harish - Chandra module \(HC_{\chi}(G)\), it maps the module from one generalized infinitesimal character to another through tensor product and projection operations.
- The specific formula is:
\[
T_{\lambda+\mu}^{\lambda}(X)=P_{\lambda + \mu}(X\otimes F_{\mu})
\]
where \(F_{\mu}\) is a finite - dimensional representation of \(G\) and its highest weight is \(\mu\), and \(P_{\lambda+\mu}\) is the projection onto the \((\lambda + \mu)\)-principal subspace with respect to \(Z(g)\).
2. **Jacquet Functor**
- The Jacquet functor acts on modules of the graded Hecke algebra \(H_{m}\) and is defined by taking the generalized eigenspace with respect to \(y_{1}\).
- Specifically, for an \(H_{m}\) - module \(M\), the Jacquet functor is defined as:
\[
\text{Jac}_{a}(M)=M_{a}
\]
where \(M_{a}\) represents the subspace of \(M\) with the generalized eigenvalue \(a\) with respect to \(y_{1}\).
3. **Chan - Wong's Comparison Functor**
- Chan and Wong constructed a functor from the Harish - Chandra module category of \(GL(n,\mathbb{C})\) to the module category of the graded Hecke algebra \(H_{m}\) of type A.
- This functor has good properties, such as preserving parabolic - induced modules, standard modules, and irreducible modules.
### Main Results
The main result of the paper is to prove the following commutative diagram:
\[
\begin{tikzcd}
HC(\lambda_{L},\lambda_{R})\arrow[r,"\Gamma_{n,m}"]\arrow[d,"T(\lambda_{L},\lambda_{R}+e_{i})'"] & H_{m}\text{-Mod}\arrow[d,"\text{Jac}_{\lambda_{R},i+\frac{1}{2}}"]\\
HC(\lambda_{L},\lambda_{R}+e_{i})\arrow[r,"\Gamma_{n,m - 1}'"] & H_{m-1}\text{-Mod}
\end{tikzcd}
\]
where \(e_{i}\in\mathbb{C}^{n}\sim h_{0}^{*}\) is the \(i\)-th standard unit vector. More specifically, there is a natural isomorphism:
\[
\Gamma_{n,m - 1}\circ T(\lambda_{L},\lambda_{R}+e_{i})\simeq\text{Jac}_{\lambda_{R},i+\frac{1}{2}}\circ\Gamma_{n,m}
\]
This result shows that, under appropriate conditions, the translation functor and the Jacquet functor can be related to each other through Chan - Wong's comparison functor, thus providing a method for building bridges between different mathematical structures.
### Conclusion
Through the above research, the author successfully established the relationship between the translation functor on the real side and the