2
$\begingroup$

This question refers to the proof of Proposition 2.3/IV in Hartshorne, page 301. Let $R$ be the ramification divisor associated to a finite, separable morphism of curves $f:X \rightarrow Y$. Why is it true that $\Omega_{X/Y} \otimes \Omega_{X}^{-1} = O_R$?

Edited: More specifically the proof starts by tensoring the sequence $0 \rightarrow f^* \Omega_Y \rightarrow \Omega_X \rightarrow \Omega_{X/Y} \rightarrow 0$ with $\Omega_X^{-1}$ and getting $0 \rightarrow f^* \Omega_Y \otimes \Omega_X^{-1} \rightarrow O_X \rightarrow \Omega_{X/Y} \otimes \Omega_X^{-1} \rightarrow 0$. But instead of $\Omega_{X/Y} \otimes \Omega_X^{-1}$ he writes $O_R$. This is what i don't understand.

  • 0
    I don't see where is he making such a claim. It looks that he claims $\mathcal{O}_R \simeq \Omega_{X/Y}$ and $f^*\Omega_Y \otimes \Omega_X^{-1} \simeq \mathcal{L}(-R)$. Am I missing something obvious?2012-12-05
  • 0
    @GiovanniDeGaetano: He tensors the sequence $0 \rightarrow f^* \Omega_Y \rightarrow \Omega_X \rightarrow \Omega_{X/Y} \rightarrow 0$ with $\Omega_X^{-1}$ and he gets $0 \rightarrow f^* \Omega_Y \otimes \Omega_X^{-1} \rightarrow O_X \rightarrow \Omega_{X/Y} \otimes \Omega_X^{-1} \rightarrow 0$. But instead of $\Omega_{X/Y} \otimes \Omega_X^{-1}$ he writes $O_R$. This is what i don't understand.2012-12-05
  • 0
    Ok, I see! Now I understand the question. :) It looks tough, because it seems to be in open contradiction with the claim he makes a few rows above and which I reported. I'm gonna think about it!2012-12-05
  • 0
    @GiovanniDeGaetano: Where is he claiming what you said? I don't see it.2012-12-05
  • 0
    The first claim I cited is in Row 2 of the Proof. The second is in Row 6.2012-12-05
  • 0
    I see. Very interesting but also obscure, at least for me at this point :)2012-12-05
  • 1
    @GiovanniDeGaetano: Is there a possibility that $\Omega_{X/Y} \otimes \Omega_X^{-1} \cong \Omega_{X/Y}$?2012-12-05
  • 0
    @Manos: have you figured this out?2018-02-04
  • 0
    @Manos: I don't have an answer... I found your question because I just asked a similar one. If you've figured this out could you let me know?2018-02-04
  • 0
    @AaronJohnson: I see. To be honest, i have not figured it out yet.2018-02-04

0 Answers 0