Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Related question: embedding of $\mathbb{RP}^2$ in $\mathbb{R}^4$

I want to show $F[x,y,z]=(x^2−y^2,xy,xz,yz)$ is an immersion.

I know how to do it in local charts, for example by computing the jacobian of the composite map $(x,y) \mapsto [x,y,z]\mapsto (x^2−y^2,xy,xz,yz)$. (plus other charts)

But is it possible by examining the push-forward $F_*:T_PM \to T_{F(P)}N$?

What I tried is that if I first look at a curve in $S^2$ given by $x(t)^2+y(t)^2+z(t)^2=1$, then $xx'+yy'+zz'=0$ where $x=x(0),\ x'=x'(0)$ (similarly for $y,z$) Then computing $\dfrac d {dt}F(x(t),y(t),z(t))$ at $t=0$ gives $(2xx'-2yy',x'y+xy',x'z+xz',y'z+yz')$. So if I consider case $z\neq0$, I can separate it to $x'v+y'w$ where $v,w \in \mathbb{R}^4$. So I can finish this by showing $v,w$ is linearly independent. (also completing cases $y,z \neq 0$)

  1. Is it right? and how can I then conclude for a curve in $\mathbb{RP}^2$?
  2. Is there any method when I consider tangent vectors as derivations?
share|cite|improve this question

Your Answer


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

Browse other questions tagged or ask your own question.