On the degree of integral points of a projective space minus a horizontal hypersurface (Q2706830)

Let \(K\) be a number field of degree \(m\) with ring of integers \(R\). Let \(F\) be a locally free \(R\)-module of rank \(s+1\) (\(s\geq 1\)), endowed with a Hermitian metric \(\rho\) on \(F_{\mathbb C}\). Let \(Z\) be a hypersurface in \({\mathbb P}(F)\). Then a result of \textit{L. Moret-Bailly} [Ann. Sci. Éc. Norm. Supér. (4) 22, 161-179 (1989; Zbl 0704.14014)] asserts that the complement \({\mathbb P}(F)\setminus Z\) contains an integral point if and only if the morphism \({\mathbb P}(F)\setminus Z\to\text{Spec}(R)\) is surjective, i.e., \(Z\) is equal to the Zariski closure of its generic fiber \(Z_K\). In this paper, an explicit function \(d_0\) (which depends on a number of invariants, e.g., \(m\), the absolute discriminant of \(K\), \(s\), a positive integer \(d\), the projective height of \(Z\), among others) is given such that \({\mathbb P}(F)\setminus Z\) contains an integral point of degree at most \(d_0\). Such a function \(d_0\) is constructed using some geometric arguments and the theory of heights. NEWLINENEWLINENEWLINEThe starting point is the following result. NEWLINENEWLINENEWLINEProposition 1: Let \(F\) be a locally free \(R\)-module of rank \(s+1\) \((s\geq 1)\) and \({\mathbb P}(F)\) the associated space of lines. Let \(Z_K\hookrightarrow {\mathbb P}(F)_K\) be a hyperplane and \(Z\) its Zariski closure in \({\mathbb P}(F)\). Then the complement \({\mathbb P}(F)\setminus Z\) contains an integral point of degree \(1=d_0\) over \(R\). NEWLINENEWLINENEWLINENow vary the degree of the hypersurface. In the case of relative dimension \(1\), the function \(d_0\) is expressed in terms of the height of the hypersurface. NEWLINENEWLINENEWLINETheorem 2: Let \(E\) be a locally free \(R\)-module of rank \(2\) endowed with a Hermitian metric \(\rho_E\), and let \(h_K^{\overline E}\) be the associated projective height on \(Z_*({\mathbb P}(E))\). Fix an integer \(d\geq 2\). Then there exists a constant \(C\in {\mathbb R}_{>0}\) such that for any horizontal hypersurface \(Z\) of degree \(d\) in \({\mathbb P}(E)\), the complement \({\mathbb P}(E)\setminus Z\) contains an integral point of degree (over \(R\)) at most NEWLINE\[NEWLINEd_0=d-2+C\exp(h^{\overline E}_K(Z))^{d-1} h^{\overline E}_K(Z)^{(3md-2)/2}.NEWLINE\]NEWLINE When the relative dimension is greater than \(1\), the following result is obtained. NEWLINENEWLINENEWLINEThis is proved by reducing to the relative dimension \(1\) case and again estimating the height. NEWLINENEWLINENEWLINETheorem 3: Let \(F\) be a locally free \(R\)-module of rank \(s+1\) \((s\geq 1)\), endowed with a Hermitian metric \(\rho\), and let \(h^{\overline F}_K\) be the associated projective height on \(Z_*({\mathbb P}(F))\). Fix an integer \(d\geq 2\). Then there exists a constant \(C\in{\mathbb R}_{>0}\) such that for any horizontal hypersurface \(Z\) of degree \(d\) in \({\mathbb P}(F)\), the complement \({\mathbb P}(F)\setminus Z\) contains an integral point of degree (over \(R\)) at most NEWLINE\[NEWLINEd_0=C\exp(h^{\overline F}_K(Z))^NNEWLINE\]NEWLINE for \(N=\lceil\log_2(d)\rceil d^2(4+m \lceil\log_2(d)\rceil)\).