Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Recall that given a Riemann Surface $X$, the divisor sheaf is the sheaf ${\cal D}$ which assigns to each open set $U$ the collection of maps $\phi:U \to \mathbb{Z}$ such that $\phi(p)=0$ for all but finitely many $p$ in $U$ with the obvious restriction maps. A partition of unity for a sheaf ${\cal D}$ subordinate to a locally finite open cover $\{ U_\alpha \}$ is a family $h_\alpha \in \mathrm{Hom}({\cal D}, {\cal D})$ such that the support of $h_\alpha \subseteq U_\alpha$ and $\sum_\alpha h_\alpha = \mathrm{Id}$.

Gunning, in his text "Lectures on Riemann Surfaces", claims that the divisor sheaf of a Riemann surface has partitions of unity subordinate to any locally finite cover (in other words, it is a fine sheaf). Unfortunately, he leaves it as an exercise to the reader to verify this and I have been unable to construct one myself. Any help would be greatly appreciated.

share|improve this question
    
Couldn't you do it arbitrarily? Unlike constructing smooth partitions of unity, it seems to me here that a discontinuous integer-valued one will work just as well... –  Zhen Lin Dec 28 '12 at 2:21
    
As the maps $\phi$ have no restrictions on their topology I agree with you. The construction of such a partition of unity will be more "algebraic" than "topological". –  Mark Penney Dec 28 '12 at 5:33

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.