On Higher Multiplicity upon Restriction from $\mathrm{GL}(n)$ to $\mathrm{GL}(n-1)$

Mohammed Saad Qadri
2024-12-03
Abstract:Let $F$ be a non-archimedean local field. Let $\Pi$ be a principal series representation of $\mathrm{GL}_n(F)$ induced from an irreducible cuspidal representation of a Levi subgroup. When $\pi$ is an essentially square integrable representation of $\mathrm{GL}_{n-1}(F)$ we prove that $\mathrm{Hom}_{\mathrm{GL}_{n-1}}(\Pi,\pi) = \mathbb{C}$ and $\mathrm{Ext}^i_{\mathrm{GL}_{n-1}}(\Pi,\pi) = 0$ for all integers $i\geq 1$, with exactly one exception (up to twists), namely, when $\Pi= \nu^{-(\frac{n-1}{2})} \times \nu^{-(\frac{n-3}{2})} \times \ldots \times \nu^{(\frac{n-1}{2})}$ and $\pi$ is the Steinberg. When $\Pi= \nu^{-(\frac{n-1}{2})} \times \nu^{-(\frac{n-3}{2})} \times \ldots \times \nu^{(\frac{n-1}{2})}$ and $\pi$ is the Steinberg of $\mathrm{GL}_{n-1}(F)$, then $\dim \mathrm{Hom}_{\mathrm{GL}_{n-1}(F)}(\Pi,\pi)=n$. We also exhibit specific principal series for which each of the intermediate multiplicities $2, 3, \cdots, (n-1)$ are attained. Along the way, we also give a complete list of those irreducible non-generic representations of $\mathrm{GL}_{n}(F)$ that have the Steinberg of $\mathrm{GL}_{n-1}(F)$ as a quotient upon restriction to $\mathrm{GL}_{n-1}(F)$. We also show that there do not exist non-generic irreducible representations of $\mathrm{GL}_{n}(F)$ that have the generalized Steinberg as a quotient upon restriction to $\mathrm{GL}_{n-1}(F)$.
Representation Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the multiplicity problem between the principal series representation $\Pi$ and the irreducible representation $\pi$ in the restriction process from $\text{GL}(n)$ to $\text{GL}(n - 1)$. Specifically, the paper focuses on the dimension of $\text{Hom}_{\text{GL}(n-1)}(\Pi, \pi)$ and the values of $\text{Ext}^i_{\text{GL}(n-1)}(\Pi, \pi)$ when $\Pi$ is a principal series representation induced by an irreducible cuspidal representation of a Levi subgroup and $\pi$ is an essentially square - integrable representation of $\text{GL}(n - 1)$. ### Main problems 1. **Multiplicity problem**: Determine the dimension of $\text{Hom}_{\text{GL}(n-1)}(\Pi, \pi)$ and give its upper bound. 2. **Special cases**: Pay special attention to the cases when $\Pi$ and $\pi$ satisfy certain specific conditions, for example, when $\Pi=\nu^{-\frac{n - 1}{2}}\times\nu^{-\frac{n - 3}{2}}\times\cdots\times\nu^{\frac{n - 1}{2}}$ and $\pi$ is the Steinberg representation. 3. **Non - standard cases**: Explore whether the multiplicity remains 1 in the case of non - standard modules or whether there is a higher multiplicity. ### Main contributions of the paper 1. **Result of multiplicity one**: It is proved that under certain "good pair" conditions, the dimension of $\text{Hom}_{\text{GL}(n-1)}(\Pi, \pi)$ is 1, and $\text{Ext}^i_{\text{GL}(n-1)}(\Pi, \pi)=0$ for all $i\geq1$. 2. **Analysis of special cases**: When $\Pi = \nu^{-\frac{n - 1}{2}}\times\nu^{-\frac{n - 3}{2}}\times\cdots\times\nu^{\frac{n - 1}{2}}$ and $\pi$ is the Steinberg representation, the dimension of $\text{Hom}_{\text{GL}(n-1)}(\Pi, \pi)$ is $n$. 3. **Realization of intermediate multiplicities**: It is shown that there exist specific principal series representations such that the dimension of $\text{Hom}_{\text{GL}(n-1)}(\Pi, \pi)$ can take each value among 2, 3, $\cdots$, $n - 1$. ### Formula summary - **Result of multiplicity one**: \[ \text{dim Hom}_{\text{GL}(n-1)}(\Pi, \pi)=1 \] \[ \text{Ext}^i_{\text{GL}(n-1)}(\Pi, \pi)=0\quad\text{for all}\quad i\geq1 \] - **Special cases**: \[ \text{dim Hom}_{\text{GL}(n-1)}(\Pi,\text{St}_{n-1})= \begin{cases} 1&\text{if}\quad\Pi\neq\nu^{-\frac{n - 1}{2}}\times\nu^{-\frac{n - 3}{2}}\times\cdots\times\nu^{\frac{n - 1}{2}} \end{cases} \]