Let $X$ be a smooth cubic surface in $\mathbb{P}^3$. It is a classical theorem of Cayley and Salmon that $X$ contains exactly 27 lines over an algebraically closed field.

In 2002, Heath-Brown proved in his paper "The density of rational points on curves and surfaces" that if $F$ is a binary form of degree $d \geq 3$ which is not a perfect $d$th power, then the only lines on $X: F(x_1, x_2) = F(x_3, x_4)$ correspond to $F(x_1, x_3) = F(x_3, x_4) = 0$, i.e., the line corresponds to a pair of roots of $F$, or there exists $a_1, a_2, a_3, a_4$ such that $F(x_1, x_2) = F(a_1 x_1 + a_2 x_2, a_3 x_1 + a_4 x_2)$, i.e., the line corresponds to an automorphism of the binary form $F$.

Now let $F$ be a smooth cubic form (i.e., its discriminant is non-zero). Then the surface $X : F(x_1, x_2) - F(x_3, x_4) = 0$ is a smooth cubic surface, hence it should have 27 lines on it. However, I count 9 lines coming from roots ($3^2$ many) and $6$ coming from automorphisms of $F$ (the automorphism group of $F$ in $\operatorname{GL}_2(\mathbb{C})$ is always isomorphic to $D_3$, the dihedral group on 3 letters). This only gives 15 lines, so there are 12 missing lines. By Heath-Brown's theorem, the only way to account for the discrepancy seems to be to count certain lines with multiplicity. I am not sure which are the ones that need to be counted with multiplicity.

Any help would be much appreciated.

alwaysdistinct. $\endgroup$ – Francesco Polizzi Apr 6 '16 at 13:19