A uniqueness theorem for rational points in projective space (Q1590280)

A theorem of \textit{H. Fujimoto} [Nagoya Math. J. 58, 1-23 (1975; Zbl 0313.32005)] states that if \(f\) and \(g\) are holomorphic curves in \(\mathbb P^m(\mathbb C)\), at least one of which is (linearly) nondegenerate; if \(H_1,\dots,H_{3m+2}\) are hyperplanes in \(\mathbb P^m(\mathbb C)\) in general position; and if, for all \(j\), the sets \(f^{-1}(H_j)\) and \(g^{-1}(H_j)\) coincide, with multiplicity; then \(f\equiv g\). This generalizes the ``five-values'' theorem of Pólya (generalized by Nevanlinna to hold without considering multiplicities). The present paper states and proves the number-theoretic counterpart of Fujimoto's theorem, which reads as follows. Let \(K\) be a number field, and let \(S\) be a finite set of places of \(K\) containing the infinite places. Let \(L_1,\dots,L_{3m+2}\) be linear forms in \(m+1\) variables with algebraic coefficients, such that any \(m+1\) of them are linearly independent over \(\overline{\mathbb Q}\). Let \((x_i)_{i\in I}\) and \((y_i)_{i\in I}\) be two infinite sequences in \(\mathbb P^m(K)\) such that at least one of them is linearly nondegenerate (i.e., no infinite subsequence is contained in a hyperplane). Suppose also that \(L_j(x_i)\neq 0\), \(L_j(y_i)\neq 0\), and both \(L_j(x_i)/L_j(y_i)\) and \(L_j(y_i)/L_j(x_i)\) are integral over the ring of \(S\)-integers in \(K\), for all \(i\in I\) and all \(j=1,\dots,3m+2\). Then there exists an infinite subsequence \(I'\subseteq I\) such that \(x_i=y_i\) for all \(i\in I'\). The proof follows Fujimoto's paper, using the unit lemma of Evertse, van der Poorten, and Schlickewei in place of Borel's lemma.