Cartan's Theorem B can be stated as follows:
Let $X$ be a space let $\mathcal{F}$ be a sheaf on $X$. Consider the following three conditions:
- $X$ is "simple";
- $\mathcal{F}$ is "nice";
- the sheaf cohomology $\mathrm{H}^p(X,\mathcal{F})$ is zero for all $p\geqslant1$.
Then the following hold:
- (1) + (2) $\implies$ (3)
- (3) + (2) $\implies$ (1) (where by "(3) + (2)" I mean "(3) holds for all $\mathcal{F}$ such that (2)")
where we can take ("simple", "nice") to be either (Stein manifold, coherent) or (affine scheme, quasi-coherent).
(Note that Theorem B is really just the fact that (1) + (2) $\implies$ (3); the other result is a sort of converse showing that this theorem is sharp, but I think it deserves to be a part of the theorem).
What I'd like to know is if there is a third option for ("simple", nice") that recovers some sort of $\mathbb{R}$-smooth statement. My guess would be that "simple" = contractible subset of $\mathbb{R}^n$. My only justification for this is that the notion of "simple" in the complex-analytic and complex-algebraic cases above correspond exactly to what one finds in the definition of a good cover, and in the smooth case one normally defines good covers to be those that are contractible with contractible intersections (if I'm not mistaken).
Edit: there has been some discussion in the comments about what sort of answer I'm looking for, and I agree that this question is rather vague, but maybe here's another way of phrasing it:
Cartan's Theorem B tells me that the analogy between analytic and algebraic geometry given by "Stein ↔︎ affine" and "coherent ↔︎ quasi-coherent" is, in the eyes of cohomology, a fair one. If I want to extend this analogy/dictionary to include smooth geometry, which words should I use?
context | "simple" | "nice" |
---|---|---|
complex-algebraic | affine | quasi-coherent |
complex-analytic | Stein | coherent |
real-analytic | coherent analytic subvarieties of $\mathbb{R}^n$ | coherent |
smooth | ? contractible ? | ? |
Edit 2: This MO question/answer pointed me to Cartan's paper Variétés analytiques réelles et variétés analytiques complexes, of which Theorem 3 gives a result for the real-analytic setting; I've added this to the table above.
Failing this, are there any other pairs that I can substitute in? Maybe something to recover a statement about rigid analytic geometry?