Schemes 2: Etale spaces

Schemes 2: Etale spaces

🎙 Richard E Borcherds 👥 82K 📅 July 4, 2020 ⏱ 25 min 👁 19K 📄 lecture 🧭 2026-08-17
Available in: English (current) Français

Keywords

sheafpresheafetale spaceepimorphismscheme

Summary

This lecture is part of an online algebraic geometry course on schemes, based on chapter II of Hartshorne’s ‘Algebraic Geometry’. The instructor begins by motivating the use of sheaves through analogies between regular functions on the affine line and integers as functions on the spectrum of Z. He then discusses the category of sheaves and the natural definition of exact sequences, which turns out to be incorrect for surjectivity. Using a circle covering example, he illustrates the difference between local and global surjectivity. To resolve this, he constructs the etale space of a presheaf, defining its fibers as germs of sections and its topology via a basis of open sets. He notes that the etale space can be non-Hausdorff, and promises examples in the next lecture. The lecture is rigorous and assumes familiarity with basic algebraic geometry and topology.

139 words

Critical Evaluation

Value of the Information & Strength of the Argument

The lecture provides valuable insights into the conceptual foundations of sheaf theory, particularly the subtlety of defining epimorphisms. The argumentation is clear and well-motivated, using concrete examples to illustrate abstract concepts. The construction of the etale space is carefully explained, and the instructor highlights important properties without getting bogged down in technical proofs, leaving them as exercises. The value lies in clarifying a common point of confusion and setting the stage for further developments in scheme theory.

Scientific Rigor, Source Quality, Title Accuracy

The lecture is based on a standard reference (Hartshorne’s ‘Algebraic Geometry’), which ensures a high level of rigor. The instructor is a well-known mathematician, adding to the credibility. The title accurately reflects the content, focusing on etale spaces as a preparatory concept. The lecture is well-structured and the mathematical arguments are sound. No external sources are cited beyond the textbook, but the content is self-contained and rigorous.

159 words

Title / Content Match

The title accurately reflects the content, which focuses on the construction and motivation of etale spaces in the context of schemes.

Quality & Reliability

9/10

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

Key Moments

Cited Sources

  • Algebraic Geometry — The course is based on chapter II of this textbook by Robin Hartshorne.

Concurring Sources

  • Algebraic Geometry by Robin Hartshorne — The lecture follows the content of this standard textbook, which is a widely accepted reference.

Contribution & Novelties

This lecture provides a clear and rigorous explanation of why the naive definition of epimorphism of sheaves is incorrect, and introduces the etale space as a solution. It bridges the gap between abstract sheaf theory and geometric intuition. The lecture is particularly valuable for students learning algebraic geometry.

Pour aller plus loin :

  • Sheaf (mathematics) — For a general overview of sheaf theory.
  • Étale space — For more details on the construction and properties.
  • Topos — For the categorical perspective mentioned in the lecture.

84 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 highly specialized and rigorous content, suitable for advanced students.

Reliability 9/10