### Question


Let X be a smooth, projective curve over the algebraic closure of ℚ. Let f:X->ℙ1 be a meromorphic function. Assume that the zeros and the poles are defined over some number field, K. Then does this imply that cf is defined over K, for some c?


If so, do we have to assume that the zeros and poles are individually defined over K, or would this work if they are collectively defined over K as well?


### Clarification


By being collectively defined I mean that there's some K-model of X, XK, and a closed subscheme YK of XK, such that after base change YK becomes the ramification locus of f.


### Thoughts


Let D:=(f). Obviously, H0(O(D),X) is 1 dimensional. DK:=(fK) will also be degree 0, so all that's left to show is that H0(O(DK),XK) is also nonzero. This smacks of some invariance of cohomology theorem. I couldn't quite find the right one to use.


If this line of argument works, this seems to imply that the ramification locus may be defined merely collectively.



Field of Definition of a Meromorphic Function
It is not sufficient that the subscheme of poles and zeroes is defined together over $K$, as the example of the function $(z+i)/(z-i):\mathbb P^1 \to \mathbb P^1$, defined only over $\mathbb Q(i)$, illustrates.


If poles of $f$, which form together a subscheme $D\_\infty$, are defined over $K$, then the line bundle $\mathcal O(D\_\infty)$ is defined over $K$. $f$ can be defined as the section of this line bundle that has the most poles, so it should be defined over $K$ as well.


More formally, suppose $f$ is not defined over $K$ (where $K$ is a separable extension of base field, which is $\mathbb Q$ here anyway). Then for some element $\sigma$ of Galois group of base field $f$ and $\sigma f$ would be sections of $\mathcal O(D\_\infty)$ that have the same poles and zeroes, so their ratio would be a holomorphic function on $X$, thus constant. 


Therefore every $\sigma$ must act as a multiplication by constant. It remains to select any source point $x$ and divide the function by $f(x)$. After this, action of $\sigma$ will have to be multiplication by 1, thus a multiple of $f$ is defined over $K$ indeed.


