Geometric postulation of a smooth function and the number of rational points

This paper is devoted to giving refinements and extensions of some of the results of Bombieri and the author [1] obtaining upper bounds for the number of integral lattice points on the graphs of functions. Consider a sufficiently smooth function f(x) with graph Γ, and a positive integer d. The main device of that paper was to consider integral points on Γ that do not lie on any real algebraic curve of degree d. The Main Lemma of [1] shows that such points cannot be too close together relative to certain norms of the function. We pursue here two different goals relative to the Main Lemma. The first is to obtain local conditions on the function f(x) that control the multiplicity of the intersection of Γ with any algebraic curve of degree d. This is essentially an investigation into the hypotheses of the Main Lemma, and constitutes the Geometric Postulation of the title. Indeed, in sections 2 and 3 we will obtain such conditions for any linear space of real algebraic curves. The applications to integral points are given in section 5. For example, we show that if f(x) ∈ C on [0, 1] and W (f, 2) = f ′′ ∣∣∣∣∣ f ′′′ 3f ′′ 0 f iv 4f ′′′ 6f ′′ f 5f iv 20f ′′′ ∣∣∣∣∣ is nowhere zero then, for every e > 0,