Integral points on conic log K3 surfaces (Q1731776)

This paper gives explicit sufficient conditions for the existence of integral points on certain schemes which are fibered into affine conics. Examples of such schemes include the case where the scheme is geometrically a smooth log K3 surfaces. A prototypical result is given in the following theorem. \par Theorem: Let $S$ be a finite set of places of $\mathbb{Q}$ containing $2,\,\infty$. For each $i=1,\dots, 4$, let $c_i, d_i\in\mathbb{Z}_S$ be a pair of $S$-coprime $S$-integers such that $\Delta_{i,j}:=c_jd_i-c_id_j$ is non-zero for $i\neq j\in\{1,\dots,4\}$. Let $\mathcal{Y}\to \mathbb{P}^1_S$ be the pencil of affine conics determined inside $\mathcal{O}(-1)\oplus \mathcal{O}(-1)$ by an equation of the form \[(c_1t+d_1s)(c_2t+d_2s)x^2+(c_3t+d_3s)(c_4t+d_4s)y^2=1.\] Assume that the classes $[-1],\,[\Delta_{1,2}],\,[\Delta_{1,3}],\, [\Delta_{1,4}],\,[\Delta_{2,3}],\,[\Delta_{2,4}],\,[\Delta_{3,4}]$ are distinct linearly independent classes in $\mathbb{Q}^*/(\mathbb{Q}^*)^2$. Then $\mathcal{Y}$ has an $S$-integral point. \par Examples of $\mathcal{Y}$ include log K3 surfaces. The method used in this paper is the integral descent-fibration method, which is an extension of the fibration-method originally developed by Swinnerton-Dyer.