4
$\begingroup$

I'm trying to decide whether the following set is a regular surface: $$\{(x^3 - 3xy^2, 3x^2y - y^3, 0) : (x, y) \in \mathbb{R}^2\}$$

I know that the map ${\bf x} : \mathbb{R^2} \to \mathbb{R^3}$ defined by ${\bf x}(x, y) = (x^3 - 3xy^2, 3x^2y - y^3, 0)$ doesn't work as a coordinate map, because the Jacobian determinant $\frac{\partial (x, y)}{\partial (x, y)}$ vanishes at $x = y = 0$. However I guess this doesn't rule out the possibility of other coordinate maps.

Obviously the surface isn't the graph of a function and I can't use the fact that it's a preimage of regular value of a function. So I'm thinking I have to find some coordinate maps which satisfy the appropriate properties, but I can't think what they would be. Can anyone help here? Is this set in fact not a regular surface, and if so how do I prove that?

$\endgroup$
4
  • 1
    $\begingroup$ The set is $(u,v,0)$ where $u$ and $v$ are the real and imaginary part of $z^3$. $\endgroup$
    – PAD
    Oct 9, 2012 at 21:50
  • $\begingroup$ Hm, you're right. How would I use this fact though? $\endgroup$
    – rt93
    Oct 9, 2012 at 21:54
  • 1
    $\begingroup$ Perhaps your set is the $xy$ plane in three dimensions? $\endgroup$
    – PAD
    Oct 9, 2012 at 22:08
  • $\begingroup$ Of course, thanks. $\endgroup$
    – rt93
    Oct 9, 2012 at 23:28

1 Answer 1

2
$\begingroup$

The map $$f:(x,y)\in\mathbb R^2\mapsto(x^3-3xy^2,3x^2y-y^3)\in\mathbb R^2$$ is surjective (to see this, you can use the observation made by Pantelis in a comment above and the fact that every complex number has a cubic root) That means that your set is just the $xy$-plane in $\mathbb R^3$, which is surely a regular surface.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .