Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/iii/paper-118/2/b/solution

Let be the additive sheaf of complex-valued smooth functions, and its multiplicative sheaf of nowhere-zero functions. The smooth exponential sequence is
Its kernel is the integer-valued locally constant functions, namely the integer constant sheaf. It is surjective on stalks because a nowhere-zero smooth function has a smooth logarithm on a sufficiently small neighbourhood.
The additive smooth-function sheaf is a fine sheaf, using a partition of unity, and the smooth manifold is a paracompact space. Its positive-degree sheaf cohomology vanishes. The long exact sequence in sheaf cohomology consequently gives an isomorphism
To connect this with bundles, trivialize a smooth complex line bundle over an open cover. Its transition functions form a multiplicative Čech cocycle, satisfying . Changing trivializations changes it by a Čech coboundary. Conversely, any such cocycle glues trivial line bundles, and cohomologous cocycles give isomorphic bundles. Thus the isomorphism classes are .
The connecting isomorphism is the First Chern class. Locally choose logarithms ; on triple intersections
represents that class. Combining the gluing classification with gives the requested bijection:

New to topics? Read the docs here!