Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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 !

share|improve this question
1  
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

2 Answers 2

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.

share|improve this answer
    
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
up vote 1 down vote accepted

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.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.