Welcome to Math Overflow

Question

2

Let R denote the real line with its usual topology. Does there exist a sheaf F of abelian groups on R whose second cohomology group H^2(R,F) is non-zero? What about H^j(R,F) for integers j>=2 ?

(Here cohomology means derived functor cohomology as in, say, Hartshorne or EGA. Anyway this cohomology coincides with Cech cohomology since R is paracompact.)

edited Oct 12 at 17:46

Scott Morrison♦
2,877●8●28

asked Oct 11 at 12:38

Georges Elencwajg
4,103●2●31

	What is R here? – Ben Webster♦ Oct 11 at 13:28
	@Ben- My guess: R is a commutative ring and the sheaf is on Spec(R). – Anton Geraschenko Oct 11 at 14:23
	Your question would certainly benefit from more info – what is R and what type of sheaf cohomology you are considering? – Ilya Nikokoshev Oct 11 at 14:38
	Now I agree with ilya, R is probably the real line. – Anton Geraschenko Oct 11 at 14:43
	Yes, R is the real line with its usual topology. Cohomology is derived functor cohomology for the functor "Global Sections" (the cohomology used in Hartshorne or EGA, defined via injective resolutions) . It coincides with Cech cohomology since R is paracompact. @ilya n. Could you please explain how the vanishing of cohomology in dimensions 2 and larger is a simple consequence of the definition of Cech cohomology ? Of course I do not assume that my sheaf is constant (in which case even the first cohomology group would vanish). Thanks to all for your interest. – Georges Elencwajg Oct 11 at 18:01

show 4 more comments

Abdó Roig · Accepted Answer · 2009-10-16 17:48:06Z UTC

6

The sheaf cohomology Hⁱ(X,F) of a (topological) manifold X of dimension n vanishes for i > n. This is a topological version of Grothendieck's vanishing theorem above. You can find this result in Kashiwara-Schapira's "Sheaves on manifolds" proposition III.3.2.2.

answered Oct 16 at 17:48

Abdó Roig
371●1●4

Thank you,Abdo', you have given my question a definitive answer. Congratulations on your erudition: I have the pleasant feeling I will read more from you on this site! – Georges Elencwajg Oct 16 at 19:01

Ilya Nikokoshev · Answer 2 · 2009-10-12 17:58:35Z UTC

0

Since now we know that R in your question refers to real line equipped with standard topology, sheaf cohomology will always have H^i(F) = 0 for i>1 — depending on how you define sheaf cohomology this is a theorem of different difficulty.

edited Oct 12 at 17:58

answered Oct 11 at 14:37

Ilya Nikokoshev
5,908●1●7●32

Sam Derbyshire · Answer 3 · 2009-10-16 02:14:32Z UTC

0

The result you're after is in Hartshorne:

Theorem 2.7 (Grothendieck)
Let X be a noetherian topological space of dimension n.
Then Hⁱ(X,F) = 0 for all i > n and all sheaves of abelian groups F.

answered Oct 16 at 2:14

Sam Derbyshire
1,084●6●23

2

But as a topological space, R is non-noetherian and infinite-dimensional. – Anton Geraschenko Oct 16 at 5:03

Good point, silly me. – Sam Derbyshire Oct 16 at 14:22

Non-zero sheaf cohomology

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

3 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.