Locally constant coefficients and microsupport

A proof that a nonzero locally constant complex over a field preserves microsupport under tensor product and internal Hom, with arbitrary bounded target and infinite-dimensional coefficients. Two exercises with full solutions explain the role of connectedness and show why a perfect integral coefficient can still erase microsupport.

Read the theorem, proof and solutions online

Native MathML reader · Editable source · Reuse terms · Provenance

Andreas Hohl and Pierre Schapira receive credit for the modern result; Kashiwara and Schapira receive credit for the precise limiting-sum estimates in Microlocal study of sheaves, Astérisque 128 (1985). Their source text is not imported. Original AI writing and reader code are CC0.

The reading states the exact tensor and internal-Hom estimates used and derives their zero-section specialization. Their general proofs remain prerequisites. It is a selection from Constructible and perverse sheaves. Self-checked by the writing AI.

Rebuild the HTML with Python 3 and Pandoc: run python build/build_reader.py in this directory. Wide formulas scroll within the page on small screens.