The exact sequence
$$
0\longrightarrow\mathcal O_X^*\longrightarrow\mathcal K_X^*
\longrightarrow\mathcal K_X^*/\mathcal O_X^*\longrightarrow0
$$
induces a <long exact sequence in sheaf cohomology>. Under $H^0(\mathcal K_X^*/\mathcal O_X^*)=\operatorname{Div}(X)$ and $H^1(\mathcal O_X^*)=\operatorname{Pic}(X)$, its <connecting homomorphism> is the <divisor-to-Picard map> $D\mapsto\mathcal O(D)$. Exactness identifies its kernel with divisors of global nonzero <meromorphic functions>, namely <principal divisors>:
$$
\boxed{\ker(\operatorname{Div}(X)\to\operatorname{Pic}(X))=\operatorname{Prin}(X).}
$$

Solution

Past exam of the mathematics course of the University of Cambridge / 2019 / iii / Paper 118 / 3 / b / Solution

 Solution

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