There are several theorems I know of the form "Let $X$ be a locally ringed space obeying some condition like existence of partitions of unity. Let $E$ be a sheaf of $\mathcal{O}\_X$ modules obeying some nice condition. Then $H^i(X, E)=0$ for $i>0$."


What is the best way to formulate this result? I ask because I'm sure I'll wind up teaching this material one day, and I'd like to get this right. 


I asked a similar question over at [nLab](http://ncatlab.org/nlab/show/fine+sheaf). Anyone who really understands this material might want to write something over there. If I come to be such a person, I'll do the writing!




---


Two versions I know: 


(1) Suppose that, for any open cover $U\_i$ of $X$, there are functions $f\_i$ and open sets $V\_i$ such that $\sum f\_i=1$ and $\mathrm{Supp}(f\_i) \subseteq U\_i$. Then, for $E$ any sheaf of $\mathcal{O}\_X$ modules, $H^i(X,E)=0$. Unravelling the definition of support, $\mathrm{Supp}(f\_i) \subseteq U\_i$ means that there exist open sets $V\_i$ such that $X = U\_i \cup V\_i$ and $f\_i|\_{V\_i}=0$.


Notice that the existence of partitions of unity is sometimes stated as the weaker condition that $f\_i$ is zero on the closed set $X \setminus U\_i$. If $X$ is [regular](http://en.wikipedia.org/wiki/Regular_space), I believe the existence of partitions of unity in one sense implies the other. However, I care about algebraic geometry, and affine schemes have partitions of unity in the weak sense but not the strong.


(2) Any quasi-coherent sheaf on an affine scheme has no higher sheaf cohomology. (Hartshorne III.3.5 in the noetherian case; he cites EGA III.1.3.1 for the general case.) There is a similar result for the sheaf of analytic functions: see [Cartan's Theorems](http://en.wikipedia.org/wiki/Cartan%27s_theorems_A_and_B).


I have some ideas about how this might generalize to locally ringed spaces other than schemes, but I am holding off because someone probably knows a better answer.




---


It looks like the answer I'm getting is "no one knows a criterion better than fine/soft sheaves." Thanks for all the help. I've written a [blog post](http://sbseminar.wordpress.com/2010/02/02/when-fine-just-aint-enough/) explaining why I think that fine sheaves aren't such a great answer on non-Hausdorff spaces like schemes.



What is the right version of "partitions of unity implies vanishing sheaf cohomology"
Although we clearly all have more or less the same answers, here is how I like to organize things.


I) Let $\mathcal F$ be a sheaf of abelian groups on the topological space $X$. It is said to be soft if every section $s \in \Gamma (A,\mathcal F)$ over a closed subset $A\subset X$ can be extended to $X$. 
Notice carefully that the definition of $s$ is NOT that it is the restriction to $A$ of some section of $\mathcal F$ on an open neighbourhood of $A$ [but that it is an element $ s\in \prod \limits\_{x\in X} \mathcal F\_x$ satisfying some more or less obvious conditions] 


II) Consider the following condition on the [not necessarily locally] ringed space $(X, \mathcal O)$ :


The space $X$ is metrizable and given an inclusion $A\subset U \subset X$ with $A$ closed and $U$ open there exists a global section $s\in \Gamma (X,\mathcal O)$ such that 
$s|A=1$ and $ s|X \setminus U=0 \quad \quad (SOFT)$.


We then have the 


$\textbf{Theorem }$ : If the ringed space satisfies (SOFT), then every sheaf of $\mathcal O\_ X -Modules$ is soft.


III) A metrizable space endowed with its sheaf of continuous functions satisfies $(SOFT)$.
A metrizable differential manifold endowed with its sheaf of smooth functions satisfies $(SOFT)$.


IV) On a metrizable space every soft sheaf is acyclic


Put together these results yield all standard acyclicity results on functions,vector bundles, distributions,etc.


It is interesting to notice that you use partitions of unity only once: in the proof of III). But never more afterwards; you just check that your sheaves are $\mathcal O -Modules$. I like this approach (which I learned from Grauert-Remmert) more than the usual one, where a proof of acyclicity is given for the sheaf of smooth functions, followed by the ( correct!) assertion that you have to repeat it with minor changes for, say, vector bundles. Moreover fine sheaves needn't even be mentioned if you follow this route.


