Schemes 23: Valuations and separation

Value of the Information & Strength of the Argument

The lecture provides a clear and rigorous explanation of a key concept in algebraic geometry. The argumentation is solid: the lecturer builds on the topological intuition, introduces the algebraic machinery, states the theorem precisely, and illustrates it with concrete examples. The examples are well-chosen and effectively demonstrate the power of the valuation ring criterion. The lecturer also discusses the differences between the theorem as stated by Grothendieck and as in Hartshorne, which adds depth. The presentation is logical and easy to follow, even for a technically demanding topic.

Scientific Rigor, Source Quality, Title Accuracy

The lecture is based on standard references: Hartshorne’s ‘Algebraic Geometry’ and Grothendieck’s ‘Éléments de géométrie algébrique’. The lecturer explicitly mentions these sources. The title accurately reflects the content. The lecture is rigorous, with precise definitions and statements. The examples are worked out in detail. The lecturer also notes the existence of different versions of the theorem, which shows attention to detail. Overall, the scientific rigor is high.

The title accurately reflects the content: the lecture focuses on valuations and separation of schemes.

9/10

Lecture by a renowned mathematician, based on a standard textbook (Hartshorne), with precise statements and examples. The content is rigorous and well-structured.

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

• 00:00Introduction: separated morphisms and valuation rings.
• 01:00Topological analogy: Hausdorff spaces and extensions of maps.
• 03:00Relative case: relatively Hausdorff maps.
• 05:00Algebraic analog: spectrum of a discrete valuation ring.
• 07:00Statement of the theorem (Grothendieck) and comparison with Hartshorne.
• 10:00Description of morphisms from Spec of a field or DVR to a scheme.
• 15:00Example 1: line with two origins is not separated.
• 20:00Example 2: projective line over integers is separated.
• 25:00Conclusion and preview of proper maps.

• Algebraic Geometry — Textbook by Robin Hartshorne, chapter II, used as basis for the course.
• Éléments de géométrie algébrique — By Alexander Grothendieck, chapter 2, part 7.2, for the theorem on separated morphisms.

• Algebraic Geometry — Hartshorne's textbook, which contains the same theorem with slightly different hypotheses.