Duration of the online course: 38 hours and 5 minutes
New
Build deep algebra skills with a free online course in algebraic geometry—curves, projective space, schemes, and morphisms, with exercises and certificate-ready learning.
In this free course, learn about
Birational parametrizations and rational maps; why rational maps need a separate framework
Intersection theory basics: Bézout (with multiplicities/points at infinity) and degree computations
Affine varieties, ideals, Zariski topology; Noetherian spaces and dimension theory
Nullstellensatz (weak/strong), maximal ideals over alg. closed fields, and ideal–variety correspondences
Primary decomposition: primary ideals and the Lasker–Noether theorem (statement and proof ideas)
Quotients by group actions: invariants, Hilbert finiteness, and explicit quotient examples
Algebraic geometry is where equations become shapes and algebra becomes a tool for seeing hidden structure. This free online course guides you from classical plane curves to the modern language of varieties and schemes, helping you develop the kind of mathematical maturity that supports advanced study in algebra, number theory, and geometry. Along the way, you train yourself to move comfortably between geometric intuition and the precise algebra that controls it: ideals, coordinate rings, maps, and the way they encode spaces.
You begin with concrete problems that motivate the subject: parametrizing curves, understanding intersections, and working in projective space where points at infinity clarify what affine pictures miss. As the viewpoint widens, you learn how the Zariski topology organizes algebraic sets, why Noetherian conditions matter, and how Hilbert’s Nullstellensatz connects geometry over algebraically closed fields with the algebra of polynomial rings. These ideas are not treated as isolated facts; they gradually become a framework you can actually use to reason about dimension, regular functions, and morphisms between varieties.
A key strength of the course is the steady transition from classical algebraic geometry to tools that power contemporary research. You explore quotients by group actions and invariants, projective constructions like Grassmannians and bundles, and geometric operations such as blowups, resolutions, and flops that explain how spaces change under controlled modifications. Singularities are treated as objects you can diagnose and study via tangent spaces and local algebra, building an instinct for what goes wrong and how geometry repairs it.
The second half introduces schemes and sheaves, providing the unifying language needed to make sense of localization, gluing, Spec and Proj, and morphisms at a level that supports further coursework. You will see how properties like separatedness and properness fit naturally into the theory, and how divisors, line bundles, and the Picard group capture subtle geometric information. Exercises throughout encourage active understanding, so that you finish not only able to follow definitions, but also able to compute, explain, and apply the core ideas with confidence.
Course content
Video class: Algebraic geometry 1 Introduction20m
Exercise: Birational parametrization of the unit circle via projection from -1,0
Video class: Algebraic geometry 2 Two cubic curves.21m
Video class: algebraic geometry 3 Bezout, Pappus, Pascal21m
Exercise: In projective algebraic geometry, for two plane curves of degrees m and n over an algebraically closed field, counting multiplicities and points at infinity and assuming no common components, how many intersection points do they have?
Video class: algebraic geometry 4 Kakeya sets18m
Video class: algebraic geometry 5 Affine space and the Zariski topology23m
Exercise: Closed sets in the Zariski topology on A^1 over an infinite field
Video class: algebraic geometry 6 Noetherian spaces22m
Video class: algebraic geometry 7 weak nullstellensatz19m
Exercise: Maximal ideals in k[x1,...,xn] over an algebraically closed field
Video class: algebraic geometry 8 strong nullstellensatz23m
Video class: algebraic geometry 9 The Lasker Noether theorem13m
Exercise: Defining property of a primary ideal
Video class: algebraic geometry 10 Proof of the Lasker Noether theorem11m
Video class: algebraic geometry 11 Quotients of varieties by groups15m
Exercise: Constructing affine quotients via invariants
Video class: algebraic geometry 12 Hilbert's finiteness theorem23m
Video class: algebraic geometry 13 Three examples of quotients20m
Exercise: Invariants under a cyclic group action on the affine plane
Video class: algebraic geometry 14 Dimension23m
Video class: algebraic geometry 15 Projective space20m
Exercise: What is the correct definition of projective n-space over a field K?
Video class: algebraic geometry 16 Desargues's theorem14m
Video class: algebraic geometry 17 Affine and projective varieties31m
Exercise: Ideal correspondence for projective algebraic subsets
Video class: algebraic geometry 18 Products of varieties18m
Video class: algebraic geometry 19 The Veronese surface and the variety of lines in space24m
Exercise: What is the dimension of the Grassmannian of lines in P^3?
Video class: algebraic geometry 20 Grassmannians23m
Video class: algebraic geometry 21 Projective space bundles21m
Exercise: Gluing two affine lines to obtain P^1: which transition map is correct?
Video class: algebraic geometry 22 Toric varieties24m
Video class: algebraic geometry 23 Categories15m
Exercise: Direction of morphisms between affine varieties and coordinate rings
Video class: algebraic geometry 24 Regular functions24m
Video class: algebraic geometry 25 Morphisms of varieties18m
Exercise: Defining morphisms of varieties via pullback of regular functions
Video class: algebraic geometry 26 Affine algebraic sets and commutative rings24m
Video class: algebraic geometry 27 The twisted cubic15m
Exercise: Why is A^2 minus the origin not affine?
Video class: algebraic geometry 28 Products of projective varieties11m
Video class: algebraic geometry 29 Automorphisms of space17m
Exercise: Automorphisms of the projective line P1 over a field K
Video class: algebraic geometry 30 The Ax Grothendieck theorem20m
Video class: algebraic geometry 31 Rational maps21m
Exercise: Why do rational maps not form a category, and how is this fixed?
Video class: algebraic geometry 32 Elliptic functions and cubic curves19m
Video class: algebraic geometry 33 Rationality of cubic surfaces23m
Exercise: Lines on a smooth cubic surface
Video class: algebraic geometry 34 Blowing up a point23m
Video class: algebraic geometry 35 More on blow ups22m
Exercise: Topological type of the blow up of R2 at the origin
Video class: algebraic geometry 36 The Atiyah flop12m
Video class: Algebraic geometry 37: Singular points (replacement video))20m
Exercise: Which condition characterizes a singular point p on a hypersurface V defined by f = 0 in affine space?
Video class: Algebraic geometry 38: The Zariski tangent space (replacement)22m
Video class: algebraic geometry 39 Du Val singularities19m
Exercise: Identify the Du Val singularity type of x^2 + y^3 + z^5 = 0
Video class: algebraic geometry 40 Examples of resolutions22m
Video class: Algebraic geometry 41: Completions19m
Exercise: Lifting factorizations via Hensel lemma in complete local rings
Video class: Algebraic geometry 42: Resultants14m
Video class: Algebraic geometry 43: Proper maps25m
Exercise: Why is the projection P1 × A^m → A^m a closed map?
Video class: Algebraic geometry 44: Survey of curves25m
Video class: Algebraic geometry 45: Hurwitz curves17m
Exercise: Which triple of cone point orders makes the orbifold Euler characteristic closest to zero negative for a sphere with three conical points?
Video class: Algebraic geometry 46: Examples of Hurwitz curves13m
Video class: Algebraic geometry 47: Resolution of curve singularities21m
Exercise: Why is characteristic 0 essential in the blowup algorithm for resolving plane curve singularities?
Video class: Algebraic geometry 48: Newton's rotating ruler23m
Video class: Algebraic geometry 49: Hilbert polynomials15m
Exercise: Hilbert series and eventual polynomiality for standard graded modules
Video class: Algebraic geometry 50: The degree of a projective variety19m
Video class: Algebraic geometry 51: Bezout's theorem34m
Exercise: Correcting the naive Bezout statement for plane curves
Video class: Schemes 1: Introduction28m
Video class: Schemes 2: Etale spaces25m
Exercise: Proper notion of surjectivity in exact sequences of sheaves
Video class: Schemes 3: exactness and sheaves24m
Video class: Schemes 4: f * and f^ 122m
Exercise: Adjunction and exactness of sheaf functors under a continuous map
Video class: Schemes 5: Definition of a scheme30m
Video class: Schemes 6: The spectrums of C[x,y], Z[x]21m
Exercise: Identify the correct local ring description on Spec k[x,y]
Video class: Schemes 7: More examples of Spec R19m
Video class: Schemes 8: Localization23m
Exercise: Kernel of the localization map R into R S^-1
Video class: Schemes 9: Spec R is a locally ringed space27m
Video class: Schemes 10: Morphisms of affine schemes26m
Exercise: Extra condition defining morphisms of locally ringed spaces
Video class: Schemes 11: Gluing schemes32m
Video class: Schemes 12: Proj S28m
Exercise: What are the points of Proj(S) for a graded ring S = ⊕_{n≥0} S_n?
Video class: Schemes 13: The functor of points28m
Video class: Schemes 14: Irreducible, reduced, integral, connected31m
Exercise: Characterizing connectedness of Spec R
Video class: Schemes 15: Quasicompact, Noetherian26m
Video class: Schemes 16: Morphisms of finite type23m
Exercise: Characterizing morphisms of finite type
Video class: Schemes 17: Finite, quasifinite20m
Video class: Schemes 18: Immersions24m
Exercise: Which property can fail for an open immersion in the non Noetherian setting?
Video class: Schemes 19: Products25m
Video class: Schemes 20: Group schemes23m
Exercise: Comultiplication for the additive group scheme G_a
Video class: Schemes 21: Separated morphisms23m
Video class: Schemes 22: Valuation rings24m
Exercise: What does Spec of a discrete valuation ring look like?
Video class: Schemes 23: Valuations and separation29m
Video class: Schemes 24: Proper morphisms16m
Exercise: Which condition characterizes a proper morphism of schemes?
Video class: Schemes 25: Proper morphisms and valuations13m
Video class: Schemes 26: Abstract and projective varieties15m
Exercise: Which statement about complete versus projective varieties is correct?
Video class: Schemes 27: Quasicoherent sheaves27m
Video class: Schemes 28: Examples of quasicoherent sheaves30m
Exercise: Support and stalks of the sheaf from R modulo f on the affine plane
Video class: Schemes 29: Invertible sheaves over the projective line31m
Video class: Schemes 30: f* and f *21m
Exercise: Adjunction and exactness for pushforward and pullback of quasi-coherent sheaves
Video class: Schemes 31: Coherent sheaves31m
Video class: Schemes 32: The line bundles O(n) on projective space28m
Exercise: Dimension of global sections of O(2) on projective plane
Video class: Schemes 33: Vector bundles on the projective line26m
Video class: Schemes 34: Coherent sheaves on projective space27m
Exercise: Coherent sheaves on projective space and the sheafification of Gamma_* F
Video class: Schemes 35: Divisors on a Riemann surface29m
Video class: Schemes 36: Weil and Cartier divisors22m
Exercise: Definition of Weil divisor on a Noetherian integral scheme
Video class: Schemes 37: Comparison of Weil and Cartier divisors26m
Video class: Schemes 38: Comparison of Cartier divisors and Pic25m
Exercise: Picard group of projective space
Video class: Schemes 39: Divisors and Dedekind domains26m
Video class: Schemes 40: Examples of PicX24m
Exercise: Rank of the Picard group of a smooth cubic surface in P^3
Video class: Schemes 41: Morphisms to projective space31m
Video class: Schemes 42: Very ample sheaves25m
Exercise: When do sections give a closed immersion into projective space?
Video class: Schemes 43: Linear systems24m
Video class: Schemes 44: Proj (S)23m
Exercise: Which construction yields a P^1-bundle over a scheme X from a rank-2 locally free sheaf E?
Video class: Schemes 45: Blowing up schemes23m
Video class: Schemes 46: Differential operators33m
Exercise: Which construction realizes the universal normalized first-order A-linear differential operator from B, i.e., the module of differentials for an A-algebra B?
Video class: Schemes 47: Cotangent bundle24m
Video class: Schemes 48: The canonical sheaf37m
Exercise: Canonical sheaf of a smooth hypersurface in projective space