# Difference between revisions of "Adjunction theory"

In its basic form, the study of the interplay between an embedding of a projective manifold (cf. Projective algebraic set) into projective space and its canonical bundle, , where is the cotangent bundle of . For simplicity, below the objects are considered over the complex numbers. The book [a1] is a general reference with full coverage of the literature for the whole theory with its history. The book [a4] is a fine reference on related material.

To study a smooth projective algebraic curve , i.e., a compact Riemann surface, a major approach in the 19th century was to relate properties of the curve to properties of the canonical mapping of the curve, i.e., the mapping of the curve into projective space given by sections of . To study a two-dimensional algebraic submanifold of projective space , it was natural to try to reduce questions about the surface to the hyperplane sections of , i.e., to the curves obtained by slicing with linear hyperplanes . This led to the study of the adjoint bundle , where is the restriction to of the hyperplane section bundle of , i.e., the line bundle on whose sections vanish on hyperplanes of . The restriction of the adjoint bundle to a hyperplane section of is the canonical bundle of , and, except in a few trivial cases, is the only line bundle that has this property. Therefore, if the mapping associated to exists, it would tie together the canonical mappings of the smooth hyperplane sections of . In the 19th century geometers, especially G. Castelnuovo and F. Enriques, used this rational mapping to study the embedding of into . The general procedure was to consider the sequence . A classical result was that adjunction terminates, i.e., there is a positive such that has no sections, if and only if is birational (cf. Birational morphism) to the product of an algebraic curve and . A key point was that if the above was the first positive such that has no sections, then is one of only a "very short list of pairs" . Classically, it was not known if was spanned and, therefore, this procedure did not usually lead to a biregular classification. (A line bundle on an algebraic set is said to be spanned if global sections of surject onto the fibre of at any point of the algebraic set.) There were also analogous classical procedures on threefolds due to G. Fano and U. Morin (see [a5], [a1]).

A.J. Sommese [a6] started the modern study of the mapping (which he called the adjunction mapping) associated to , where is a very ample line bundle (cf. Ample vector bundle) on an -dimensional projective manifold. The complete story with history of the adjunction mapping can be found in [a1], Chapts. 8–11. The fundamental results of this theory are that except for a few special varieties, the pair can be replaced by a closely related pair with the blow-up of an -dimensional projective manifold at a finite set, an ample line bundle, , and very ample. Moreover, if then, except for a few more examples, is numerically effective, or nef, i.e., for any effective curve . These results allow the classical birational results alluded to above to be both considerably extended and redone biregularly.

The major open question for this part of adjunction theory is to what extent the mapping associated to is well-behaved when is very ample, is smooth, and . For example, it is known when that, except for obvious counterexamples, , and if the Kodaira dimension of is non-negative, then unless is a quintic threefold with trivial. See [a2], [a1] for this and some further discussion of this problem.