Is the section $df$ associated to a rational function $f$ on a curve $X$ a global section of the canonical sheaf $\omega_X$? I know its zeroes are the ramification points, but does it have poles?
the divisor of a rational function
2
$\begingroup$
algebraic-geometry
riemann-surfaces
algebraic-curves
1 Answers
3
Yes, $df$ is a rational section of $\omega_X$, which one could write rigorously as $df\in \Gamma(X,\omega _X\otimes _{\mathcal O_X} \mathcal K_X)$.
Beware however that not all rational sections of $\omega_X$ are of this form: the simplest example is $\frac {dz}{z}$ on $\mathbb C$ (or on $\mathbb P^1_\mathbb C$) which is not the differential of any rational function.
Edit
Of course if $f$ is not regular (i.e. if $f$ has poles) $df$ will not be a global section of $\omega_X $ : $ df\in \Gamma(X,\omega _X\otimes _{\mathcal O_X} \mathcal K_X)\setminus \Gamma(X,\omega _X)$
For example if $f=\frac {1}{z} $ on $X=\mathbb C$, then $df=-\frac {1}{z^2}dz$ , which is not a section of $\omega _X$ since it has a pole worse than had $f$ !
-
1Dear Theodore: no, they are not. I've added an edit in order to clarify this. – 2012-11-18