Hi,


After the response to the following question, [Rational roots to quadratic forms in 4 variables](https://mathoverflow.net/questions/69335/rational-roots-to-quadratic-forms-in-4-variables), I am now considering the following question.


Let $d \geq 2$ be a positive integer, and suppose that $F(x\_1, x\_2, x\_3, x\_4)$ is a form of degree $d$ with integer coefficients. Let $N(F,B)$ be the number of primitive integer solutions $(x\_1, x\_2, x\_3, x\_4)$ to $F(x\_1, x\_2, x\_3, x\_4) = 0$ (where primitive means that the $\gcd$ of all non-zero entries is 1, that at least one of the entries is non-zero, and that the smallest index $i$ such that $x\_i \ne 0$ satisfies $x\_i > 0$) satisfying $|x\_i| \leq B$, for some $B > 0$. Let $\lVert F \rVert$ be the maximum of the absolute values of the coefficients of $F$. 


I am wondering if a theorem of the following variety exists: In the above situation, we either have $N(F,B) \ll\_\epsilon B^{\theta + \epsilon}$ for some small $\theta$, or we have $\lVert F \rVert \ll\_{d, \epsilon} B^{u(d, \epsilon)}$ where $u$ is some positive function of $d$ and $\epsilon$.


As a comparison, in the three variable case we have the following result due to Bombieri and Pila, in E. Bombieri and J. Pila, "The number of integral points on arcs and ovals", Duke Mathematical Journal., 59 (1989), 337-357 which states that if $F(x,y,z)$ is a form of degree $d$, then either $N(F,B) \ll d^2$ or $\lVert F \rVert \ll B^{d(d+1)(d+2)/2}$. 


The heuristic here is that if $F$ has lots of solutions in the box $|x\_i| \leq B$, then its coefficients cannot be too big because then even slight variations to the coordinates would throw the value of $F$ outside the box.


Any help would be greatly appreciated.



Integral roots to degree $d$-forms in four variables inside a box
There is a result of the form you want in the literature. Take a look at Theorem 4 in Heath-Brown's paper *The density of rational points on curves and surfaces* (Annals of Math., **155** (2002), 553–595). An easy generalisation of this gives the following. Let $G\in \mathbb{Z}[X\_0,\ldots, X\_n]$ be a primitive form of degree $d\geq 2$, defining a projective hypersurface $Z\subset \mathbb{P}^n$. Then either 
$$
\|G\|\ll\_{d,n} B^{d\binom{d+n}{n}},
$$
or else there exists a form $G′\in \mathbb{Z}[X\_0,\ldots, X\_n]$ of degree $d$, which is not proportional to $G$, such that $G′$ vanishes at each point $x \in Z\cap \mathbb{P}^n(\mathbb{Q})$ which has height $H(x) \leq B$. 


Upshot: In your case, either $\|F\|$ is small or the points you are interested actually lie on a curve in $\mathbb{P}^3$. In the latter case you get the bound $N(F,B)=O\_{d}(B)$ unless the curve you produce contains a line (which must then lie in the surface $F=0$).


