Schemes 30: f* and f *

Value of the Information & Strength of the Argument

The lecture provides a clear and rigorous exposition of the functors f* and f_* for sheaves of modules on schemes. The argumentation is solid, building from the affine case to the general case, and carefully explaining exactness properties and adjointness. The lecturer uses concrete examples, such as the projective line, to illustrate non-exactness. The value lies in its pedagogical clarity and the depth of mathematical content, suitable for advanced students.

Scientific Rigor, Source Quality, Title Accuracy

The lecture is based on the standard textbook by Hartshorne, which is a reliable source. The lecturer explicitly corrects an error, showing scientific rigor. The title accurately reflects the content. The presentation is well-structured and mathematically sound.

The title accurately reflects the content, which focuses on the functors f* and f_* for sheaves of modules.

9/10

The lecture is part of a formal course on algebraic geometry, based on Hartshorne's textbook. The content is mathematically rigorous, with clear definitions and proofs. The author explicitly corrects an error, demonstrating intellectual honesty. The presentation is well-structured and suitable for advanced students.

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

• 00:00Introduction to the lecture and overview of the functors f* and f_*.
• 02:00Affine case: extension and restriction of scalars for modules.
• 05:00Exactness properties: f_* is exact, f* is right exact, and flatness condition.
• 10:00General schemes: f* is left adjoint to f_*, and f_* is only left exact in general.
• 15:00Example of non-exactness on P1 and introduction to derived functors.
• 20:00Extension by zero for open immersions and its non-quasi-coherence.

• Algebraic Geometry — The course is based on Chapter II of this textbook.

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