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)$?
explicitly constructing a certain flat family
0
$\begingroup$
reference-request
algebraic-geometry
deformation-theory
-
0Thank 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
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$!
-
0Of course, thank you QiL! – 2012-07-06