Let $X/k$ be a smooth projective curve over an algebraically closed field $k$ of genus $g$, then when is it that the canonical sheaf $\omega_X$ is very ample, i.e. $\omega_X = i^*\mathcal{O}_{\mathbb{P}^n}(1)$ for some closed immersion $i:X\hookrightarrow\mathbb{P}^n$? My intuition is that this is true for any $g\gg0$, and probably for something like $g\ge 2$ or $g\ge 3$, but I don't immediately see how to prove this. Is Riemann-Roch the correct approach?

  • 1
    $\begingroup$ Have you heard of Hyperelliptic curves? $\endgroup$ – Mohan Apr 25 '17 at 22:24
  • $\begingroup$ Yes. What are you implying? $\endgroup$ – Monstrous Moonshine Apr 25 '17 at 22:25
  • 1
    $\begingroup$ They are typical cases when the canonical bundle is not very ample. $\endgroup$ – Mohan Apr 26 '17 at 2:17
  • $\begingroup$ Oh, ok. Is there any sufficient condition for the canonical divisor being very ample? $\endgroup$ – Monstrous Moonshine Apr 26 '17 at 2:18
  • 2
    $\begingroup$ I don't understand why so much hate in the comments. @Sasha, basically every question can be answered by looking into the appropriate book, so your comment es irrelevant and inappropriate. Plus, this is a site for comments of all levels. Having a constructive answer would be great. $\endgroup$ – Bilateral Jul 9 '18 at 22:15

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.