Offline course edition

Derived categories of sheaves

Original online course · Return to the programme (English)

Course text language: English

Changing this interface does not translate the course. Lesson titles and quoted source notices remain in the course language.

Lesson navigation, not a map of proofs or a claim that prerequisites are complete.

Read and download

Read PDFEditable cumulative LaTeXComplete editable source packageDownload EPUB

The downloads work offline from this directory. The source ZIP contains the native files and rebuild instructions.

The PDF is not tagged for assistive reading. The EPUB has a structured reading order and MathML; assistive-technology performance is not certified.

Open the EPUB in a compatible reading app and use its table of contents. Internal chapter filenames are recorded below; they are not browser deep links.

Lessons

  1. sheaves-of-modules-on-a-ringed-space: Sheaves of modules on a ringed space
    PDF page 3 · EPUB: EPUB/text/ch002.xhtml#sheaves-of-modules-on-a-ringed-space
    Named locations in this document (11)
    • Sheaves of modules on a ringed space
      sheaves-of-modules-on-a-ringed-space
      Open exact PDF location · PDF page 3
      EPUB: EPUB/text/ch002.xhtml#sheaves-of-modules-on-a-ringed-space
    • 1. Coefficients, germs and finite relations
      1-coefficients-germs-and-finite-relations
      Open exact PDF location · PDF page 4
      EPUB: EPUB/text/ch002.xhtml#sheaves-of-modules-on-a-ringed-space--1-coefficients-germs-and-finite-relations
    • Sheafification and the stalk test
      sheafification-and-the-stalk-test
      Open exact PDF location · PDF page 5
      EPUB: EPUB/text/ch002.xhtml#sheaves-of-modules-on-a-ringed-space--sheafification-and-the-stalk-test
    • 2. The abelian category of module sheaves
      2-the-abelian-category-of-module-sheaves
      Open exact PDF location · PDF page 6
      EPUB: EPUB/text/ch002.xhtml#sheaves-of-modules-on-a-ringed-space--2-the-abelian-category-of-module-sheaves
    • 3. Limits, colimits, stalks, and sections of sums
      3-limits-colimits-stalks-and-sections-of-sums
      Open exact PDF location · PDF page 7
      EPUB: EPUB/text/ch002.xhtml#sheaves-of-modules-on-a-ringed-space--3-limits-colimits-stalks-and-sections-of-sums
    • 4. Exact inverse image
      4-exact-inverse-image
      Open exact PDF location · PDF page 7
      EPUB: EPUB/text/ch002.xhtml#sheaves-of-modules-on-a-ringed-space--4-exact-inverse-image
    • Module pullback and extension of scalars
      module-pullback-and-extension-of-scalars
      Open exact PDF location · PDF page 8
      EPUB: EPUB/text/ch002.xhtml#sheaves-of-modules-on-a-ringed-space--module-pullback-and-extension-of-scalars
    • 5. Extension by zero and skyscrapers
      5-extension-by-zero-and-skyscrapers
      Open exact PDF location · PDF page 9
      EPUB: EPUB/text/ch002.xhtml#sheaves-of-modules-on-a-ringed-space--5-extension-by-zero-and-skyscrapers
    • 6. Three local and global computations
      6-three-local-and-global-computations
      Open exact PDF location · PDF page 10
      EPUB: EPUB/text/ch002.xhtml#sheaves-of-modules-on-a-ringed-space--6-three-local-and-global-computations
    • 7. Exercises with complete solutions
      7-exercises-with-complete-solutions
      Open exact PDF location · PDF page 11
      EPUB: EPUB/text/ch002.xhtml#sheaves-of-modules-on-a-ringed-space--7-exercises-with-complete-solutions
    • References
      references
      Open exact PDF location · PDF page 13
      EPUB: EPUB/text/ch002.xhtml#sheaves-of-modules-on-a-ringed-space--references
  2. complexes-cones-and-localization: Complexes, cones and localization
    Common reading
    PDF page 13 · EPUB: EPUB/text/ch003.xhtml#complexes-cones-and-localization
    Named locations in this document (7)
    • Complexes, cones and localization
      complexes-cones-and-localization
      Open exact PDF location · PDF page 13
      EPUB: EPUB/text/ch003.xhtml#complexes-cones-and-localization
    • 1. Maps of complexes and homotopies
      1-maps-of-complexes-and-homotopies
      Open exact PDF location · PDF page 13
      EPUB: EPUB/text/ch003.xhtml#complexes-cones-and-localization--1-maps-of-complexes-and-homotopies
    • 2. Cones and triangles from split sequences
      2-cones-and-triangles-from-split-sequences
      Open exact PDF location · PDF page 14
      EPUB: EPUB/text/ch003.xhtml#complexes-cones-and-localization--2-cones-and-triangles-from-split-sequences
    • 3. The triangulated structure of the homotopy category
      3-the-triangulated-structure-of-the-homotopy-category
      Open exact PDF location · PDF page 16
      EPUB: EPUB/text/ch003.xhtml#complexes-cones-and-localization--3-the-triangulated-structure-of-the-homotopy-category
    • 4. Fractions at quasi-isomorphisms
      4-fractions-at-quasi-isomorphisms
      Open exact PDF location · PDF page 17
      EPUB: EPUB/text/ch003.xhtml#complexes-cones-and-localization--4-fractions-at-quasi-isomorphisms
    • 5. Triangles after localization
      5-triangles-after-localization
      Open exact PDF location · PDF page 19
      EPUB: EPUB/text/ch003.xhtml#complexes-cones-and-localization--5-triangles-after-localization
    • 6. Exercises with complete solutions
      6-exercises-with-complete-solutions
      Open exact PDF location · PDF page 20
      EPUB: EPUB/text/ch003.xhtml#complexes-cones-and-localization--6-exercises-with-complete-solutions
  3. injective-modules-and-bounded-below-derived-functors: Injective modules, flasque sheaves and bounded-below derived functors
    PDF page 21 · EPUB: EPUB/text/ch004.xhtml#injective-modules-and-bounded-below-derived-functors
    Named locations in this document (10)
    • Injective modules, flasque sheaves and bounded-below derived functors
      injective-modules-flasque-sheaves-and-bounded-below-derived-functors
      Open exact PDF location · PDF page 21
      EPUB: EPUB/text/ch004.xhtml#injective-modules-and-bounded-below-derived-functors
    • 1. Extending maps and extending sections
      1-extending-maps-and-extending-sections
      Open exact PDF location · PDF page 21
      EPUB: EPUB/text/ch004.xhtml#injective-modules-and-bounded-below-derived-functors--1-extending-maps-and-extending-sections
    • 2. Functorial injective embeddings
      2-functorial-injective-embeddings
      Open exact PDF location · PDF page 22
      EPUB: EPUB/text/ch004.xhtml#injective-modules-and-bounded-below-derived-functors--2-functorial-injective-embeddings
    • 3. Complexes that admit comparison maps
      3-complexes-that-admit-comparison-maps
      Open exact PDF location · PDF page 24
      EPUB: EPUB/text/ch004.xhtml#injective-modules-and-bounded-below-derived-functors--3-complexes-that-admit-comparison-maps
    • 4. Right derived functors on bounded-below complexes
      4-right-derived-functors-on-bounded-below-complexes
      Open exact PDF location · PDF page 25
      EPUB: EPUB/text/ch004.xhtml#injective-modules-and-bounded-below-derived-functors--4-right-derived-functors-on-bounded-below-complexes
    • Constructing the resolution one degree at a time
      constructing-the-resolution-one-degree-at-a-time
      Open exact PDF location · PDF page 26
      EPUB: EPUB/text/ch004.xhtml#injective-modules-and-bounded-below-derived-functors--constructing-the-resolution-one-degree-at-a-time
    • Comparison, triangulation and universality
      comparison-triangulation-and-universality
      Open exact PDF location · PDF page 26
      EPUB: EPUB/text/ch004.xhtml#injective-modules-and-bounded-below-derived-functors--comparison-triangulation-and-universality
    • Why acyclic terms suffice in the bounded-below case
      why-acyclic-terms-suffice-in-the-bounded-below-case
      Open exact PDF location · PDF page 27
      EPUB: EPUB/text/ch004.xhtml#injective-modules-and-bounded-below-derived-functors--why-acyclic-terms-suffice-in-the-bounded-below-case
    • 5. Examples: ordinary, flasque and unbounded resolutions
      5-examples-ordinary-flasque-and-unbounded-resolutions
      Open exact PDF location · PDF page 28
      EPUB: EPUB/text/ch004.xhtml#injective-modules-and-bounded-below-derived-functors--5-examples-ordinary-flasque-and-unbounded-resolutions
    • 6. Exercises with complete solutions
      6-exercises-with-complete-solutions
      Open exact PDF location · PDF page 29
      EPUB: EPUB/text/ch004.xhtml#injective-modules-and-bounded-below-derived-functors--6-exercises-with-complete-solutions
  4. k-injective-resolutions-in-grothendieck-categories: K-injective resolutions in Grothendieck abelian categories
    PDF page 30 · EPUB: EPUB/text/ch005.xhtml#k-injective-resolutions-in-grothendieck-categories
    Named locations in this document (11)
    • K-injective resolutions in Grothendieck abelian categories
      k-injective-resolutions-in-grothendieck-abelian-categories
      Open exact PDF location · PDF page 30
      EPUB: EPUB/text/ch005.xhtml#k-injective-resolutions-in-grothendieck-categories
    • 1. The Grothendieck hypotheses
      1-the-grothendieck-hypotheses
      Open exact PDF location · PDF page 31
      EPUB: EPUB/text/ch005.xhtml#k-injective-resolutions-in-grothendieck-categories--1-the-grothendieck-hypotheses
    • 2. Sizes and functorial injective embeddings
      2-sizes-and-functorial-injective-embeddings
      Open exact PDF location · PDF page 31
      EPUB: EPUB/text/ch005.xhtml#k-injective-resolutions-in-grothendieck-categories--2-sizes-and-functorial-injective-embeddings
    • Size bounds and maps into increasing unions
      size-bounds-and-maps-into-increasing-unions
      Open exact PDF location · PDF page 32
      EPUB: EPUB/text/ch005.xhtml#k-injective-resolutions-in-grothendieck-categories--size-bounds-and-maps-into-increasing-unions
    • Enough injectives, with a functorial choice
      enough-injectives-with-a-functorial-choice
      Open exact PDF location · PDF page 32
      EPUB: EPUB/text/ch005.xhtml#k-injective-resolutions-in-grothendieck-categories--enough-injectives-with-a-functorial-choice
    • 3. Testing on a set of acyclic complexes
      3-testing-on-a-set-of-acyclic-complexes
      Open exact PDF location · PDF page 33
      EPUB: EPUB/text/ch005.xhtml#k-injective-resolutions-in-grothendieck-categories--3-testing-on-a-set-of-acyclic-complexes
    • 4. Constructing the unbounded resolution
      4-constructing-the-unbounded-resolution
      Open exact PDF location · PDF page 34
      EPUB: EPUB/text/ch005.xhtml#k-injective-resolutions-in-grothendieck-categories--4-constructing-the-unbounded-resolution
    • The final union and its two checks
      the-final-union-and-its-two-checks
      Open exact PDF location · PDF page 35
      EPUB: EPUB/text/ch005.xhtml#k-injective-resolutions-in-grothendieck-categories--the-final-union-and-its-two-checks
    • 5. Derived functors, adjoints and products
      5-derived-functors-adjoints-and-products
      Open exact PDF location · PDF page 36
      EPUB: EPUB/text/ch005.xhtml#k-injective-resolutions-in-grothendieck-categories--5-derived-functors-adjoints-and-products
    • 6. Examples that isolate the hypotheses
      6-examples-that-isolate-the-hypotheses
      Open exact PDF location · PDF page 38
      EPUB: EPUB/text/ch005.xhtml#k-injective-resolutions-in-grothendieck-categories--6-examples-that-isolate-the-hypotheses
    • 7. Exercises with checked solutions
      7-exercises-with-checked-solutions
      Open exact PDF location · PDF page 38
      EPUB: EPUB/text/ch005.xhtml#k-injective-resolutions-in-grothendieck-categories--7-exercises-with-checked-solutions
  5. flat-modules-and-k-flat-resolutions: Flat modules and K-flat resolutions
    PDF page 40 · EPUB: EPUB/text/ch006.xhtml#flat-modules-and-k-flat-resolutions
    Named locations in this document (8)
    • Flat modules and K-flat resolutions
      flat-modules-and-k-flat-resolutions
      Open exact PDF location · PDF page 40
      EPUB: EPUB/text/ch006.xhtml#flat-modules-and-k-flat-resolutions
    • 1. Flat sheaves and exact tensor sequences
      1-flat-sheaves-and-exact-tensor-sequences
      Open exact PDF location · PDF page 40
      EPUB: EPUB/text/ch006.xhtml#flat-modules-and-k-flat-resolutions--1-flat-sheaves-and-exact-tensor-sequences
    • Flat building blocks
      flat-building-blocks
      Open exact PDF location · PDF page 40
      EPUB: EPUB/text/ch006.xhtml#flat-modules-and-k-flat-resolutions--flat-building-blocks
    • 2. K-flat complexes and their closure properties
      2-k-flat-complexes-and-their-closure-properties
      Open exact PDF location · PDF page 41
      EPUB: EPUB/text/ch006.xhtml#flat-modules-and-k-flat-resolutions--2-k-flat-complexes-and-their-closure-properties
    • 3. A surjective resolution by attaching cycles
      3-a-surjective-resolution-by-attaching-cycles
      Open exact PDF location · PDF page 43
      EPUB: EPUB/text/ch006.xhtml#flat-modules-and-k-flat-resolutions--3-a-surjective-resolution-by-attaching-cycles
    • 4. Compatible bounded resolutions and factorization
      4-compatible-bounded-resolutions-and-factorization
      Open exact PDF location · PDF page 44
      EPUB: EPUB/text/ch006.xhtml#flat-modules-and-k-flat-resolutions--4-compatible-bounded-resolutions-and-factorization
    • 5. Examples and failed shortcuts
      5-examples-and-failed-shortcuts
      Open exact PDF location · PDF page 46
      EPUB: EPUB/text/ch006.xhtml#flat-modules-and-k-flat-resolutions--5-examples-and-failed-shortcuts
    • 6. Exercises with checked solutions
      6-exercises-with-checked-solutions
      Open exact PDF location · PDF page 46
      EPUB: EPUB/text/ch006.xhtml#flat-modules-and-k-flat-resolutions--6-exercises-with-checked-solutions
  6. derived-tensor-products-and-tor-sheaves: The derived tensor product and Tor sheaves
    PDF page 47 · EPUB: EPUB/text/ch007.xhtml#derived-tensor-products-and-tor-sheaves
    Named locations in this document (10)
    • The derived tensor product and Tor sheaves
      the-derived-tensor-product-and-tor-sheaves
      Open exact PDF location · PDF page 47
      EPUB: EPUB/text/ch007.xhtml#derived-tensor-products-and-tor-sheaves
    • 1. The two tensor comparisons
      1-the-two-tensor-comparisons
      Open exact PDF location · PDF page 48
      EPUB: EPUB/text/ch007.xhtml#derived-tensor-products-and-tor-sheaves--1-the-two-tensor-comparisons
    • 2. Morphisms, associativity and symmetry
      2-morphisms-associativity-and-symmetry
      Open exact PDF location · PDF page 50
      EPUB: EPUB/text/ch007.xhtml#derived-tensor-products-and-tor-sheaves--2-morphisms-associativity-and-symmetry
    • 3. Tor sheaves and the flatness criterion
      3-tor-sheaves-and-the-flatness-criterion
      Open exact PDF location · PDF page 51
      EPUB: EPUB/text/ch007.xhtml#derived-tensor-products-and-tor-sheaves--3-tor-sheaves-and-the-flatness-criterion
    • Quotients by ideals
      quotients-by-ideals
      Open exact PDF location · PDF page 52
      EPUB: EPUB/text/ch007.xhtml#derived-tensor-products-and-tor-sheaves--quotients-by-ideals
    • 4. Two geometric calculations
      4-two-geometric-calculations
      Open exact PDF location · PDF page 53
      EPUB: EPUB/text/ch007.xhtml#derived-tensor-products-and-tor-sheaves--4-two-geometric-calculations
    • Skyscrapers on a smooth one-dimensional local model
      skyscrapers-on-a-smooth-one-dimensional-local-model
      Open exact PDF location · PDF page 53
      EPUB: EPUB/text/ch007.xhtml#derived-tensor-products-and-tor-sheaves--skyscrapers-on-a-smooth-one-dimensional-local-model
    • Continuous functions and two axes in the plane
      continuous-functions-and-two-axes-in-the-plane
      Open exact PDF location · PDF page 53
      EPUB: EPUB/text/ch007.xhtml#derived-tensor-products-and-tor-sheaves--continuous-functions-and-two-axes-in-the-plane
    • Bounded inputs with an unbounded answer
      bounded-inputs-with-an-unbounded-answer
      Open exact PDF location · PDF page 54
      EPUB: EPUB/text/ch007.xhtml#derived-tensor-products-and-tor-sheaves--bounded-inputs-with-an-unbounded-answer
    • 5. Exercises with checked solutions
      5-exercises-with-checked-solutions
      Open exact PDF location · PDF page 54
      EPUB: EPUB/text/ch007.xhtml#derived-tensor-products-and-tor-sheaves--5-exercises-with-checked-solutions
  7. derived-pullback-and-pushforward: Derived pullback and pushforward
    PDF page 56 · EPUB: EPUB/text/ch008.xhtml#derived-pullback-and-pushforward
    Named locations in this document (7)
    • Derived pullback and pushforward
      derived-pullback-and-pushforward
      Open exact PDF location · PDF page 56
      EPUB: EPUB/text/ch008.xhtml#derived-pullback-and-pushforward
    • 1. Derived pullback on K-flat models
      1-derived-pullback-on-k-flat-models
      Open exact PDF location · PDF page 57
      EPUB: EPUB/text/ch008.xhtml#derived-pullback-and-pushforward--1-derived-pullback-on-k-flat-models
    • 2. Derived pushforward and the adjunction
      2-derived-pushforward-and-the-adjunction
      Open exact PDF location · PDF page 58
      EPUB: EPUB/text/ch008.xhtml#derived-pullback-and-pushforward--2-derived-pushforward-and-the-adjunction
    • 3. Composition, Leray and the local descriptions
      3-composition-leray-and-the-local-descriptions
      Open exact PDF location · PDF page 60
      EPUB: EPUB/text/ch008.xhtml#derived-pullback-and-pushforward--3-composition-leray-and-the-local-descriptions
    • 4. Coefficient comparison and exact adjoints
      4-coefficient-comparison-and-exact-adjoints
      Open exact PDF location · PDF page 61
      EPUB: EPUB/text/ch008.xhtml#derived-pullback-and-pushforward--4-coefficient-comparison-and-exact-adjoints
    • 5. Point maps and constant coefficients
      5-point-maps-and-constant-coefficients
      Open exact PDF location · PDF page 62
      EPUB: EPUB/text/ch008.xhtml#derived-pullback-and-pushforward--5-point-maps-and-constant-coefficients
    • 6. Exercises with checked solutions
      6-exercises-with-checked-solutions
      Open exact PDF location · PDF page 62
      EPUB: EPUB/text/ch008.xhtml#derived-pullback-and-pushforward--6-exercises-with-checked-solutions
  8. internal-derived-hom-and-ext-sheaves: Hom complexes, internal derived Hom and Ext sheaves
    PDF page 65 · EPUB: EPUB/text/ch009.xhtml#internal-derived-hom-and-ext-sheaves
    Named locations in this document (7)
    • Hom complexes, internal derived Hom and Ext sheaves
      hom-complexes-internal-derived-hom-and-ext-sheaves
      Open exact PDF location · PDF page 65
      EPUB: EPUB/text/ch009.xhtml#internal-derived-hom-and-ext-sheaves
    • 1. The sheaf Hom complex
      1-the-sheaf-hom-complex
      Open exact PDF location · PDF page 65
      EPUB: EPUB/text/ch009.xhtml#internal-derived-hom-and-ext-sheaves--1-the-sheaf-hom-complex
    • 2. Constructing internal derived Hom
      2-constructing-internal-derived-hom
      Open exact PDF location · PDF page 67
      EPUB: EPUB/text/ch009.xhtml#internal-derived-hom-and-ext-sheaves--2-constructing-internal-derived-hom
    • 3. Adjunction, local maps and Ext
      3-adjunction-local-maps-and-ext
      Open exact PDF location · PDF page 68
      EPUB: EPUB/text/ch009.xhtml#internal-derived-hom-and-ext-sheaves--3-adjunction-local-maps-and-ext
    • 4. Evaluation, composition and their variances
      4-evaluation-composition-and-their-variances
      Open exact PDF location · PDF page 69
      EPUB: EPUB/text/ch009.xhtml#internal-derived-hom-and-ext-sheaves--4-evaluation-composition-and-their-variances
    • 5. Worked examples
      5-worked-examples
      Open exact PDF location · PDF page 70
      EPUB: EPUB/text/ch009.xhtml#internal-derived-hom-and-ext-sheaves--5-worked-examples
    • 6. Exercises with checked solutions
      6-exercises-with-checked-solutions
      Open exact PDF location · PDF page 71
      EPUB: EPUB/text/ch009.xhtml#internal-derived-hom-and-ext-sheaves--6-exercises-with-checked-solutions
  9. sections-with-support-and-the-localization-triangle: Sections with support and the localization triangle
    PDF page 73 · EPUB: EPUB/text/ch010.xhtml#sections-with-support-and-the-localization-triangle
    Named locations in this document (7)
    • Sections with support and the localization triangle
      sections-with-support-and-the-localization-triangle
      Open exact PDF location · PDF page 73
      EPUB: EPUB/text/ch010.xhtml#sections-with-support-and-the-localization-triangle
    • 1. Closed supports and their adjunction
      1-closed-supports-and-their-adjunction
      Open exact PDF location · PDF page 73
      EPUB: EPUB/text/ch010.xhtml#sections-with-support-and-the-localization-triangle--1-closed-supports-and-their-adjunction
    • 2. Localization and its connecting sign
      2-localization-and-its-connecting-sign
      Open exact PDF location · PDF page 74
      EPUB: EPUB/text/ch010.xhtml#sections-with-support-and-the-localization-triangle--2-localization-and-its-connecting-sign
    • 3. Locally closed pairs
      3-locally-closed-pairs
      Open exact PDF location · PDF page 75
      EPUB: EPUB/text/ch010.xhtml#sections-with-support-and-the-localization-triangle--3-locally-closed-pairs
    • 4. Integer coefficients near a Euclidean point
      4-integer-coefficients-near-a-euclidean-point
      Open exact PDF location · PDF page 76
      EPUB: EPUB/text/ch010.xhtml#sections-with-support-and-the-localization-triangle--4-integer-coefficients-near-a-euclidean-point
    • 5. Cup products and support pullback
      5-cup-products-and-support-pullback
      Open exact PDF location · PDF page 78
      EPUB: EPUB/text/ch010.xhtml#sections-with-support-and-the-localization-triangle--5-cup-products-and-support-pullback
    • 6. A two-point calculation and exercises
      6-a-two-point-calculation-and-exercises
      Open exact PDF location · PDF page 78
      EPUB: EPUB/text/ch010.xhtml#sections-with-support-and-the-localization-triangle--6-a-two-point-calculation-and-exercises
  10. perfect-complexes-and-duals: Perfect complexes and duals on a ringed space
    PDF page 80 · EPUB: EPUB/text/ch011.xhtml#perfect-complexes-and-duals
    Named locations in this document (7)
    • Perfect complexes and duals on a ringed space
      perfect-complexes-and-duals-on-a-ringed-space
      Open exact PDF location · PDF page 80
      EPUB: EPUB/text/ch011.xhtml#perfect-complexes-and-duals
    • 1. Finite models and local maps
      1-finite-models-and-local-maps
      Open exact PDF location · PDF page 80
      EPUB: EPUB/text/ch011.xhtml#perfect-complexes-and-duals--1-finite-models-and-local-maps
    • 2. Finite approximations
      2-finite-approximations
      Open exact PDF location · PDF page 82
      EPUB: EPUB/text/ch011.xhtml#perfect-complexes-and-duals--2-finite-approximations
    • 3. Tor amplitude and the perfectness criterion
      3-tor-amplitude-and-the-perfectness-criterion
      Open exact PDF location · PDF page 83
      EPUB: EPUB/text/ch011.xhtml#perfect-complexes-and-duals--3-tor-amplitude-and-the-perfectness-criterion
    • 4. Duals and the two tensor–Hom maps
      4-duals-and-the-two-tensor-hom-maps
      Open exact PDF location · PDF page 85
      EPUB: EPUB/text/ch011.xhtml#perfect-complexes-and-duals--4-duals-and-the-two-tensor-hom-maps
    • 5. Residues and finiteness examples
      5-residues-and-finiteness-examples
      Open exact PDF location · PDF page 87
      EPUB: EPUB/text/ch011.xhtml#perfect-complexes-and-duals--5-residues-and-finiteness-examples
    • 6. Exercises with checked solutions
      6-exercises-with-checked-solutions
      Open exact PDF location · PDF page 87
      EPUB: EPUB/text/ch011.xhtml#perfect-complexes-and-duals--6-exercises-with-checked-solutions
  11. projection-formula-and-base-change: The projection formula and the base change map
    PDF page 88 · EPUB: EPUB/text/ch012.xhtml#projection-formula-and-base-change
    Named locations in this document (7)
    • The projection formula and the base change map
      the-projection-formula-and-the-base-change-map
      Open exact PDF location · PDF page 88
      EPUB: EPUB/text/ch012.xhtml#projection-formula-and-base-change
    • 1. Finite locally free coefficients
      1-finite-locally-free-coefficients
      Open exact PDF location · PDF page 89
      EPUB: EPUB/text/ch012.xhtml#projection-formula-and-base-change--1-finite-locally-free-coefficients
    • 2. The general map and perfect coefficients
      2-the-general-map-and-perfect-coefficients
      Open exact PDF location · PDF page 90
      EPUB: EPUB/text/ch012.xhtml#projection-formula-and-base-change--2-the-general-map-and-perfect-coefficients
    • 3. Closed inclusions with arbitrary coefficients
      3-closed-inclusions-with-arbitrary-coefficients
      Open exact PDF location · PDF page 91
      EPUB: EPUB/text/ch012.xhtml#projection-formula-and-base-change--3-closed-inclusions-with-arbitrary-coefficients
    • 4. Base change, flat models and compatibility
      4-base-change-flat-models-and-compatibility
      Open exact PDF location · PDF page 91
      EPUB: EPUB/text/ch012.xhtml#projection-formula-and-base-change--4-base-change-flat-models-and-compatibility
    • 5. Two boundary failures and a coefficient calculation
      5-two-boundary-failures-and-a-coefficient-calculation
      Open exact PDF location · PDF page 94
      EPUB: EPUB/text/ch012.xhtml#projection-formula-and-base-change--5-two-boundary-failures-and-a-coefficient-calculation
    • 6. Exercises with checked solutions
      6-exercises-with-checked-solutions
      Open exact PDF location · PDF page 95
      EPUB: EPUB/text/ch012.xhtml#projection-formula-and-base-change--6-exercises-with-checked-solutions

Edition and sources

Original source notice

Includes all eleven units in the published reading order, full source/authorship notice and GNU Free Documentation License. Linked preceding programme material, including Methods of Algebra Volume 2, is not reproduced in this volume. This combined course is distributed under the GNU Free Documentation License, version 1.2 or any later version, with no Invariant Sections, Front-Cover Texts or Back-Cover Texts. The unchanged source/authorship notice and full licence follow the lessons. Original CC0 contributions retain their separate dedication; Stacks-derived material is not relicensed as CC0. This portable edition changes formatting and navigation only.

Original attribution and format-conversion attribution

The Stacks project authors (adapted statements and proofs); GPT-6.1 Sol (OpenAI), Ultra (course exposition and self-check); GPT-6 Astra, Ultra and GPT-5.6 Sol, Ultra (credited source contributions); Claude Opus 5.5 (Anthropic, effort unrecorded); one K-flat contribution model is unverified. Exact roles are retained in the source notice. OpenAI Codex — GPT-6 Astra, Ultra effort (source-preserving format conversion and layout checks)

Byte and navigation checks do not add mathematical, linguistic or human review.

Verified file identities