Contraction Morphism¶
Map a projective variety onto another without a nontrivial finite Stein factor, so the fibers remain connected.
Core Idea¶
A contraction morphism in the stated projective-variety convention is a surjective projective map f:X→Y between normal projective varieties with f_*O_X=O_Y. This structure-sheaf condition rules out a nontrivial finite factor between the connected part of the map and its target. In the proper Stein setting, its geometric fibers are connected.[^ref-b337a6d12ebb]
Scope of Application¶
Contractions occur in birational algebraic geometry and in fiber-type maps. Blowing down a suitable exceptional curve on a smooth surface gives a birational example. Projection P¹×C→C gives a nonbirational example with P¹ fibers. Extremal-ray contractions in the minimal model program are important special cases requiring further numerical and existence hypotheses.[ref-15b147a1923b][ref-6999c7a466c8][^ref-6f65177bbb5d]
Clarity¶
Stein factorization splits a proper map into a map with connected geometric fibers and structure-sheaf equality, followed by a finite map. A contraction has the first-map property relative to its target. A generic degree-greater-than-one finite cover is surjective and projective but has extra pushforward functions and is not that connected part.[^ref-b337a6d12ebb]
Manages Complexity¶
The sheaf criterion unifies maps that look different geometrically: one can collapse a single exceptional curve or an entire family of projective-line fibers. It also prevents the visual word “collapse” from standing in for a proof. The proper/locally-Noetherian hypotheses of the cited Stein theorem and the variety, field and normality conventions must be checked before translating sheaf and geometric-fiber statements. Visual collapse versus the algebraic test, and ordinary versus extremal MMP contraction, are correctness and subtype distinctions—not intrinsic tradeoffs.[ref-b337a6d12ebb][ref-6999c7a466c8][^ref-6f65177bbb5d]
Abstract Reasoning¶
For a surface blow-down, almost every fiber is a point while the exceptional fiber is a curve. For P¹×C→C, every fiber is a curve. Both fit the algebraic contraction pattern, showing that birationality is not constitutive. An MMP contraction adds information about which curve classes a theorem permits one to contract; that extra information is not inferred from f_*O_X=O_Y alone.[ref-15b147a1923b][ref-6999c7a466c8][^ref-6f65177bbb5d]
Knowledge Transfer¶
The Stein-factor test transfers between birational and fiber-type cases: ask whether there is a nontrivial finite stage and whether regular functions over the target have gained extra algebraic data. What does not transfer automatically is the exceptional locus, fiber dimension or extremal-ray interpretation.[ref-b337a6d12ebb][ref-6f65177bbb5d]
Under the stated variety convention, this is a strict kind of Morphism of Algebraic Varieties, with projectivity, surjectivity and the sheaf equality as its narrower conditions.
[^ref-b337a6d12ebb]: The Stacks Project, Theorem 76.36.4, “Stein factorization”. [^ref-15b147a1923b]: Patrick Brosnan, “Castelnuovo’s Contractibility Criterion”. [^ref-6999c7a466c8]: Ravi Vakil, Complex Algebraic Surfaces, Class 9. [^ref-6f65177bbb5d]: Sean Keel and James McKernan, “Contractible Extremal Rays on M̄₀,ₙ”, 1996, §1 pp. 1–2 and §2.1 p. 4, on cone/contraction theorems and theorem-conditioned log-extremal-ray contractions.
Relationships to Other Abstractions¶
Current abstraction Contraction Morphism Domain-specific
Parents (1) — more general patterns this builds on
-
Contraction Morphism is a kind of Morphism of algebraic varieties Domain-specific
A projective contraction is a variety morphism with surjectivity and structure-sheaf conditions.
Hierarchy path (1) — routes to 1 parentless root
- Contraction Morphism → Morphism of algebraic varieties → Function (Mapping)
Neighborhood in Abstraction Space¶
Contraction Morphism sits in a sparse region of the domain-specific corpus (62nd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Sheaves & Birational Geometry (22 abstractions)
Nearest neighbors
- Castelnuovo–Mumford Regularity — 0.86
- Euler sequence — 0.85
- Quasi-projective variety — 0.85
- Linear fractional transformation — 0.84
- Complete variety — 0.84
Computed from structural-signature embeddings · 2026-10-08