0
$\begingroup$

Is it possible to construct a flat family $ \phi:\mathbb{A}_{\mathbb{C}}^8=\operatorname{Spec} \mathbb{C}[x,y,z,w,a,b,c,d]\longrightarrow \operatorname{Spec} \mathbb{C}[t_1, t_2, t_3] =\mathbb{A}_{\mathbb{C}}^3 $ so that $ \phi^{-1}((0,0,0)) = Z(xy+zw,ab+cw+d^2,x+a+c) $ while $ \phi^{-1}((t_1, t_2, t_3)) = Z(xy+zw,ab+cw,x+a+c), $ for some $(t_1, t_2, t_3)\not=(0,0,0)$?

  • 0
    Thank you David! Yes, you are absolutely correct about what I've been thinking for the past an hour or so. I thought about QiL's answer, which is correct for the above problem, and I am about to formulate and post what I really want to ask as another question.2012-07-05

1 Answers 1

2

No. Suppose such a $\phi$ exists. Let $(x_0,y_0,z_0,w_0, a_0, b_0, c_0, d_0)$ be a point of $\phi^{-1}(t_1,t_2,t_3)$. Then $(x_0,y_0,z_0,w_0, a_0, b_0, c_0, 0)$ belongs to $\phi^{-1}(t_1,t_2,t_3)\cap \phi^{-1}(0,0,0)=\emptyset$!

  • 0
    Of course, thank you QiL!2012-07-06