Showing papers on "Minimal model program published in 2001"

Higher-dimensional algebraic geometry

Abstract: Higher-dimensional algebraic geometry studies the classification theory of algebraic varieties. This very active area of research is still developing, but an amazing quantity of knowledge has accumulated over the past twenty years. The author?s goal is to provide an easily accessible introduction to the subject. The book covers preparatory and standard definitions and results, moves on to discuss various aspects of the geometry of smooth projective varieties with many rational curves, and finishes in taking the first steps towards Mori?s minimal model program of classification of algebraic varieties by proving the cone and contraction theorems. The book is well organized and the author has kept the number of concepts that are used but not proved to a minimum to provide a mostly self-contained introduction to graduate students and researchers.

Quasi-log varieties

Abstract: We extend the Cone Theorem of the Log Minimal Model Program to log varieties with arbitrary singularities

The indices of log canonical singularities

Abstract: Let ( P ∈ X , Δ) be a three-dimensional log canonical pair such that Δ has only standard coefficients and that P is a center of log canonical singularities for ( X , Δ). Then we get an effective bound of the indices of these pairs and actually determine all the possible indices. Furthermore, under certain assumptions including the log Minimal Model Program, an effective bound is also obtained in dimension n ≥ 4.

A Compactification of the Space of Plane Curves

Abstract: We define a geometrically meaningful compactification of the moduli space of smooth plane curves, which can be calculated explicitly. The basic idea is to regard a plane curve D in P^2 as a pair (P^2,D) of a surface together with a divisor, and allow both the surface and the curve to degenerate. For plane curves of degree d at least 4, we obtain a compactification M_d which is a moduli space of stable pairs (X,D) using the log minimal model program. A stable pair (X,D) consists of a surface X such that -K_X is ample and a divisor D in a given linear system on X with specified singularities. Note that X may be non-normal, and K_X is Q-Cartier but not Cartier in general. We give a rough classification of stable pairs of arbitrary degree, a complete classification in degrees 4 and 5, and a partial classification in degree 6. The compactification is particularly simple if d is not a multiple of 3 - in particular the surface X has at most 2 components. We give a characterisation of these surfaces in terms of the singularities and the Picard numbers of the components. Moreover, we show that M_d is smooth in this case.

HyperK\"ahler Manifolds and Birational Transformations

Abstract: In this paper we study the birational geometry of HyperKaehler manifolds by combining the method of minimal model program and the traditional approach of symplectic geometry.

Actions of linear algebraic groups on projective manifolds and minimal model program

Abstract: Let X be a smooth projective variety of dimension n on which a simple Lie group G acts regularly and non trivially. Then X is not minimal in the sense of the Minimal Model Program. In the paper we work out a classification of X via the Minimal Model Program under the assumption that the dimension of X is small with the respect to the dimension of G. More precisely we classify all such X with n smaller or equal to (r_G +1), where r_G is the minimum codimension of the maximal parabolic subgroup of G (for instance r_{SL(m)}= m-1). We consider also the case when G = SL(3) and X is a smooth 4-fold on which G acts with an open orbit.

The log canonical threshold of homogeneous affine hypersurfaces

Abstract: We prove that if Y is a hypersurface of degree d in P^n with isolated singularities, then the log canonical threshold of (P^n,Y) is at least min{n/d,1}. Moreover, if d is at least n+1, then we have equality if and only if Y is the projective cone over a (smooth) hypersurface in P^{n-1}. In the case when Y is a hyperplane section of a smooth hypersurface in P^{n+1}, Cheltsov and Park have proved that Y has isolated singularities and they have obtained the above lower bound for the log canonical threshold. Moreover they made the conjecture about the equality case (for d=n+1) and they proved that the conjecture follows from the Log Minimal Model Program. The purpose of this note is to give an easy proof of their conjecture using the description of the log canonical threshold in terms of jet schemes.

The log canonical threshold of a projective hypersurface with isolated singularities

Abstract: We prove that if Y is a hypersurface of degree d in P^n with isolated singularities, then the log canonical threshold of (P^n,Y) is at least min{n/d,1}. Moreover, if d is at least n+1, then we have equality if and only if Y is the projective cone over a (smooth) hypersurface in P^{n-1}. In the case when Y is a hyperplane section of a smooth hypersurface in P^{n+1}, Cheltsov and Park have proved that Y has isolated singularities and they have obtained the above lower bound for the log canonical threshold. Moreover they made the conjecture about the equality case (for d=n+1) and they proved that the conjecture follows from the Log Minimal Model Program. The purpose of this note is to give an easy proof of their conjecture using the description of the log canonical threshold in terms of jet schemes.