Pluricanonical maps of varieties of maximal Albanese dimension

Let X be a smooth complex projective algebraic variety of maximal Albanese dimension. We give a characterization of in terms of the set . An immediate consequence of this is that the Kodaira dimension is invariant under smooth deformations. We then study the pluricanonical maps . We prove that if X is of general type, is generically finite for and birational for . More generally, we show that for the image of is of dimension equal to and for , is the stable canonical map. Received July 7, 2000 / Published online April 12, 2001     

Subsheaves of the cotangent bundle

For any smooth projective variety, we study a birational invariant, defined by Campana which depends on the Kodaira dimension of the subsheaves of the cotangent bundle of the variety and its exterior powers. We provide new bounds for a related invariant in any dimension and in particular we show that it is equal to the Kodaira dimension of the variety, in dimension up to 4, if this is not negative.     

On the bicanonical map of a surface section of a threefold

Let (ℳ, ℒ) be a 3-fold of log-general type polarized by a very ample line bundle ℒ. We study the pairs (ℳ, ℒ) in the case when there exists at least one smooth surface Ŝ ∈ |ℒ| such that the bicanonical map associated to |2K_Ŝ| is not birational. As one consequence of our classification we obtain the result:if a smooth projective threefold has non- negative Kodaira dimension, then given any smooth very ample divisor Ŝon the threefold, the bicanonical map associated to |2K_Ŝ|is birational.     

Generic vanishing index and the birationality of the bicanonical map of irregular varieties

We prove that any smooth complex projective variety with generic vanishing index bigger or equal than 2 has birational bicanonical map. Therefore, if X is a smooth complex projective variety φ with maximal Albanese dimension and non-birational bicanonical map, then the Albanese image of X is fibred by subvarieties of codimension at most 1 of an abelian subvariety of Alb X.     

A footnote to a theorem of Kawamata

Kawamata has shown that the quasi-Albanese map of a quasi-projective variety with log-irregularity equal to the dimension and log-Kodaira dimension 0 is birational. In this note, we show that under these hypotheses the quasi-Albanese map is proper in codimension 1 as conjectured by Iitaka.     

Effective Criteria for Birational Morphisms

The purpose of the paper is to illustrate how vanishing theoremscan be used to give effective criteria for a generically finitemorphism f :X Y of smooth complex projective algebraic varietiesto be birational. In particular, as a consequence of a non-vanishingtheorem of Kollár, it is shown that if Y is of generaltype and has generically large algebraic fundamental group,then f is birational if and only if P₂(X)=P₂(Y).     

On Ueno’s conjecture K

We show that if X is a smooth complex projective variety with Kodaira dimension 0 then the Kodaira dimension of a general fiber of its Albanese map is at most . J. A. Chen was partially supported by NCTS, TIMS, and NSC of Taiwan. C. D. Hacon was partially supported by NSF research grant no: 0456363 and an AMS Centennial Scholarship. We would like to thank J. Kollár, R. Lazarsfeld, C.-H. Liu, M. Popa, P. Roberts, and A. Singh for many useful comments on the contents of this paper.     

Pluricanonical maps of varieties of Albanese fiber dimension two

In this paper we prove that for any smooth projective variety of Albanese fiber dimension two and of general type, the \(6\) -canonical map is birational. And we also show that the \(5\) -canonical map is birational for any such variety with some geometric restrictions.     

Augmented base loci and restricted volumes on normal varieties

We extend to normal projective varieties defined over an arbitrary algebraically closed field a result of Ein, Lazarsfeld, Musta??, Nakamaye and Popa characterizing the augmented base locus (aka non-ample locus) of a line bundle on a smooth projective complex variety as the union of subvarieties on which the restricted volume vanishes. We also give a proof of the folklore fact that the complement of the augmented base locus is the largest open subset on which the Kodaira map defined by large and divisible multiples of the line bundle is an isomorphism.     

A characteristic-free criterion of birationality

One develops ab initio the theory of rational/birational maps over reduced, but not necessarily irreducible, projective varieties in arbitrary characteristic. A virtual numerical invariant of a rational map is introduced, called the Jacobian dual rank. It is proved that a rational map in this general setup is birational if and only if the Jacobian dual rank is well defined and attains its maximal possible value. Even in the “classical” case where the source variety is irreducible there is some gain for this invariant over the degree of the map because, on one hand, it relates naturally to constructs in commutative algebra and, on the other hand, is effectively computable. Applications are given to results only known so far in characteristic zero. One curious byproduct is an alternative approach to deal with the result of Dolgachev concerning the degree of a plane polar Cremona map.     

Varieties with P3 = 3 and q = dim(X)

