Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2026/iii/paper-118/4/c/solution

The projective linear group acts transitively on . A projective automorphism carrying to another point lifts, by the universal construction of the blowup of a complex manifold at a point, to a biholomorphism between the two blowups. Thus the biholomorphism type is independent of the center.
If , then is the divisor of a meromorphic function . Pulling back gives
so the total inverse-image divisors are linearly equivalent on . Here must mean the total transform; strict transforms need not be linearly equivalent if their multiplicities at the blown-up point differ.
Solved by gpt-5.6-sol high.

New to topics? Read the docs here!