Schemes 24: Proper morphisms

Schemes 24: Proper morphisms

by Richard E Borcherds

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

Keywords

proper morphismuniversally closedfinite morphismschemecompactness

Summary

In this lecture, Richard Borcherds introduces proper morphisms in algebraic geometry, motivated by the need for a good analog of compactness for schemes. He begins by discussing the topological definition of proper maps and the concept of universal closedness, illustrating with examples why closedness alone is insufficient. He then defines proper morphisms for schemes as separated, finite type, and universally closed, noting that the latter is the key condition. The lecture focuses on proving that finite morphisms are proper, reducing the problem to a commutative algebra statement (Cohen-Seidenberg going-up theorem). He also mentions projective morphisms as another main example, to be treated in more detail in the next lecture. The exposition is rigorous and assumes familiarity with schemes and basic commutative algebra.

122 words

Critical Evaluation

Value of the Information & Strength of the Argument

The lecture provides a clear and rigorous introduction to proper morphisms, a fundamental concept in algebraic geometry. The argumentation is solid: definitions are precise, and the reduction of the proof for finite morphisms to a known theorem is well-motivated. The examples effectively illustrate the subtleties of the definitions. The value lies in the conceptual clarity and the connection between topology and algebraic geometry.

Scientific Rigor, Source Quality, Title Accuracy

The lecture is based on Hartshorne’s ‘Algebraic Geometry’, a standard reference. The mathematical content is rigorous, with proofs sketched appropriately for a lecture. The title accurately reflects the content. No external sources are cited beyond the textbook, but the lecture is self-contained for its level.

123 words

Title / Content Match

The title accurately reflects the content, which focuses on proper morphisms in algebraic geometry.

Quality & Reliability

8/10

Lecture by a renowned mathematician, based on a standard textbook (Hartshorne), with rigorous definitions and proofs sketched. The content is mathematically sound, though some advanced results are quoted without proof.

Key Moments

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

Cited Sources

  • Algebraic Geometry — Based on chapter II of Hartshorne's textbook.

Concurring Sources

  • Algebraic Geometry — The lecture follows the standard treatment in Hartshorne's textbook.

Contribution & Novelties

The lecture provides a clear and rigorous exposition of proper morphisms, a key concept in algebraic geometry. It bridges topological intuition with algebraic geometry formalism, and highlights the importance of universal closedness. The proof that finite morphisms are proper is elegantly reduced to a commutative algebra theorem.

Pour aller plus loin :

80 words

Radar Profile

The radar profile shows high scores in quality of information and technical level, with moderate scores in quantity and reliability. This indicates a dense, rigorous lecture that may be challenging for beginners but valuable for those with background in algebraic geometry.

Reliability 8/10