Étale Cohomology

The Need for a New Cohomology Theory

Classical topology studies geometric spaces using invariants such as homology and cohomology. Over the complex numbers, algebraic varieties can often be viewed as topological spaces, and topological methods become available.

However, arithmetic geometry studies varieties over fields such as

\mathbb{Q},\qquad \mathbb{F}_p,\qquad \mathbb{Q}_p,

where ordinary topology is insufficient or meaningless.

For example, a variety over a finite field has only finitely many points, so its usual topology contains little geometric information.

A new theory was needed: one capable of capturing geometric and arithmetic structure simultaneously.

Étale cohomology was developed to solve this problem. It became one of the most important tools in modern algebraic geometry and arithmetic geometry.

Étale Morphisms

The word étale means roughly “smooth and unramified locally.”

A morphism

f:X\to Y

is étale if, locally, it behaves like a covering map without singularities or branching.

A simple example is

f:\mathbb{A}^1\to\mathbb{A}^1, \qquad f(t)=t^n,

away from points where ramification occurs.

Étale morphisms are algebraic analogues of local homeomorphisms in topology.

They allow one to construct geometric coverings even over fields lacking ordinary topological structure.

Étale Topology

Instead of ordinary open sets, étale cohomology uses étale morphisms as coverings.

This produces the étale topology, which is not a topology in the classical sense but a Grothendieck topology.

The guiding idea is that sufficiently nice algebraic maps should play the role of open neighborhoods.

Sheaves may then be defined on this category of étale coverings, and cohomology groups are computed from these sheaves.

Thus étale cohomology extends topological cohomology into the arithmetic setting.

Étale Cohomology Groups

Let $X$ be a scheme and let $\mathcal{F}$ be a sheaf in the étale topology. One defines cohomology groups

H^i_{\mathrm{\acute{e}t}}(X,\mathcal{F}).

These groups measure global algebraic information and arithmetic obstructions.

They behave similarly to singular cohomology in topology:

$H^0$ measures global sections,
$H^1$ measures coverings and torsors,
higher groups measure more subtle global structure.

Étale cohomology retains many desirable formal properties:

functoriality,
long exact sequences,
duality,
cup products,
Künneth formulas.

This makes it an extraordinarily powerful theory.

Finite Coefficient Sheaves

Étale cohomology is often studied with finite coefficients such as

\mathbb{Z}/n\mathbb{Z}.

Prime powers play a particularly important role.

For a prime $\ell\neq p$ , one frequently studies

\mathbb{Z}/\ell^n\mathbb{Z}

and passes to inverse limits to obtain

\mathbb{Z}_\ell

and

\mathbb{Q}_\ell.

The resulting $\ell$ -adic cohomology theories provide vector spaces equipped with actions of Galois groups and Frobenius morphisms.

These structures connect geometry directly to arithmetic.

Comparison with Classical Topology

If $X$ is a smooth algebraic variety over $\mathbb{C}$ , then étale cohomology recovers classical topological cohomology in an appropriate sense.

This comparison theorem states roughly that

H^i_{\mathrm{\acute{e}t}}(X,\mathbb{Z}/n\mathbb{Z})

matches singular cohomology with the same coefficients.

Thus étale cohomology extends ordinary topology rather than replacing it entirely.

The theory therefore serves as a bridge between algebraic geometry and topology.

Frobenius and Arithmetic Information

Suppose $X$ is defined over a finite field

\mathbb{F}_q.

The Frobenius map

\mathrm{Frob}_q:x\mapsto x^q

acts naturally on étale cohomology groups.

This action contains deep arithmetic information.

Point counts over finite fields are connected to traces of Frobenius on cohomology. The relationship is expressed through the Lefschetz trace formula:

\#X(\mathbb{F}_q) = \sum_i (-1)^i \operatorname{Tr} \left( \mathrm{Frob}_q \mid H^i_{\mathrm{\acute{e}t}}(X,\mathbb{Q}_\ell) \right).

This remarkable formula transforms arithmetic counting problems into linear algebra.

Example: Curves over Finite Fields

Let $C$ be a smooth projective curve of genus $g$ over $\mathbb{F}_q$ .

Its étale cohomology groups behave analogously to topological cohomology of a compact Riemann surface:

Cohomology Group	Dimension
$H^0$	$1$
$H^1$	$2g$
$H^2$	$1$

The action of Frobenius on

H^1_{\mathrm{\acute{e}t}}(C,\mathbb{Q}_\ell)

controls the number of rational points on the curve.

The eigenvalues satisfy strong bounds that lead directly to the Weil conjectures.

Étale Fundamental Group

Étale topology also gives rise to the étale fundamental group

\pi_1^{\mathrm{\acute{e}t}}(X).

This group classifies finite étale coverings of $X$ .

For arithmetic schemes, the étale fundamental group generalizes the absolute Galois group.

For example,

\pi_1^{\mathrm{\acute{e}t}} (\operatorname{Spec}(k))

is essentially the absolute Galois group

\operatorname{Gal}(\overline{k}/k).

Thus Galois theory becomes part of geometry.

This insight lies at the heart of modern arithmetic geometry and the Langlands program.

Étale Cohomology and Zeta Functions

The zeta function of a variety over a finite field is defined by counting points over finite extensions:

Z(X,t) = \exp \left( \sum_{n=1}^{\infty} \frac{\#X(\mathbb{F}_{q^n})}{n}t^n \right).

Étale cohomology expresses this zeta function in terms of determinants of Frobenius operators:

Z(X,t) = \prod_i \det \left( 1-t\mathrm{Frob}_q \mid H^i_{\mathrm{\acute{e}t}}(X,\mathbb{Q}_\ell) \right)^{(-1)^{i+1}}.

This formula reveals that arithmetic properties of varieties are governed by cohomological invariants.

Broader Applications

Étale cohomology appears throughout modern mathematics:

proof of the Weil conjectures,
arithmetic duality theorems,
study of Galois representations,
modular forms and automorphic forms,
arithmetic of elliptic curves,
deformation theory,
modern formulations of the Langlands program.

Much of contemporary number theory depends fundamentally on étale methods.

Conceptual Significance

Étale cohomology transformed arithmetic geometry by providing a cohomology theory compatible with algebraic structure and arithmetic fields.

It unified:

topology,
algebraic geometry,
Galois theory,
arithmetic.

Most importantly, it allowed geometric methods to solve arithmetic problems. Counting points over finite fields, studying zeta functions, and analyzing Galois actions became parts of a single cohomological framework.

This perspective is one of the defining achievements of twentieth-century mathematics.