Complete intersections and flat families - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T16:52:16Z http://mathoverflow.net/feeds/question/17110 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/17110/complete-intersections-and-flat-families Complete intersections and flat families Steven Sam 2010-03-04T16:59:24Z 2010-03-04T19:43:01Z <p>If I have a flat family $f \colon X \to T$ such that some fiber is (locally) a complete intersection, does that imply that there is an open set $U$ in $T$ such that the fibers above $U$ are (locally) complete intersections?</p> <p>In general, what kind of intuition should one have about which properties are "open" with respect to flat families?</p> http://mathoverflow.net/questions/17110/complete-intersections-and-flat-families/17123#17123 Answer by BCnrd for Complete intersections and flat families BCnrd 2010-03-04T19:23:54Z 2010-03-04T19:23:54Z <p>EGA IV$_4$, 19.3.8 (and 19.3.6); this addresses openness upstairs without properness, and (as an immediate consequence) the openness downstairs if $f$ is proper (which I assume you meant to require).</p> <p>The general intuition is that openness holds upstairs for many properties, and so then holds downstairs when map is proper. As for proving openness upstairs, the rough idea is to first prove constructibility results, and then refine to openness by using behavior under generization. But it's a long story, since there are many kinds of properties one can imagine wanting to deal with. These sorts of things are developed in an extraordinarily systematic and comprehensive manner in EGA IV$_3$, sections 9, 11, 12 (especially section 12 for the niftiest stuff). </p> http://mathoverflow.net/questions/17110/complete-intersections-and-flat-families/17125#17125 Answer by David Speyer for Complete intersections and flat families David Speyer 2010-03-04T19:43:01Z 2010-03-04T19:43:01Z <p>I just wanted to point out that the situation for globally complete intersections is very different; the property of being a globally complete intersection is not open. For example, consider $(\mathbb{P}^2)^9$. This is an $18$-dimensional irreducible space; the locus of $9$-tuples of points which can be written as a complete intersection of two cubics only has dimension $16$, and thus is not open. </p> <p>Here is a nice trick question: Take a family of $9$-tuples of points in $\mathbb{P}^2$, indexed by $t \in \mathbb{A}^1$, which are the intersection of two cubics for $t=0$ but not for generic $t$. Cone this family to get a family of $1$-dimensional subschemes of $\mathbb{P}^3$. Why is this not an example of a singularity which is a locally complete intersection deforming to a singularity which is not?</p>