Abstract:Let $p$ be a prime and $F$ a non-archimedean local field of residue characteristic $p$. In this paper, we study the restriction of smooth irreducible $\bar{\mathbb{F}}_p$-representations of $\mathrm{SL}_2(F)$ to its Borel subgroup. In essence, we show that the action of $\mathrm{SL}_2(F)$ on its irreducibles is controlled by the action of the Borel subgroup. The results of this paper constitute the $\mathrm{SL}_2$-analogue of a work of Paškūnas\cite{PaskunasRestriction}.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the restriction problem of modulo \(p\) representations, specifically, it is to study the restriction of smooth irreducible \(\overline{\mathbb{F}}_p\)-representations of \(SL_2(F)\) on Borel subgroups. Through this research, the author shows that the action of \(SL_2(F)\) on its irreducible representations is controlled by the action of Borel subgroups.
Specifically, the main contributions of the paper include:
1. **Results for non - supercuspidal representations**: For non - supercuspidal representations, the author proves that there is an isomorphism between the homomorphism spaces of induced representations from \(SL_2(F)\) to Borel subgroups and the homomorphism spaces on Borel subgroups.
The formula is expressed as:
\[
\text{Hom}_{G_S}(\text{Ind}_{B_S}^{G_S}(\eta), \pi) \cong \text{Hom}_{B_S}(V_\eta, \pi|_{B_S}),
\]
where \(V_\eta\) is the kernel of the mapping \(\text{Ind}_{B_S}^{G_S}(\eta)\to\eta\), which evaluates each function at the identity matrix.
2. **Partial results similar to Paškūnas' theorem**: For non - trivial smooth \(\overline{\mathbb{F}}_p\)-characters \(\eta\), the author proves the following isomorphism:
\[
\text{Hom}_{B_S}(\text{Ind}_{B_S}^{G_S}(\eta), \pi') \cong \text{Hom}_{G_S}(\text{Ind}_{B_S}^{G_S}(\eta), \pi').
\]
For the Steinberg representation \(St_S\), we have:
\[
\text{Hom}_{B_S}(St_S|_{B_S}, \pi) \cong \text{Hom}_{G_S}(\text{Ind}_{B_S}^{G_S}(1), \pi).
\]
3. **Results for supercuspidal representations**: For supercuspidal representations \(\pi\), the author proves that the restriction of \(\pi\) on Borel subgroups is an irreducible Borel subgroup representation, and the restriction mapping gives an isomorphism between homomorphism spaces:
\[
\text{Hom}_{G_S}(\pi, \pi') \cong \text{Hom}_{B_S}(\pi, \pi').
\]
These results form an \(SL_2\) analogy to Paškūnas' work and extend the previous results which were limited to \(GL_2\). In addition, the author also removes the restriction of the admissibility condition, making the results more general.
In summary, this paper aims to reveal the representation - theoretic relationship between \(SL_2(F)\) and its subgroups, especially in the case of supercuspidal representations, by studying the restriction of modulo \(p\) representations of \(SL_2(F)\) on Borel subgroups.