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
    Commented 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
    Commented 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
    Commented 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
    Commented 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
    Commented 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
    Commented 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
    Commented 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
    Commented Jul 7, 2013 at 10:59
  • $\begingroup$ is it isomorphic as a module to functions on normalizations ? $\endgroup$
    – Alexander Chervov
    Commented Jul 7, 2013 at 12:10
  • $\begingroup$ @mkemeny: you are right. I will edit my answer. $\endgroup$
    – user36560
    Commented Jul 7, 2013 at 13:31

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .