Higher dimensional analogue of Thue's equation

Question

The classical Thue equation is $$\displaystyle F(x,y) = h,$$ for a binary form $F(x,y) \in \mathbb{Z}[x,y]$. Recall that a binary form is a polynomial in two variables which is homogeneous, and $h$ is a non-zero integer. Typically, since $F$ is homogeneous, it is convenient to allow $h$ to be positive and further require that the inputs $(x,y)$ be relatively prime integers.

The fact that binary forms always split into linear forms over $\overline{\mathbb{Q}}$ is the reason why substantially better results can be proved for binary forms rather than general binary polynomials, and homogeneous polynomials in a greater number of variables.

Nevertheless, has any progress been made for equations of the form $$\displaystyle F(x_1, \cdots, x_n) = h,$$ where $F(x_1, \cdots, x_n) \in \mathbb{Z}[x_1, \cdots, x_n]$ is a homogeneous polynomial in $n$ variables?

I know that for $n = 3$ a 2009 paper by D.R. Heath-Brown has made progress on counting solutions inside the box $|x_i| \leq B$, with $h$ relatively small compared to $B$. O. Marmon generalized Heath-Brown's argument to the $n = 4$ case. Both employ a version of the determinant method pioneered by Bombieri and Pila in their 1989 paper. Both results have the deficit that the range of $h$ is fairly restricted. In particular, they are not able to prove the analogue of the following result for binary forms: if we wish to count the number of pairs $(x,y)$ such that $1 \leq F(x,y) \leq X$ with the assumption that $F(1,0) > 0$, then the exact order of magnitude is $X^{2/d}$ where $d = \deg(F)$.

Are there any other attempts to deal with the number of solutions to the higher dimensional analogue of Thue's equation? Any references would be appreciated.

Answer 1

Here is an example which illustrates that in general things are incredibly hard. Consider the equation:

$$x_1^3 + x_2^3 + x_3^3 = h.$$

Here are two famous open problems:

1. For which $h$ does this equation have a solution in the integers?
2. Is there any $h$, which is not a cube, for which the equation has infinitely many solutions in the integers?

With regards to 1., simple congruence conditions show that there is never a solution if $h \equiv 4,5 \mod 9$. It is conjectured that the converse holds. I believe the simplest case where this is open is the case $h=33$ (or possibly $h=30$?). Note that many computer experiments have been performed on various $h$ looking for solutions and when solutions are found, they often have incredibly large height. Just search google for "sums of three cubes".

Also for 2. one can show that there are infinitely many solutions if $d$ is a cube.