Arithmetic Geometry and Etale Cohomology

Arithmetic geometry studies solutions of polynomial equations over rings of arithmetic interest — $\mathbb{Z}$, number fields, finite fields ${\mathbb{F}}_q$ — by geometric methods applied to the schemes they cut out. The central obstruction is that the Zariski topology is too coarse: its constant-sheaf cohomology vanishes in positive degree, so it cannot detect the rich topological invariants (Betti numbers, monodromy) that drive zeta-function arithmetic. Étale cohomology resolves this by enlarging the notion of "open cover" to the étale topology, yielding cohomology groups with $\ell$-adic coefficients that behave exactly like singular cohomology of complex varieties — including Poincaré duality, the Lefschetz fixed-point formula, and a Galois action whose Frobenius eigenvalues encode point-counts. The surprising fact: a purely algebraic construction over ${\mathbb{F}}_q$ recovers the topological Betti numbers of the same variety viewed over $\mathbb{C}$, and the eigenvalues of Frobenius have absolute value $q^{i/2}$ — the Riemann Hypothesis for varieties over finite fields.

The Core Insight

Cohomology is governed not by the points of a space but by the lattice of coverings one allows. The Zariski topology of a scheme has too few opens to see anything; ordinary topology is unavailable over ${\mathbb{F}}_q$. Grothendieck's resolution is to abandon topological spaces altogether and define cohomology relative to a site — a category of "covers" satisfying gluing axioms. The étale site uses étale morphisms (the algebraic analogue of local homeomorphisms) as its covers. With finite or $\ell$-adic coefficients ($\ell \ne \text{char}$), the resulting cohomology is finite-dimensional, satisfies all Weil-cohomology axioms, and carries a canonical Galois action linking geometry to arithmetic.

Formal Statement

Étale Morphism

A morphism of schemes $f:X\to Y$ is étale if it is flat and unramified; equivalently, $f$ is smooth of relative dimension $0$; equivalently, $f$ is locally of finite presentation and induces isomorphisms on completed local rings ${\hat{\mathcal{O}}}_{Y,f(x)}\to {\hat{\mathcal{O}}}_{X,x}$ (when residue fields agree). Concretely, étale maps are "open immersions up to finite covering": locally

The Étale Site and Étale Sheaves

The small étale site $X_{\text{eˊt}}$ of a scheme $X$ has as objects the étale $X$-schemes $U\to X$, morphisms the $X$-morphisms (automatically étale), and coverings the families $\{U_i\to U\}$ that are jointly surjective. A sheaf $\mathcal{F}$ on $X_{\text{eˊt}}$ is a contravariant functor to abelian groups such that for every covering

Étale Cohomology

Étale sheaves form an abelian category $\mathbf{Sh}(X_{\text{eˊt}})$ with enough injectives. The global sections functor $\Gamma (X,-)$ is left exact, and étale cohomology is its right derived functor:

ℓ-adic Cohomology

Naïve étale cohomology with ${\mathbb{Z}}_{\ell }$ coefficients is ill-behaved (the constant sheaf $\underline{{\mathbb{Z}}_{\ell }}$ does not capture limits correctly). One instead defines, for $\ell \ne \mathrm{char}$,

Comparison, Finiteness, and Weil-Cohomology Axioms

Let $X$ be a smooth proper variety of dimension $d$ over an algebraically closed field $k$, and $\ell \ne \mathrm{char}(k)$. Then:

1. (Finiteness) $H_{\text{eˊt}}^i(X,{\mathbb{Q}}_{\ell })$ is a finite-dimensional ${\mathbb{Q}}_{\ell }$-vector space, zero for $i\notin [0,2d]$.
2. (Comparison) If $k=\mathbb{C}$, there is a canonical isomorphism with singular cohomology:

1. (Poincaré Duality) There is a perfect pairing

