MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
1

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


flag

1 Answer

6

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.

link|flag
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 at 0:16
When is $y$ chosen? – Will Sawin Nov 29 at 0:42
yes. Or even, can we take $y$ is one of the $x_{i}$ – prochet Nov 29 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 at 4:09

Your Answer

Get an OpenID
or

Not the answer you're looking for? Browse other questions tagged or ask your own question.