Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/iii/paper-118/5/a/solution
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 118 5 a Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-06
This is the Poincaré residue of a meromorphic top form with a simple pole. Write and locally , with a holomorphic -form. The proposed residue is the pullback of to .
First it does not depend on the choice of : if , then at each point the difference has a factor , and its pullback to is zero. Now change the local defining coordinate to , where is a nowhere-zero holomorphic function. Such a factor exists because both coordinates define the same smooth complex analytic hypersurface. If , thenAt points of , this is an equality in the ambient exterior-power fibre, and the last term is zero. It follows that there, so their pullbacks to agree. This also covers changes of the tangential coordinates.
The restrictions are holomorphic top forms on , and their agreement on overlaps makes them a global section of the canonical bundle. Thus the residue is independent of the adapted coordinates:The ambient-fibre comparison is important: pulling an ambient -form directly back to the -dimensional hypersurface would give zero and would not prove the required independence.
New to topics? Read the docs here!