29 Morphisms of Schemes

• Section 29.1: Introduction
• Section 29.2: Closed immersions
  • Lemma 29.2.1
  • Lemma 29.2.2
  • Lemma 29.2.3
  • Lemma 29.2.4
  • Lemma 29.2.5
  • Lemma 29.2.6
  • Lemma 29.2.7
• Section 29.3: Immersions
  • Lemma 29.3.1
  • Lemma 29.3.2
  • Lemma 29.3.3
  • Example 29.3.4
  • Lemma 29.3.5
• Section 29.4: Closed immersions and quasi-coherent sheaves
  • Lemma 29.4.1
  • Lemma 29.4.2
  • Lemma 29.4.3
  • Definition 29.4.4
  • Lemma 29.4.5
  • Lemma 29.4.6
• Section 29.5: Supports of modules
  • Lemma 29.5.1
  • Lemma 29.5.2
  • Lemma 29.5.3
  • Lemma 29.5.4
  • Definition 29.5.5
• Section 29.6: Scheme theoretic image
  • Lemma 29.6.1
  • Definition 29.6.2
  • Lemma 29.6.3
  • Example 29.6.4
  • Lemma 29.6.5
  • Lemma 29.6.6
  • Lemma 29.6.7
  • Lemma 29.6.8
• Section 29.7: Scheme theoretic closure and density
  • Definition 29.7.1
  • Example 29.7.2
  • Lemma 29.7.3
  • Example 29.7.4
  • Lemma 29.7.5
  • Lemma 29.7.6
  • Lemma 29.7.7
  • Lemma 29.7.8
  • Lemma 29.7.9
  • Lemma 29.7.10
• Section 29.8: Dominant morphisms
  • Definition 29.8.1
  • Lemma 29.8.2
  • Lemma 29.8.3 slogan
  • Lemma 29.8.4
  • Lemma 29.8.5
  • Lemma 29.8.6
  • Lemma 29.8.7
  • Lemma 29.8.8
• Section 29.9: Surjective morphisms
  • Definition 29.9.1
  • Lemma 29.9.2
  • Lemma 29.9.3
  • Lemma 29.9.4
  • Example 29.9.5
  • Lemma 29.9.6
• Section 29.10: Radicial and universally injective morphisms
  • Definition 29.10.1
  • Lemma 29.10.2
  • Lemma 29.10.3
  • Lemma 29.10.4
  • Lemma 29.10.5
• Section 29.11: Affine morphisms
  • Definition 29.11.1
  • Lemma 29.11.2
  • Lemma 29.11.3 reference
  • Remark 29.11.4
  • Lemma 29.11.5
  • Lemma 29.11.6 reference
  • Lemma 29.11.7
  • Lemma 29.11.8
  • Lemma 29.11.9
  • Lemma 29.11.10
  • Lemma 29.11.11
  • Lemma 29.11.12
  • Lemma 29.11.13
  • Lemma 29.11.14
  • Lemma 29.11.15
• Section 29.12: Families of ample invertible modules
  • Definition 29.12.1 reference
  • Lemma 29.12.2
  • Remark 29.12.3
• Section 29.13: Quasi-affine morphisms
  • Definition 29.13.1
  • Lemma 29.13.2
  • Lemma 29.13.3
  • Lemma 29.13.4
  • Lemma 29.13.5
  • Lemma 29.13.6
  • Lemma 29.13.7
  • Lemma 29.13.8
• Section 29.14: Types of morphisms defined by properties of ring maps
  • Definition 29.14.1
  • Definition 29.14.2
  • Lemma 29.14.3
  • Lemma 29.14.4
  • Lemma 29.14.5
  • Lemma 29.14.6
  • Lemma 29.14.7
  • Lemma 29.14.8
  • Lemma 29.14.9
• Section 29.15: Morphisms of finite type
  • Definition 29.15.1
  • Lemma 29.15.2
  • Lemma 29.15.3
  • Lemma 29.15.4
  • Lemma 29.15.5
  • Lemma 29.15.6
  • Lemma 29.15.7
  • Lemma 29.15.8
