2 Schemes

Chapter 26: Schemes
- Section 26.1: Introduction
- Section 26.2: Locally ringed spaces
- Section 26.3: Open immersions of locally ringed spaces
- Section 26.4: Closed immersions of locally ringed spaces
- Section 26.5: Affine schemes
- Section 26.6: The category of affine schemes
- Section 26.7: Quasi-coherent sheaves on affines
- Section 26.8: Closed subspaces of affine schemes
- Section 26.9: Schemes
- Section 26.10: Immersions of schemes
- Section 26.11: Zariski topology of schemes
- Section 26.12: Reduced schemes
- Section 26.13: Points of schemes
- Section 26.14: Glueing schemes
- Section 26.15: A representability criterion
- Section 26.16: Existence of fibre products of schemes
- Section 26.17: Fibre products of schemes
- Section 26.18: Base change in algebraic geometry
- Section 26.19: Quasi-compact morphisms
- Section 26.20: Valuative criterion for universal closedness
- Section 26.21: Separation axioms
- Section 26.22: Valuative criterion of separatedness
- Section 26.23: Monomorphisms
- Section 26.24: Functoriality for quasi-coherent modules
Chapter 27: Constructions of Schemes
- Section 27.1: Introduction
- Section 27.2: Relative glueing
- Section 27.3: Relative spectrum via glueing
- Section 27.4: Relative spectrum as a functor
- Section 27.5: Affine n-space
- Section 27.6: Vector bundles
- Section 27.7: Cones
- Section 27.8: Proj of a graded ring
- Section 27.9: Quasi-coherent sheaves on Proj
- Section 27.10: Invertible sheaves on Proj
- Section 27.11: Functoriality of Proj
- Section 27.12: Morphisms into Proj
- Section 27.13: Projective space
- Section 27.14: Invertible sheaves and morphisms into Proj
- Section 27.15: Relative Proj via glueing
- Section 27.16: Relative Proj as a functor
- Section 27.17: Quasi-coherent sheaves on relative Proj
- Section 27.18: Functoriality of relative Proj
- Section 27.19: Invertible sheaves and morphisms into relative Proj
- Section 27.20: Twisting by invertible sheaves and relative Proj
- Section 27.21: Projective bundles
- Section 27.22: Grassmannians
Chapter 28: Properties of Schemes
- Section 28.1: Introduction
- Section 28.2: Constructible sets
- Section 28.3: Integral, irreducible, and reduced schemes
- Section 28.4: Types of schemes defined by properties of rings
- Section 28.5: Noetherian schemes
- Section 28.6: Jacobson schemes
- Section 28.7: Normal schemes
- Section 28.8: Cohen-Macaulay schemes
- Section 28.9: Regular schemes
- Section 28.10: Dimension
- Section 28.11: Catenary schemes
- Section 28.12: Serre's conditions
- Section 28.13: Japanese and Nagata schemes
- Section 28.14: The singular locus
- Section 28.15: Local irreducibility
- Section 28.16: Characterizing modules of finite type and finite presentation
- Section 28.17: Sections over principal opens
- Section 28.18: Quasi-affine schemes
- Section 28.19: Flat modules
- Section 28.20: Locally free modules
- Section 28.21: Locally projective modules
- Section 28.22: Extending quasi-coherent sheaves
- Section 28.23: Gabber's result
- Section 28.24: Sections with support in a closed subset
- Section 28.25: Sections of quasi-coherent sheaves
- Section 28.26: Ample invertible sheaves
- Section 28.27: Affine and quasi-affine schemes
- Section 28.28: Quasi-coherent sheaves and ample invertible sheaves
- Section 28.29: Finding suitable affine opens
Chapter 29: Morphisms of Schemes
- Section 29.1: Introduction
- Section 29.2: Closed immersions
- Section 29.3: Immersions
- Section 29.4: Closed immersions and quasi-coherent sheaves
- Section 29.5: Supports of modules
- Section 29.6: Scheme theoretic image
- Section 29.7: Scheme theoretic closure and density
- Section 29.8: Dominant morphisms
- Section 29.9: Surjective morphisms
- Section 29.10: Radicial and universally injective morphisms
- Section 29.11: Affine morphisms
- Section 29.12: Families of ample invertible modules
- Section 29.13: Quasi-affine morphisms
- Section 29.14: Types of morphisms defined by properties of ring maps
- Section 29.15: Morphisms of finite type
- Section 29.16: Points of finite type and Jacobson schemes
- Section 29.17: Universally catenary schemes
- Section 29.18: Nagata schemes, reprise
- Section 29.19: The singular locus, reprise
- Section 29.20: Quasi-finite morphisms
- Section 29.21: Morphisms of finite presentation
- Section 29.22: Constructible sets
- Section 29.23: Open morphisms
- Section 29.24: Submersive morphisms
- Section 29.25: Flat morphisms
- Section 29.26: Flat closed immersions
- Section 29.27: Generic flatness
- Section 29.28: Morphisms and dimensions of fibres
- Section 29.29: Morphisms of given relative dimension
- Section 29.30: Syntomic morphisms
- Section 29.31: Conormal sheaf of an immersion
- Section 29.32: Sheaf of differentials of a morphism
- Section 29.33: Finite order differential operators
- Section 29.34: Smooth morphisms
- Section 29.35: Unramified morphisms
- Section 29.36: Étale morphisms
- Section 29.37: Relatively ample sheaves
- Section 29.38: Very ample sheaves
- Section 29.39: Ample and very ample sheaves relative to finite type morphisms
- Section 29.40: Quasi-projective morphisms
- Section 29.41: Proper morphisms
- Section 29.42: Valuative criteria
- Section 29.43: Projective morphisms
- Section 29.44: Integral and finite morphisms
- Section 29.45: Universal homeomorphisms
- Section 29.46: Universal homeomorphisms of affine schemes
- Section 29.47: Absolute weak normalization and seminormalization
- Section 29.48: Finite locally free morphisms
- Section 29.49: Rational maps
- Section 29.50: Birational morphisms
- Section 29.51: Generically finite morphisms
- Section 29.52: The dimension formula
- Section 29.53: Relative normalization
- Section 29.54: Normalization
- Section 29.55: Weak normalization
- Section 29.56: Zariski's Main Theorem (algebraic version)
- Section 29.57: Universally bounded fibres
- Section 29.58: Miscellany
Chapter 30: Cohomology of Schemes
- Section 30.1: Introduction
- Section 30.2: Čech cohomology of quasi-coherent sheaves
- Section 30.3: Vanishing of cohomology
- Section 30.4: Quasi-coherence of higher direct images
- Section 30.5: Cohomology and base change, I
- Section 30.6: Colimits and higher direct images
- Section 30.7: Cohomology and base change, II
- Section 30.8: Cohomology of projective space
- Section 30.9: Coherent sheaves on locally Noetherian schemes
- Section 30.10: Coherent sheaves on Noetherian schemes
- Section 30.11: Depth
- Section 30.12: Devissage of coherent sheaves
- Section 30.13: Finite morphisms and affines
- Section 30.14: Coherent sheaves on Proj, I
- Section 30.15: Coherent sheaves on Proj, II
- Section 30.16: Higher direct images along projective morphisms
- Section 30.17: Ample invertible sheaves and cohomology
- Section 30.18: Chow's Lemma
- Section 30.19: Higher direct images of coherent sheaves
- Section 30.20: The theorem on formal functions
- Section 30.21: Applications of the theorem on formal functions
- Section 30.22: Cohomology and base change, III
- Section 30.23: Coherent formal modules
- Section 30.24: Grothendieck's existence theorem, I
- Section 30.25: Grothendieck's existence theorem, II
- Section 30.26: Being proper over a base
- Section 30.27: Grothendieck's existence theorem, III
- Section 30.28: Grothendieck's algebraization theorem
Chapter 31: Divisors
- Section 31.1: Introduction
- Section 31.2: Associated points
- Section 31.3: Morphisms and associated points
- Section 31.4: Embedded points
- Section 31.5: Weakly associated points
- Section 31.6: Morphisms and weakly associated points
- Section 31.7: Relative assassin
- Section 31.8: Relative weak assassin
- Section 31.9: Fitting ideals
- Section 31.10: The singular locus of a morphism
- Section 31.11: Torsion free modules
- Section 31.12: Reflexive modules
- Section 31.13: Effective Cartier divisors
- Section 31.14: Effective Cartier divisors and invertible sheaves
- Section 31.15: Effective Cartier divisors on Noetherian schemes
- Section 31.16: Complements of affine opens
- Section 31.17: Norms
- Section 31.18: Relative effective Cartier divisors
- Section 31.19: The normal cone of an immersion
- Section 31.20: Regular ideal sheaves
- Section 31.21: Regular immersions
- Section 31.22: Relative regular immersions
- Section 31.23: Meromorphic functions and sections
- Section 31.24: Meromorphic functions and sections; Noetherian case
- Section 31.25: Meromorphic functions and sections; reduced case
- Section 31.26: Weil divisors
- Section 31.27: The Weil divisor class associated to an invertible module
- Section 31.28: More on invertible modules
- Section 31.29: Weil divisors on normal schemes
- Section 31.30: Relative Proj
- Section 31.31: Closed subschemes of relative proj
- Section 31.32: Blowing up
- Section 31.33: Strict transform
- Section 31.34: Admissible blowups
- Section 31.35: Blowing up and flatness
- Section 31.36: Modifications
Chapter 32: Limits of Schemes
- Section 32.1: Introduction
- Section 32.2: Directed limits of schemes with affine transition maps
- Section 32.3: Infinite products
- Section 32.4: Descending properties
- Section 32.5: Absolute Noetherian Approximation
- Section 32.6: Limits and morphisms of finite presentation
- Section 32.7: Relative approximation
- Section 32.8: Descending properties of morphisms
- Section 32.9: Finite type closed in finite presentation
- Section 32.10: Descending relative objects
- Section 32.11: Characterizing affine schemes
- Section 32.12: Variants of Chow's Lemma
- Section 32.13: Applications of Chow's lemma
- Section 32.14: Universally closed morphisms
- Section 32.15: Noetherian valuative criterion
- Section 32.16: Refined Noetherian valuative criteria
- Section 32.17: Valuative criteria over a Nagata base
- Section 32.18: Limits and dimensions of fibres
- Section 32.19: Base change in top degree
- Section 32.20: Glueing in closed fibres
- Section 32.21: Application to modifications
- Section 32.22: Descending finite type schemes
Chapter 33: Varieties
- Section 33.1: Introduction
- Section 33.2: Notation
- Section 33.3: Varieties
- Section 33.4: Varieties and rational maps
- Section 33.5: Change of fields and local rings
- Section 33.6: Geometrically reduced schemes
- Section 33.7: Geometrically connected schemes
- Section 33.8: Geometrically irreducible schemes
- Section 33.9: Geometrically integral schemes
- Section 33.10: Geometrically normal schemes
- Section 33.11: Change of fields and locally Noetherian schemes
- Section 33.12: Geometrically regular schemes
- Section 33.13: Change of fields and the Cohen-Macaulay property
- Section 33.14: Change of fields and the Jacobson property
- Section 33.15: Change of fields and ample invertible sheaves
- Section 33.16: Tangent spaces
- Section 33.17: Generically finite morphisms
- Section 33.18: Variants of Noether normalization
- Section 33.19: Dimension of fibres
- Section 33.20: Algebraic schemes
- Section 33.21: Complete local rings
- Section 33.22: Global generation
- Section 33.23: Separating points and tangent vectors
- Section 33.24: Closures of products
- Section 33.25: Schemes smooth over fields
- Section 33.26: Types of varieties
- Section 33.27: Normalization
- Section 33.28: Groups of invertible functions
- Section 33.29: Künneth formula, I
- Section 33.30: Picard groups of varieties
- Section 33.31: Uniqueness of base field
- Section 33.32: Automorphisms
- Section 33.33: Euler characteristics
- Section 33.34: Projective space
- Section 33.35: Coherent sheaves on projective space
- Section 33.36: Frobenii
- Section 33.37: Glueing dimension one rings
- Section 33.38: One dimensional Noetherian schemes
- Section 33.39: The delta invariant
- Section 33.40: The number of branches
- Section 33.41: Normalization of one dimensional schemes
- Section 33.42: Finding affine opens
- Section 33.43: Curves
- Section 33.44: Degrees on curves
- Section 33.45: Numerical intersections
- Section 33.46: Embedding dimension
- Section 33.47: Bertini theorems
- Section 33.48: Enriques-Severi-Zariski
Chapter 34: Topologies on Schemes
- Section 34.1: Introduction
- Section 34.2: The general procedure
- Section 34.3: The Zariski topology
- Section 34.4: The étale topology
- Section 34.5: The smooth topology
- Section 34.6: The syntomic topology
- Section 34.7: The fppf topology
- Section 34.8: The ph topology
- Section 34.9: The fpqc topology
- Section 34.10: The V topology
- Section 34.11: Change of topologies
- Section 34.12: Change of big sites
- Section 34.13: Extending functors
Chapter 35: Descent
- Section 35.1: Introduction
- Section 35.2: Descent data for quasi-coherent sheaves
- Section 35.3: Descent for modules
- Section 35.4: Descent for universally injective morphisms
- Section 35.5: Fpqc descent of quasi-coherent sheaves
- Section 35.6: Galois descent for quasi-coherent sheaves
- Section 35.7: Descent of finiteness properties of modules
- Section 35.8: Quasi-coherent sheaves and topologies, I
- Section 35.9: Cohomology of quasi-coherent modules and topologies
- Section 35.10: Quasi-coherent sheaves and topologies, II
- Section 35.11: Quasi-coherent modules and affines
- Section 35.12: Parasitic modules
- Section 35.13: Fpqc coverings are universal effective epimorphisms
- Section 35.14: Descent of finiteness and smoothness properties of morphisms
- Section 35.15: Local properties of schemes
- Section 35.16: Properties of schemes local in the fppf topology
- Section 35.17: Properties of schemes local in the syntomic topology
- Section 35.18: Properties of schemes local in the smooth topology
- Section 35.19: Variants on descending properties
- Section 35.20: Germs of schemes
- Section 35.21: Local properties of germs
- Section 35.22: Properties of morphisms local on the target
- Section 35.23: Properties of morphisms local in the fpqc topology on the target
- Section 35.24: Properties of morphisms local in the fppf topology on the target
- Section 35.25: Application of fpqc descent of properties of morphisms
- Section 35.26: Properties of morphisms local on the source
- Section 35.27: Properties of morphisms local in the fpqc topology on the source
- Section 35.28: Properties of morphisms local in the fppf topology on the source
- Section 35.29: Properties of morphisms local in the syntomic topology on the source
- Section 35.30: Properties of morphisms local in the smooth topology on the source
- Section 35.31: Properties of morphisms local in the étale topology on the source
- Section 35.32: Properties of morphisms étale local on source-and-target
- Section 35.33: Properties of morphisms of germs local on source-and-target
- Section 35.34: Descent data for schemes over schemes
- Section 35.35: Fully faithfulness of the pullback functors
- Section 35.36: Descending types of morphisms
- Section 35.37: Descending affine morphisms
- Section 35.38: Descending quasi-affine morphisms
- Section 35.39: Descent data in terms of sheaves
Chapter 36: Derived Categories of Schemes
- Section 36.1: Introduction
- Section 36.2: Conventions
- Section 36.3: Derived category of quasi-coherent modules
- Section 36.4: Total direct image
- Section 36.5: Affine morphisms
- Section 36.6: Cohomology with support in a closed subset
- Section 36.7: The coherator
- Section 36.8: The coherator for Noetherian schemes
- Section 36.9: Koszul complexes
- Section 36.10: Pseudo-coherent and perfect complexes
- Section 36.11: Derived category of coherent modules
- Section 36.12: Descent finiteness properties of complexes
- Section 36.13: Lifting complexes
- Section 36.14: Approximation by perfect complexes
- Section 36.15: Generating derived categories
- Section 36.16: An example generator
- Section 36.17: Compact and perfect objects
- Section 36.18: Derived categories as module categories
- Section 36.19: Characterizing pseudo-coherent complexes, I
- Section 36.20: An example equivalence
- Section 36.21: The coherator revisited
- Section 36.22: Cohomology and base change, IV
- Section 36.23: Künneth formula, II
- Section 36.24: Künneth formula, III
- Section 36.25: Künneth formula for Ext
- Section 36.26: Cohomology and base change, V
- Section 36.27: Producing perfect complexes
- Section 36.28: A projection formula for Ext
- Section 36.29: Limits and derived categories
- Section 36.30: Cohomology and base change, VI
- Section 36.31: Perfect complexes
- Section 36.32: Applications
- Section 36.33: Other applications
- Section 36.34: Characterizing pseudo-coherent complexes, II
- Section 36.35: Relatively perfect objects
- Section 36.36: The resolution property
- Section 36.37: The resolution property and perfect complexes
- Section 36.38: K-groups
- Section 36.39: Determinants of complexes
- Section 36.40: Detecting Boundedness
- Section 36.41: Quasi-coherent objects in the derived category
Chapter 37: More on Morphisms
- Section 37.1: Introduction
- Section 37.2: Thickenings
- Section 37.3: Morphisms of thickenings
- Section 37.4: Picard groups of thickenings
- Section 37.5: First order infinitesimal neighbourhood
- Section 37.6: Formally unramified morphisms
- Section 37.7: Universal first order thickenings
- Section 37.8: Formally étale morphisms
- Section 37.9: Infinitesimal deformations of maps
- Section 37.10: Infinitesimal deformations of schemes
- Section 37.11: Formally smooth morphisms
- Section 37.12: Smoothness over a Noetherian base
- Section 37.13: The naive cotangent complex
- Section 37.14: Pushouts in the category of schemes, I
- Section 37.15: Openness of the flat locus
- Section 37.16: Critère de platitude par fibres
- Section 37.17: Closed immersions between smooth schemes
- Section 37.18: Flat modules and relative assassins
- Section 37.19: Normalization revisited
- Section 37.20: Normal morphisms
- Section 37.21: Regular morphisms
- Section 37.22: Cohen-Macaulay morphisms
- Section 37.23: Slicing Cohen-Macaulay morphisms
- Section 37.24: Generic fibres
- Section 37.25: Relative assassins
- Section 37.26: Reduced fibres
- Section 37.27: Irreducible components of fibres
- Section 37.28: Connected components of fibres
- Section 37.29: Connected components meeting a section
- Section 37.30: Dimension of fibres
- Section 37.31: Weak relative Noether normalization
- Section 37.32: Bertini theorems
- Section 37.33: Theorem of the cube
- Section 37.34: Limit arguments
- Section 37.35: Étale neighbourhoods
- Section 37.36: Étale neighbourhoods and branches
- Section 37.37: Unramified and étale morphisms
- Section 37.38: Slicing smooth morphisms
- Section 37.39: Étale neighbourhoods and Artin approximation
- Section 37.40: Finite free locally dominates étale
- Section 37.41: Étale localization of quasi-finite morphisms
- Section 37.42: Étale localization of integral morphisms
- Section 37.43: Zariski's Main Theorem
- Section 37.44: Applications of Zariski's Main Theorem, I
- Section 37.45: Applications of Zariski's Main Theorem, II
- Section 37.46: Application to morphisms with connected fibres
- Section 37.47: Application to the structure of finite type morphisms
- Section 37.48: Application to the fppf topology
- Section 37.49: Quasi-projective schemes
- Section 37.50: Projective schemes
- Section 37.51: Proj and Spec
- Section 37.52: Closed points in fibres
- Section 37.53: Stein factorization
- Section 37.54: Generic flatness stratification
- Section 37.55: Stratifying a morphism
- Section 37.56: Improving morphisms of relative dimension one
- Section 37.57: Descending separated locally quasi-finite morphisms
- Section 37.58: Relative finite presentation
- Section 37.59: Relative pseudo-coherence
- Section 37.60: Pseudo-coherent morphisms
- Section 37.61: Perfect morphisms
- Section 37.62: Local complete intersection morphisms
- Section 37.63: Exact sequences of differentials and conormal sheaves
- Section 37.64: Weakly étale morphisms
- Section 37.65: Reduced fibre theorem
- Section 37.66: Ind-quasi-affine morphisms
- Section 37.67: Pushouts in the category of schemes, II
- Section 37.68: Relative morphisms
- Section 37.69: Characterizing pseudo-coherent complexes, III
- Section 37.70: Descent finiteness properties of complexes
- Section 37.71: Relatively perfect objects
- Section 37.72: Contracting rational curves
- Section 37.73: Affine stratifications
- Section 37.74: Universally open morphisms
- Section 37.75: Weightings
- Section 37.76: More on weightings
- Section 37.77: Weightings and affine stratification numbers
- Section 37.78: Completely decomposed morphisms
- Section 37.79: Families of ample invertible modules
- Section 37.80: Blowing up and ample families of invertible modules
- Section 37.81: The extensive criterion for closed immersions
Chapter 38: More on Flatness
- Section 38.1: Introduction
- Section 38.2: Lemmas on étale localization
- Section 38.3: The local structure of a finite type module
- Section 38.4: One step dévissage
- Section 38.5: Complete dévissage
- Section 38.6: Translation into algebra
- Section 38.7: Localization and universally injective maps
- Section 38.8: Completion and Mittag-Leffler modules
- Section 38.9: Projective modules
- Section 38.10: Flat finite type modules, Part I
- Section 38.11: Extending properties from an open
- Section 38.12: Flat finitely presented modules
- Section 38.13: Flat finite type modules, Part II
- Section 38.14: Examples of relatively pure modules
- Section 38.15: Impurities
- Section 38.16: Relatively pure modules
- Section 38.17: Examples of relatively pure sheaves
- Section 38.18: A criterion for purity
- Section 38.19: How purity is used
- Section 38.20: Flattening functors
- Section 38.21: Flattening stratifications
- Section 38.22: Flattening stratification over an Artinian ring
- Section 38.23: Flattening a map
- Section 38.24: Flattening in the local case
- Section 38.25: Variants of a lemma
- Section 38.26: Flat finite type modules, Part III
- Section 38.27: Universal flattening
- Section 38.28: Grothendieck's Existence Theorem, IV
- Section 38.29: Grothendieck's Existence Theorem, V
- Section 38.30: Blowing up and flatness
- Section 38.31: Applications
- Section 38.32: Compactifications
- Section 38.33: Nagata compactification
- Section 38.34: The h topology
- Section 38.35: More on the h topology
- Section 38.36: Blow up squares and the ph topology
- Section 38.37: Almost blow up squares and the h topology
- Section 38.38: Absolute weak normalization and h coverings
- Section 38.39: Descent vector bundles in positive characteristic
- Section 38.40: Blowing up complexes
- Section 38.41: Blowing up perfect modules
- Section 38.42: An operator introduced by Berthelot and Ogus
- Section 38.43: Blowing up complexes, II
- Section 38.44: Blowing up complexes, III
Chapter 39: Groupoid Schemes
- Section 39.1: Introduction
- Section 39.2: Notation
- Section 39.3: Equivalence relations
- Section 39.4: Group schemes
- Section 39.5: Examples of group schemes
- Section 39.6: Properties of group schemes
- Section 39.7: Properties of group schemes over a field
- Section 39.8: Properties of algebraic group schemes
- Section 39.9: Abelian varieties
- Section 39.10: Actions of group schemes
- Section 39.11: Principal homogeneous spaces
- Section 39.12: Equivariant quasi-coherent sheaves
- Section 39.13: Groupoids
- Section 39.14: Quasi-coherent sheaves on groupoids
- Section 39.15: Colimits of quasi-coherent modules
- Section 39.16: Groupoids and group schemes
- Section 39.17: The stabilizer group scheme
- Section 39.18: Restricting groupoids
- Section 39.19: Invariant subschemes
- Section 39.20: Quotient sheaves
- Section 39.21: Descent in terms of groupoids
- Section 39.22: Separation conditions
- Section 39.23: Finite flat groupoids, affine case
- Section 39.24: Finite flat groupoids
- Section 39.25: Descending quasi-projective schemes
Chapter 40: More on Groupoid Schemes
- Section 40.1: Introduction
- Section 40.2: Notation
- Section 40.3: Useful diagrams
- Section 40.4: Sheaf of differentials
- Section 40.5: Local structure
- Section 40.6: Properties of groupoids
- Section 40.7: Comparing fibres
- Section 40.8: Cohen-Macaulay presentations
- Section 40.9: Restricting groupoids
- Section 40.10: Properties of groupoids on fields
- Section 40.11: Morphisms of groupoids on fields
- Section 40.12: Slicing groupoids
- Section 40.13: Étale localization of groupoids
- Section 40.14: Finite groupoids
- Section 40.15: Descending ind-quasi-affine morphisms
Chapter 41: Étale Morphisms of Schemes
- Section 41.1: Introduction
- Section 41.2: Conventions
- Section 41.3: Unramified morphisms
- Section 41.4: Three other characterizations of unramified morphisms
- Section 41.5: The functorial characterization of unramified morphisms
- Section 41.6: Topological properties of unramified morphisms
- Section 41.7: Universally injective, unramified morphisms
- Section 41.8: Examples of unramified morphisms
- Section 41.9: Flat morphisms
- Section 41.10: Topological properties of flat morphisms
- Section 41.11: Étale morphisms
- Section 41.12: The structure theorem
- Section 41.13: Étale and smooth morphisms
- Section 41.14: Topological properties of étale morphisms
- Section 41.15: Topological invariance of the étale topology
- Section 41.16: The functorial characterization
- Section 41.17: Étale local structure of unramified morphisms
- Section 41.18: Étale local structure of étale morphisms
- Section 41.19: Permanence properties
- Section 41.20: Descending étale morphisms
- Section 41.21: Normal crossings divisors