This question is about how varieties of general type over an algebraically closed field of characteristic zero $k$ behave under generization in families.



> 
> 
> > 
> > **Definition.** An integral projective scheme X over k is of general type if some desingularization of X is of general type. A reduced projective scheme X over k is of general type if every (reduced) irreducible component of $X$ is of general type. Finally, a projective scheme X is of general type if X\_{red} is of general type.
> > 
> > 
> > 
> 
> 
> 


My question is as follows.



> 
> 
> > 
> > Let S be an integral normal noetherian scheme of characteristic zero with function field $K=K(S)$. Let $X\to S$ be a projective flat morphism. Suppose that there is a closed point $s$ in $S$ with residue field $k(s) = k$ such that $X\_s$ has an irreducible component which is of general type over $k$. Is the generic fibre $X\_K$ of $X\to S$ of general type over $K$?
> > 
> > 
> > 
> 
> 
> 


Please note that I do not make any assumptions on the singularities of $X\_s$, nor do I assume $X\_s$ to be irreducible. 


To answer this question, we may assume that $S$ is the spectrum of $\mathbb{C}[[t]]$.


A partial (positive) answer follows from deep theorems of Siu, Kawamata, and Nakayama on the constancy of plurigenera. But, as far as I know, these theorems require some conditions on the singularities of $X\_s$ (e.g., canonical singularities). Can one reduce to this situation using semi-stable reduction, maybe?



Is being of general type stable under generization
The answer is yes to the original question and is a theorem of Noboru Nakayama in his book "Zariski decomposition and abundance" Theorem VI.4.3, which I state here for convenience:



> 
> **Theorem (Nakayama):** Let $\mathcal{X}\to S$ a projective surjective morphism with connected fibres from a normal complex analytic variety onto a smooth curve and $0\in S$. Let $\mathcal{X}\_0=\cup\_{i\in I}\Gamma\_i$ the decomposition into irreducible components. If there is at least one irreducible component $\Gamma\_j$ which is of general type (i.e. its desingularisation is such), then for any $m>0$ and for $s\in S$ general we have $$p\_m(\mathcal{X}\_s) \geq \sum\_{i\in I} p\_m(\Gamma\_i)$$ where $p\_m(Y):=h^0(\tilde{Y}, mK\_{\tilde{Y}})$ are the plurigenera of a resolution.
> 
> 
> 


To address the question (and one should be able to reduce to the following in general), let's assume that the generic fibre is smooth and irreducible (or say with canonical singularities so that the plurigenera of the resolution don't change) and that at least one of the general type components $\Gamma\_j$ of the special fibre has the same dimension as the generic fibre. Then the sections of multiples of the canonical divisor $K\_{\mathcal{X}\_s}$ grow so that $\mathcal{X}\_s$ is also of general type.


To motivate why something like this is true in a smooth family, note that even though dimension of cohomology is upper semicontinuous (which works against us in this question), the volume of the canonical divisor (even of a resolution more generally) is lower semicontinuous (see [Kollár's new book Theorem 5.10](https://web.math.princeton.edu/~kollar/book/modbook20170720-hyper.pdf) and [Nakayama, 1985](https://projecteuclid.org/euclid.aspm/1525310282)), implying that if $\rm{vol}(K\_{\mathcal{X}\_0})>0$ then $\rm{vol}(K\_{\mathcal{X}\_s})>0$ giving that $\mathcal{X}\_s$ is of general type - think that if $D$ is relatively ample on $\mathcal{X}$, then $\rm{vol}(D\_s)=D^n\_s$ is constant in the family as it's an euler characteristic.


As for the question in the comments of whether Kodaira dimension in general is lower semicontinuous, this is conjectured (see Nakayama's book again just before Conjecture VI.1.2) and is proven assuming the abundance conjecture: (see Nakayama VI.4.1) in the notation of the theorem, assuming abundance for the generic fibre $\mathcal{X}\_s$, then $\kappa(\mathcal{X}\_s)\geq \max\kappa(\Gamma\_i)$.


