Schemes 38: Comparison of Cartier divisors and Pic

Schemes 38: Comparison of Cartier divisors and Pic

by Richard E Borcherds

Formal & Physical Sciences Mathematics PBMGeometryPBMWAlgebraic geometry
🎙 Richard E Borcherds 👥 82K 📅 July 30, 2020 ⏱ 25 min 👁 2K 📄 lecture 🧭 2026-08-17
Available in: English (current) Français

Keywords

Cartier divisorPicard groupinvertible sheafCech cohomologyprojective space

Summary

This lecture, part of an online algebraic geometry course on schemes, focuses on the relationship between Cartier divisors and the Picard group of invertible sheaves. The lecturer begins by recalling the construction of a line bundle from a divisor on a Riemann surface, then generalizes this to schemes using the sheaf of total quotient rings. He defines a homomorphism from Cartier divisor classes to the Picard group and proves that it is an isomorphism for integral schemes. The proof relies on the fact that for integral schemes, the sheaf of total quotient rings is constant, allowing any invertible sheaf to be embedded as a subsheaf. The lecture then illustrates the computation of the Picard group of projective space using Cech cohomology. The lecturer covers the scheme with affine spaces, shows that line bundles are trivial on each affine piece, and then computes the Cech 1-cocycles modulo coboundaries. He finds that the Picard group of projective space is isomorphic to the integers, with the generator corresponding to the twisting sheaf O(1). The lecture concludes by mentioning that the next lecture will explore Picard groups and divisor class groups for curves and Dedekind domains.

192 words

Critical Evaluation

Value of the Information & Strength of the Argument

The lecture provides a clear and rigorous explanation of the relationship between Cartier divisors and the Picard group. The argumentation is solid, with a step-by-step construction of the homomorphism and a proof of isomorphism for integral schemes. The use of Cech cohomology to compute the Picard group of projective space is well-motivated and demonstrates the power of the theory. The lecturer also mentions a counterexample by Kleiman, showing the limits of the isomorphism in non-integral cases, which adds depth to the discussion.

Scientific Rigor, Source Quality, Title Accuracy

The lecture is based on the standard textbook ‘Algebraic Geometry’ by Hartshorne, which is a reliable source. The lecturer is a well-known mathematician, and the content is presented with precision. The title accurately reflects the content, and the lecture is well-structured. No external sources are cited, but the reliance on Hartshorne is explicit. The lecture is part of a series, providing context and continuity.

161 words

Title / Content Match

The title accurately reflects the content, which focuses on the comparison between Cartier divisors and the Picard group.

Quality & Reliability

9/10

The lecture is given by a renowned mathematician, Richard Borcherds, and is part of a structured course on algebraic geometry. The content is rigorous, with precise definitions and proofs, and is based on a standard reference (Hartshorne). The presentation is clear and well-organized, with no apparent errors.

Key Moments

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

Cited Sources

  • Algebraic Geometry — The course is based on chapter II of this book by Robin Hartshorne.

Concurring Sources

  • Algebraic Geometry — The lecture follows the treatment in Hartshorne's book, which is a standard reference.

Contribution & Novelties

This lecture provides a clear and rigorous exposition of the isomorphism between Cartier divisor classes and the Picard group for integral schemes, and demonstrates the computation of the Picard group of projective space using Cech cohomology. The lecturer’s approach is pedagogical, building intuition from the Riemann surface case before generalizing to schemes.

Pour aller plus loin :

  • Cartier divisor — Wikipedia article providing background on Cartier divisors.
  • Picard group — Wikipedia article on the Picard group.
  • Cech cohomology — Wikipedia article on Cech cohomology, which is used to compute the Picard group.

92 words

Radar Profile

The radar profile shows high scores across all dimensions, indicating a well-balanced and high-quality lecture. The strongest aspects are the quality and reliability of the information, while the quantity and technical level are also very high, reflecting the advanced nature of the topic.

Reliability 9/10