7
$\begingroup$

Suppose $C$ is an integral nodal curve with one node. It is claimed in the arxiv version of a paper by Bogomolov, Hassett, Tschinkel that the dualizing sheaf and the sheaf of differentials are related by the formula $$\Omega_C \simeq \omega_C \otimes I_p,$$ where $I_p$ is the ideal sheaf of a node: (see p.10). Is this true? I was under the impression that $\Omega_C$ has torsion at the point $p$, and that there was an exact sequence $$ 0 \to T \to \Omega_C \to \mu_* \omega_{C'} \to 0,$$ where $\mu: C' \to C$ is the normalization morphism and $T$ is a sky-scraper sheaf supported at $p$ (proof: argue locally analytically and assume $C$ is given by $st=0$). Yet we have $\mu_* \omega_{C'} \simeq \omega_C \otimes I_p$, so this would appear to be a contradiction.

What am I doing wrong?

Improve this question
$\endgroup$
5
  • $\begingroup$ hey you should check the related questions! look at this: mathoverflow.net/questions/58559/… $\endgroup$
    – IMeasy
    Jul 6, 2013 at 12:22
  • $\begingroup$ Admittedly the title is unfortunately the same. But as far as I can tell the question is completely different! I want to know if the sheaf of Kaehler differentials is torsion free for an integral curve, and if the formula $\Omega_C \simeq \omega_c \otimes I_p$ is really true. The related question was about how to define the line bundle $\omega_C$. My question is perhaps more about the Kaehler differentials than the dualizing sheaf (and I have now changed the title!). $\endgroup$
    – mkemeny
    Jul 6, 2013 at 17:10
  • $\begingroup$ You are right that Kaehler differential sheaf has torsion. I also do not understand their formula. What is ideal sheaf here? $\endgroup$
    – Alexander Chervov
    Jul 6, 2013 at 17:43
  • $\begingroup$ I think everything is explained by the fact that your exact sequence is backwards. There is an exact sequence $0\rightarrow I_p\rightarrow \mathcal{O}\rightarrow T\rightarrow 0$ which when you tensor with $\Omega_C$ gives the result. $\endgroup$
    – Philip Engel
    Jul 7, 2013 at 14:24
  • 1
    $\begingroup$ @PhilipEngel: My exact sequence should be in the correct order. $T_p$ is a subsheaf of $\Omega_p$, generated by the torsion form $tds$. See the discussion in the comments below. $\endgroup$
    – mkemeny
    Jul 7, 2013 at 14:46

1 Answer 1

Reset to default
2
$\begingroup$

As said the OP in the comments, in $\widehat{O}_{C,p}$, the canonical map $\Omega^1\to \omega$ has a kernel $T$, isomorphic to the vector space generated by $sdt$. As $O_{C,p}\to \widehat{O}_{C,p}$ is flat, this implies that in $O_C$, the kernel of the canonical map $\Omega^1_C\to\omega_{C}$ is a vector space of dimension $1$.

On the other hands, the computations in the comments show that the image of $\Omega^1_C\to\omega$ is $\omega\otimes I_p\simeq I_p\omega$.

Edit. A concrete example with the integral nodal curve defined by $y^2=x^2(x+1)$. The differential form $(3x+2)ydx-2x(x+1)dy$ is killed by $x$ and is non-zero.

Improve this answer
$\endgroup$
6
  • $\begingroup$ Can you comment what the authors of paper mean by ideal sheaves of node ? $\endgroup$
    – Alexander Chervov
    Jul 7, 2013 at 9:53
  • $\begingroup$ @AlexanderChervov: it is the $m_p$ in my answer above. The stalk $\omega_p$ is generated by $ds/s$, and $\Omega$ is generated by $ds=s.(ds/s)$ and $dt=-t.(ds/s)$, so $\Omega_p=(s,t)\omega_p=m_p \omega_p$. $\endgroup$
    – user36560
    Jul 7, 2013 at 10:40
  • $\begingroup$ Locally anaytically about $p$, $T_p$ is generated by the torsion differential $tds$. Since we have $st=0$ this cannot be a multiple of $ds/s$, so $\Omega_p \neq m_p\omega_p$, at least in the analytic case. $\endgroup$
    – mkemeny
    Jul 7, 2013 at 10:59
  • $\begingroup$ is it isomorphic as a module to functions on normalizations ? $\endgroup$
    – Alexander Chervov
    Jul 7, 2013 at 12:10
  • $\begingroup$ @mkemeny: you are right. I will edit my answer. $\endgroup$
    – user36560
    Jul 7, 2013 at 13:31

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.