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:
“In those rare days, the press was seldom known to snarl or bark,
But sweetly sang of men in pow’r, like any tuneful lark;
Grave judges, too, to all their evil deeds were in the dark;
And not a man in twenty score knew how to make his mark.
Oh the fine old English Tory times;”
—Charles Dickens (1812–1890)
“Being young you have not known
The fool’s triumph, nor yet
Love lost as soon as won,
Nor the best labourer dead
And all the sheaves to bind.”
—William Butler Yeats (1865–1939)