nLab
soft sheaf

Context

Topos Theory

topos theory

Background

Toposes

Internal Logic

Topos morphisms

Extra stuff, structure, properties

Cohomology and homotopy

In higher category theory

Theorems

Contents

Definition

Given a sheaf FF of sets over a topological space XX, the section over an arbitrary (= not necessarily open) subset VXV\subset X is a continuous section of the corresponding etale space restricted to VV.

A sheaf FF of sets (or of abelian groups) over a paracompact Hausdorff space XX is soft if for any closed subset VXV\subset X, every section of FF over VV can be extended to the whole XX.

Properties

The local extension of germs to the open neighborhoods of points by paracompactness gives rise to an extension of the section to an open neighborhood of the whole set VV. Therefore every flabby sheaf is soft, because flabbiness gives the extension from open subsets. Fine sheaves are always soft.

References

Standard references are Tohoku and Godement’s book.

category: sheaf theory

Revised on March 6, 2013 19:50:09 by Zoran Škoda (161.53.130.104)