Direct image from an open restriction

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

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!