Iitaka-Severi's Conjecture for Complex Threefolds
Extracted source text ยท arXiv alg-geom/9505016
%Paper: alg-geom/9505016
%From: dethloff@cfgauss.uni-math.gwdg.de (Gerd Dethloff)
%Date: Fri, 12 May 95 10:45:12 +0200
% Iitaka-Severi's Conjecture for Complex Threefolds
% Gerd Dethloff
% Latex, 13 pages
\def\rz{ I \!\! R}
\def\cz{ I \!\!\!\! C}
\def\nz{ I \! N}
\def\gz{ Z \!\!\! Z}
\def\pr{ I \!\! P}
\def\raz{I \!\!\! Q}
\def\t{\times}
\def\r{\rightarrow}
\def\p{\partial}
\def\s{\subset}
\def\se{\setminus}
\def\bbbc{ I \!\!\!\! C}
\def\zt{\tilde{z}}
\def\wt{\tilde{w}}
\def\xt{\tilde{X}}
\def\th{\theta}
\def\o{\overline}
\def\ch{\check}
\def\D{\Delta}
\def\al{\alpha}
\def\be{\beta}
\def\om{\Omega}
\def\ph{\varphi}
\def\la{\lambda}
\def\ep{\epsilon}
\def\ga{\gamma}
\def\la{\lambda}
\def\si{\sigma}
\def\Ga{\Gamma}
\def\v{\vartheta}
\def\h{{\cal O}}
\def\ophi{\overline{\ph}}
\def\oSi{\overline{\Sigma}}
\def\Sit{\tilde{\Sigma}}
\def\Det{\tilde{\Delta}}
\catcode`\"=\active
\def\3{\char\ss}
\def\noin{\noindent}
\def\qed{\ifmmode\sq\else{\unskip\nobreak\hfil
\penalty50\hskip1em\null\nobreak\hfil\sq
\parfillskip=0pt\finalhyphendemerits=0\endgraf}\fi}
\def\sq{\hbox{\rlap{$\sqcap$}$\sqcup$}}
\documentstyle[12pt]{article}
\newtheorem{defi}{Definition}[section]
\newtheorem{prop}[defi]{Proposition}
\newtheorem{theo}[defi]{Theorem}
\newtheorem{lem}[defi]{Lemma}
\newtheorem{verm}[defi]{Vermutung}
\newtheorem{cor}[defi]{Corollary}
\newtheorem{rem}[defi]{Remark}
\newtheorem{conj}[defi]{Conjecture}
\pagestyle{ }
\setlength{\textwidth}{6in}
\setlength{\textheight}{8in}
\setlength{\topmargin}{0in}
\setlength{\evensidemargin}{0in}
\setlength{\oddsidemargin}{0in}
\begin{document}
\begin{center}
{\LARGE Iitaka-Severi's \vspace{.3cm}Conjecture}\\
{\LARGE for Complex Threefolds}\\
\vspace{.7cm}
{\large Gerd Dethloff} \vspace{.3cm}
\end{center}
\begin{abstract}
We prove the following generalization of Severi's Theorem:\\
Let $X$ be a fixed complex variety. Then there exist, up to birational
equivalence,
only finitely many
complex varieties $Y$ of general type of dimension at most three
which admit a dominant rational
map $f:X \r Y$.
\end{abstract}
\tableofcontents
\section{Introduction}
\noin Let $X$ and $Y$ be algebraic varieties, i.e. complete integral schemes
over a field of characteristic zero, and
denote by $R(X,Y)$ the set of all dominant rational maps $f:X \r Y$.
Moreover denote by ${\cal F} = {\cal F}(X)$ the set
$\{ f: X \r Y|$ $f$ is a dominant rational map onto an algebraic
variety $Y$ of general type$\}$ and by
${\cal F}_m = {\cal F}_m(X)$ the set
$\{ f: X \r Y|$ $f$ is a dominant rational map and $Y$ is birationally
equivalent to a nonsingular algebraic variety for which the $m$-th
pluricanonical
mapping is birational onto its image $\}$. We introduce an equivalence relation
$\sim$ on the sets ${\cal F}$ and ${\cal F}_m$ as follows: $(f:X \r Y) \sim
(f_1:X \r Y_1)$
iff there exists a birational map $b:Y \r Y_1$ such that $b \circ f = f_1$.\\
The classical theorem
of Severi can be stated as follows (cf.\cite{Sa}):
\begin{theo} \label{1.1}
For a fixed algebraic variety $X$ there exist only finitely many hyperbolic
Riemann surfaces $Y$
such that $R(X,Y)$ is nonempty.
\end{theo}
\noindent We may ask if a finiteness theorem of this kind also can be true
in higher dimensions. This leads to the following:
\begin{conj} \label{1.2}
For a fixed variety $X$ there exist, up to birational
equivalence, only finitely many varieties $Y$ of
general type such that $R(X,Y)$ is nonempty. \\
Moreover, the set ${\cal F}/ \sim$ is a finite set.
\end{conj}
\noindent Maehara calls this conjecture Iitaka's Conjecture based on Severi's
theorem (cf. \cite{Ma3}), and we abbreviate this as Iitaka-Severi's Conjecture.
In \cite{Ma3} Maehara states the Conjecture more
generally for algebraic varieties (over any field) and separable dominant
rational maps.
He also mentioned that K. Ueno proposed that a variety of general type
could be replaced by a polarized non uniruled variety in this Conjecture.\\
Maehara proved in Proposition 6.5. in \cite{Ma2} that in characteristic zero
the Conjecture is true if one restricts the
image varieties $Y$ to such varieties that can be birationally embedded
by the $m$-th pluricanonical map for any given $m$, i.e. ${\cal F}_m / \sim$
is finite for all $m$. This especially proves
the Conjecture for surfaces $Y$ (take $m=5$). Furthermore Maehara shows
that one can find a fixed $m$ such that for all {\bf smooth} varieties $Y$
which have nef and big canonical bundle the m-th pluricanonical map is a
birational
embedding, which proves the Conjecture also in this case.
Earlier Deschamps and Menegaux \cite{DM2}, \cite{DM3} proved, in characteristic
zero,
the cases where the varieties
$Y$ are surfaces which satisfy $q >0$ and $P_g \geq 2$, or where the maps
$f:X \r Y$ are morphisms. In this direction Maehara \cite{Ma1} also showed
finiteness of isomorphism classes of smooth varieties with ample canonical
bundles
which are dominated by surjective morphisms from a fixed variety.\\
There is a related classical result due to de Franchis \cite{Fr} which states
that for any Riemann surface $X$ and any fixed hyperbolic Riemann surface $Y$
the set $R(X,Y)$ is finite. At the same time he gives an upper bound
for $\#R(X,Y)$ only in terms of $X$. The generalization of this theorem
to higher dimensions is not a conjecture any more:
Kobayashi and Ochiai \cite{KO} proved that if $X$ is a Moisheson space and $Y$
a compact complex space of general type, then the set of surjective meromorphic
maps from $X$ to $Y$ is finite. Deschamps and Menegaux \cite{DM1} proved that
if $X$ and $Y$ are smooth projective varieties over a field of arbitrary
characteristic, and $Y$ is of general type, then $\#R(X,Y)$ is finite (where
one has additionally to assume that the dominant rational maps $f:X \r Y$
are separable). \\
{}From these results it follows that the second part of Conjecture \ref{1.2} is
a consequence of the first part, hence we only have to deal with the first
part.\\
Bandman \cite{Ba1}, \cite{Ba2} and Bandman and Markushevich \cite{BM}
also generalized the second part of de Franchis' theorem, proving that
for projective varieties $X$ and $Y$ with only canonical singularities
and nef and big canonical line bundles $K_X$ and $K_Y$ the number
$\#R(X,Y)$ can be bounded in terms of invariants of $X$ and the index of
$Y$.\\
Another generalization of the (first part of) de Franchis' theorem was
given by Noguchi \cite{No}, who proved that there are only finitely many
surjective meromorphic mappings from a Zariski open subset $X$ of an
irreducible
compact complex space onto an irreducible
compact hyperbolic complex space $Y$. Suzuki \cite{Su} generalized this result
to the case where $X$ and $Y$ are Zariski open subsets of irreducible
compact complex spaces $\overline{X}$ and $\overline{Y}$ and $Y$ is
hyperbolically embedded in $\overline{Y}$. These results can be
generalized to finiteness results for nontrivial sections in hyperbolic
fiber spaces. But since a more precise discussion would lead us too
far from the proper theme of this paper, we refer the interested reader
to Noguchi \cite{No} and Suzuki \cite{Su}, or to the survey \cite{ZL}
of Zaidenberg-Lin, where he also can find an overview for earlier results
which generalized de Franchis' theorem.\\
It is a natural question if Conjecture \ref{1.2} can also be stated in terms
of complex spaces. In \cite{No} Noguchi proposed the following:
\begin{conj} \label{1.3}
Let $X$ be a Zariski open subset of an irreducible compact complex
space. Then the set of compact irreducible hyperbolic complex spaces $Y$
which admit a dominant meromorphic map $f:X \r Y$ is finite.
\end{conj}
Let us now return to Conjecture \ref{1.2}. In this paper we are only interested
in the case of complex varieties.
Since we want to prove finiteness only up to birational equivalence,
we may assume without loss of generality that $X$ and all $Y$ in the
Conjecture are nonsingular projective complex varieties, by virtue
of Hironaka's resolution theorem \cite{Hi}, cf. also \cite{Ue}, p.73.
Now fix a complex projective variety $X$.
We define ${\cal G}_m:=\{$ a nonsingular complex projective
variety $Y$ : the $m$-th pluricanonical map $\Phi_m: Y \r \Phi_m(Y)$ is
birational onto its image and there exists a dominant rational map $f:X \r Y \}
$.
In order to show Conjecture \ref{1.2}
it is sufficient, by Proposition 6.5. of Maehara \cite{Ma2},
to show the following
\begin{conj} \label{1.4}
There exists a natural number $m$ only depending on $X$ such that
all smooth complex projective varieties $Y$ of general
type which admit a dominant rational map $f:X \r Y$ belong to
${\cal G}_m$.
\end{conj}
\noindent We will prove that Conjecture \ref{1.4} is true for varieties $Y$
which are of
dimension three, thus we prove Iitaka-Severi's Conjecture for complex 3-folds.
Since for varieties $Y$ of dimension one resp. two
we can take $m=3$ resp. $m=5$, our main theorem is:
\begin{theo} \label{1.5}
Let $X$ be a fixed complex variety. Then there exist, up to birational
equivalence,
only finitely many
complex varieties $Y$ of general type of dimension at most three
which admit a dominant rational
map $f:X \r Y$.\\
Moreover the set ${\cal F}/ \sim$ is a finite set if one resticts
to complex varieties $Y$ of dimension at most three .
\end{theo}
\noindent As Maehara \cite{Ma3}, p.167 pointed out already, in order to prove
Conjecture \ref{1.4}
it is enough to show that for all varieties $Y$
there exists a minimal model and the index of these minimal models
can be uniformly bounded from above by a constant only depending on $X$.
Since in dimension three minimal models and even canonical models do
exist, the problem is reduces to the question how to bound the index.\\
But it turns out that one is running into problems if one directly
tries to bound the indices of the canonical models $Y_c$ of threefolds
$Y$, only using that they are all dominated by dominant rational maps
from a fixed variety $X$. So we will proceed in a different way:\\
The
first step of the proof is to
show that the Euler characteristic $\chi (Y, {\cal O}_{Y})$ is
uniformly bounded by an entire constant $C$ depending only on $X$ (Proposition
3.2),
that is how we use the fact that
all threefolds $Y$ are dominated by a fixed variety $X$. \\
In the second step of the proof, we show that we can choose another
entire constant $R$, also only depending on $X$, such that for any
threefold $Y$ of general type for which the Euler characteristic is bounded by
$C$ the
following holds (Proposition 3.3):
Either the index of the canonical model $Y_c$ of $Y$ divides $R$ (first case)
or the
pluricanonical sheaf ${\cal O}_{Y_c}((13C)K_{Y_c})$
has two linearly independant
sections on $Y_c$ (second case). In order to prove this Proposition,
we use the Plurigenus Formula due to Barlow, Fletcher and Reid and
estimates of some terms in this formula due to Fletcher.
In the first case the index is bounded, and we are done (Proposition
\ref{2.8}).\\
The third step of the proof deals with the second case.
Here we remark
that the two linearly independant sections on $Y_c$ can be lifted to sections
in
$H^0 (Y,{\cal O}_{Y}(mK_{Y}))$, and then we can apply a theorem of Kollar
\cite{Ko}
which states that now the $(11m+5)$-th pluricanonical map gives a
birational embedding (Proposition 3.4), and we are also done in the second
case. \\
Hence we do not prove directly that under our
assumptions the index is uniformly bounded, we prove that if it is not,
then there is some other way to show that some fixed pluricanonical
map gives a birational embedding. The fact that the index actually has
such a uniform bound then follows as a result of Theorem \ref{1.5}.\\
It finally might be worth while to point out that the second and the
third step of our proof actually yield:
\begin{theo}
Let $C$ be a positive entire constant. Define $R={\rm lcm}(2,3,...$ $,26C-1)$
and
$m={\rm lcm}(18R+1,143C+5)$. Then for all smooth projective 3-folds of
general type for
which the Euler characteristic is bounded above by $C$ the $m$-th
pluricanonical map is birational onto its image.
\end{theo}
\noindent Despite the fact that our $m=m(C)$ is explicit, it is so huge that it
is only of theoretical interest. For example for $C=1$ it is known
by Fletcher \cite{Fl} that one can choose $m=269$, but for $C=1$ our $m$ is
already for of the size $10^{12}$. Moreover J.P. Demailly
recently told me that he conjectures that for 3-folds of general type
any $m \geq 7$ should work, independantly of the size of the Euler
characteristic.\\
The paper is organized as follows: In section 2 we collect, for the
convenience of the reader and also for fixing the notations, the basic
facts from canonical threefolds which we need. We try to give precise
references to all these facts, but do not try to trace these facts back
to the original papers. Where we could not find such references we
give short proofs. However we expect that all these facts should be
standard to specialists on threefolds.
In section 3 we give the proof of Theorem \ref{1.5}.\\
The author would like to thank S.Kosarew (Grenoble) for pointing out
Noguchi's Conjecture \ref{1.3} to him. This was his starting point for
working on problems of this kind. He would also like to thank
F.Catanese (Pisa) for pointing out Fletcher's paper \cite{Fl} to him, since
this paper later gave him the motivation for the key step in the proof
of Theorem \ref{1.5}. He finally would like to thank the Institut Fourier in
Grenoble, the University of Pisa and the organizers of the conference
Geometric Complex Analysis in Hayama for inviting him, since this gave him
the possibility to discuss with many specialists.
\section{Some Tools from the Theory of 3-folds}
Let $Y$ be a normal complex variety of dimension $n$, $Y_{reg}$ the subspace of
regular points
of $Y$ and $j: Y_{reg} \hookrightarrow Y$ the inclusion map. Then the sheaves
$\h_Y(mK_Y)$ are defined as
$$ \h_Y(mK_Y) := j_*((\Omega^n_{Y_{reg}})^{\otimes m})$$
Equivalently $\h_Y(mK_Y)$ can be defined as the sheaf of $m$-fold tensor
products of rational canonical differentials on $Y$ which are regular
on $Y_{reg}$. The $mK_Y$ can be considered as Weil divisors.
For this and the following definitions, cf. \cite{Re2} and \cite{Mo1}.
\begin{defi} \label{2.1}
$Y$ has only {\bf canonical} singularities if it satisfies the following
two conditions:\\
i) for some integer $r \ge 1$, the Weil divisor $rK_Y$ is a Cartier divisor.\\
ii) if $f: \tilde{Y} \r Y $ is a resolution of $Y$ and $\{ E_i \}$ the family
of all exceptional prime divisors of $f$, then
$$ rK_{\tilde{Y}} = f^*(rK_Y) + \sum a_iE_i $$
with $a_i \geq 0$. \\
If $a_i >0$ for every exceptional divisor $E_i$, then $Y$ has only
{\bf terminal} singularities.\\
The smallest integer $r$ for which the Weil divisor $rK_Y$ is Cartier
is called the {\bf index} of $Y$.
\end{defi}
\begin{defi} \label{2.2}
A complex projective algebraic variety $Y$ with only canonical (resp.
terminal) singularities is called a {\bf canonical} (resp. {\bf minimal})
model if $K_Y$ is an ample (resp. a nef) $\raz$-divisor.\\
We say that a variety $Z$ has a {\bf canonical (resp. minimal) model}
if there exists a canonical (resp. minimal) model which is birational to
$Z$.
\end{defi}
Later on we will need the following theorem due to Elkik \cite{El} and Flenner
\cite{Fle}, 1.3 (cf. \cite{Re2}, p.363):
\begin{theo} \label{2.3}
Canonical singularities are rational singularities.
\end{theo}
The first part of the following theorem, which is of high importance for
the theory of 3-folds, was proved by Mori \cite{Mo2}, the second
part follows from the first part by works of Fujita \cite{Fu}, Benveniste
\cite{Be}
and Kawamata \cite{Ka}:
\begin{theo} \label{2.4} Let $Y$ be a non singular projective 3-fold of general
type.\\
i) There exists a minimal model of $Y$.\\
ii) There exists a unique canonical model of $Y$, the canonical ring
$R(Y,K_Y)$ of
$Y$ is finitely generated, and the canonical model is just
${\rm Proj} R(Y,K_Y)$.
\end{theo}
We have the following Plurigenus Formula due to Barlow, Fletcher and Reid
(cf. \cite{Fl}, \cite{Re2}, see also \cite{KM}, p.666 for the last part):
\begin{theo} \label{2.5} Let $Y$ be a projective 3-fold with only canonical
singularities.
Then we have
$$ \chi (Y, \h_Y(mK_Y)) = \frac{1}{12}(2m-1)m(m-1)K_Y^3 - (2m-1) \chi (Y, \h_Y)
+ \sum_Q l(Q,m)$$
with
$$ l(Q,m) = \sum_{k=1}^{m-1} \frac{\overline{bk}(r- \overline{bk})}{2r}$$
Here the summation takes place over a basket of singularities $Q$ of type
$\frac{1}{r}(a,-a,1)$ (see below for these notations). $\overline{j}$
denotes the smallest nonnegative residue of $j$ modulo $r$, and $b$ is chosen
such that
$\overline{ab}=1$.\\
Furthermore we have
$$ {\rm index}(Y) = {\rm lcm}\{r=r(Q): \: Q\in {\rm basket} \} $$
\end{theo}
\noindent A singularity of type $\frac{1}{r}(a,-a,1)$ is a cyclic quotient
singularity $\cz^3 / \mu_r$, where $\mu_r$ denotes the cyclic group
of $r$th roots of unity in $\cz$, and $\mu_r$ acts on $\cz^3$ via
$$\mu_r \ni \epsilon: (z_1,z_2,z_3) \r (\epsilon^a z_1, \epsilon^{-a}z_2,
\epsilon z_3)$$
Reid introduced the term `basket of singularities' in order to point out
that the singularities $Q$ of the basket are not
necessarily singularities of $Y$, but only `fictitious singularities'.
However the singularities of $Y$ make
the same contribution to $\chi (Y, \h_Y(mK_Y))$ as if they were those of the
basket, hence we also can work with the singularities of the basket,
which have the advantage that their contributions are usually easier than
those of the original singularities. More precisely, one can pass from
$Y$ to a variety where the singularities of the basket
actually occur by a crepant partial resolution of singularities and then by a
flat
deformation. For the details cf. \cite{Re2}, p.404, 412. \\
\noindent For estimating from below the terms $l(Q,m)$ in the Plurigenus
Formula, we will need two Propositions due to Fletcher \cite{Fl}. In those
Propositions
$[s]$ denotes
the integral part of $s \in \rz$.
\begin{prop} \label{2.6}
$$l( \frac{1}{r}(1,-1,1), m) = \frac{\overline{m} (\overline{m} -1)(
3r+1-2 \overline{m})}{12r} + \frac{r^2-1}{12} [\frac{m}{r}]$$
\end{prop}
\begin{prop} \label{2.7} For $\alpha, \beta \in \gz$ with $0 \leq \beta \leq
\alpha$
and for all $m \leq [(\alpha +1)/2]$, we have:
$$ l(\frac{1}{\alpha} (a,-a,1), m) \geq l(\frac{1}{\beta} (1,-1,1),m)$$
\end{prop}
At last, we want to give a proof for Maehara's remark \cite{Ma3}, p.167 which
we already mentioned,
namely that it is enough to show that the index of the canonical models of the
varieties $Y$ can be uniformly bounded from above by a constant only depending
on $X$.
We prove more precisely:
\begin{prop} \label{2.8}
Let $Y$ be a smooth projective 3-fold of general type
and $l$ a natural number such that $l$ is an integer multiple of the
index $r$ of the canonical model $Y_c$ of $Y$. Then
the $(18l+1)$-th pluricanonical map is birational onto its image.
\end{prop}
{\bf Proof:} We could pass from the canonical model $Y_c$ of $Y$ to a minimal
model $Y_m$ and then apply Corollary 4.6 of the preprint \cite{EKL} of Ein,
K\"uchle
and Lazarsfeld. But since it might even be easier we want to pass directly
from $Y_c$ to $Y$, and then apply the corresponding result of Ein, K\"uchle
and Lazarsfeld for smooth projective 3-folds, namely Corollary 3. of
\cite{EKL}.\\
Since $l$ is a multiple of the index of $Y_c$, $lK_{Y_c}$ is an ample line
bundle. Since we only are interested in $Y$ up to birational equivalence
we may assume that $\pi : Y \r Y_c$ is a desingularization. Since the
bundle $lK_{Y_c}$ on $Y_c$ is ample, the pulled back bundle $\pi^*(lK_{Y_c})$
on $Y$ is still nef and big. Hence we can apply Corollary 3. of \cite{EKL}
to this bundle and get that the map obtained by the sections of
the bundle $K_Y + 18\pi^*(lK_{Y_c})$ maps
$Y$ birationally onto its image. But since by the Definition 2.1 of
canonical singularities every section of the bundle $K_Y + 18\pi^*(lK_{Y_c})$
is also a section of $K_Y + 18lK_Y = (1+18l)K_Y$, the claim follows. \qed
{\bf Remark:}
Notice that for Proposition 2.8 we do not need the assumption
that the smooth projective 3-folds $Y$ are dominated by a fixed complex
variety $X$. This only will be needed to bound the indices of the
canonical models $Y_c$ of the $Y$.
\section{Bounding the Index of a Dominated Canonical 3-fold}
In order to prove Theorem \ref{1.5}, it is enough to prove the following
\begin{theo} \label{3.1}
Let $X$ be a fixed smooth complex variety. Then there exists a natural number
$m$ depending only on $X$ such that all smooth complex projective 3-folds
$Y$ of general type which admit a dominant rational map $f:X \r Y$ belong to
${\cal G}_m$.
\end{theo}
\noindent Here, as in the introduction, ${\cal G}_m$ is defined as
${\cal G}_m:=\{$ a nonsingular complex projective
variety $Y$ : the $m$-th pluricanonical map $\Phi_m: Y \r \Phi_m(Y)$ is
birational onto its image and there exists a dominant rational map $f:X \r Y \}
$. \\
The rest of this chapter is devoted to the proof of Theorem \ref{3.1}.
We denote by $Y_c$ the canonical
model of $Y$. Furthermore we may assume without loss of generality that
$\pi : Y \r Y_c$ is a desingularization (since we only need to look at
those smooth projective varieties $Y$ up to birational equivalence).\\
In the first step of the proof we show:
\begin{prop} \label{3.2}
Under the assumptions of Theorem \ref{3.1} there exists an entire constant $C
\geq 1$
only depending on $X$, such that
for all $Y$ we have $ \chi (Y, \h_Y) = \chi (Y_c, \h_{Y_c}) \leq C$.
\end{prop}
{\bf Proof:}
First we get
by Hodge theory on compact K\"ahler manifolds (cf. \cite{GH}, or \cite{Ii},
p.199):
$$ h^i(Y, \h_Y) = h^0(Y, \Omega_Y^i), \:\: i=0,1,2,3$$
Now by Theorem 5.3. in Iitaka's book \cite{Ii}, p.198 we get that
$$ h^0(Y, \Omega_Y^i) \leq h^0(X, \Omega_X^i), \:\: i=0,1,2,3$$
Hence by the triangle inequality we get a constant $C$, only depending
on $X$, such that
$$| \chi (Y, \h_Y) | \leq C$$
Now by the theorem of Elkik and Flenner (Theorem \ref{2.3}) $Y_c$ has only
rational singularities, hence by degeneration of the Leray spectral sequence
we get that
$$ \chi (Y, \h_Y) = \chi (Y_c, \h_{Y_c})$$
This finishes the proof of Proposition \vspace{.5cm} \ref{3.2}. \qed
In the second step of the proof of Theorem \ref{3.1} we show:
\begin{prop} \label{3.3}
Let $C\geq 1$ be an entire constant, $R := {\rm lcm}(2,3,...,
26C-1)$ and $m_1=18R+1$. Then for all smooth projective complex 3-folds $Y$
of general type with $\chi (Y, \h_Y) \leq C$ we have\\
either $Y \in {\cal G}_{m_1}$ or $h^0(Y_c, \h_{Y_c}((13C)K_{Y_c})) \geq 2$.
\end{prop}
{\bf Proof:} We distinguish between two cases: The first case is that the
index of $Y_c$ divides $R$. Then applying Proposition \ref{2.8} we get that
$Y \in {\cal G}_{m_1}$ and we are done. The second case is that the index
does not divide $R$. Then in the Plurigenus Formula Theorem \ref{2.5} of
Barlow, Fletcher and Reid
we necessarily have at least one singularity $\tilde{Q}$ in the basket of
singularities
which is of the type $\frac{1}{r}(a,-a,1)$ with $r \geq 26C$.
Now applying first a vanishing theorem for ample sheaves (cf. Theorem 4.1 in
\cite{Fl}), the fact that $K^3_{Y_c} >0$ (since $K_{Y_c}$ is an ample
$\raz$-divisor)
and then the Propositions \ref{2.6} and \ref{2.7} due to Fletcher, we get:
$$ h^0(Y_c, \h_{Y_c}((13C)K_{Y_c}))$$
$$ = \chi (Y_c, \h_{Y_c}((13C)K_{Y_c}))$$
$$ \geq (1-26C)\chi (Y_c, \h_{Y_c}) + \sum_{ Q \in {\rm basket}} l(Q,13C)$$
$$ \geq (1-26C)C + l(\tilde{Q},13C)$$
$$ \geq (1-26C)C + l(\frac{1}{26C}(1,-1,1),13C)$$
$$ = (1-26C)C + \frac{13C(13C-1)(78C+1-26C)}{312C}$$
$$ = \frac{312C^2 - 8112C^3 + 8788C^3 - 507C^2 -13C}{312C}$$
$$ = \frac{52C^2 - 15C - 1}{24}$$
$$ \geq \frac{36}{24} = 1.5 $$
\noin The last inequality is true since $C\geq 1$.
Since $ h^0(Y_c, \h_{Y_c}((13C)K_{Y_c}))$ is an entire,
this finishes the proof of Proposition \vspace{.5cm} \ref{3.3}. \qed
In the third step of the proof of Theorem \ref{3.1} we show:
\begin{prop} \label{3.4}
Assume that for a smooth projective complex 3-fold $Y$
of general type we have $h^0(Y_c, \h_{Y_c}((13C)K_{Y_c})) \geq 2$. Then
$Y \in {\cal G}_{m_2}$ with $m_2=143C+5$.
\end{prop}
{\bf Proof:} Kollar proved that if $h^0(Y, \h_Y(lK_Y
)) \geq 2$ then
the $(11l+5)$-th pluricanonical map is birational onto its image
(Corollary 4.8 in \cite{Ko}). So the only thing which remains to prove is
that from $h^0(Y_c, \h_{Y_c}((13C)K_{Y_c})) \geq 2$
we get $h^0(Y, \h_{Y}((13C)K_{Y})) \geq 2$. This fact is standard
for experts (cf. e.g. \cite{Re1}, p.277, or
\cite{Fl}, p.225), but since we remarked in talks about this paper that
this fact doesn't seem to be generally well known, we want to indicate how one
can prove it:\\
What we have to prove is that taking linearly independant sections $s_1$, $s_2$
from $H^0(Y_c, \h_{Y_c}(lK_{Y_c}))$ we can get from them
linearly independant sections $t_1$, $t_2$ from $H^0(Y, \h_Y(lK_Y))$. We
mentioned
at the beginning of section 1 that
$\h_{Y_c}(lK_{Y_c})$ can also be defined as the sheaf of $l$-fold tensor
products of rational canonical differentials on $Y_c$ which are regular
on $(Y_c)_{reg}$. But since $Y$ and $Y_c$ are birationally equivalent,
from this definition it is immediate that any
linearly independant sections $s_1$, $s_2$ from $H^0(Y_c, \h_{Y_c}(lK_{Y_c}))$
can be lifted, namely as pull backs of (tensor products of rational) canonical
differentials with the holomorphic map $\pi$, to linearly independant {\bf
rational} sections $t_1$, $t_2$
of the bundle
$\h_Y(lK_Y)$. These lifted sections are regular outside the family of the
exceptional
prime divisors $\{ E_i \}$ of the resolution $\pi : Y \r Y_c$. We have to show
that $t_1$ and $t_2$ are regular everywhere. Since $Y$ is a manifold, by the
First Riemann Extension
Theorem it is sufficient to show that these sections are bounded near points
of the $\{ E_i \}$. In order to show this, choose a natural number $p$,
which now may depend on $Y$, such that index($Y_c$) divides $pl$.
Then by the definition of canonical singularities (Definition \ref{2.1}) the
sections $s_1^p$ and $s_2^p$ lift to {\bf regular} sections $t_1^p$ and
$t_2^p$. Hence $t_1$ and $t_2$ have to be bounded near points of the $\{ E_i
\}$,
and we are \vspace{.5cm} done. \qed
Now the proof of Theorem \ref{3.1} is immediate: If we take $m_0 := {\rm
lcm}(m_1,m_2)$,
then by Proposition \ref{3.3} and Proposition \ref{3.4} we have $Y \in {\cal
G}_{m_0}$
for all $Y$ which occur in Theorem \vspace{0.5cm} \ref{3.1}. \qed
\begin{thebibliography}{9999}
\bibitem{Ba1} T. Bandman, {\em Surjective holomorphic mappings of projective
manifolds},
Siberian Math. J. {\bf 22} (1982), 204--210.
\bibitem{Ba2} T. Bandman, {\em Topological invariants of a variety and the
number of its
holomorphic mappings},
in: J. Noguchi (Ed.) Proceedings of the International
Symposium Holomorphic Mappings, Diophantine Geometry and Related Topics,
188-202.
RIMS, Kyoto University, 1992.
\bibitem{BM} T. Bandman and D. Markushevich, {\em On the Number of Rational
Maps
Between Varieties of General Type}, Preprint, 10 pages.
\bibitem{Be} X. Benveniste, {\em Sur l'anneau canonique de certaine
vari\'{e}t\'{e}
de dimension 3}, Invent. Math {\bf 73} (1983), 157-164.
\bibitem{DM1} M.M. Deschamps and R.L. Menegaux, {\em Applications rationelles
s\'{e}parables dominantes sur une vari\'{e}t\'{e} de type g\'{e}n\'{e}ral},
Bull. Soc. Math. France {\bf 106} (1978), 279-287.
\bibitem{DM2} M.M. Deschamps and R.L. Menegaux, {\em Surfaces de type
g\'{e}neral domin\'{e}es par une vari\'{e}t\'{e} fixe}, C.R.Acad.Sc.Paris
Ser.A {\bf 288} (1979), 765-767.
\bibitem{DM3} M.M. Deschamps and R.L. Menegaux, {\em Surfaces de type
g\'{e}neral domin\'{e}es par une vari\'{e}t\'{e} fixe II}, C.R.Acad.Sc.Paris
Ser.A {\bf 291} (1980), 587-590.
\bibitem{El} R. Elkik, {\em Rationalit\'{e} des singulatrit\'{e}s canoniques},
Invent. Math {\bf 64} (1981), 1-6.
\bibitem{EKL} L. Ein, O. K\"uchle and R. Lazarsfeld, {\em Local Positivity of
Ample Line Bundles}, Preprint, 23 pages.
\bibitem{Fle} H. Flenner, {\em Rational singularities}, Arch. Math. {\bf 36}
(1981), 35-44.
\bibitem{Fr} M. de Franchis, {\em Un Teorema sulle involuzioni irrationali.},
Rend. Circ. Mat. Palermo {\bf 36} (1913), 368.
\bibitem{Fl} A.R. Fletcher, {\em Contributions to Riemann-Roch on projective
3-folds
with only canonical singularities and applications}, in: S.J. Bloch (Ed.)
Algebraic Geometry, Bowdoin 1985, 221-231. Proc Symp. in Pure Math. {\bf 46},
1987.
\bibitem{Fu} T. Fujita, {\em Zariski decomposition and canonical rings of
elliptic threefolds}, J. Math. Japan {\bf 38} (1986), 20-37.
\bibitem{GH} P. Griffiths and J. Harris, {\em Principles of Algebraic
Geometry}.
John Wiley and Sons, 1978.
\bibitem{Hi} H. Hironaka, {\em Resolution of singularities of an algebraic
variety over a field of characteristic zero I}, Ann. Math. {\bf 79} (1964),
109-326.
\bibitem{Ii} S. Iitaka, {\em Algebraic Geometry}. Springer, 1982.
\bibitem{Ka} Y. Kawamata, {\em On the finiteness of generators of
pluricanonical
ring for a 3-fold of general type}, Amer. J. Math. {\bf 106} (1984), 1503-1512.
\bibitem{KMM} Y. Kawamata, K. Matsuda and K. Matsuki, {\em Introduction to the
Minimal Model Problem},
in: T. Oda (Ed.) Algebraic Geometry, Sendai 1985, 283-360. Advanced Studies in
Pure Math. {\bf 10}, 1987.
\bibitem{KO} S. Kobayashi and T. Ochiai, {\em Meromorphic Mappings onto Compact
Complex
Spaces of General Type}, Invent. Math. {\bf 31} (1975), 7-16.
\bibitem{Ko} J. Kollar, {\em Higher direct images of dualizing sheaves I},
Annals of Math. {\bf 123} (1986), 11-42.
\bibitem{KM} J. Kollar and S. Mori, {\em Classification of three-dimensional
flips},
J. of the AMS {\bf 5} (1992), 533-703.
\bibitem{Ma1} K. Maehara, {\em Families of Varieties dominated by a variety},
Proc. Japan Acad. Ser. A {\bf 55} (1979), 146-151.
\bibitem{Ma2} K. Maehara {\em A Finiteness Property of Varieties of General
Type}, Math. Ann. {\bf 262} (1983), 101-123.
\bibitem{Ma3} K. Maehara, {\em Diophantine problem of algebraic varieties
and Hodge theory}, in: J. Noguchi (Ed.) Proceedings of the International
Symposium Holomorphic Mappings, Diophantine Geometry and Related Topics,
167-187.
RIMS, Kyoto University, 1992.
\bibitem{Mo1} S. Mori, {\em Classification of Higher -Dimensional Varieties},
in:
S.J. Bloch (Ed.) Algebraic Geometry, Bowdoin 1985, 269-331. Proc Symp. in Pure
Math. {\bf 46}, 1987.
\bibitem{Mo2} S. Mori, {\em Flip Theorem and the Existence of Minimal Models
for 3-folds}, J. AMS {\bf 1} (1988), 117-253.
\bibitem{No} J. Noguchi {\em Meromorphic Mappings into Compact Hyperbolic
Complex
Spaces and Geometric Diophantine Problems}, Interntl. J. Math. {\bf 3} (1992),
277-289, 677.
\bibitem{Re1} M. Reid, {\em Canonical 3-folds}, in A. Beauville (Ed.) Algebraic
Geometry, Angers 1979, 273-310. Sijthoff and Noordhoff, 1980.
\bibitem{Re2} M. Reid, {\em Young person's guide to canonical singularities},
in: S.J. Bloch (Ed.)
Algebraic Geometry, Bowdoin 1985, 345-414. Proc Symp. in Pure Math. {\bf 46},
1987.
\bibitem{Sa} P. Samuel, {\em Complements a un article de Hans Grauert sur
la conjecture de Mordell}, Publ. Math. IHES {\bf 29} (1966), 311-318.
\bibitem{Su} M. Suzuki, {\em Moduli spaces of holomorphic mappings into
hyperbolically
embedded complex spaces and hyperbolic fibre spaces},
in: J. Noguchi (Ed.) Proceedings of the International
Symposium Holomorphic Mappings, Diophantine Geometry and Related Topics,
157-166.
RIMS, Kyoto University, 1992.
\bibitem{Ue} K. Ueno, {\em Classification Theory of Algebraic
Varieties and
Compact Complex Spaces}, LNM {\bf 439}. Springer, 1975.
\bibitem{ZL} M.G. Zaidenberg and V.Ya. Lin, {\em Finiteness
theorems for holomorphic maps}, Several Complex Variables III, Encyclopaedia
Math.
Sciences {\bf 9}, 113-172. Springer, 1989.
\end{thebibliography}
\noindent Gerd Dethloff,
Mathematisches Institut der Universit\"at G\"ottingen,
Bunsenstra\3e 3-5,
37073 G\"ottingen,
Germany\\
e-mail: DETHLOFF@CFGAUSS.UNI-MATH.GWDG.DE\\
\end{document}