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.

I have some difficulties to prove that the image of the function $f:\,\mathbb P^1\longrightarrow\mathbb P^3$ such that $$(u,v)\longmapsto (u^3,\,u^2v,\,uv^2,\,v^3)$$ is the algebraic projective set $$V(XT-YZ,\, Y^2-XZ,\,Z^2-YT)$$ Clearly I have problem to prove that the algebraic projective set is contained in the image of $f$. In particular "solving brutally" the polynomial system I'm losing my mind in calculations, so I hope that there is a simpler method.

share|improve this question
add comment

1 Answer 1

up vote 4 down vote accepted

Every point of $V=V(XT-YZ,\, Y^2-XZ,\,Z^2-YT)$ is in at least one of the four standard copies of $\mathbb A^3$affine spaces covering $\mathbb P^3$. So check them successively. I'll do the $T=1$ part.

When $T=1$, $V$ is given by $$x=yz, \: y^2=xz,\: z^2=y$$ But then a point $(x,y,z)=[x:y:z:1] \in V $ satisfying these equations is simply the image under $f$ of $[u:v]=[z:1]\in \mathbb P^1 $, since the first and third displayed equations for $V$ immediately imply that $x=yz=z^2.z=z^3$

share|improve this answer
2  
In fact, for this particular calculation, you only need to check the charts where $T \neq 0$ and where $X \neq 0$, since $X = T = 0 \Longrightarrow Y = Z = 0$ in $V$. –  Michael Joyce May 12 '12 at 23:42
1  
An excellent observation, @Michael: +1. And then for $[1:y:z:t]\in V$ , we have $f([1:y])=[1:y:y^2:y^3]=[1:y:z:t]$ –  Georges Elencwajg May 13 '12 at 0:14
    
@Galoisfan: Welcome to mathstackexchange! You are encouraged to 'accept' an answer that addresses your question, which Georges' certainly does. –  Michael Joyce May 13 '12 at 0:59
    
thanks for the answer! –  fair-coin tossing May 13 '12 at 6:20
add comment

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.