## Return to Answer

2 added 158 characters in body

Using the notation of the question http://mathoverflow.net/questions/87633/construct-the-elliptic-fibration-of-elliptic-k3-surface, one sees that the elliptic curve $C_{[\lambda:\mu]}$ is sent to the curve $C_{[-\lambda: \mu]}$ by the involution $i$. So the surface $S=X/i$ has an elliptic fibration over $\mathbb{P}^1$.

The fixed locus of $i$ is given by the disjoint union of two $(-2)$-curves in $X$, namely the two lines $L_1:\{x=y, \; z=w \}$ and $L_2:\{x=-y, \; z=-w \}$, which are components of the the fibre $C_{[1:0]}$.

Since $i$ has no isolated fixed points, the quotient $S$ is smooth, and the quotient map $\pi \colon X \to S$ is branched over two smooth rational curves, namely the images of $L_1$ and $L_2$.

Using the fact that the topological Euler number of $X$ is $24$ and that the branch locus of the double cover $\pi$ is homeomorphic to the disjoint union of two spheres, one finds that the topological Euler number of $S$ is $\frac{1}{2}(24-4)+4=14$.

On the other hand, by Hurwitz formula one finds $$K_X=\pi^*K_S+L_1+L_2,$$ which yields $K_S^2=\frac{1}{2}(K_X-L_1-L_2)^2=-2$.

Using Noether formula we obtain $\chi(\mathscr{O}_S)=(14-2)/12=1$, i.e. $p_g(S)=q(S)$. In particular $S$ is not birational to a $K3$ surface, hence $i$ must be an anti-symplectic involution, namely $i^* \omega = -\omega$ where $\omega$ is the holomorphic $2$-form on $S$.

By general results, if $i$ is an anti-simplectic involution on a $K3$ surface then $X/i$ is a rational surface or an Enriques surface, and the last case happens exactly when $|\textrm{Fix}(i)|=\emptyset$. Therefore in our case $S$ is a rational surface.

Summing up, the surface $S=X/i$ is a non-minimal rational surface with $K_S^2=-2$ and an elliptic fibration over $\mathbb{P}^1$. Notice that such a fibration is not relatively minimal, since the fibre containing the branch locus also contains two $(-1)$-curves. Contracting those curves, one obtain a non-minimal rational surface $\widetilde{S}$ with $K_{\widetilde{S}}^2=0$ and a relatively minimal elliptic fibration over $\mathbb{P}^1$.

The

By looking at the degenerate fibres on $X$, one checks that the degenerate fibres of $\widetilde{S}$ are two singular fibres of type $I_2$ and two singular fibres of type $I_4$ in Kodaira's classification; the existence of the last two fibres shows in particular that $\widetilde{S}$ is not isomorphic to $\mathbb{P}^2$ blown-up in nine points.

My guess is that $\widetilde{S}$ can be constructed in the following way: take a smooth quadric surface $Q$ and consider two reducible curves $T_1$ and $T_2$ of bidegree $(2,2)$, both composed by two lines in a ruling and two lines in the other ruling. Then $\widetilde{S}$ is obtained by blowing up the $8$ base points of the pencil of elliptic curves generated by $T_1$ and $T_2$. Notice that the $T_i$ are precisely two degenerate fibres of type $I_4$ in that pencil.

1

Using the notation of the question http://mathoverflow.net/questions/87633/construct-the-elliptic-fibration-of-elliptic-k3-surface, one sees that the elliptic curve $C_{[\lambda:\mu]}$ is sent to the curve $C_{[-\lambda: \mu]}$ by the involution $i$. So the surface $S=X/i$ has an elliptic fibration over $\mathbb{P}^1$.

The fixed locus of $i$ is given by the disjoint union of two $(-2)$-curves in $X$, namely the two lines $L_1:\{x=y, \; z=w \}$ and $L_2:\{x=-y, \; z=-w \}$, which are components of the the fibre $C_{[1:0]}$.

Since $i$ has no isolated fixed points, the quotient $S$ is smooth, and the quotient map $\pi \colon X \to S$ is branched over two smooth rational curves, namely the images of $L_1$ and $L_2$.

Using the fact that the topological Euler number of $X$ is $24$ and that the branch locus of the double cover $\pi$ is homeomorphic to the disjoint union of two spheres, one finds that the topological Euler number of $S$ is $\frac{1}{2}(24-4)+4=14$.

On the other hand, by Hurwitz formula one finds $$K_X=\pi^*K_S+L_1+L_2,$$ which yields $K_S^2=\frac{1}{2}(K_X-L_1-L_2)^2=-2$.

Using Noether formula we obtain $\chi(\mathscr{O}_S)=(14-2)/12=1$, i.e. $p_g(S)=q(S)$. In particular $S$ is not birational to a $K3$ surface, hence $i$ must be an anti-symplectic involution, namely $i^* \omega = -\omega$ where $\omega$ is the holomorphic $2$-form on $S$.

By general results, if $i$ is an anti-simplectic involution on a $K3$ surface then $X/i$ is a rational surface or an Enriques surface, and the last case happens exactly when $|\textrm{Fix}(i)|=\emptyset$. Therefore in our case $S$ is a rational surface.

Summing up, the surface $S=X/i$ is a non-minimal rational surface with $K_S^2=-2$ and an elliptic fibration over $\mathbb{P}^1$. Notice that such a fibration is not relatively minimal, since the fibre containing the branch locus also contains two $(-1)$-curves. Contracting those curves, one obtain a non-minimal rational surface $\widetilde{S}$ with $K_{\widetilde{S}}^2=0$ and a relatively minimal elliptic fibration over $\mathbb{P}^1$.

The degenerate fibres of $\widetilde{S}$ are two singular fibres of type $I_2$ and two singular fibres of type $I_4$ in Kodaira's classification; the existence of the last two fibres shows in particular that $\widetilde{S}$ is not isomorphic to $\mathbb{P}^2$ blown-up in nine points.

My guess is that $\widetilde{S}$ can be constructed in the following way: take a smooth quadric surface $Q$ and consider two curves $T_1$ and $T_2$ of bidegree $(2,2)$, both composed by two lines in a ruling and two lines in the other ruling. Then $\widetilde{S}$ is obtained by blowing up the $8$ base points of the pencil of elliptic curves generated by $T_1$ and $T_2$.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 117, "mathjax_display_tex": 2, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9332444667816162, "perplexity_flag": "head"}