Étalé Cohomology

Étalé Cohomology
Name	Étalé Cohomology
Field	Algebraic geometry
Introduced by	Grothendieck
Year	1960s

Étalé Cohomology is a cohomology theory for schemes developed to transfer topological intuition into algebraic geometry and to address arithmetic questions. It was formulated in the 1960s by Alexander Grothendieck within the milieu of the Institut des Hautes Études Scientifiques and matured through work by Jean-Pierre Serre, Pierre Deligne, Michael Artin, and others to solve the Weil conjectures. Étalé cohomology connects to motifs in the work of Alexander Grothendieck, Sergey Gelfand, and Jean-Louis Verdier, and interacts with representation theory studied by George Lusztig, Jean-Pierre Serre, and Pierre Deligne.

History and Motivation

Grothendieck introduced the étale topology at Institut des Hautes Études Scientifiques to reconcile ideas from Bernhard Riemann's topological methods, André Weil's conjectures, and the sheaf-theoretic program used by Henri Cartan and Jean Leray. Early foundational contributions came from Jean-Pierre Serre and Michael Artin, with key advances by Pierre Deligne and applications by Alexander Grothendieck at the Séminaire de Géométrie Algébrique. The invention addressed limitations encountered by Emmy Noether's algebraic techniques and by comparisons to singular cohomology used by Henri Poincaré, enabling proofs that harmonize with results of John Tate and Igor Shafarevich. Milestones include Deligne's proof of the Riemann Hypothesis for varieties over finite fields, influenced by work at Institute for Advanced Study and discussions involving Serre's Conjectures and the ideas circulating around Weil–Deligne group research.

Basic Definitions and Topology of the Étale Site

The étale site of a scheme was defined in the context of Grothendieck topologies discussed at École Normale Supérieure and formalized in the language used at Collège de France. A morphism is étale if it is flat and unramified, following criteria related to Jacobian conditions used by Oscar Zariski and refined by Grothendieck; these conditions echo methods in the work of David Mumford and Alexander Grothendieck. The étale site associates to a scheme X the category of schemes étale over X endowed with coverings mirroring open covers in Henri Cartan's sheaf theory and in Jean Leray's spectral sequence context. Fundamental groups in the étale sense were defined by Alexander Grothendieck as profinite groups generalizing the topological fundamental group studied by Henri Poincaré and connected to the arithmetic of Galois groups like those considered by Évariste Galois and Richard Dedekind.

Étale Sheaves and Cohomology Groups

Sheaves on the étale site generalize classical sheaves from Leray and Cartan and were systematically developed by Grothendieck and colleagues at IHÉS seminars. Constructible sheaves and lisse sheaves were introduced alongside notions used by Jean-Pierre Serre and Pierre Deligne to manage finiteness properties appearing in arithmetic geometry examples studied by André Weil and John Tate. Étale cohomology groups H^i(X, F) arise from derived functors similar to those in Alexander Grothendieck's work on derived categories and in constructions employed by Jean-Louis Verdier. These groups satisfy long exact sequences and spectral sequences reminiscent of those used by Leray and by Grothendieck in cohomological algebra, and they interact with duality theories developed by Alexander Grothendieck and Jean-Pierre Serre.

Comparison Theorems and Functoriality

Comparison theorems relate étale cohomology to singular cohomology for schemes over Complex numbers and to crystalline cohomology for schemes in characteristic p as pursued by Pierre Berthelot and Nicholas Katz. Results by Artin and Mazur compare local properties used by John Tate and Alexander Grothendieck and underpin functoriality statements employed by Pierre Deligne in the proof of the Weil conjectures. Functoriality respects pullback and pushforward morphisms studied in contexts such as Serre duality and interacts with the six operations formalism championed by Grothendieck and extended by Joseph Bernstein and Pierre Deligne.

Étale Cohomology with Coefficients and Coefficients Systems

Typical coefficient systems include constant coefficients like Z_l and Q_l-adic sheaves developed to manage l-adic representations studied by Jean-Pierre Serre and John Tate, and torsion coefficients like Z/nZ appearing in work by Alexander Grothendieck and Michael Artin. Lisse l-adic sheaves provide Galois representations central to the Langlands program pursued by Robert Langlands, Pierre Deligne, and Edward Frenkel. Perverse sheaves and nearby cycles techniques invoking ideas from Masaki Kashiwara and Pierre Deligne bridge étale coefficients with Hodge-theoretic objects employed by Phillip Griffiths and Wilfried Schmid in mixed Hodge theory contexts discussed at Institute for Advanced Study and Princeton University.

Applications: Arithmetic Geometry and the Weil Conjectures

Étalé cohomology furnished the tools for Deligne's proof of the Weil conjectures, connecting Frobenius eigenvalues to zeta functions of varieties over finite fields, an achievement recognized by Fields Medal-level acclaim and discussed at venues like Institut des Hautes Études Scientifiques and Institute for Advanced Study. The theory underpins modern treatments of modularity results linked to Andrew Wiles's proof of Fermat's Last Theorem and enters the proof strategies in the Langlands correspondence advanced by Robert Langlands and Pierre Deligne. Étale methods influence studies of motives proposed by Alexander Grothendieck and later shaped by Uwe Jannsen, James Milne, and Jacob Lurie through connections with homotopy-theoretic approaches explored at Harvard University and Massachusetts Institute of Technology.

Computational Techniques and Examples

Computations often proceed via spectral sequences and comparison to singular cohomology in examples like elliptic curves studied by Srinivasa Ramanujan-era developments and formalized by Nicolas Bourbaki-trained algebraic geometers such as David Mumford and Jean-Pierre Serre. Explicit calculations for curves over finite fields employ point-counting methods used by André Weil and algorithms influenced by Peter Shor-era computational number theory and by computational algebra systems developed at Massachusetts Institute of Technology and University of Cambridge. Examples include cohomology of projective spaces, curves, and abelian varieties examined by André Weil and John Tate, and explicit l-adic monodromy calculations used by Pierre Deligne and Nicholas Katz in the analysis of exponential sums studied by Igor Shafarevich and colleagues.

Category:Algebraic geometry