7
$\begingroup$

Let $p$ be a prime and let $\mathbb Z_p$ denote the $p$-adic integers.

If n<m, then what are the embeddings $SL_n(\mathbb Z_p)\rightarrow SL_m(\mathbb Z_p)$? I am particularly interested in those which carry $SL_n(\mathbb Z)$ into $SL_m(\mathbb Z)$.

There are obvious "block" embeddings, e.g., carrying a matrix to the upper-left hand corner of a larger matrix. There are also certain conjugates of these. In general, the embeddings should come from representations of $SL_n(\mathbb Z_p)$, but I do not know where they are catalogued or what exactly to do with the catalog.

Improve this question
$\endgroup$
5
  • 1
    $\begingroup$ Any such is induced from a map of p-algebraic groups $SL_n \rightarrow SL_m$ . You can see this by passage to the Lie algebra. Given such a map, the image of $SL_n(Z_p)$ is conjugate by $GL_m(Z_p)$ to a subgroup of $SL_m(Z_p)$ . However, there can be multiple conjugacy classes of maps inducing the same algebraic morphism. $\endgroup$
    – moonface
    Commented Nov 30, 2009 at 17:09
  • $\begingroup$ That should be $Q_p$-algebraic groups in the first line, and $GL_m(Q_p)$ in the third, sorry. Can't edit comments. $\endgroup$
    – moonface
    Commented Nov 30, 2009 at 17:19
  • 2
    $\begingroup$ @moonface: regarding editing comments---you can delete them, so you can edit them by cut-and-pasting, editing, and then deleting the original. Regarding mathematics: SL_2(Z_p) maps onto SL_2(Z/pZ) which will I guess have a faithful representation into some SL_N(Z). Now tensor up with the identity map SL_2(Z_p)-->SL_2(Z_p) and don't I have a counterexample to your claim that all embeddings are algebraic (or did I miss something)? My guess is that the Lie algebra argument only proves they're locally algebraic. $\endgroup$
    – Kevin Buzzard
    Commented Nov 30, 2009 at 19:47
  • $\begingroup$ You're completely right, of course -- what I said above is FALSE and only true "virtually". Thank you for the correction! $\endgroup$
    – moonface
    Commented Nov 30, 2009 at 20:26
  • $\begingroup$ Thanks much for your responses! So the conjugator is in $GL_m(Q_p)$. But does my added hypothesis about carrying $SL_n(Z)$ into $Sl_m(Z)$ help us say anything about the conjugator? Thanks again. $\endgroup$
    – Samuel Coskey
    Commented Dec 17, 2009 at 19:00

0

Reset to default

You must log in to answer this question.

Browse other questions tagged .