0
$\begingroup$

Let $X$ be a K3 surface (algebraic, complex). An involution $\sigma:X\rightarrow X$ is called non-symplectic if it acts trivially on $H^{2,0}(X)=\Bbb{C}\omega_X$ $\ $ (where $\omega_X$ is any nowhere vanishing 2-form), i.e. if $\sigma^\ast\omega_X=-\omega_X$.

Now, the Picard group can be identified with the lattice $S_X=\{x\in H^2(X,\Bbb{Z}): \ x\cdot\omega_X = 0 \}$.

Denote by $S(\sigma)=\{x\in H^2(X,\Bbb{Z}): \ \sigma^\ast x = x \}$ the invariant lattice.

It is clear that $S(\sigma)\subset S_X$ (recall that $\sigma^\ast$ is an isometry). My question is whether the equality holds, and if it is an easy fact to prove.

$\endgroup$

2 Answers 2

4
$\begingroup$

A typical example is given by K3 surfaces of genus 2, that is, double coverings of $\Bbb{P}^2$ branched along a sextic plane curve $C$. Here $S(\sigma )$ is 1-dimensional (it is the pull back of $\mathrm{Pic}(\Bbb{P}^2)$), while $\mathrm{rank}(S_X)$ can take all values from 1 to 20 -- for instance it is 20 when $C$ is the Fermat sextic.

$\endgroup$
2
$\begingroup$

Thd equation $S(\sigma)=S_X$ is certainly not universal. Take a non-symplectic map such that $S(\sigma)=S_X$, then modify $\sigma$ replacing it by $\sigma \tau$, where $\tau$ is a non-trivial symplectic automorphism. The automorphism $\sigma\tau$ is not symplectic, but $S(\sigma\tau)$ is strictly smaller than $S_X$ since $\tau$ acts non-trivially on $S_X$, and $\sigma$ is trivial on $S_X$.

$\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.