MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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}]$

share|cite|improve this question
up vote 6 down vote accepted

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.

share|cite|improve this answer
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

Your Answer


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.