# Implicitization of a cubic

Let $\nu$ be the map $\mathbb{P}^1 \to \mathbb{P}^2$ defined by $$\nu([X_0,X_1])=[A_0(X_0,X_1),A_1(X_0,X_1),A_2(X_0,X_1)]$$ where the $(A_i)$ are homogenous polynomials of degree 3, without common zeros.

To prove the image of this map is included in a cubic curve of $\mathbb{P}^2$, we can look at the pullback of the map $\nu$ that gives a linear map from the space of homogenous polynomials of degree 3 on $\mathbb{P}^2$ to the space of homogenous polynomials of degree 9 on $\mathbb{P}^1$ (this comes from a hint in an exercise of Harris' book Algebraic Geometry). It is then sufficient to prove that this pullback is not surjective since the two spaces have dimension 10.

I have some difficulty to prove that by a simple (meaning not using powerful theorems of elimination theory) method. Any hint about this hint ? (Harris seems to imply in his hint that it is quite obvious : perhaps there is something very simple to see that I am missing)

PS: I posted below a simple answer I just found. If someone can check it, I will be grateful !

-
Dear brunoh, What do you mean by a cubic surface of $\mathbb P^2$, which is itself a plane? Probably you mean a cubic curve. Regards, – Matt E Aug 20 '12 at 1:21
@MattE Oupss ! Thanks ! A little edit in the question ... – brunoh Aug 20 '12 at 3:12

I think you can try with Bézout's theorem.

To compute the degree of the image, you count the number of its intersection points with a generic line in the projective plane. Let $c_0, c_1, c_2$ be constants in the base field. We have to solve the equation $$c_0A_0(x,y)+c_1A_1(x,y)+c_2A_2(x,y)=0$$ in $\mathbb P^1$. It has clearly at most three solutions (unless the polynomial $c_0A_0+c_1A_1+c_2A_2$ is zero, which can't happen for general enough $c_i$'s). Send these solutions by $\nu$ to $\mathbb P^2$ and we see that there are at most three intersection points.

-
Thank you very much for your effort ! Clearly there are solutions using powerful methods, but I really want to find one at the level of chapter 1 of Harris' book, since the hint is given at this level. So I do not want to use Bezout's theorem, but a "naive" approach. Nevertheless, I give you one upvote for your time ! – brunoh Aug 20 '12 at 9:54
And by the way, by looking more precisely at your answer, it seems that you are using the fact that the curve defined by $\nu$ is contained in an equation of unknown degree defined on $\mathbb{P}^2$. Then you use bezout to find its maximum degree. Well, it seems to me a bit tautological, since we are not supposed to know that the curve is contained in an implicit equation, are we ? The whole point of the exercise is more to directly show the non-surjectivity of the pullback in the 9th-degree homogenous polynomials on the projective line. But perhaps I am mistaken ? – brunoh Aug 20 '12 at 10:24
@brunoh, yes I use the fact that the image is contained in a curve. This is not tautological because the aim is to determine the degree. – user18119 Aug 21 '12 at 12:47
yes, you are perfectly right and I am very sorry about my poor english. The exercise was actually about proving first that the image is a contained in a curve, and then that it is a degree three one. But my question was very badly formulated, and obfuscate the first part. To determine the degree your approach is clearly the most generic & elegant. Thank you again for your time. – brunoh Aug 21 '12 at 21:58

Well, after some more thinking, I found the following elementary solution :

1- First note that the image by the pullback is not changed by the action of $PGL(3)$ on the point $[A_0,A_1,A_2]$

2- Second, note that the three homogenous polynomials of degree 3 do not generate the space of degree 3 homogenous polynomials on the projective line, but they are supposed to be independant.

3- Then using a transformation of $PGL(3)$ applied to $[A_0,A_1,A_2]$, we can get a new triple of polynomials such as, if we consider the basis $(X_0^3,X_0^2X_1,X_0X_1^2,X_1^3)$, either for at least one element of such a basis, there will be only one polynomial having a non zero coordinate on this element (Jordan normal form) and at least a non zero coordinate on one other element of the basis, either we will get the basis minus one element of it.

4- Then it is obvious to see that the image of the pullback do not contain $X_0^9$ or $X_0^8X_1$ or $X_0X_1^8$ or $X_1^9$.

I got the feeling this solution is a bit too adhoc, and lacks elegance.

-