4
$\begingroup$

For split groups over a $p$-adic field, every irreducible smooth (complex) representation is either infinite-dimensional or one-dimensional. Is it true for quasisplit groups that split over an unramified extension, or quasisplit groups in general? Unfortunately I don't have a good feel for examples, since the books I consult for learning the representation theory of $p$-adic groups usually stick to groups like $GL_n$.

| cite | improve this question | | | | |
$\endgroup$
  • 1
    $\begingroup$ @nfdc23 Your comment deserves to be an answer ! $\endgroup$ – Paul Broussous Apr 5 '18 at 9:06
  • $\begingroup$ @PaulBroussous, by "rational character" do you mean "abstract homomorphism $G \to \mathbb C^\times$" (or maybe $G \to F^\times$?) or "homomorphism deduced from a rational map of algebraic groups $\boldsymbol G \to \mathrm{GL}_1$"? If the latter, then note that $\boldsymbol G = \mathrm{PGL}_2$ has no such characters (since, for example, the rational characters of $\mathrm{GL}_2$ are all integer powers of the determinant, none of which is trivial on the centre), so that $G^1 = G$; but that the image of $\mathrm{SL}_2(F)$ is an open, normal subgroup. $\endgroup$ – LSpice Apr 8 '18 at 6:16
  • $\begingroup$ @L.Spice. OK, I deleted my comment. $\endgroup$ – Paul Broussous Apr 10 '18 at 12:26
4
$\begingroup$

See Prop. 3.9 of http://math.stanford.edu/~conrad/JLseminar/Notes/L2.pdf for an optimal affirmative answer (no quasi-split condition needed: any connected reductive group over any non-archimedean local field, with the minimal necessary isotropicity hypotheses).

| cite | improve this answer | | | | |
$\endgroup$
0
$\begingroup$

This is an editted version, as my previous answer had an error.

Every $p$-adic group is totally-disconnected locally compact (tdlc). For the class of tdlc group, every continuous finite dimensional complex representation is through a discrete quotient (that is, the kernel contains an open subgroup). More generally, every continuous homomorphism from a tdlc group to a Lie group (eg $\text{GL}_n(\mathbb{C})$) has this property. To see this, recall that every tdlc group has a compact open subgroup (van Dantzig theorem) and observe that the image of such a group should be a compact (hence closed, hence Lie) tdlc subgroup in the target, so it must be finite.

Let $G$ be the $k$ points of a reductive $k$-algebraic group which has no anisotropic factor. The group that you consider are such, and an affirmative answer to your question will follow from the fact that every discrete quotient of $G$ is abelain. A way to see this is to consider the group generated by all unipotent subgroups of $G$, $G^+$, and to see that every open normal subgroup of $G$ contains $G^+$ and $G/G^+$ is commutative. This is discussed in the work of Borel-Tits and nicely summerized in Margulis book "Discrete subgroups of semisimple Lie groups" Chapter I.1.5. I recommend reading it.

| cite | improve this answer | | | | |
$\endgroup$
  • $\begingroup$ Only finite dimensional smooth representations have open kernel. Your last paragraph sounds weird. I think the general condition on $G$ in order that all finite dimensional smooth representations are $1$ dimensional is that $G$ has no anisotropic factor. This is true if $G$ is quasi-split. $\endgroup$ – Paul Broussous Apr 4 '18 at 9:13
  • $\begingroup$ @PaulBroussous I discuss here finite dim reps. Indeed, I forgot to demand anisotrpoicity - I will edit it. Downvoting is certainly the right thing to do. Thank you. Uri $\endgroup$ – Uri Bader Apr 4 '18 at 9:32
  • $\begingroup$ Only unramified characters of ${\mathbb Q}_p^\times$ are via ${\mathbb Z}={\mathbb Q}_p^\times /{\mathbb Z}_p^\times$. $\endgroup$ – Paul Broussous Apr 4 '18 at 9:33
  • $\begingroup$ It is not necessarily true that the group of rational points of a semisimple group has no (non-trivial) finite quotient, even if the underlying algebraic group is split. For example, the quotient of $\mathrm{PGL}_2(F)$ by the image of $\mathrm{SL}_2(F)$ is the group of square classes $F^\times/(F^\times)^2$. $\endgroup$ – LSpice Apr 8 '18 at 5:51
  • $\begingroup$ @LSpice yes, I know. But every quotient group is finite abelian when the field is a local field of char 0 and the group is a connected almost simple isotropic. I didn't feel that anybody care about this answer, so left it as it is with this silly mistake. I'll edit... $\endgroup$ – Uri Bader Apr 8 '18 at 6:09

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.