• Section 29.16: Points of finite type and Jacobson schemes
  • Lemma 29.16.1
  • Lemma 29.16.2
  • Definition 29.16.3
  • Lemma 29.16.4
  • Lemma 29.16.5
  • Lemma 29.16.6
  • Lemma 29.16.7
  • Lemma 29.16.8
  • Lemma 29.16.9
  • Lemma 29.16.10
• Section 29.17: Universally catenary schemes
  • Definition 29.17.1
  • Lemma 29.17.2
  • Lemma 29.17.3
  • Lemma 29.17.4
  • Lemma 29.17.5
• Section 29.18: Nagata schemes, reprise
  • Lemma 29.18.1
  • Lemma 29.18.2
• Section 29.19: The singular locus, reprise
  • Definition 29.19.1
  • Lemma 29.19.2
  • Lemma 29.19.3
• Section 29.20: Excellent schemes
  • Definition 29.20.1
  • Lemma 29.20.2
  • Lemma 29.20.3
  • Lemma 29.20.4
  • Lemma 29.20.5
  • Lemma 29.20.6
  • Lemma 29.20.7
• Section 29.21: Quasi-finite morphisms
  • Definition 29.21.1 reference
  • Lemma 29.21.2
  • Lemma 29.21.3
  • Lemma 29.21.4
  • Lemma 29.21.5
  • Lemma 29.21.6
  • Lemma 29.21.7
  • Lemma 29.21.8 slogan
  • Lemma 29.21.9
  • Lemma 29.21.10
  • Lemma 29.21.11
  • Lemma 29.21.12
  • Lemma 29.21.13 slogan
  • Lemma 29.21.14
  • Lemma 29.21.15
  • Lemma 29.21.16
  • Lemma 29.21.17
  • Lemma 29.21.18
• Section 29.22: Morphisms of finite presentation
  • Definition 29.22.1
  • Lemma 29.22.2
  • Lemma 29.22.3
  • Lemma 29.22.4
  • Lemma 29.22.5
  • Lemma 29.22.6
  • Lemma 29.22.7 slogan
  • Lemma 29.22.8
  • Lemma 29.22.9 slogan
  • Lemma 29.22.10
  • Lemma 29.22.11
  • Lemma 29.22.12
• Section 29.23: Constructible sets
  • Lemma 29.23.1
  • Lemma 29.23.2
  • Theorem 29.23.3: Chevalley's Theorem reference
  • Lemma 29.23.4
• Section 29.24: Open morphisms
  • Definition 29.24.1
  • Lemma 29.24.2
  • Lemma 29.24.3
  • Lemma 29.24.4
  • Lemma 29.24.5 reference
  • Lemma 29.24.6
• Section 29.25: Submersive morphisms
  • Definition 29.25.1
  • Lemma 29.25.2
  • Lemma 29.25.3
• Section 29.26: Flat morphisms
  • Definition 29.26.1
  • Lemma 29.26.2
  • Lemma 29.26.3
  • Lemma 29.26.4
  • Lemma 29.26.5
  • Lemma 29.26.6
  • Lemma 29.26.7
  • Lemma 29.26.8
  • Lemma 29.26.9
  • Lemma 29.26.10
  • Lemma 29.26.11
  • Lemma 29.26.12 reference
  • Lemma 29.26.13
  • Lemma 29.26.14
  • Lemma 29.26.15
  • Lemma 29.26.16 slogan
• Section 29.27: Flat closed immersions
  • Lemma 29.27.1
  • Lemma 29.27.2
  • Definition 29.27.3
  • Lemma 29.27.4
• Section 29.28: Generic flatness
  • Proposition 29.28.1: Generic flatness
  • Proposition 29.28.2: Generic flatness, reduced case
  • Remark 29.28.3
• Section 29.29: Morphisms and dimensions of fibres
  • Lemma 29.29.1
  • Lemma 29.29.2
  • Lemma 29.29.3
  • Lemma 29.29.4 reference
  • Lemma 29.29.5
  • Lemma 29.29.6
  • Lemma 29.29.7
