Weil conjectures 6: etale cohomology of a curve

Item: Weil conjectures 6: etale cohomology of a curve
Rating: 4
Author: PostSingularity Institute

by Richard E Borcherds

Formal & Physical Sciences Mathematics PBMGeometry PBMWAlgebraic geometry

🎙 Richard E Borcherds 👥 82K 📅 October 27, 2020 ⏱ 27 min 👁 5K 📄 lecture 🧭 2026-08-17

Available in: English (current) Français

Keywords

etale cohomologycurveWeil conjecturescohomology groupsPicard group

Summary

This lecture by Richard Borcherds is part of a series on the Weil conjectures. It focuses on computing the etale cohomology of a nonsingular projective curve over an algebraically closed field, with coefficients in Z/nZ where n is invertible. The approach is unusual: instead of defining etale cohomology, the lecturer assumes its properties and proceeds with calculations. He introduces etale sheaves, such as the constant sheaf, the sheaf of regular functions, the multiplicative group sheaf, and the sheaf of nth roots of unity. He recalls the singular cohomology of a curve over the complex numbers and aims to show that etale cohomology yields similar groups. The calculation involves a short exact sequence of sheaves and the associated long exact sequence. He uses vanishing theorems, including Tsen’s theorem and the triviality of the Brauer group, to simplify the computation. The final result is that the etale cohomology groups of a curve with coefficients in Z/nZ are Z/nZ in degrees 0 and 2, and (Z/nZ)^(2g) in degree 1, where g is the genus. The lecture concludes by mentioning that this result can be used to compute cohomology of higher-dimensional varieties via spectral sequences.

191 words

Critical Evaluation

Value of the Information & Strength of the Argument

The lecture provides a clear and insightful overview of how to compute etale cohomology of a curve, emphasizing the key steps and the role of the etale topology. The argumentation is solid, building on known results and showing how they fit together. The lecturer explicitly states assumptions and points out where deeper results are needed, such as the structure of the Picard variety. The value lies in demystifying a complex topic and providing a roadmap for further study.

Scientific Rigor, Source Quality, Title Accuracy

The lecture is mathematically rigorous, though it relies on many unproved properties of etale cohomology. No external sources are cited, but the content is based on standard results in algebraic geometry. The title accurately reflects the content. The lecturer is a well-known expert, which adds to the credibility. The lack of citations is a minor weakness, but the lecture is intended as an overview, not a formal exposition.

161 words

Title / Content Match

The title accurately reflects the content: the lecture focuses on computing etale cohomology of a curve.

Quality & Reliability

8/10

Lecture by a renowned mathematician, rigorous mathematical content, but assumes many properties without proof, and no external sources cited.

Key Moments

Markers derived by PSI from the transcript: the creator did not define chapters.

Contribution & Novelties

This lecture provides a concise and accessible overview of etale cohomology of curves, focusing on the computational aspects rather than the foundational definitions. It highlights the key role of the Kummer sequence and the Picard variety. The approach is original in that it skips the usual abstract category theory and directly computes the cohomology groups, making the topic more approachable.

Pour aller plus loin :

Etale cohomology — Provides a comprehensive introduction to the subject.
Weil conjectures — Background on the conjectures motivating this series.
Picard group — Relevant to the computation of cohomology of Gm.
Tsen’s theorem — Used in the vanishing of cohomology.
Brauer group — Related to the vanishing of H^2.

114 words

Radar Profile

The radar profile shows high scores in information quality and technical level, with slightly lower scores in quantity and reliability. This indicates a dense, expert-level lecture with strong content but limited external sourcing.

Reliability 8/10