Jump to content

Contraction morphism

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Katharineamy (talk | contribs) at 21:33, 7 July 2018 (added Category:Algebraic geometry; removed {{uncategorized}} using HotCat). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

In algebraic geometry, a contraction morphism is a surjective projective morphism between normal projective varieties (or projective schemes) such that or, equivalently, the geometric fibers are all connected (Zariski's connectedness theorem). It is also commonly called an algebraic fiber space, as it is an analog of a fiber space in algebraic topology.

By the Stein factorization, any surjective projective morphism is a contraction morphism followed by a finite morphism.

Examples include ruled surfaces and Mori fiber spaces.

Birational perspective

The following perspective is crucial in birational geometry (in particular in Mori's minimal model program).

Let X be a projective variety and the closure of the span of irreducible curves on X in = the real vector space of numerical equivalence classes of real 1-cycles on X. Given a face F of , the contraction morphism associated to F, if it exists, is a contraction morphism to some projective variety Y such that for each irreducible curve , is a point if and only if .[1] The basic question is which face F gives rise to such a contraction morphism (cf. cone theorem).

See also

References

  1. ^ Kollár–Mori, Definition 1.25.
  • Kollár, János; Mori, Shigefumi (1998), Birational geometry of algebraic varieties, Cambridge Tracts in Mathematics, vol. 134, Cambridge University Press, ISBN 978-0-521-63277-5, MR 1658959
  • Robert Lazarsfeld, Positivity in Algebraic Geometry I: Classical Setting (2004)