• Section 29.30: Morphisms of given relative dimension
  • Definition 29.30.1
  • Lemma 29.30.2
  • Lemma 29.30.3
  • Lemma 29.30.4 slogan
  • Lemma 29.30.5
  • Lemma 29.30.6
• Section 29.31: Syntomic morphisms
  • Definition 29.31.1
  • Lemma 29.31.2
  • Lemma 29.31.3
  • Lemma 29.31.4
  • Lemma 29.31.5
  • Lemma 29.31.6
  • Lemma 29.31.7
  • Lemma 29.31.8
  • Lemma 29.31.9
  • Lemma 29.31.10
  • Lemma 29.31.11
  • Lemma 29.31.12
  • Lemma 29.31.13
  • Lemma 29.31.14
  • Definition 29.31.15
  • Lemma 29.31.16
• Section 29.32: Conormal sheaf of an immersion
  • Definition 29.32.1
  • Lemma 29.32.2
  • Lemma 29.32.3
  • Lemma 29.32.4
  • Lemma 29.32.5
• Section 29.33: Sheaf of differentials of a morphism
  • Definition 29.33.1
  • Lemma 29.33.2
  • Lemma 29.33.3
  • Lemma 29.33.4
  • Lemma 29.33.5
  • Remark 29.33.6
  • Lemma 29.33.7
  • Lemma 29.33.8
  • Lemma 29.33.9
  • Lemma 29.33.10
  • Lemma 29.33.11
  • Lemma 29.33.12
  • Lemma 29.33.13
  • Lemma 29.33.14
  • Lemma 29.33.15
  • Lemma 29.33.16
  • Remark 29.33.17
  • Lemma 29.33.18
• Section 29.34: Finite order differential operators
  • Lemma 29.34.1
  • Lemma 29.34.2
  • Remark 29.34.3
• Section 29.35: Smooth morphisms
  • Definition 29.35.1
  • Lemma 29.35.2
  • Lemma 29.35.3
  • Lemma 29.35.4
  • Lemma 29.35.5
  • Lemma 29.35.6
  • Lemma 29.35.7
  • Lemma 29.35.8
  • Lemma 29.35.9
  • Lemma 29.35.10
  • Lemma 29.35.11 slogan
  • Lemma 29.35.12
  • Definition 29.35.13
  • Lemma 29.35.14
  • Lemma 29.35.15
  • Lemma 29.35.16
  • Lemma 29.35.17
  • Lemma 29.35.18
  • Lemma 29.35.19
  • Lemma 29.35.20
  • Lemma 29.35.21
• Section 29.36: Unramified morphisms
  • Definition 29.36.1
  • Lemma 29.36.2
  • Lemma 29.36.3
  • Lemma 29.36.4
  • Lemma 29.36.5
  • Lemma 29.36.6
  • Lemma 29.36.7
  • Lemma 29.36.8
  • Lemma 29.36.9
  • Lemma 29.36.10
  • Lemma 29.36.11
  • Lemma 29.36.12
  • Lemma 29.36.13
  • Lemma 29.36.14
  • Lemma 29.36.15
  • Lemma 29.36.16
  • Lemma 29.36.17
• Section 29.37: Étale morphisms
  • Definition 29.37.1
  • Lemma 29.37.2
  • Lemma 29.37.3
  • Lemma 29.37.4
  • Lemma 29.37.5
  • Lemma 29.37.6
  • Lemma 29.37.7 slogan
  • Lemma 29.37.8
  • Lemma 29.37.9
  • Lemma 29.37.10
  • Lemma 29.37.11
  • Lemma 29.37.12
  • Lemma 29.37.13
  • Lemma 29.37.14
  • Lemma 29.37.15
  • Lemma 29.37.16
  • Lemma 29.37.17
  • Lemma 29.37.18 slogan
  • Lemma 29.37.19
  • Lemma 29.37.20 slogan
