A note on non-vanishing and applications
Abstract
Let X be a normal variety over the field of complex numbers with log terminal singularities and the canonical divisor KX being Q-Gorenstein. Assume that L is an ample line bundle over X and φ: X Y is a morphism supported by KX+rL for some positive rational number r. In the present paper we study the evaluation φ*φ*(L) L and the locus of points where it is not surjective which we call relative base point locus of L. In particular, we prove that, if the dimension of a fiber of φ is small with respect to r then the relative base point locus does not meet the fiber. Consequently, in this case, we discuss the structure of the map φ for a smooth X.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.