A sheaf cohomology theory on the étale site of a scheme that assigns cohomological invariants to schemes and varieties, bridging algebraic geometry, arithmetic and analogues of topological cohomology (e.g., l-adic cohomology and comparison theorems).

Principle

Replace the classical topological site by the étale Grothendieck topology so that locally constant and torsion phenomena are captured algebraically; functoriality, base change and derived functors produce long exact sequences, spectral sequences and comparison isomorphisms.

Demonstration

For a smooth projective variety X over a finite field, its l-adic étale cohomology groups carry Frobenius actions whose traces determine point counts and satisfy the Weil conjectures; H^2_et(X,G_m) contains the cohomological Brauer group used in obstructions to rational points.

Misapplication

Applying singular cohomology intuitions blindly (for example expecting Poincaré duality without hypotheses), or using l-adic limits without checking l is invertible on the base, leads to errors; treating nonconstructible sheaves as if they behaved like local systems is also misleading.

Consequence

Étale cohomology provides the correct cohomological framework for arithmetic invariants, comparison with Betti cohomology over C, l-adic Galois representations, and tools like cycle class maps and duality theorems essential in modern arithmetic geometry.

Reversal

Switching to classical topological cohomology (Betti) for noncomplex bases loses arithmetic structure; conversely, working only with étale cohomology in analytic situations obscures transcendental features captured by complex topology.

Boundary

Best suited to schemes and coefficients that are torsion or l-adic with l invertible on the base, and to constructible sheaves; it does not replace crystalline cohomology in characteristic p for p-adic coefficients nor does it automatically handle arbitrary topologies or wild ramification without refinement.

Semantic Tension

Often contrasted with singular/Betti cohomology, crystalline cohomology and de Rham cohomology; each theory captures overlapping but distinct information (topological, p-adic, algebraic), so choosing étale cohomology depends on coefficients, base field and desired invariants.

Synthesis

Étale cohomology is the sheaf-theoretic cohomology tailored to algebraic geometry: by working on the étale site and with appropriate coefficients it recovers topological intuition while encoding arithmetic actions and producing the invariants central to modern number theory.