Skip to main content
2 of 2
added 327 characters in body; edited title
Bernie
  • 1k
  • 5
  • 8

How much information is encoded in the Jacobian-Kummer K3 surface of a curve of genus two?

Assume we work over $\mathbb{C}$.

Let $S\subset \mathbb{P}^3$ be a quartic surfaces with 16 nodes (ordinary double points). Then there is a simple principally polarized abelian surface $(A,\theta)$ such that $S\cong A/\{\pm 1\}$ given by the linear system $|2\theta|: A \rightarrow \mathbb{P}^3$ and the singularities are exactly the images of the 2-torsion points. The Torelli theorem states that there is a unique smooth projective curve $C$ of genus $g=2$ such that $(A,\theta)=(Jac(C),C)$.

Now, let $S_C$ and $S_{C'}$ be two quartic surfaces with 16 nodes in $\mathbb{P}^3$ with corresponding curves $C$ and $C'$ of genus 2. Assume $S_C$ and $S_{C'}$ are birational. This implies that their minimal resolutions (blowing up the 16 nodes) $X_C$ and $X_{C'}$ are also birational. But $X_C$ and $X_{C'}$ are $K3$-surfaces, which means they are already isomorphic.

$\textbf{Question:}$ How much information about a curve $C$ is encoded in the $K3$-surface $X_C$? For example in the setting described above:

Does $X_C\cong X_{C'}$ imply $C\cong C'$?

If $C\cong C'$ is not true not in general, can we relate $C$ and $C'$ in any other way in this setting?

My thoughts on this: assume the Picard numbers of $S_C$ and $S_{C'}$ are one, that is the associated abelian surfaces also have Picard number one. Using $X_C\cong X_{C'}$ we get $A\cong A'$ as abelian surfaces by a result of Inose, because they both have Picard number one and a principal polarization. But the pullback of this isomorphism must map $\theta'$ to $\theta$ so that it is in fact an isomorphism of principally polarized abelian surfaces $(A,\theta) \cong (A',\theta')$ which implies $C\cong C'$.

$\textbf{Question 2:}$ What happens for $\rho(A)>1$? The case $\rho(A)=1$ is the very general case in the moduli space of principally polarized abelian surfaces. Can we get the other curves by some limit or deformation argument maybe?

$\textbf{Question 3:}$ If we assume $X_C\cong X_{C'}$ and $J(C)\cong J(C')$ (as abelian surfaces) is this enough to see that $C\cong C'$?

Bernie
  • 1k
  • 5
  • 8