Skip to main content
2 of 2
deleted 2 characters in body
abx
  • 38k
  • 3
  • 86
  • 146

I think what you mean is a regular section of $\Omega ^1_C(\log S)$, that is, a rational 1-form $\omega $ which is regular outside $S$ and has a simple pole at each point of $S$. Consider the exact sequence of sheaves $$0\rightarrow \Omega ^1_C\rightarrow \Omega ^1_C(\log S)\rightarrow \oplus_{s\in S}\ k(s)\rightarrow 0$$ and the associated cohomology sequence $$H^0(C,\Omega ^1_C(\log S))\stackrel{\mathrm{Res}}{\longrightarrow} k^S\stackrel{\partial}{\longrightarrow} H^1(C,\Omega ^1_C)\cong k\rightarrow 0\ .$$ It is easy to see that $\partial$ is just the sum map, so given $(r_s)\in k^S$, there exists a form $\omega \in H^0(C,\Omega ^1_C(\log S))$ with residue $r_s$ at $s$ if and only if $\sum r_s=0$. In particular there always exists such a form with all residues $\neq 0$, except when $\# S=1$.

If $C=\mathbb{P}^1$ and $S=\{s_1,\ldots ,s_n\} \subset \mathbb{C}$, just take $\omega =\sum_s \dfrac{r_s\,dz}{z-s} $; it has the required residues, and the condition $\sum r_s=0$ ensures that $\omega $ is regular at $\infty$.

abx
  • 38k
  • 3
  • 86
  • 146