I am attempting to understand equations of the form $z^2 = x^3 + Ax + B + Cy + y^3$, which is a generalisation of an elliptic curve $y^2 = x^3 + Ax + B$. I know that to make sure an elliptic curve has nice properties, we require that $f(x) = x^3 + Ax + B$ has three distinct roots. This leads to $4A^3 + 27B^2 \neq 0$. I wondered if the generalised equation has a similar inequality in A, B and C which forces the surface to have particularly "nice" properties, such as a group law.
I guessed that if $g(x,y) = x^3 + Ax + B + Cy + y^3$ could be factored into distinct linear factors then it would be sufficiently "nice". Trying to find the required restriction on the coefficients, I first set $g(x,y) = (a_1 x + b_1 y + c_1)(a_2 x + b_2 y + c_2)(a_3 x + b_3 y + c_3)$ and expanded the RHS. This results in the following system of equations,
$$a_1 a_2 a_3 = 1$$
$$b_1 b_2 b_3 = 1$$
$$a_3 b_2 c_1 + a_2 b_3 c_1 + a_3 b_1 c_2 + a_1 b_3 c_2 + a_2 b_1 c_3 + a_1 b_2 c_3 = 0$$
$$a_2 a_3 b_1 + a_1 a_3 b_2 + a_1 a_2 b_3 = 0$$
$$a_3 b_1 b_2 + a_2 b_1 b_3 + a_1 b_2 b_3 = 0$$
$$a_2 a_3 c_1 + a_1 a_3 c_2 + a_1 a_2 c_3 = 0$$
$$b_2 b_3 c_1 + b_1 b_3 c_2 + b_1 b_2 c_3 = 0$$
$$A = a_3 c_1 c_2 + a_2 c_1 c_3 + a_1 c_2 c_3$$
$$B = c_1 c_2 c_3$$
$$C = b_3 c_1 c_2 + b_2 c_1 c_3 + b_1 c_2 c_3$$
But I don't see how I can use these to deduce a restriction on the coefficients. Hopefully someone can find a simpler approach to this problem!
By "nice" I mean that every line meeting the surface must meet it in exactly three points (counting multiplicities and involving points at infinity if necessary). My ultimate goal is to find the weakest, necessary condition for such a surface to have this property.
Best Answer
Turns out the reference for part reduction was a book by Schinzel, he of the Hypothesis.
there is a nice answer to this sort of thing. Throw in a variable $z$ to homogenize, $$ f = x^3 + A x z^2 + B z^3 + C y z^2 + y^3 $$
Next, find the second partial derivatives of $f$ by $x,y,z$ and write out the Hessian matrix. The entries in $H$ are linear in $x,y,z,$ as they begin degree three.
Finally, calculate the determinant of $H.$ This is a homogeneous degree three. The form $f$ factors into linear terms over $\mathbb C$ if and only if the determinant is a constant multiple of $f.$ The reference is by Brookfield, I believe I saved part of it, let me look.