Degenerations of smooth projective varieties - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T13:44:21Z http://mathoverflow.net/feeds/question/56019 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/56019/degenerations-of-smooth-projective-varieties Degenerations of smooth projective varieties t3suji 2011-02-19T23:34:00Z 2011-02-21T01:46:15Z <p><strong>Vague question.</strong> Is there anything special about degenerations of smooth projective varieties (separating them from arbitrary projective schemes)? </p> <p><strong>Precise setup.</strong> Let $f:X\to Y$ be a projective flat morphism of algebraic schemes (say, over $\mathbb{C}$), where $Y$ is an irreducible variety. Suppose that the generic fiber of $f$ is smooth and connected. Consider special fibers $X_y=f^{-1}(y)$, $y\in Y$. Of course, $X_y$ may be singular, reducible, and/or non-reduced. Zariski's main theorem implies $X_y$ is connected. Can we say anything else?</p> <p><strong>Specific Questions.</strong> Can $X_y$ have embedded components? Can $X_y$ have non-constant regular functions? (Since $X_y$ is connected, such a regular function would have to be nilpotent.)</p> <p><strong>Reformulation.</strong> Consider a Hilbert scheme of closed subschemes in ${\mathbb P}^N$ (with fixed Hilbert polynomial). There is an open subset in it corresponding to smooth connected projective varieties. The question concerns the closure of this set.</p> <p><em>Remark.</em> I ran across this in a concrete situation, where the goal is to understand $Rf_*O_X$. But it seems that the question is quite natural, so perhaps the corresponding statements or counterexamples are well known... Any comments would be helpful!</p> http://mathoverflow.net/questions/56019/degenerations-of-smooth-projective-varieties/56020#56020 Answer by Allen Knutson for Degenerations of smooth projective varieties Allen Knutson 2011-02-20T00:05:15Z 2011-02-20T00:05:15Z <p>Q1: Sure, you can have embedded components. Project a curve in $P^3$ into a plane. Where the image crosses itself, you get embedded points.</p> <p>You can improve connected to "set-theoretically equidimensional, and connected in codimension 1". </p> <p>I think the real moral should be that you shouldn't keep track just of the scheme structure when you're done degenerating a smooth variety, but of e.g. the induced log structure, and consider a moduli space of varieties + that extra structure. I should probably ask a question about that!</p> http://mathoverflow.net/questions/56019/degenerations-of-smooth-projective-varieties/56028#56028 Answer by Sándor Kovács for Degenerations of smooth projective varieties Sándor Kovács 2011-02-20T01:45:30Z 2011-02-21T01:46:15Z <p>It seems that you are asking about <em>smoothability</em> of singularities. Some singularities are smoothable some are not. </p> <p>I don't think there is a general criterion that tells you how to decide whether a specific singularity is smoothable or not and it may not be that a singularity that seems bad is necessarily not smoothable while one that looks OK is.</p> <p>Hypersurface singularities are smoothable. I bet you can see why.</p> <p>The simplest example I know of an innocent looking non-smoothable singularity is a cone over an abelian variety of dimension at least $2$. The fact that this is not smoothable follows from that it is a Du Bois singularity and hence by a result of <a href="http://journals.cambridge.org/action/displayAbstract;jsessionid=DE028DE09160EB0247C26B83F3DEC272.tomcat1?fromPage=online&amp;aid=1207968" rel="nofollow">Schwede</a> if it were smoothable, the total space would have rational singularities, which is CM, and then all fibers are CM, but this singularity is not. The same argument shows that any projective variety (or variety with isolated singularities) with DB but not CM singularities give examples of what cannot be the limit of smooth projective varieties.</p> <p>Another set of examples is provided by quotient singularities. They are rigid and hence non-smoothable in dimension at least $3$, but there are two-dimensional quotient singularities that are smoothable, for instance $\big(\mathbb A^2/(x,y)\sim (-x,-y)\big)\simeq (x^2=yz)\subset \mathbb A^3$ is a hypersurface singularity. </p> <p>If you put more conditions on $f$ that obviously limits further the possible singularities you can get.</p> <p><strong>EDIT</strong> incorporated Karl's comment into the example given.</p> http://mathoverflow.net/questions/56019/degenerations-of-smooth-projective-varieties/56070#56070 Answer by Qing Liu for Degenerations of smooth projective varieties Qing Liu 2011-02-20T16:14:08Z 2011-02-20T16:29:17Z <p>A partial answer: if $X$ is normal and $Y$ is smooth of dimension $1$, then $X_y$ only have constant regular functions ($X\to Y$ is <i>cohomologically flat</i> in relative dimension $0$). This is proved in Raynaud: <a href="http://archive.numdam.org/ARCHIVE/PMIHES/PMIHES_1970__38_/PMIHES_1970__38__27_0/PMIHES_1970__38__27_0.pdf" rel="nofollow">Spécialisation du foncteur de Picard</a>, Prop. 6.4.2 (use the characteristic 0 hypothesis here, otherwise it is false even when $X$ is also smooth.) It is also proved in the begining of ''Surfaces fibrées en courbes de genre deux'', Lecture Notes in Math. 1137 (1985) by Gang Xiao. </p> <p>Add: and of course in this situation $X_y$ has no embedded point as $X$ is (S$_2$). </p>