Polynomial parametrization of the solutions of certain systems of Diophantine equations (Q844022)

Let \(f_1,\ldots,f_n \in {\mathbb Z}[X_0,\ldots,X_N]\) be non-constant homogeneous polynomials such that \(V = \text{Proj}({\mathbb Q}[X_0,\ldots,X_N]/(f_1,\ldots,f_n))\) is a projective variety admitting a surjective morphism \(\phi : {\mathbb P}^n_{\mathbb Q}\rightarrow V\). For \(p\in V\), let \(k_V(p)\) the residue field of the local ring of \(V\) at \(p\), and \(\phi^{-1}(p) = {\mathbb P}^n_{\mathbb Q}\times_V \text{spec}\,k_V(p)\). For each \(\bar{p}\in \phi^{-1}(p)\), \(\phi\) induces an embedding \(\phi_{\bar{p}} : k_V(p)\hookrightarrow k_{{\mathbb P}^n_{\mathbb Q}}(\bar{p})\). A point \(p\in V({\mathbb Q})\) is called \textit{strongly \({\mathbb Q}\)-rational} (with respect to \(\phi\)) if there is \(\bar{p} \in \phi^{-1}(p)\) such that \(\phi_{\bar{p}}\) is the identity. We denote by \(V_{\phi}({\mathbb Q})^*\) the set of all strongly \({\mathbb Q}\)-rational points of \(V\). Furthermore, we recall that a polynomial \(g\in {\mathbb Q}[U_1,\ldots,U_m]\) is called \textit{integer-valued} if for any \(u \in {\mathbb Z}^{m}\) we have \(g(u) \in {\mathbb Z}\). Put \(L = \{(x_0,\ldots,x_N)\in {\mathbb Z}^{N+1}\mid (x_0: \ldots: x_N)\in V_{\phi}({\mathbb Q})^*\}\cup \{(0,\ldots,0)\}\). In this paper it is proved that there exists \(m\in N\) and integer-valued polynomials \(g_0,\ldots,g_N \in {\mathbb Q}[U_1,\ldots,U_m]\) such that \[ L = \{(g_0(u),\ldots,g_N(u))\mid u\in {\mathbb Z}^m\}. \]