CoInvestigator(Kenkyūbuntansha) 
中村 博昭 東京大学, 大学院・数理科学研究科, 助手 (60217883)
SAITO Takeshi the univ. of Tokyo Graduate School of Mathematical Science, Associate Professor, 大学院・数理科学研究科, 助教授 (70201506)
ODA Takayuki the univ. of Tokyo, Graduate School of Mathematical Science, Professor, 大学院・数理科学研究科, 教授 (10109415)
KATSURA Toshiyuki the univ. of Tokyo, Graduate School of Mathematical Science, Professor, 大学院・数理科学研究科, 教授 (40108444)
NAKAMURA Hiroaki the univ. of Tokyo Graduate School of Mathematical Science, Assistant Professor (60217833)

Budget Amount *help 
¥5,400,000 (Direct Cost : ¥5,400,000)
Fiscal Year 1996 : ¥2,600,000 (Direct Cost : ¥2,600,000)
Fiscal Year 1995 : ¥2,800,000 (Direct Cost : ¥2,800,000)

Research Abstract 
The purpose of this research was to investigate the structure of higher dimensio We considered the following questions from the view point of numerical geometry, which studies divisors on varieties by the calculation of intersection numbers. (I) What kind of geometric conclusions which are nonlinear in nature can be obtained from the numerical conditions which are linear in nature? (II)There are several important cones in the real vector space of numerical classes of divisors on a given variety. What can we say about the properties of these cones? For (I), we considered the following Fujita conjectures. Let X be a smooth projective variety of dimension n and H an ample divisor on X.Takao Fujita of Tokyo Institute of Technology conjectured that the linear system mH + Kxis free if m >= n + 1, and very ample if m >= n + 2. This conjecture follows from the following stronger conjecture : (1) If (H^n) > n^n and (H^d・W) >= n^d holds for any subvariety W of any dimension d, then H + Kxis
… More
free ; (2) (H^n) > (n + 1)^n and (H^d・W) >= (n + 1)^d holds for any subvariety W of any dimension d, then H + Kxis very ample. For example, one can easily check the above conjectures for X = P^n. They are true if n = 1 by the RiemannRoch theorem, and if n = 2 by Reider's results. I considered the freeness conjectures (the first part of the conjectures) because the argument of the base point free theorem which I proved before can be used to this problem, and obtained the following results : the stronger conjecture is true if n = 3, and the weaker one if n = 4. The result for n = 3 is based on the previous results by EinLazarsfeld and Fujita, and uses results of EinLazarsfeld and Helmke. In the course of the proof of the above results, the analysis of the singularities of the minimal center of log canonical singularities is important. I realized that this problem is related to the adjunction process of the canonical divisors, and proved that the minimal center has only log terminal singularties if its codimension is at most 2 by using the moduli space of pointed stable curves by Knudsen. For (II), I investigated certain cones of divisors for CalabiYau fiber spaces. Accrding to the Minimal Model Conjecture, which is already verified in dimension 3, any algebraic variety X0 has a birational model X with an algebraic fiber space * : X * S such that the canonical divisor Kx is expressed as Kx = *^<**> H for an ample Qdivisor H on S.This fiber space * : X * S is an example of a CalabiYau fiber space. It is a generalized notion of a CalabiYau manifold which is also important in theoretical physics. I considered numerical equivalence classed of divisors on X relatively over S in the case in which dim X = 3. Such classes from a finite dimensional real vector space N^1 (X/S). The numerical classes of ample (resp. movable, big) divisors from a cone A (X/S) (resp. M (X/S), B (X/S)) inside N^1 (X/S). The faces of A (X/S) correspond to birational contractions or fiber space structures of X,and the decomposition of M (X/S) into subcones A (X'/S) corresponds to different ninimal models X'which are birationally equivalent to X. Inspired by the Mirror Symmetry Conjecture for CalabiYau manifolds, D.Morrison raised the following conjecture : there exist only finitely many equivalence classes of faces of A (X/S) under the action of the biregular automorphism group Aut (X/S), and there exist only finitely many equivalence classes of subcones A (X/S) of M (X/S) under the action of the birational automorphism group Bir (X/S). I studied these cones previously in a paper Crepant blowingup of 3dimensional canonical singularities and its application to degenerations of surfaces, Ann. of Math. 127 (1988), 93163. In the paper [10], I introduced a concept of marked minimal models, and proved a finiteness theorem for the part inside the cone B (X/S) by using some results in the above paper and a later paper Termination of logflips for algebraic 3folds, Intl. J.Math. 3 (1992), 653659. Moreover, I gave an affirmative answer to the above conjecture in the case in which dim S > 0 as the main theorem. As a corollary, I proved that there exist only finitely many minimal models up to isomorphisms in a fixed birational equivalence class of algebraic 3folds with positive Kodaira dimension. The reports of the above results were much appreciated at the international conferences held at the University of Warwick in the United Kingdom, and at the Johns Hopkins University in the United States. Less
