Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I don't think that the following is known, but before going to other things, I would like to know what can be said about it. Thanks in advance for any relevant comment !

So here is the situation. Let $k'\subset k$ be a finite field extension. Take affine algebraic group schemes defined over $k'$ together with a central isogeny $\pi : \tilde{G}\rightarrow G$ (i.e. $\pi $ is surjective on underlying topological space, and is a finite flat morphism such that $ker$ $\pi\subset Z(G)$).

Given a subgroup $\Gamma \leq \tilde{G}(k)$, assume that $\Gamma _{down}=\pi_{k}(\Gamma )$ lies in fact already in $G(k')$. Can we conclude that $\pi_{k'}^{-1}(\Gamma_{down})$ is big enough compared to $\Gamma $ (more precisely, that its intersection with $\Gamma $ is of finite index in $\Gamma $ ?)

Ok, now more precision about assumption (but I would be interested to have counter-examples if not in that situation, especially for the first assumption) :
1) $k$ is a local field, and $k'$ a closed subfield
2) $\tilde{G}$ (resp. $G$) is absolutey simple simply connected (resp. adjoint)

Also, let me stress that I am mainly interetsed in the positive characteristic case, i.e. $k$ a finite extension of $\mathbb{F}_{p}$((T)), and that I do not assume that the extension is Galois (but I would be interested to know what Galois cohomology can bring to the matter, I'm not at all familiar with that theory).

EDIT (prompted by the answer of user 76758)

I'm very happy to have forgotten to mention the crucial assumption on $\Gamma $ since I got this very illuminating answers without it. But now, here it is : $\Gamma $ is in fact assumed to be an open compact subgroup of $\tilde{G}(k)$ (in the topology given by the local field $k$).

Also, the purpose of all that was to prove the following claim : if $\Gamma $ is an open compact subgroup of $\tilde{G}(k)$ avoiding the center (as above, $\tilde{G}$ absolutely simple simply connected), then any closed normal subgroup of $\Gamma $ is of finite index. I finally found a Paper of Carl Riehm, "The congruence subgroup problem over local fields", which completely settles the question.

But still, I would be interesting to know what happens in the above situation when $\Gamma $ is open compact (and if the finite index fact is true in this case, do we need the compactness assumption ?).

share|improve this question
    
I may be mistaken, but it seems like this is equivalent to the condition that $\pi_{k'} \circ \pi_{k'}^{-1}(\Gamma_{down})$ is finite index in $\Gamma_{down}$. (I don't have an answer to the new condition, though.) –  S. Carnahan Mar 3 at 12:44

1 Answer 1

up vote 7 down vote accepted

The answer is negative (even under all of the given hypotheses); this expresses a standard difficulty in the arithmetic aspects of connected semisimple groups over local function fields in contrast with $p$-adic fields.

As S.Carnahan notes, it is equivalent to ask that the subgroup $\Gamma_{\rm{down}}$ of $G(k')$ contains the image of its preimage on $k'$-points with finite index. This in turn is equivalent to the image of $\Gamma_{\rm{down}}$ under the connecting map $\delta:G(k') \rightarrow {\rm{H}}^1(k', \ker \pi)$ having finite image.

The answer is generally negative because ${\rm{H}}^1(k',\mu_p) = {k'}^{\times}/({k'}^{\times})^p$ is infinite whenever $k'$ is a local function field of characteristic $p$ even though $[{k'}^{1/p}:k'] = p < \infty$ in such cases.

To be specific, consider the central isogeny $\pi_0: {\rm{SL}}_p \rightarrow {\rm{PGL}}_p$ between absolutely simple and connected semisimple groups over $\mathbf{F}_p$ (with ${\rm{SL}}_p$ simply connected and ${\rm{PGL}}_p$ of adjoint type), so the induced map $D \rightarrow \overline{D}$ between split diagonal tori is a direct product of the $p$-power endomorphism of ${\rm{GL}}_1$ and the identity map on ${\rm{GL}}_1^{p-2}$. So if we let $k'$ be any local function field of characteristic $p > 0$, $k = {k'}^{1/p}$ (a finite extension!), and $\pi$ the base change of $\pi_0$ over $k'$ then for the group $\Gamma = k^{\times}$ of $k$-points in a 1-parameter subgroup ${\rm{GL}}_1 \subset D$ multiplied by $p$ under $\pi_0$ we have $\Gamma_{\rm{down}} = {k'}^{\times}$ and the image of the preimage of $\Gamma_{\rm{down}}$ on $k'$-points is $({k'}^{\times})^p$, so the quotient is the group ${k'}^{\times}/({k'}^{\times})^p$ is infinite. (In this case the connecting map $\delta$ carrie $\Gamma_{\rm{down}}$ onto the group ${\rm{H}}^1(k', \ker \pi) = {\rm{H}}^1(k', \mu_p)$ that is infinite.) Equivalently, the preimage of $\Gamma_{\rm{down}}$ on $k'$-points is the subgroup ${k'}^{\times} = (k^{\times})^p \subset k^{\times} = \Gamma$ that has infinite index in $\Gamma$.

If some motivation were given for the question then it might be clearer if there is an appropriate salvage to the question. But it is hard to tell what (if anything) to "fix" since the OP doesn't indicate where the question is coming from. (There are ways around the above difficulty in practice, depending on what the aim is.)

share|improve this answer
    
That is great ! Just to be sure I understand properly : I don't see why your retsricted morphism on torus is the identity for $p-2$ components. Instead, I think the formula is something like $\mathbb{F}_{p}[\overline{D}]=\mathbb{F}_{p}[X_{1},...,X_{p}]_{1/det} \rightarrow \mathbb{F}_{p}[D]=\mathbb{F}_{p}[Y_{1},...,Y_{p}]_{1/det} : X_{i}\mapsto Y_{1}^{p-1}Y_{i} $. Also, I will edit the question to take into account your last paragraph. –  thierry stulemeijer Mar 3 at 23:07
    
@thierrystulemeijer: On character groups the map is an inclusion $\overline{L} \rightarrow L$ between finite free $\mathbf{Z}$-modules of rank $p-1$ such that the cokernel is cyclic of order $p$, so in suitable bases it looks like the direct product of the identity map on $\mathbf{Z}^{p-2}$ and the index-$p$ inclusion of $\mathbf{Z}$ into itself via multiplication by $\mathbf{Z}$. Now apply ${\rm{Hom}}(\cdot, {\rm{GL}}_1)$ to turn that back into a map of tori. So all I am doing is "choosing good coordinates" for describing the map on tori. I don't understand your proposed description, sorry. –  user76758 Mar 3 at 23:12
    
Indeed, and again very interesting, thanks ! As for my description, it is equivalent to yours under an obvious base change, and just comes from looking at the isogeny at level of coordinate rings, restricting it to torus and then "choosing bad coordinates". –  thierry stulemeijer Mar 3 at 23:35

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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