2
$\begingroup$

Let $C$ be a smooth projective irreducible curve over $\mathbb C$. Let $x$ and $y$ be distinct points of $C$.

We say that $f$ is totally ramified at a point $p$ if the ramification index of $p$ equals $\deg(f)$.

Does $C$ admit a finite map $f \colon C \to \mathbb P^1$ which is totally ramified at $x$ and $y$?

$\endgroup$

1 Answer 1

11
$\begingroup$

The answer is in general no. More precisely, the following holds.

A finite map $f \colon C \to \mathbb P^1$ as in the question exists if and only if $\mathcal{O}_C(x-y)$ is a point of finite order in $\textrm{Pic}^0\, C$.

In fact, if $f$ exists, calling $n$ its degree we have $\mathcal{O}_C(nx) = \mathcal{O}_C(ny)$, that is $\mathcal{O}_C(n(x-y))=\mathcal{O}_C$, in other words the degree zero divisor $x-y$ defines a point of finite order in $\textrm{Pic}^0 \,C$.

Conversely, if $\mathcal{O}_C(x-y)$ is a point of finite order $n$ in $\textrm{Pic}^0 \, C$, then the two divisors $nx$ and $ny$ are linearly equivalent on $C$ and the linear pencil generated by them is a $g^1_n$ without base points. Thus such a $g_n^1$ defines a morphism $f \colon C \to \mathbb{P}^1$ of degree $n$, totally ramified at both $x$ and $y$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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