The Stacks project

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