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?

  • 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

5

I don't know from closed subschemes, but I know something about algebraic numbers, and OP assures me in the comments that there's not much difference, so I'll answer the question in the title. A finite set of algebraic numbers generates a finite extension of the rationals, which has a normal closure that is also a finite extension of the rationals, and every element of the absolute Galois group must take each of the finitely many algebraic numbers to one of its finitely many conjugates in this normal closure, so, yes, the orbit of a finite set of algebraic numbers under the action of the absolute Galois group is finite.

  • 1
    @Oen, I'd say the orbit of any one algebraic number is the set of all of its conjugates, and if the orbit of a set means the union of the orbits of the members of the set, then we're talking about the union of all the sets of conjugates.2011-07-30