comparison theorem (étale cohomology)




Special and general types

Special notions


Extra structure



Étale morphisms



In the context of étale cohomology of schemes, the Artin comparison theorem (Artin 66) says that under some conditions on a scheme and a sheaf of coefficients, the étale cohomology of the scheme coincides with the ordinary cohomology (e.g. singular cohomology) of its underlying complex analytic topology.

Historically this kind of statement was a central motivation for the development of étale cohomology in the first place.

Specifically, let AA be either of

(but not for instance the integers themselves).

Then for XX a variety over the complex numbers and X anX^{an} its analytification to the topological space of complex points X()X(\mathbb{C}) with its complex analytic topology, then there is an isomorphism

H (X et,A)H (X an,A) H^\bullet(X_{et}, A) \simeq H^\bullet(X^{an}, A)

between the étale cohomology of XX and the ordinary cohomology of X anX^{an}.

Notice that on the other hand for instance if instead X=Spec(k)X = Spec(k) is the spectrum of a field, then its étale cohomology coincides with the Galois cohomology of kk. In this way étale cohomology interpolates between “topological” and “number theoretic” notions of cohomology.


The original reference is

A textbook account is in

Reviews and lecture notes include

In the context of Berkovich analytic spaces see also