5 added 500 characters in body

Hi, here are some references taken from Algebraic geometry I. Schemes. by Gortz and Wedhorn, Appendix E. These are generally scattered in EGAIV as far as I remember. Anyway, Kazuma Shimomoto recently pointed out to me this appendix.

EDIT: I originally misread what Gortz and Wedhorn were saying, and got the references wrong. Here are corrected references:

EDIT: As Mohan and Laurent Moret-Bailly point out, you really need the properness. Otherwise, imagine that the bad locus (for example, the singular/non-normal locus) is like a hyperbola that goes to infinity near the special fiber.

1). This is Appendix E.1(11). They reference EGAIV, 12.2.1

2). I don't see this in their list... You could try checking out EGA.

3). Normality is Appendix E.1(20). They reference EGAIV 12.2.4. Smoothness is Appendix E.1(18), again see EGAIV 12.2.4.

Of course, they are talking about geometric normality etc, but in your case, the residue field at the special point is $\mathbb{C}$, so if the special fiber is normal it is geometrically normal.

In particular, they state the openness of the statements for a proper flat map.

EDIT: A different approach: Let me also state a different approach to some of these questions.

I say that an open property $P$ deforms if for a local ring $(R, \mathfrak{m})$ and if there exists a regular element $0 \neq f \in \mathfrak{m}$ such that $R/f$ satisfies property $P$ then $R$ also satisfies property $P$.

Regularity, Cohen-Macaulayness, Gorensteinness all deform for more or less obvious reasons. Normality is pretty easy and I know it's in EGA somewhere... (it's also in a paper of R. Heitmann where he actually shows the statement for semi-normality, it follows from regularity and S_n computations). In fact, if $R/f$ is reduced or integral, then so is $R$.

Just for completeness, let me mention that rational singularities also deform (a result of Elkik). Log canonical and log terminal singularities do not deform in this way unless additional assumptions on $R$ are made (for example, if $R$ is Gorenstein). In general, see Inversion of adjunction. A recent theorem of Kovacs and myself proves it for Du Bois singularities (see the arXiv). As far as I know, this is an open question for weak-normality.

Anyway, why is this relevant. ? Well, let's say we have an open condition (like being reduced, being smooth, being normal, being Cohen-Macaulay, having rational singularities). Then suppose that $\pi : Y \to C$ is a flat map over a smooth pointed curve $0 \in C$. If the special fiber $Y_0$ saties a property $P$, and $P$ deforms, then $Y$ satisfies property $P$ in a neighborhood of $Y_0$. Indeed, work locally, modding out by the equation defining the special fiber is just modding out by some regular element.

$\bullet$ If $\pi$ is now proper, then this implies that the non-$P$-locus has closed image in $C$ under $\pi$. In particular, it only messes up a few fibers . and the generic fiber is $P$ (in fact the total space $Y$ is also $P$ is one is willing to remove a couple points from $C$). At this point, you can use Bertini's theorem to obtain that the "nearby" closed fibers of $\pi$ also satisfy $P$.

4 added 22 characters in body

Hi, here are some references taken from Algebraic geometry I. Schemes. by Gortz and Wedhorn, Appendix E. These are generally scattered in EGAIV as far as I remember. Anyway, Kazuma Shimomoto recently pointed out to me this appendix.

EDIT: I originally misread what Gortz and Wedhorn were saying, and got the references wrong. Here are corrected references:

1). This is Appendix E.1(11). They reference EGAIV, 12.2.1

2). I don't see this in their list... You could try checking out EGA.

3). Normality is Appendix E.1(20). They reference EGAIV 12.2.4. Smoothness is Appendix E.1(18), again see EGAIV 12.2.4.

Of course, they are talking about geometric normality etc, but in your case, the residue field at the special point is $\mathbb{C}$, so if the special fiber is normal it is geometrically normal.

In particular, they state the openness of the statements for a proper flat map.

EDIT: A different approach: Let me also state a different approach to some of these questions.

I say that an open property $P$ deforms if for a local ring $(R, \mathfrak{m})$ and if there exists a regular element $0 \neq f \in \mathfrak{m}$ such that $R/f$ satisfies property $P$ then $R$ also satisfies property $P$.

Regularity, Cohen-Macaulayness, Gorensteinness all deform for more or less obvious reasons. Normality is pretty easy and I know it's in EGA somewhere... (it's also in a paper of R. Heitmann where he actually shows the statement for semi-normality, it follows from regularity and S_n computations). In fact, if $R/f$ is reduced or integral, then so is $R$.

Just for completeness, let me mention that rational singularities also deform (a result of Elkik). Log canonical and log terminal singularities do not deform in this way unless additional assumptions on $R$ are made (for example, if $R$ is Gorenstein). In general, see Inversion of adjunction. A recent theorem of Kovacs and myself proves it for Du Bois singularities (see the arXiv). As far as I know, this is an open question for weak-normality.

Anyway, why is this relevant. Well, let's say we have an open condition (like being reduced, being smooth, being normal, being Cohen-Macaulay, having rational singularities). Then suppose that $\pi : Y \to C$ is a flat map over a smooth pointed curve $0 \in C$. If the special fiber $Y_0$ saties a property $P$, and $P$ deforms, then $Y$ satisfies property $P$ in a neighborhood of $Y_0$. Indeed, work locally, modding out by the equation defining the special fiber is just modding out by some regular element. If $\pi$ is now proper, then this implies that the non-$P$-locus has closed image in $C$ under $\pi$. In particular, it only messes up a few fibers.

Hi, here are some references taken from Algebraic geometry I. Schemes. by Gortz and Wedhorn, Appendix E. These are generally scattered in EGAIV as far as I remember. Anyway, Kazuma Shimomoto recently pointed out to me this appendix.

Of course, they are talking about geometric normality etc, but in your case, the residue field at the special point is $\mathbb{C}$, so if its the special fiber is normal it is geoemtrically geometrically normal.

In particular, they state the openness of the statements for a proper flat map.

EDIT: A different approach: Let me also state a different approach to some of these questions.

I say that an open property $P$ deforms if for a local ring $(R, \mathfrak{m})$ and if there exists a regular element $0 \neq f \in \mathfrak{m}$ such that $R/f$ satisfies property $P$ then $R$ also satisfies property $P$.

Regularity, Cohen-Macaulayness, Gorensteinness all deform for more or less obvious reasons. Normality is pretty easy and I know it's in EGA somewhere... (it's also in a paper of R. Heitmann where he actually shows the statement for semi-normality, it follows from regularity and S_n computations). In fact, if $R/f$ is reduced or integral, then so is $R$.

Just for completeness, let me mention that rational singularities also deform (a result of Elkik). Log canonical and log terminal singularities do not deform in this way unless additional assumptions on $R$ are made (for example, if $R$ is Gorenstein). In general, see Inversion of adjunction. A recent theorem of Kovacs and myself proves it for Du Bois singularities (see the arXiv). As far as I know, this is an open question for weak-normality.

Anyway, why is this relevant. Well, let's say we have an open condition (like being reduced, being smooth, being normal, being Cohen-Macaulay, having rational singularities). Then suppose that $\pi : Y \to C$ is a flat map over a smooth pointed curve $0 \in C$. If the special fiber $Y_0$ saties a property $P$, and $P$ deforms, then $Y$ satisfies property $P$ in a neighborhood of $Y_0$. Indeed, work locally, modding out by the special fiber is just modding out by some regular element. If $\pi$ is now proper, then this implies that the non-$P$-locus has closed image in $C$ under $\pi$. In particular, it only messes up a few fibers.

2 added 273 characters in body; deleted 1 characters in body; added 84 characters in body
1