1. (Lefschetz Trace Formula) For $X/{\mathbb{F}}_q$ smooth proper and $F$ the geometric Frobenius acting on $\overline{X}=X{\times }_{{\mathbb{F}}_q}\overline{{\mathbb{F}}_q}$,

Why It Holds / Derivation

From the Trace Formula to the Zeta Function

We show how [7] forces the rationality and functional equation of the Hasse–Weil zeta function, the first two Weil conjectures.

1. Definition of the zeta function. For $X/{\mathbb{F}}_q$ define

1. Insert the trace formula. Replacing $q$ by $q^m$ in [7] gives $\#X({\mathbb{F}}_{q^m})={\sum }_i(-1{)}^i\mathrm{Tr}(F^m\mid H^i)$. Substitute into [8] and exchange the sums.

1. Use the trace–determinant identity. For an endomorphism $F$ of a finite-dimensional space,

1. Assemble the alternating product. The $(-1{)}^i$ signs become exponents:

1. Rationality. Each $P_i(t)=\det (1-tF\mid H^i)$ is a polynomial with ${\mathbb{Q}}_{\ell }$-coefficients (in fact $\mathbb{Z}$-coefficients, independent of $\ell$, by Deligne). Hence $Z(X,t)\in \mathbb{Q}(t)$ — the Weil rationality conjecture.

1. Functional equation. Poincaré duality [6] relates $H^i$ to $H^{2d-i}$, exchanging eigenvalues $\alpha \leftrightarrow q^d/\alpha$, producing

The deepest statement — that the eigenvalues ${\alpha }_{i,j}$ of $F$ on $H^i$ satisfy $|{\alpha }_{i,j}|=q^{i/2}$ (the Riemann Hypothesis) — is Deligne's theorem (Weil I, 1974) and does not follow formally; it requires monodromy and a clever use of Lefschetz pencils.

Alexander Grothendieck | 1928–2014

Grothendieck reconceived algebraic geometry around the language of schemes, functors, and sites, and conceived étale cohomology precisely to attack the Weil conjectures, which he framed as the existence of a "Weil cohomology theory." In the seminars SGA 1, 4, 4½, 5, 7 (with Artin, Verdier, Deligne, Illusie, Raynaud, and others) he built the entire machinery: étale topology, topoi, the six functor formalism, duality, and the trace formula. He proved rationality and the functional equation and reduced the Riemann Hypothesis to his standard conjectures, which remain open. The final RH step was completed by his student Pierre Deligne in 1974 by a different route, a result for which Deligne received the Fields Medal (1978). Grothendieck's vision — that cohomology should be derived-functor cohomology on an abstract site — reshaped twentieth-century mathematics.

Building Intuition

Think of why ordinary cohomology fails over ${\mathbb{F}}_q$ and how étale fixes it.

• Topological coverings. The circle $S^1$ has a connected double cover $z\mapsto z^2$. This degree-2 unramified map is the prototype of an étale morphism. Its existence is detected by $H^1(S^1,\mathbb{Z}/2)\ne 0$. Algebraically, ${\mathbb{G}}_m=\mathrm{Spec}k[t,t^{-1}]$ has the étale cover $t\mapsto t^2$ — invisible to the Zariski topology, which sees only the single generic point's coarse opens.
• Why ℓ ≠ p. Over ${\mathbb{F}}_p$, the $p$-power covers (Artin–Schreier $x^p-x=a$) are not étale (their derivative is $-1$ but the wild ramification corrupts $p$-torsion sheaves). So the constant sheaf $\mathbb{Z}/p$ behaves pathologically; only coefficients prime to the characteristic give a clean Weil cohomology.
• Frobenius is the monodromy. Over $\mathbb{C}$, a family of varieties degenerating around a puncture acquires a monodromy operator. Over ${\mathbb{F}}_q$, the absolute Galois group $\mathrm{Gal}(\overline{{\mathbb{F}}_q}/{\mathbb{F}}_q)\cong \hat{\mathbb{Z}}$ is topologically a loop around the "point" $\mathrm{Spec}{\mathbb{F}}_q$, and its generator — geometric Frobenius — plays the role of monodromy. Counting fixed points of this monodromy is counting ${\mathbb{F}}_q$-points.

