Suppose you have a curve $C$ such that deg$K\_C =0$ and $\Gamma(C,\Omega\_C^1) \neq 0$. Does this automatically imply that $\vartheta\_C \equiv \Omega\_C^1$? My thought is yes, I've seen a proposition (Stanford AG course notes) that $\vartheta\_C \equiv \Omega\_C^1$ for a nonsingular plane cubic, but the proof is done in a particular case, and I must think there is easier way to show this. In particular, what is the morphism?


Thank you, just trying to make sense of this concept.



Sheaf isomorphism. 
On a complete nonsingular curve over an algebraically closed field, a line bundle of degree zero with a global section is necessarily the trivial bundle. This is lemma IV.1.2 in Hartshorne's *Algebraic Geometry*: if $\mathrm{deg} D = 0$ and $\mathcal{L} = O\_C(D)$ has a global section, then $D$ is linearly equivalent to an effective divisor $E$ of the same degree; but the only effective divisor of degree zero is the zero divisor. Hence $\mathcal{L} \cong \mathcal{O}\_C(E) = \mathcal{O}\_C$.


