Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I've been doing some reading on deformation theory and one way it is used is to study singularities on varieties while perturbing the varieties. I would actually like to use deformation theory to construct a flat family linking the following two subschemes of $\mathbb{A}_{\mathbb{C}}^8$.

I would like to thank David Speyer who helped me to formulate this question from my other post.

Does there exist a closed subset of $\mathbb{A}_{\mathbb{C}}^8\times \mathbb{A}_{\mathbb{C}}^1$, which is flat over $\mathbb{A}_{\mathbb{C}}^1$, whose fiber over $0$ is the set $$ Z(x_1 y_1 + z_1 y_2, x_2 y_2 +z_3^2, x_3 y_3-z_3 y_2, x_1-x_2+x_3) $$ and whose fiber over $1$ is the set $$ Z(x_1 y_1 + z_1 y_2,x_2 y_2, x_3 y_3-z_3 y_2, x_1-x_2+x_3)? $$

Note that the only difference between the two sets is that the second polynomial is a monomial.

share|improve this question
1  
Dear math-visitor, I didn't think very hard about your particular equations, but is the obvious candidate $Z(x_1y_1 + z_1y_2, x_2 y_2 + (1-t)z_3^2, x_3y_3- z_3 y_2, x_1- x_2 + x_3)$ not flat over the $t$-line for some reason? Regards, –  Matt E Jul 5 '12 at 4:01
    
Yes, that was what I was thinking of originally, but are there relatively simple/easy ways to check whether or not the map you wrote is flat? –  math-visitor Jul 5 '12 at 4:19
1  
Dear math-visitor, Since over a Dedekind domain flatness is the same as torsion free, you just have to check that the total space of the family doesn't have a component supported over some closed point of $\mathbb A^1$. This could happen if your equations were sufficiently complicated, and conspired in some way to produce such a component for a particular value of $t$. Probably they don't, and even if they did, one could likely modify my suggestion slightly so that the modified family is flat. Regards, –  Matt E Jul 5 '12 at 4:44
    
Thank you Matt! I will try that. –  math-visitor Jul 5 '12 at 4:53
    
@MattE This may be a naive question but suppose I am able to show that the obvious candidate is a flat morphism over the $t$-line. Then if the variety over $t=0$ is a complete intersection in $\mathbb{A}_{\mathbb{C}}^8$, then would the variety over $t=1$ be a complete intersection in $\mathbb{A}_{\mathbb{C}}^8$ as well? We could check this with a computer software for the above example, but there are more complicated examples where using a computer may be impossible or difficult. –  math-visitor Jul 5 '12 at 7:00

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.