Relation between the sheaf of relative differentials and the canonical divisor

63 Views Asked by At

Let $\hspace{0.2cm}f:$ $X\longrightarrow Y \hspace{0.2cm}$ be a finite morphism of curves over $K$.
Consider $\hspace{0.2cm}\Omega_{X/K}\hspace{0.2cm}$ and $\hspace{0.2cm}\Omega_{Y/K}\hspace{0.2cm}$ the sheaves of relative differentials: why and in what sense do they represent the canonical divisors of $X$ and $Y$?