Let $C$ be a genus 2 curve over $\mathbb{C}$. Let $X=J(C)$. Consider the involution $i$ on $X$, $x\mapsto -x$. Let $Y=\frac{X}{(i)}$. This is a singular surface with 16 points of singularity - these are the images of the 16 2-torsion points of $X$. Let $f:X\longrightarrow Y$ be the quotient morphism, which is finite of degree 2.


Let $C$ be a curve on $X$, consider it's image $f(C)=C'$ in $Y$. Then what is the relation between $f^\*\mathcal{O}\_Y(C')$ and $\mathcal{O}\_X(C)$? This is what I think they are:


1) if $C$ is not preserved by involution,
$f^\*\mathcal{O}\_Y(C')=\mathcal{O}\_X(f^{-1}(C'))=\mathcal{O}\_X(C +i (C))=\mathcal{O}\_X(C)\otimes\mathcal{O}\_X(i(C))$.


2) if $C$ is preserved under involution, by the same argument, $f^\*\mathcal{O}\_Y(C')=\mathcal{O}\_X(2C)$.


Are these right?


And if $C$ passed through the 16 2-torsion points, the $f|\_C:C\longrightarrow C'$ is ramified over those 16 points. In that case also 1) and 2) hold?


Thanks in advance!



Pullback of line bundles and divisors from $Kum(C)$ to $Jac(C)$
1) is correct, 2) is not.


Indeed, if $i(C)=C$, then the map $C \rightarrow C'$ is a double cover, and $f^\*{\mathcal O}\_Y(C')={\mathcal O}\_X(C)$ since in a neighbourhood of a general point of $C$ the map $X \rightarrow Y$ is biregular.


For a double cover $X\rightarrow Y$, in an analogous situation, you get $f^\*{\mathcal O}\_Y(C')={\mathcal O}\_X(2C)$ when $C$ is contained in the branch locus. The point here is that $C$ is not just invariant, but a curve of fixed points. This is not your case, as your double cover has only finitely many branch points.


If $C$ passes through some of the nodes, of all of them, then ${\mathcal O}\_Y(C')$ is no more necessarily a line bundle. Still, both statements still hold with the same proof.


