5
$\begingroup$

Fix an algebraic closure $\bar{\mathbf{Q}}$ of $\mathbf{Q}$.

Let $B\subset \mathbf{P}^1_{\bar{\mathbf{Q}}}$ be a closed subscheme of finite cardinality.

Let $K$ be a number field such that $B$ can be defined over $K$. Let $B_K$ be a closed subscheme of $\mathbf{P}^1_K$ such that the base change to $\bar{\mathbf{Q}}$ is $B$.

Is the orbit of $B_K$ under the action of the absolute Galois group Gal$(\bar{\mathbf{Q}}/\mathbf{Q})$ finite? Is it a closed subscheme?

The answer is trivially yes if $K=\mathbf{Q}$. I expect the cardinality of the orbit to be less or equal to $[K:\mathbf{Q}]\cdot$#$B$ in general. But why?

  • 1
    You expect something and are asking us why? (last line of the question) maybe you could tell us that better. =P2011-07-29
  • 0
    The title asks about the orbit of an algebraic number, but the body asks about the orbit of a closed subscheme (of ${\bf P}^1_K$, etc.). If these are not the same, perhaps some editing is in order to bring title and body into alignment.2011-07-29
  • 0
    @Patrick. By "I expect that " I mean that "I would not be surprised if"...In any case, I might be wrong. I just thought it would be nice to add some personal intuition.2011-07-30
  • 0
    @Gerry. There's not a big difference in the two questions. I just tried to minimize the length of the title.2011-07-30
  • 0
    @Oen: I don't know any arithmetic geometry, but could you explain why you are considering the projective line $\mathbf{P}^1_{\overline{\mathbf{Q}}}$ instead of just, say, $\operatorname{Spec} \overline{\mathbf{Q}}[x]$? Does the presence of points at infinity simplify some issue under consideration?2011-07-30
  • 0
    @Zhen Lin. Thanks for the comment. Let me just say that it just so happened to appear like that in my work. There's no difference though. Since the point at infinity is defined over the field of rational numbers, it's a fixed point.2011-07-30

1 Answers 1