Algebraic Geometry

Lecture course, winter term 2026/27

This course continues the lecture Commutative Algebra. After a short introduction to category theory, we will develop the theory of schemes, including central properties of schemes and morphisms of schemes, as well as quasi-coherent and locally free sheaves. This will lead to the construction of the Grassmannian, which parametrizes the d-dimensional linear subspaces of an n-dimensional vector space.

Time and place

Course materials

Exercises and independent study

For this course, I have developed a format for weekly independent work and tutorials that I call RECAP. The sheets guide students through the first four stages and help them prepare for the final one:

The prompts on the sheets help students prepare for this mathematical conversation; the Present stage itself takes place in the tutorial.

Students may use AI tools while working on the RECAP sheets, and a course-specific AI tutor will be available. It is intended to support exploration, feedback, and preparation, not to replace independent understanding. In the tutorials, students are expected to explain and discuss the mathematics themselves.

Topics

  1. Category theory
  2. Affine schemes and schemes
  3. Properties of schemes and morphisms of schemes
  4. Quasi-coherent and locally free sheaves
  5. The Grassmannian

What is the idea of algebraic geometry?

Algebraic geometry begins with systems of polynomial equations, but its aim is not merely to list their solutions. It studies the geometry carried by those solutions and uses geometric intuition to answer algebraic questions—and conversely.

For example, we think of x2 + y2 = 1 as a circle, not merely as a set of pairs. As in differential geometry, spaces arise locally as zero loci of functions. In algebraic geometry the functions are polynomial, and we allow singularities. The theory of schemes records the additional algebraic information needed to make this viewpoint work over general fields and rings.

Literature

Textbooks in algebraic geometry

More on commutative algebra

Category theory

← Back to teaching