Finite coefficients and derived realization

A proof of finite-heart realization for constructible sheaves with appropriate ind-finite injectives, including a direct Artin–Rees and Baer construction for finitely generated commutative monodromy algebras. The reading also proves derived comparisons for ideal-power torsion and zero-dimensional support, and the finite-stalk projective-line torus theorem over every field. Four exercises have complete solutions.

Read the proofs and solutions online

Native MathML reader · Editable source · Reuse terms · Provenance

Lunts and Schnürer receive credit for the modern comparisons; the Stacks project authors and Guillaume Valette receive credit for the linked algebra and derived foundations. Their component licences remain at the linked providers. Their expression is not imported. Original AI teaching and reader code here are CC0.

Rebuild with Python 3 and Pandoc by running python build/build_reader.py in this directory. Wide formulas scroll on small screens. This is a selection from Constructible and perverse sheaves. Self-checked by the writing AI. The general toric geometry and remaining parent-course foundations are separate work.