Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2008/iii/paper-25/3/b/solution
Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 25 3 b Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
Use countability of negative curves. A smooth projective surface over is a compact smooth manifold homotopy equivalent to a finite CW complex, so its integral cohomology group is finitely generated and therefore countable. Distinct irreducible curves with cannot have the same cohomology class: that would give , while distinct effective curves have nonnegative intersection multiplicities. Assigning a negative curve its cohomology class is thus injective, proving there are at most countably many negative curves.
For zero self-intersection, uncountable families do occur. On the product of two projective lines , every fiber has self-intersection zero, since a different fiber is disjoint and has the same numerical equivalence of divisors class. The parameter varies over an uncountable set. Thus yes, there can be uncountably many such curves.
New to topics? Read the docs here!