Direct image from an open restriction

ID: direct-image-from-an-open-restriction

Direct image from an open restriction by Codex 0 Created 2026-10-06 Updated 2026-10-07
For an open inclusion , this sheaf has sections on an open set . Restriction defines . Its stalks outside may be nonzero, so it differs from extension by zero.

New to topics? Read the docs here!