Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Given a complex-analytic manifold of dimension $d$, why does the cohomology of coherent sheaves vanish in dimension $> 2d$ (without using GAGA)?

share|improve this question
    
Shouldn't the cohomology of coherent sheaves vanish above $d$? This should be somewhere in "Coherent Analytic Sheaves", by Grauert and Remmert, but I don't have the book here so I can't check. –  Angelo Jun 30 '10 at 14:03
    
Angelo, that is a very good point. I'm certain it isn't in the CAS book (I read it quite thoroughly, and there's no discussion of higher sheaf cohomology in that book apart from the chapter on Grauert's Higher Direct Image Theorem), so a better place to try is G&R's other book Theory of Stein Spaces. It would be nice to also have the result without smoothness. –  BCnrd Jun 30 '10 at 15:03
    
BCnrd the required vanishing follows from Andreotti-Grauert.See corollary4.15 page 428 of Demailly's book on CAG. –  Mohan Ramachandran Jun 30 '10 at 19:45

1 Answer 1

up vote 10 down vote accepted

Note that it is not necessary to say to avoid GAGA, as GAGA has no relevance in the absence of compactness assumptions.

Anyway, something much more general (and satisfying) is true: all topological sheaf cohomology on a (paracompact Hausdorff) analytic space vanishes beyond twice the analytic dimension. Here is a sketch of a proof. By metrization theorems, such spaces are metrizable. Also, connected components of analytic spaces are open, so cohomology is direct product of cohomologies on the connected components. We can therefore restrict attention to the connected case, so the underlying topological space is separable (i.e., countable base of opens); I think this latter fact is stated with reference in the Introduction of the book Theory of Stein Spaces. (If not, assume the given analytic space is separable, a very "practical" assumption!)

By the local analytic "Noether normalization" (really Weierstrass Preparation), twice the analytic dimension equals the "topological dimension" in the sense of dimension theory as in Engelking's marvelous book "General topology" for separable metric spaces. (For separable metric spaces, various notions of topological dimension are proved to agree; all done in that book. For opens in a real Euclidean space it recovers the expected "dimension"!) That book shows open covers of separable metric spaces have refinements whose $(n+1)$-fold overlaps are empty for $n$ beyond the topological dimension (in one of the various equivalent senses of dimension: the "covering" dimension!). Now use equality of Cech and derived functor cohomology for paracompact Hausdorff spaces to conclude.

share|improve this answer

Your Answer

 
discard

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.