Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2006/iii/paper-16/6/a/solution
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 16 6 a Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
Choose an orientation for each curve and let . The algebraic intersection number of curves on an oriented surface gives a nondegenerate alternating bilinear form on the -dimensional space , by Poincare duality. Distinct curves are disjoint, so their intersection numbers are zero; each self-pairing is zero by alternation. Thus the span is an isotropic subspace of a symplectic vector space. The assumed linear independence gives .
Nondegeneracy identifies with its dual. Restricting functionals to is surjective, so the symplectic orthogonal complement has dimension . Isotropy says , giving . HenceThe bound is sharp: one meridian on each handle of a genus- surface gives pairwise disjoint curves with independent homology classes. This is an algebraic bound on independent classes, not on the number of disjoint separating or mutually homologous curves.
New to topics? Read the docs here!