De Rham–Weil theorem explained

In algebraic topology, the De Rham–Weil theorem allows computation of sheaf cohomology using an acyclic resolution of the sheaf in question.

Let

lF

be a sheaf on a topological space

X

and

lF\bullet

a resolution of

lF

by acyclic sheaves. Then

Hq(X,lF)\congHq(lF\bullet(X)),

where

Hq(X,lF)

denotes the

q

-th sheaf cohomology group of

X

with coefficients in

lF.

The De Rham–Weil theorem follows from the more general fact that derived functors may be computed using acyclic resolutions instead of simply injective resolutions.

See also

References