Integral points, divisibility between values of polynomials and entire curves on surfaces (Q990759)

This paper proves an assortment of theorems on integral points on surfaces. Counterparts for holomorphic curves are also proved. Throughout this review, \(k\) is a number field, \(S\) is a finite set of places of \(k\) containing the archimedean places, and \(\mathcal O_S\) is the ring of \(S\)-integers. For the first result, we say that pairs \((f_1,g_1)\), \((f_2,g_2)\), and \((f_3,g_3)\) of (nonzero) polynomials in \(k[x,y]\) are in \textit{general position} if (1) for all \(i\neq j\) the projective closures of the affine curves \(f_i=0\) and \(f_j=0\) have no points in common at infinity; (2) the affine curves \(f_1=0\), \(f_2=0\), and \(f_3=0\) have no points in common; (3) if \(g_i\) is non-constant then \(f_i=0\) and \(g_i=0\) intersect transversally; and (4) if \(i\neq j\) then \(f_i=0\), \(g_i=0\), and \(f_j=0\) have no points in common. The first theorem then says that, if \((f_1,g_1)\), \((f_2,g_2)\), and \((f_3,g_3)\) satisfy the above conditions, if all \(f_i\) and \(g_i\) lie in \(\mathcal O_S[x,y]\), and if \(\deg f_i\geq\max\{1,\deg g_i\}\) for all \(i\), then the set \(\{(x,y)\in\mathcal O_S^2:\text{}f_i(x,y)\mid g_i(x,y)\) for all \(i\)