Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/iii/paper-118/5/a/solution

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 , then
At 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!