Constructibility and oriented duality

Three lessons prove constructibility through smooth cutoffs, build constructible models in a cotangent direction, and reconstruct dualizing complexes from oriented simplices. Twenty-two exercises have complete solutions.

• Constructibility through smooth cutoffs and microlocal properness · editable source
• Constructible models in one cotangent direction · editable source
• The dualizing complex from oriented simplices · editable source

The proofs retain the stated sheaf-operation, microlocal localization, geometric constructibility, perfect-coefficient and finite-dimensional topology prerequisites. The general constructions allow every commutative coefficient ring of finite global dimension; nonvanishing examples specify nonzero coefficients.

The exact characteristic tensor proof, asymptotic-sum convention and microlocally proper projection proof are in these earlier lessons:

• Characteristic estimates
• Asymptotic sum and projection

Download the readings, sources and build code · Reuse terms · Provenance

Further sheaf proof readings include the linked constructibility and microlocal prerequisites with editable sources.