Comparing the Zariski and étale "neighbourhoods" of a point, and the Frobenius loop encoding Galois action

Worked Examples

The Projective Line over a Finite Field

An Elliptic Curve over 𝔽_q

Common Misconceptions

• With $p$-torsion coefficients in characteristic $p$ ($\ell =p$), the theory is pathological: $H_{\text{eˊt}}^i(X,\mathbb{Z}/p)$ does not give Betti numbers, fails finiteness in the naïve sense, and the correct $p$-adic theory is crystalline cohomology, an entirely different construction. Always take $\ell \ne \mathrm{char}$.
• $H_{\text{eˊt}}^i(X,\underline{{\mathbb{Z}}_{\ell }})$ with the constant sheaf is wrong. One must define ${\mathbb{Z}}_{\ell }$-cohomology as the inverse limit over $\mathbb{Z}/{\ell }^n$ as in [4]; the constant sheaf $\underline{{\mathbb{Z}}_{\ell }}$ has trivial higher cohomology on a normal scheme.
• Étale cohomology of $\mathrm{Spec}k$ is Galois cohomology. $H_{\text{eˊt}}^i(\mathrm{Spec}k,\mathcal{F})=H^i(\mathrm{Gal}(\overline{k}/k),\mathcal{F})$. So "cohomology of a point" is generally nonzero — a feature, not a bug; it is where arithmetic lives.

Why the Zariski Topology Fails

For an irreducible variety $X$ over an algebraically closed field, the constant Zariski sheaf $\underline{\mathbb{Z}/n}$ is flasque (because every nonempty open is connected and dense, forcing all restriction maps to be isomorphisms). Hence

Connections

Étale cohomology sits at the crossroads of several theories:

• Galois Cohomology. For $X=\mathrm{Spec}k$, étale cohomology is Galois cohomology. The Hochschild–Serre spectral sequence $H^p(\mathrm{Gal}(\overline{k}/k),H_{\text{eˊt}}^q(\overline{X}))\Rightarrow H_{\text{eˊt}}^{p+q}(X)$ bridges the geometric ($\overline{X}$) and arithmetic ($k$) layers.
• Singular Cohomology. Via the comparison theorem [5], étale cohomology equals topological cohomology over $\mathbb{C}$, so it imports Betti numbers, Lefschetz theory, and the Hodge–de Rham picture.
• Crystalline Cohomology. The "$p$-adic companion" handling $\ell =p$; together with étale cohomology it forms the system of mixed motives and feeds into $p$-adic Hodge theory.
• Weil Conjectures. Étale cohomology was created to prove them; rationality and the functional equation follow formally [10]–[11], the Riemann Hypothesis from Deligne's Weil I.
• Class Field Theory. Étale (= Galois) cohomology of number rings, via the Brauer group $\mathrm{Br}(k)=H_{\text{eˊt}}^2(\mathrm{Spec}k,{\mathbb{G}}_m)$, encodes local–global reciprocity.
• L-functions and Motives. $\ell$-adic representations $\mathrm{Gal}\to \mathrm{GL}(H_{\text{eˊt}}^i)$ define motivic $L$-functions, the home of the Langlands program and BSD.

Real-World Applications

Étale cohomology, though abstract, underlies concrete computational and cryptographic machinery:

