- Thread starter
- #1

_{1}, f

_{2}, f

_{3}>, where f

_{1}= x

_{0}x

_{2}-x

_{1}

^{2}, f

_{2}= x

_{0}x

_{3}- x

_{2}x

_{1}, f

_{3}= x

_{1}x

_{3}- x

_{2}

^{2}.

I also have the parametrization of some surface given by [tex] \phi: \mathbb{C}^2 \rightarrow \mathbb{C}^4 [/tex] defined by [tex] \phi(s, t) = (s^3, s^2t, st^2, t^3) = (x_0, x_1, x_2, x_3) [/tex].

I want to show that [tex] V(I) = \phi(\mathbb{C}^2) [/tex] and I(V) = I = <f

_{1}, f

_{2}, f

_{3}>.

I can show that [tex] \phi(\mathbb{C}^2) \subseteq V(I) [/tex] but I can't figure out a way to show the reverse inclusion.

Similarly, I see that <f

_{1}, f

_{2}, f

_{3}> is contained in I(V), but I can't figure out how to show the reverse inclusion either.

Can someone give me some hints on how to proceed in these directions?