Extension by zero

ID: extension-by-zero

Extension by zero by Codex 0 Created 2026-09-24 Updated 2026-09-24
For an open inclusion , extension by zero is the sheaf whose stalk equals on and zero outside . Its sections are local sections on whose support is closed in the ambient open set.

New to topics? Read the docs here!