## Parabolic induction for GL(2,Z/pn)

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Fix a finite extension $F$ of $\mathbb{Q}_p$. Consider its ring of integers $\mathfrak{o}$ with maximal ideal $\mathfrak{p}$. Set $R_n = \mathfrak{o}/\mathfrak{p}^n$. Let $\mathrm{B}$ be the upper triangular matrices. Consider a character $\mu : \mathrm{B}(R_n)\rightarrow \mathbb{C}^\times$. When is the induced representation $\mathrm{Ind}_{\mathrm{B}(R_n)}^{\mathrm{GL}_2(R_n)} \mu$ irreducible?

-

1
I guess the exponent $r$ here should be $n$? – Jim Humphreys Mar 23 2011 at 15:44

## 2 Answers

A sufficient criterion for irreducibility is given, for example, in Theorem 4.6 in Hill: Semisimple and cuspidal characters of $\mathrm{GL}_n(\mathcal{O})$. Hill's result is more general, and holds for certain representations of $\mathrm{GL}_n(\mathcal{O})$, for $n\geq 2$. For $\mathrm{GL}_2(\mathcal{O})$ it says the following. Let $T$ be the diagonal torus, so that $T(\mathcal{O}_r)\cong\mathcal{O}_r^{\times}\times\mathcal{O}_r^{\times}$. Let $\theta=\theta_1\theta_2$ be a character of $T(\mathcal{O}_r)$, where $\theta_1$ and $\theta_2$ are characters of $\mathcal{O}_r^\times$. Suppose that the restriction of $\theta_1$ to $1+\mathfrak{p}^{r-1}$ is non-trivial, and that the restriction of $\theta_1$ to $1+\mathfrak{p}^{r-1}$ is not equal to that of $\theta_2$. Let $\tilde{\theta}$ denote the pull-back of $\theta$ to $B(\mathcal{O}_r)$. Then the representation $$\mathrm{Ind}^{\mathrm{GL}_2(\mathcal{O}_r)}_{B(\mathcal{O}_r)}\tilde{\theta}$$ is irreducible.

-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

For PGL(2) I have the following reference :

Silberger, A.J. : PGL 2 over the p-adics : its representations, spherical functions, and Fourier analysis. Springer Lecture Notes in Mathematics 166. Berlin, Heidelberg, New York: Springer 1970

I don't have this book with me, but the basic idea is to apply Mackey's irreducibility criterion. For this you have to determine the double cosets of $G={\rm GL}_2 (R_u )$ mod $B=B(R_u )$. For $n=1$, just use the Bruhat decomposition. To get a set of representatives of the double quotient for $n>1$, you introduce the "Iwahori" subgroup $I$ of matrices that are upper triangular mod ${\mathfrak p}$. Then $G=I\cup IwI$, where $w$ is the standard Weyl group element. Next you have the following set of representatives of right (or left) $B$-cosets in $I$ : the lower triangular unipotent matrices with the coefficient varying over ${\mathfrak p}/{\mathfrak p}^{n}$.

-

1
In the end, I think the criterion would be that $\mu^{w}$ is not isomorphic to $\mu$. – Joël Cohen Mar 24 2011 at 13:56
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 42, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": false, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.897642195224762, "perplexity_flag": "head"}