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!