Let $k$ be a field, $C$ a smooth complete $k$- curve, $J$ its Jacobian variety, $P \in C(k)$ a rational point, $f : C \to J$ the morphism associated with $P$. Then does $f$ induce an isomorphism $\Gamma(J, \Omega) \to \Gamma(C, \Omega)$?

This is trivial if $k = \mathbb{C}$. But I can't show this algebraically.

A text says that $\require{AMScd}$ \begin{CD} \Gamma(J, \Omega_J) @>{f^*}>> \Gamma(C, \Omega_C)\\ @V{h}VV @V{i}VV\\ T_{J,0}^\vee @>{j^\vee}>> H^1(C,\mathscr{O}_C)^\vee \end{CD} is commutative. ($j$ is the canonical isomorphism, $h$ is the evaluation map at $0$, and $i$ is the Serre's dual, which are all isomorphisms.) I know explicitly what the canonical isomorphism $T_{J,0} \to H^1(C, \mathscr{O}_C)$ is, however, I can't show the commutativity. And I think showing it is very complicated, because this diagram involves the Serre's dual isomoprhism, and because $j$ is already complicated.

So if there is, please show it without using this diagram.

I believe that this is no very difficult (although I can't) and there is a proof without using this diagram, because in Silverman's "Diophantine Geometry: an introduction", the author suggest this as an exercise. (I think this book is easier than my text, because this does not use scheme-theoritic language, and so of course does not use the Serre duality.)

Thank you very much!