We prove that if X is a complex projective variety with P₃(X) = 3 and q(X) = dim(X), then X is birational to a bidouble cover of A(X). (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Wild automorphisms of varieties with Kodaira dimension 0

An automorphism σ of a projective variety X is said to be wild if σ(Y) ≠ Y for every non-empty subvariety Y \subsetneq X{Y \subsetneq X} . In [1] Z. Reichstein, D. Rogalski, and J.J. Zhang conjectured that if X is an irreducible projective variety admitting a wild automorphism then X is an abelian variety, and proved this conjecture for dim(X) ≤ 2. As a step toward answering this conjecture in higher dimensions we prove a structure theorem for projective varieties of Kodaira dimension 0 admitting wild automorphisms. This essentially reduces the Kodaira dimension 0 case to a study of Calabi-Yau varieties, which we also investigate. In support of this conjecture, we show that there are no wild automorphisms of certain Calabi-Yau varieties.     

Halphen pencils on quartic threefolds

For any smooth quartic threefold in P⁴ we classify pencils on it whose general element is an irreducible surface birational to a surface of Kodaira dimension zero.     

A Characterization of Counterexamples to the Kodaira-Ramanujam Vanishing Theorem on Surfaces in Positive Characteristic

The author gives a characterization of counterexamples to the Kodaira-Ramanujam vanishing theorem on smooth projective surfaces in positive characteristic. More precisely, it is reproved that if there is a counterexample to the Kodaira-Ramanujam vanishing theorem on a smooth projective surface X in positive characteristic, then X is either a quasi-elliptic surface of Kodaira dimension 1 or a surface of general type. Furthermore, it is proved that up to blow-ups, X admits a fibration to a smooth projective curve, such that each fiber is a singular curve.     

The universal theta divisor over the moduli space of curves

By computing the class of the universal antiramification locus of the Gauss map, we obtain a complete birational classification by Kodaira dimension of the universal theta divisor over the moduli space of curves.     

Polarized endomorphisms of complex normal varieties

It is shown that a complex normal projective variety has non-positive Kodaira dimension if it admits a non-isomorphic quasi-polarized endomorphism. The geometric structure of the variety is described by methods of equivariant lifting and fibrations.     

Structure of the cycle map for Hilbert schemes of families of nodal curves

We study the relative Hilbert scheme of a family of nodal (or smooth) curves, over a base of arbitrary dimension, via its (birational) cycle map, going to the relative symmetric product. We show the cycle map is the blowing up of the discriminant locus, which consists of cycles with multiple points. We determine the structure of certain projective bundles called node scrolls which play an important role in the geometry of Hilbert schemes.     

On Manifolds Whose Tangent Bundle is Big and 1-Ample

A line bundle over a complex projective variety is called bigand 1-ample if a large multiple of it is generated by globalsections and a morphism induced by the evaluation of the spanningsections is generically finite and has at most 1-dimensionalfibers. A vector bundle is called big and 1-ample if the relativehyperplane line bundle over its projectivisation is big and1-ample. The main theorem of the present paper asserts that any complexprojective manifold of dimension 4 or more, whose tangent bundleis big and 1-ample, is equal either to a projective space orto a smooth quadric. Since big and 1-ample bundles are ‘almost’ample, the present result is yet another extension of the celebratedMori paper ‘Projective manifolds with ample tangent bundles’(Ann. of Math. 110 (1979) 593–606). The proof of the theorem applies results about contractionsof complex symplectic manifolds and of manifolds whose tangentbundles are numerically effective. In the appendix we re-provethese results. 2000 Mathematics Subject Classification 14E30,14J40, 14J45, 14J50.     

Existence of a non‐reflexive embedding with birational Gauss map for a projective variety

We study the relationship between the generic smoothness of the Gauss map and the reflexivity (with respect to the projective dual) for a projective variety defined over an algebraically closed field. The problem we discuss here is whether it is possible for a projective variety X in ℙ^N to re‐embed into some projective space ℙ^M so as to be non‐reflexive with generically smooth Gauss map. Our result is that the answer is affirmative under the assumption that X has dimension at least 3 and the differential of the Gauss map of X in ℙ^N is identically zero; hence the projective varietyX re‐embedded in ℙ^M yields a negative answer to Kleiman–Piene's question: Does the generic smoothness of the Gauss map imply reflexivity for a projective variety? A Fermat hypersurface in ℙ^N with suitable degree in positive characteristic is known to satisfy the assumption above. We give some new, other examples of X in ℙ^N satisfying the assumption. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Global holomorphic 2-forms and pluricanonical systems on threefolds

The change of zero locus of a global holomorphic 2-form on a threefold under birational transformations is investigated. It is proved that existence of 2-forms with certain conditions on their zero loci on a threefold of nonnegative Kodaira dimension limits types of terminal singularities appearing on its minimal models. As a result of the restriction on the types of terminal singularities and Reid's Riemann-Roch formula, a universal bound N is found such that the linear system NK defines a birational map from a threefold of general type admitting those 2-forms, where K is the canonical bundle of the threefold. Received March 10, 2000 / Published online October 11, 2000