# Why a subvariety of a variety of general type is of general type

It seems a well-known fact that subvarieties of a variety of general type containing a general point are also of general type. This fact is an essential property used to prove some extension theorems of pluricanonical forms on algebraic varieties of general type, see for example the very nice survey on extension of pluricanonical forms

www-fourier.ujf-grenoble.fr/ECOLETE/2007/cours/pacienza.pdf.

I want to know why this is true? Is there any thing more we can say about the relation between the canonical line bundle of a variety and that of subvarities of codimension no less than 2.

-
I am no algebraic geometer, but still what on Earth are subvarieties of codimension no less than 2 containing a general point? –  Leonid Positselski Dec 6 '09 at 22:00
I think he means that if X is general type, there is a proper closed subvariety Z of X with the property that EVERY closed subvariety of X not of general type is a subscheme of Z. –  JSE Dec 6 '09 at 23:54
Thanks, now I see. –  Leonid Positselski Dec 7 '09 at 0:13
As we know, for a codimension 1 subvariety $D$ in $X$, the canonical line bundle $\Omega_D$ on $D$ isomorphic to the restriction of $(\Omega_X\otimes\mathcal{O}_X(D))|_D$. This is called the adjunction formula. But for higher codimension subvarieties, this formula is no longer true. As I know, Kawamata has papers to deal with the higher codimension case. Can someone explain Kawamata's results? –  Fei YE Dec 7 '09 at 0:52
A correction, $\Omega_D$ and $\Omega_X$ should be read as $\omega_D$ and $\omega_X$. –  Fei YE Dec 7 '09 at 1:35

Let me reproduce the relevant bit from the reference above:

Exercise 3.1. Let $X$ be a variety of general type. Prove that a subvariety of $X$ passing through a general point is of general type.

Bogomolov proved in his paper "Families of curves on a surface of general type" that surfaces of general type satisfying $c_1^2 > c_2$ contain at most a finite number of rational and elliptic curves. It is unknown if the same holds true for an arbitrary surface of general type. Thus in the exercise above general point does not mean outside a closed subvariety. Instead it means outside a countable union of closed subvarieties. Of course, the author is considering all his varieties defined over $\mathbb C$.

Standard arguments reduces the exercise to the following

Exercise. Let $X$ be a variety of general type. If $Y \rightarrow T$ is a family of irreducible general type subvarieties of $X$ parametrized by a irreducible complex variety $T$ then the natural map $Y\to X$ is not dominant.

-
I don't understand how to reduce the question to the above exercise. Can you say something about the arguments? Thanks! –  Fei YE Dec 7 '09 at 1:51
If through every point you have a variety of special type then an uncountable number of them will be parametrized by the same irreducible component of the Hilbert scheme.... –  jvp Dec 7 '09 at 1:59

You need to be careful about what you mean by "a general point". Usually, this means "a point in a certain Zariski open set". So in particular, this statement would say that on a surface of general type all rational and elliptic curves lie in a Zariski closed subset. This is Lang's conjecture, still open I believe (proofs were suggested about 15 yrs ago but then withdrawn).

EDIT: OK, so from the comments and the other answer it appears that it should be a "very general point of $X$", and the statement reduces to showing that if you have a morphism $f:Y\to T$ with irreducible $T$ and general fiber $Y_t$, and a finite dominant morphism $\pi:Y\to X$, then $Y_t$ is also of general type.

The basic reason for that is very simple: if $X$ is of general type then it has lots of pluricanonical forms. You can pull them back to $Y$ (they are differential forms, after all) and get lots of pluricanonical forms on $Y$. Then you can restrict them to $Y_t$ and get lots of pluricaninical forms on $Y_t$.

For a more precise answer, I suggest you look at old papers by Kawamata, Viehweg and Kollar, search for "additivity of Kodaira dimension". There is a whole sequence of $C_{n,m}$ conjectures about the Kodaira dimension of a fibration $Y$ in terms of Kodaira dimensions of $T$ and $Y_t$. Some of them are proved, some are still open.

(Note: general type means "maximal Kodaira dimension", i.e. equal to the dimension of the variety.)

-
Thank you! I know nothing about Lang's conjecture. The question I asked is an exercise in GIANLUCA PACIENZA's survey paper PLURICANONICAL SYSTEMS ON PROJECTIVE VARIETIES OF GENERAL TYPE. Exercise 3.1. Let X be a variety of general type. Prove that a subvariety of X passing through a general point is also of general type. I think when he talks about general point, he does mean that a point in some Zariski open set. –  Fei YE Dec 7 '09 at 0:57
Thanks. The explain makes sense. I surely need to read the paper you suggested. –  Fei YE Dec 7 '09 at 2:17