Schemes 16: Morphisms of finite type

Item: Schemes 16: Morphisms of finite type
Rating: 5
Author: PostSingularity Institute

by Richard E Borcherds

Formal & Physical Sciences Mathematics PBMGeometry PBMWAlgebraic geometry

🎙 Richard E Borcherds 👥 82K 📅 July 12, 2020 ⏱ 23 min 👁 3K 📄 lecture 🧭 2026-08-17

Available in: English (current) Français

Keywords

schememorphismfinite typequasicompactlocally of finite type

Summary

This lecture is part of an algebraic geometry course on schemes, based on chapter II of Hartshorne’s ‘Algebraic Geometry’. The main topic is morphisms of finite type, which are defined as quasicompact and locally of finite type. The lecturer first clarifies that finite type morphisms are not the same as finite morphisms, which will be covered in the next lecture. He explains that finite type is a relative notion, depending on a morphism, and gives examples of rings that are finitely generated over another ring. The definition of quasicompact morphisms is given as the inverse image of a quasicompact open subset being quasicompact. Locally of finite type means that for every point, there exist affine open neighborhoods such that the induced ring map is a finitely generated algebra. The lecture provides examples illustrating the difference between locally of finite type and finite type, such as a line with infinitely many origins. It also discusses the relationship with varieties over a field, and notes that finite type morphisms preserve Noetherian properties via Hilbert’s theorem. Finally, the lecturer discusses properties of morphisms, such as composition, locality on the target, and locality on fibers, and clarifies the meaning of ’locally’ in this context.

200 words

Critical Evaluation

Value of the Information & Strength of the Argument

The lecture provides a thorough introduction to morphisms of finite type, a fundamental concept in algebraic geometry. The value lies in the clear explanation of definitions, the distinction between related concepts (finite type vs. finite morphisms), and the illustrative examples that help intuition. The argumentation is solid: definitions are precise, and the reasoning is logical, with references to previous lectures and standard results like Hilbert’s theorem. The lecturer also addresses common pitfalls, such as the confusion between ’locally’ on the target vs. on fibers.

Scientific Rigor, Source Quality, Title Accuracy

The lecture is based on a standard textbook (Hartshorne’s ‘Algebraic Geometry’), which ensures a high level of rigor. The lecturer is a well-known mathematician, adding to the credibility. The title accurately reflects the content. No external sources are cited beyond the textbook, but the mathematical content is self-contained and rigorous. The lecture is well-structured, with clear definitions, examples, and proofs.

159 words

Title / Content Match

The title accurately reflects the content, which focuses on morphisms of finite type in the context of schemes.

Quality & Reliability

9/10

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

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 textbook by Robin Hartshorne.

Concurring Sources

Morphism of finite type - Wikipedia — Confirms the definition and properties discussed in the lecture.
Quasi-compact morphism - Wikipedia — Provides background on the topological condition used.

Contribution & Novelties

This lecture provides a clear and rigorous exposition of morphisms of finite type, a key concept in algebraic geometry. It clarifies the distinction between finite type and finite morphisms, and explains the relative nature of the notion. The examples help build intuition, and the discussion of properties (composition, locality) is valuable for understanding how these morphisms behave.

Pour aller plus loin :

Morphism of finite type - Wikipedia — Provides a concise definition and context.
Quasi-compact morphism - Wikipedia — Explains the topological notion used in the definition.
Hartshorne’s Algebraic Geometry — The textbook on which this course is based.

100 words

Radar Profile

The radar profile shows high scores across all dimensions, indicating a well-rounded and reliable lecture. The high technical level and information quality are balanced by clear explanations, making it suitable for advanced students.

Reliability 9/10