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

If you have non-Arch. local field F and E its finite extension, I am just wondering if anybody has any idea about the action of $\operatorname{Gal}(E/F)= \operatorname{Aut}_F(E)$ on the lines in $k^2_E$, Where $k_E$ is a residue field of the extension?

Note:

  • $\{ \text{Adjacent points} \} \simeq \mathbb{P}^1_k$
  • $\mathbb{P}_{1}(k):=$ set of all dim 1 subspaces of $k\mathcal{P}^{1}$ a 2-dim k-vector space.
  • $\mathbb{E}\mathcal{P^{1}}=$ lines in $\mathcal{k}_{E}^{2}$.
share|improve this question
1  
Perhaps you should explain the notation ? –  Chandan Singh Dalawat Oct 6 '10 at 16:48
    
am working on base change for Gl(2), and this mean if i have 2 trees, one for GL(2,F) and another for GL(2,E) where E is the extension of F. So I Should describ the base change over these trees. –  Dragon Oct 6 '10 at 17:41
    
I tried to fix your LaTeX in a way that preserved the meaning of what you wrote, but there are some factual errors in your question. –  S. Carnahan Oct 7 '10 at 2:54
    
I don't know if this special case helps : Assume that the residue field k of F is finite with q=p^f elements, and that the degree d=[l:k] of the residue field l of E over k divides q-1. Then the normal basis theorem implies that for every character x:Gal(l|k)-->k^*, the x-eigenspace l(x) is a k-line. –  Chandan Singh Dalawat Oct 7 '10 at 3:17
2  
The tree of $SL(2,E)$ has vertices given by homothety classes of lattices, and edges given by lattice inclusions with quotient isomorphic to $k_E$. This is not isomorphic to the $E$ points of the projective line, and it does not parametrize lines in $k^2_E$. The $E$ points of the projective line are identified with the ends of the tree, and the lines in $k^2_E$ can be identified with the adjacent points of a fixed lattice defined over $\mathcal{O}_F$. –  S. Carnahan Oct 7 '10 at 3:19
show 2 more comments

1 Answer

up vote 2 down vote accepted

The action is fairly straightforward. Any line in $k_E^2$ can be described by an equation of the form $ax+by=c$, where $a,b,c \in k_E$, and $a$ and $b$ are not both zero. You can describe the action of $\operatorname{Gal}(E/F)$ on $k_E$ by taking reduction modulo the maximal ideal. Alternatively, you can look at the action on the (prime-to-residue-characteristic) roots of unity in $E$ living over units in $k_E$. You can then use the action on $k_E$ to get the diagonal action on the coefficients $a,b,c$ in the equation $ax+by=c$.

If you want to restrict your view to lines through the origin, you get an action on pairs $(a,b)$, and the equivalence relation that sends proportional pairs to the same point in $\mathbb{P}^1$ is Galois-stable.

share|improve this answer
add comment

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.