• Section 29.38: Relatively ample sheaves
  • Definition 29.38.1 reference
  • Lemma 29.38.2
  • Lemma 29.38.3
  • Lemma 29.38.4 reference
  • Lemma 29.38.5 reference
  • Lemma 29.38.6 reference
  • Lemma 29.38.7
  • Lemma 29.38.8
  • Lemma 29.38.9
  • Lemma 29.38.10
• Section 29.39: Very ample sheaves
  • Definition 29.39.1
  • Lemma 29.39.2 reference
  • Example 29.39.3
  • Example 29.39.4
  • Example 29.39.5
  • Lemma 29.39.6
  • Lemma 29.39.7
  • Lemma 29.39.8
• Section 29.40: Ample and very ample sheaves relative to finite type morphisms
  • Lemma 29.40.1
  • Lemma 29.40.2
  • Lemma 29.40.3
  • Lemma 29.40.4
  • Lemma 29.40.5
  • Lemma 29.40.6
  • Lemma 29.40.7
  • Lemma 29.40.8
• Section 29.41: Quasi-projective morphisms
  • Definition 29.41.1 reference
  • Lemma 29.41.2
  • Lemma 29.41.3
  • Lemma 29.41.4
  • Lemma 29.41.5
  • Lemma 29.41.6
  • Lemma 29.41.7 reference
  • Lemma 29.41.8
• Section 29.42: Proper morphisms
  • Definition 29.42.1
  • Lemma 29.42.2
  • Lemma 29.42.3
  • Lemma 29.42.4
  • Lemma 29.42.5
  • Lemma 29.42.6
  • Lemma 29.42.7
  • Lemma 29.42.8 reference
  • Lemma 29.42.9
  • Lemma 29.42.10
  • Lemma 29.42.11
• Section 29.43: Valuative criteria
  • Lemma 29.43.1: Valuative criterion for properness reference
  • Lemma 29.43.2
  • Remark 29.43.3
  • Lemma 29.43.4
  • Lemma 29.43.5
• Section 29.44: Projective morphisms
  • Definition 29.44.1
  • Example 29.44.2
  • Lemma 29.44.3
  • Lemma 29.44.4
  • Lemma 29.44.5
  • Lemma 29.44.6
  • Lemma 29.44.7
  • Lemma 29.44.8
  • Lemma 29.44.9
  • Lemma 29.44.10
  • Lemma 29.44.11
  • Lemma 29.44.12
  • Lemma 29.44.13
  • Lemma 29.44.14
  • Lemma 29.44.15
  • Lemma 29.44.16
  • Lemma 29.44.17
  • Lemma 29.44.18
• Section 29.45: Integral and finite morphisms
  • Definition 29.45.1
  • Lemma 29.45.2
  • Lemma 29.45.3
  • Lemma 29.45.4
  • Lemma 29.45.5
  • Lemma 29.45.6
  • Lemma 29.45.7 slogan
  • Lemma 29.45.8
  • Lemma 29.45.9
  • Lemma 29.45.10
  • Lemma 29.45.11
  • Lemma 29.45.12
  • Lemma 29.45.13
  • Lemma 29.45.14
  • Lemma 29.45.15
  • Lemma 29.45.16
• Section 29.46: Universal homeomorphisms
  • Definition 29.46.1
  • Lemma 29.46.2
  • Lemma 29.46.3
  • Lemma 29.46.4
  • Lemma 29.46.5
  • Lemma 29.46.6
  • Lemma 29.46.7
  • Lemma 29.46.8
• Section 29.47: Universal homeomorphisms of affine schemes
  • Lemma 29.47.1
  • Lemma 29.47.2
  • Lemma 29.47.3
  • Lemma 29.47.4
  • Lemma 29.47.5
  • Lemma 29.47.6
  • Proposition 29.47.7
  • Proposition 29.47.8
  • Lemma 29.47.9
  • Lemma 29.47.10
  • Lemma 29.47.11
• Section 29.48: Absolute weak normalization and seminormalization
  • Definition 29.48.1
  • Lemma 29.48.2
  • Definition 29.48.3
  • Lemma 29.48.4
  • Lemma 29.48.5
  • Lemma 29.48.6
  • Lemma 29.48.7
  • Definition 29.48.8
  • Lemma 29.48.9
  • Lemma 29.48.10
