# finite surjective morphism to the projective line

Let X a smooth projective curve over $\mathbb{C}$. We fix $d$ distinct closed points $x_{1},\dots,x_{d}$.

Can we find a finite surjective morphism $\pi:X\rightarrow\mathbb{P}^{1}$ and local uniformizers on $\mathbb{P}^{1}$, $t_{1},\dots,t_{d}$

such that $\forall i, k[t_{i}^{-1}]\subset k[X-x_{i}]$

-

No. This condition implies that $t_i$, pulled back to $X$, vanishes only at $x_i$. Thus, $x_i$ is the entire fiber of the point where $t_i$ vanishes, so if $n$ is the degree of the map, then $\mathcal O(1) = \mathcal O(n x_i)$.
Thus $\mathcal O(nx_i)=\mathcal O(nx_j)$, so $x_i-x_j$ is an $n$-torsion divisor class, for all $i$, $j$.
To show this is impossible, it suffices to find two points $x_1$ and $x_2$ on a curve, such that $x_1-x_2$ is not a torsion divisor. To do this, let $E$ be an elliptic curve, let $x_1$ be the identity, and let $x_2$ be a non-torsion point. Then $x_1-x_2$ is not a torsion divisor class.
Thanks, and if I allow two poles? Say I add one point $y$ to the d-uple. Can we have $k[t_{i}^{-1}]\subset k[X-\{y,x_{i}\}]$? –  prochet Nov 29 '12 at 0:16
When is $y$ chosen? –  Will Sawin Nov 29 '12 at 0:42
yes. Or even, can we take $y$ is one of the $x_{i}$ –  prochet Nov 29 '12 at 1:07
You cannot take $y$ to be in $x_i$. Just take two independent points on an elliptic curve. –  Will Sawin Nov 29 '12 at 4:09