The tangent-normal <short exact sequence>
$$
0\longrightarrow TY\longrightarrow TX|_Y\longrightarrow N_{Y/X}\longrightarrow0
$$
gives $\det(TX|_Y)\cong\det(TY)\otimes N_{Y/X}$. Dualizing and using the <canonical bundle>,
$$
K_X|_Y\cong K_Y\otimes N_{Y/X}^*.
$$
Since $N_{Y/X}\cong\mathcal O(Y)|_Y$, rearrangement proves the <Adjunction formula>
$$
\boxed{K_Y\cong(K_X\otimes\mathcal O(Y))|_Y.}
$$

Solution

Past exam of the mathematics course of the University of Cambridge / 2019 / iii / Paper 118 / 1 / d / Solution

 Solution

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