Cohomología Étale

Una teoría de cohomología de haces en el sitio étale de un esquema que asigna invariantes cohomológicos a esquemas y variedades, enlazando geometría algebraica, aritmética y análogos de la cohomología topológica (por ejemplo, cohomología l-ádica y teoremas de comparación).

Una teoría de cohomología de haces calculada en el site étale de un esquema, que produce grupos H^i_et(X,F) para haces étales F (y sus completaciones l-ádicas) que reflejan información aritmética y geométrica y llevan acciones de Galois para variedades sobre cuerpos no algebraicamente cerrados.