## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorDmitri Pavlov
• CommentTimeMar 6th 2020

Added a third definition of fine sheaves due to Godement.

• CommentRowNumber2.
• CommentAuthorDmitri Pavlov
• CommentTimeMar 6th 2020

I am moving here an old discussion:

## Discussion

David Speyer asks: Voisin, in Hodge Theory and Complex Algebraic Geometry I, definition 4.35 makes a different definition of fine sheaf. I can see that they are related, but I can’t see precisely what the relation is.

According to Voisin:

:A fine sheaf $\mathcal{F}$ over $X$ is a sheaf of $\mathcal{A}$-modules, where $\mathcal{A}$ is a sheaf of rings such that, for every open cover $U_i$ of $X$, there is a partition of unity $1 = \sum f_i$ (where the sum is locally finite) subordinate to this covering.

A technical point: I infer from context that, for Voisin, being subordinate to $U_i$ means that, for each $U_i$, there is an open set $V_i$ such that $X = U_i \cup V_i$ and $f|_{V_i}=0$. This is slightly stronger than requiring that $f|_{X \setminus U_i} =0$. When working on a regular (T3) space, I believe that, if partitions of unity exist in the weaker sense, than they also exist in the stronger sense.

Zoran: paracompact Hausdorff space is automatically normal (Dieudonne’s theorem) so a fortiori $T_3$. A partition of unity subordinate to the covering means as usual that for each $i$ there is $j$ such that $supp f_i \subset U_j$. Thanks for the other correction.

• CommentRowNumber3.
• CommentAuthorDmitri Pavlov
• CommentTimeMar 6th 2020

Removed an old discussion that was already reflected in the text.

• CommentRowNumber4.
• CommentAuthorperezl.alonso
• CommentTimeOct 17th 2023

couple properties related to sheaf cohomology.

• CommentRowNumber5.
• CommentAuthorUrs
• CommentTimeOct 18th 2023

added the bibitems for Godement and for Voisin that are referred to elsewhere in the text