algebraic geometry 31 Rational maps

algebraic geometry 31 Rational maps

by Richard E Borcherds

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

Keywords

rational maprational functionbirationaldominant mapFermat's Last Theorem

Summary

This lecture is part of an online algebraic geometry course based on Chapter I of Hartshorne’s ‘Algebraic Geometry’. It introduces rational functions and rational maps on varieties. For affine varieties, rational functions are defined as elements of the quotient field of the coordinate ring. For projective varieties, a different definition is needed because the regular functions are just constants. Rational maps are defined as equivalence classes of regular maps defined on dense open subsets. The composition of rational maps is not always defined, so one restricts to dominant rational maps to form a category. Two varieties are birational if they are equivalent in this category. The lecture gives examples of birational varieties and then proves that the elliptic curve x^3 + y^3 = 1 is not birational to the affine line, using a polynomial version of Fermat’s Last Theorem. The proof uses unique factorization in polynomial rings and an infinite descent argument. The lecture also mentions a shorter proof using the genus of a curve, which will be covered later.

170 words

Critical Evaluation

Value of the Information & Strength of the Argument

The lecture provides a clear and rigorous introduction to rational maps and birational geometry. The definitions are carefully motivated, and the examples illustrate the concepts well. The proof of non-rationality of the Fermat cubic is elegant and self-contained, demonstrating the power of algebraic methods. The argumentation is solid, with each step logically justified. The lecturer also connects the material to broader mathematical themes, such as the analogy with Fermat’s Last Theorem and the role of unique factorization.

Scientific Rigor, Source Quality, Title Accuracy

The lecture is based on the standard textbook ‘Algebraic Geometry’ by Robin Hartshorne, which is a reliable source. The mathematical content is rigorous and accurate. The title accurately reflects the content. No external sources are cited in the video or description, but the reliance on Hartshorne is implicit. The lecture is well-structured and the proofs are complete.

149 words

Title / Content Match

The title accurately reflects the content: the lecture covers rational maps and rational functions in algebraic geometry.

Quality & Reliability

9/10

Lecture by a renowned mathematician, rigorous definitions and proofs, based on Hartshorne's textbook. The content is mathematically sound 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 I of this textbook by Robin Hartshorne.

Concurring Sources

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

Contribution & Novelties

The lecture provides a clear and rigorous introduction to rational maps and birational geometry, with a self-contained proof of the non-rationality of the Fermat cubic. The proof using polynomial Fermat’s Last Theorem is elegant and illustrates the power of algebraic methods. The lecture also connects to the concept of genus, which will be developed later.

Pour aller plus loin :

102 words

Radar Profile

The radar profile shows high scores in quality, technical level, and reliability, with a slightly lower score in quantity of information due to the focused scope of the lecture. This indicates a dense, rigorous, and well-structured presentation.

Reliability 9/10