• Section 29.49: Finite locally free morphisms
  • Definition 29.49.1
  • Lemma 29.49.2
  • Lemma 29.49.3
  • Lemma 29.49.4
  • Lemma 29.49.5
  • Lemma 29.49.6
  • Lemma 29.49.7
• Section 29.50: Rational maps
  • Definition 29.50.1
  • Lemma 29.50.2
  • Definition 29.50.3
  • Definition 29.50.4
  • Lemma 29.50.5
  • Definition 29.50.6
  • Lemma 29.50.7
  • Definition 29.50.8
  • Lemma 29.50.9
  • Definition 29.50.10
  • Definition 29.50.11
  • Lemma 29.50.12
  • Remark 29.50.13
  • Remark 29.50.14
• Section 29.51: Birational morphisms
  • Definition 29.51.1 reference
  • Lemma 29.51.2
  • Lemma 29.51.3
  • Example 29.51.4
  • Lemma 29.51.5
  • Lemma 29.51.6
  • Lemma 29.51.7
• Section 29.52: Generically finite morphisms
  • Lemma 29.52.1
  • Example 29.52.2
  • Remark 29.52.3
  • Lemma 29.52.4
  • Lemma 29.52.5
  • Lemma 29.52.6
  • Lemma 29.52.7
  • Definition 29.52.8
  • Lemma 29.52.9
  • Remark 29.52.10
  • Definition 29.52.11
  • Definition 29.52.12 reference
• Section 29.53: The dimension formula
  • Lemma 29.53.1
    • Equation 29.53.1.1
  • Lemma 29.53.2
    • Equation 29.53.2.1
  • Lemma 29.53.3
  • Lemma 29.53.4
  • Lemma 29.53.5
• Section 29.54: Relative normalization
  • Lemma 29.54.1
  • Definition 29.54.2
  • Definition 29.54.3
  • Lemma 29.54.4
  • Lemma 29.54.5
  • Lemma 29.54.6
  • Lemma 29.54.7
  • Lemma 29.54.8
  • Lemma 29.54.9
  • Lemma 29.54.10
  • Lemma 29.54.11
  • Lemma 29.54.12
  • Lemma 29.54.13
  • Lemma 29.54.14
  • Lemma 29.54.15
  • Lemma 29.54.16
• Section 29.55: Normalization
  • Equation 29.55.0.1
  • Definition 29.55.1
  • Lemma 29.55.2
  • Lemma 29.55.3
  • Lemma 29.55.4
  • Lemma 29.55.5
  • Lemma 29.55.6
  • Lemma 29.55.7
  • Lemma 29.55.8
  • Lemma 29.55.9
  • Lemma 29.55.10
  • Lemma 29.55.11
  • Lemma 29.55.12
• Section 29.56: Weak normalization
  • Lemma 29.56.1
  • Lemma 29.56.2
  • Lemma 29.56.3
  • Lemma 29.56.4
  • Lemma 29.56.5
  • Definition 29.56.6
  • Lemma 29.56.7
  • Definition 29.56.8
  • Definition 29.56.9
  • Lemma 29.56.10
  • Lemma 29.56.11
• Section 29.57: Zariski's Main Theorem (algebraic version)
  • Theorem 29.57.1: Algebraic version of Zariski's Main Theorem
  • Lemma 29.57.2 slogan
  • Lemma 29.57.3
  • Lemma 29.57.4
• Section 29.58: Universally bounded fibres
  • Definition 29.58.1
  • Lemma 29.58.2
  • Lemma 29.58.3
  • Lemma 29.58.4
  • Lemma 29.58.5
  • Lemma 29.58.6
  • Lemma 29.58.7
  • Lemma 29.58.8
  • Lemma 29.58.9
  • Lemma 29.58.10
• Section 29.59: Miscellany
  • Lemma 29.59.1
  • Lemma 29.59.2