Fine Sheaves
A fine sheaf over X is one with "partitions of unity"; more precisely for any open cover of the space X we can find a family of homomorphisms from the sheaf to itself with sum 1 such that each homomorphism is 0 outside some element of the open cover.
Fine sheaves are usually only used over paracompact Hausdorff spaces X. Typical examples are the sheaf of continuous real functions over such a space, or smooth functions over a smooth (paracompact Hausdorff) manifold, or modules over these sheaves of rings.
Fine sheaves over paracompact Hausdorff spaces are soft and acyclic.
As an application, consider a real manifold X. There is the following resolution of the constant sheaf ℝ by the fine sheaves of (smooth) differential forms:
- 0 → ℝ → C0X → C1X → ... → Cdim XX → 0
This is a resolution, i.e. an exact complex of sheaves by the Poincaré lemma. The cohomology of X with values in ℝ can thus be computed as the cohomology of the complex of globally defined differential forms:
- Hi(X, ℝ) = Hi(C·X(X)).
Read more about this topic: Injective Sheaf
Famous quotes containing the words fine and/or sheaves:
“I feel like a white granular mass of amorphous crystals—my formula appears to be isomeric with Spasmotoxin. My aurochloride precipitates into beautiful prismatic needles. My Platinochloride develops octohedron crystals,—with a fine blue florescence. My physiological action is not indifferent. One millionth of a grain injected under the skin of a frog produced instantaneous death accompanied by an orange blossom odor.”
—Lafcadio Hearn (1850–1904)
“A thousand golden sheaves were lying there,
Shining and still, but not for long to stay—
As if a thousand girls with golden hair
Might rise from where they slept and go away.”
—Edwin Arlington Robinson (1869–1935)