Let $X$ be the Jacobian of a genus 2 curve over $\mathbb{C}$. Let $L=\mathcal{O}(nC)$, where n is an even number. Is it possible to find a smooth curve from $|L|$ which is fixed by the involution $x\mapsto -x$ and which passes through the sixteen 2-torsion points? I have the following ideas:
if we take $n$ to be sufficiently large, $L$ will be very ample. Consider $\hat{X}$, the blow up of $X$ at the sixteen 2-torsion points, $b:\hat{X}\longrightarrow X$. Let $E_1,...,E_{16}$ be the exceptional divisors, let $E=\Sigma E_i$. Then the curves I am interested in $|b^*L-E|$. This has no basepoints. So by Bertini there is a open dense subset of the complete linear system consisting of smooth curves. Now the global sections $H^0(b^*L-E)$ breaks up into $+$ and $-$ eigen spaces because the involution acts on it. Curves coming from either the $+$ space or the $-$ space passes through all 16 points and is fixed by the involution. But will they be smooth? (Thanks @Francesco Polizzi and @abx for the answers to two related questions that I asked from which this idea is entirely based on : Curve through the 16 singular points of a Kummer surface and A curve in an abelian surface and its image in the Kummer surface).
The other idea is this. If $X=J(C)$, we can make sure that the involution $i$ on $X$ restricts to the hyperelliptic involution on $C$. We can also make $C$ pass through 0. So $i^*\mathcal{O}(C)=\mathcal{O}(C)$. Now we have $[2]:X\longrightarrow X$, multiplication by 2. Choose $L=\mathcal{O}(nC)$ where $4|n$. Under $[2]$, $\mathcal{O}(\frac{n}{4}C)$ pulls back to $L$. So $nC$ maps to some curve $C'\in|\mathcal{O}(\frac{n}{4}C)|$ which will contain 0? And so $nC$ contains all 2-torsion points?
I am not quite confident about these arguments. But I am required to use these in the course of work I do. I have asked other similar questions to which I have got some very enlightening answers. I would be grateful for help in this direction too!