1. Point counting in cryptography. Schoof's algorithm and the Schoof–Elkies–Atkin (SEA) method count $\#E({\mathbb{F}}_q)$ for elliptic-curve cryptography by computing the action of Frobenius on $\ell$-torsion — directly the $H_{\text{eˊt}}^1$ Frobenius eigenvalues of [15]. Secure ECC requires curves whose group order is prime, validated this way.
2. Coding theory. The Weil bound $|\#X({\mathbb{F}}_q)-(q+1)|\le 2g\sqrt{q}$ (from RH) controls parameters of algebraic-geometry (Goppa) codes, including the asymptotically optimal codes from the Garcia–Stichtenoth tower of curves.
3. Counting solutions of congruences. Estimating the number of points on $\{f(x)=0\}$ over ${\mathbb{F}}_p$ — exponential sums like Kloosterman and Gauss sums — is governed by Frobenius eigenvalues on étale cohomology; Deligne's bounds give the sharpest cancellation estimates used in analytic number theory.
4. Modularity and Fermat. Wiles's proof connects elliptic curves to modular forms via the $\ell$-adic Galois representation on $H_{\text{eˊt}}^1(E)$; the Tate module and its deformation theory are étale-cohomological.
5. Sato–Tate distribution. The statistics of $a_p$ as $p$ varies, now a theorem, describe equidistribution of Frobenius conjugacy classes — phrased in $\ell$-adic cohomology.
6. Ramanujan's $\tau$ conjecture. $|\tau (p)|\le 2p^{11/2}$ is exactly RH for the weight-12 motive in $H_{\text{eˊt}}^{11}$ of a Kuga–Sato variety, proved by Deligne.
7. Zeta functions of high-dimensional varieties. Computing $Z(X,t)$ for Calabi–Yau threefolds (relevant to mirror symmetry and physics) uses $p$-adic/étale point-counting.

Historical Development

• 1949 — Weil conjectures stated. André Weil, computing zeta functions of diagonal hypersurfaces over ${\mathbb{F}}_q$, conjectures rationality, a functional equation, and the Riemann Hypothesis, and predicts a cohomological explanation modelled on Lefschetz fixed-point theory.
• 1949–1955 — Search for a Weil cohomology. Serre's work on coherent sheaf cohomology (FAC, 1955) shows Zariski cohomology cannot suffice; the need for a topology with "enough covers" becomes clear.
• 1958 — Grothendieck's vision. At the Edinburgh ICM, Grothendieck announces his program of schemes and the search for a Weil cohomology, sketching the idea of a topology built from étale maps.
• 1960–1964 — The étale topology. Grothendieck and Michael Artin develop the étale site and basic properties; Artin's Harvard seminar notes (1962) lay foundations.
• 1963–1973 — SGA 4, 5, 7. The seminars Théorie des Topos et Cohomologie Étale des Schémas (SGA 4, with Artin & Verdier), SGA 5 (trace formula, $L$-functions), and SGA 7 (monodromy, vanishing cycles) build the complete theory; proper and smooth base change, duality, and the trace formula are established.
• 1964 — Grothendieck proves rationality and the functional equation of the zeta function using the trace formula [7] and Poincaré duality.
• 1968–1970 — Standard conjectures. Grothendieck reduces the Riemann Hypothesis to his standard conjectures on algebraic cycles; these remain open.
• 1974 — Deligne's Weil I. Pierre Deligne proves the Riemann Hypothesis $|{\alpha }_{i,j}|=q^{i/2}$ via Lefschetz pencils, monodromy, and a clever positivity/Rankin argument, not the standard conjectures.
• 1980 — Deligne's Weil II. Generalises RH to a sweeping theory of weights for arbitrary sheaves, the foundation of the modern theory of perverse sheaves and the decomposition theorem.

Subtleties & Limits

• Standard Conjectures. Grothendieck's standard conjectures (Lefschetz type, Hodge type) on algebraic cycles, which would yield a purely cohomological proof of RH and the semisimplicity of Frobenius, remain open in general. They imply the existence of a Tannakian category of pure motives.
• Tate Conjecture. Whether the subspace of $H_{\text{eˊt}}^{2i}(\overline{X},{\mathbb{Q}}_{\ell }(i))$ fixed by Frobenius is spanned by algebraic cycle classes is open beyond special cases (divisors on abelian varieties, K3 surfaces in many cases). It is the arithmetic counterpart of the Hodge conjecture.
• **Integral and $