3
$\begingroup$

Let $\Gamma\subset\mathbb{P}^2$ be a singular plane curve and let us consider $f:C\to\Gamma$ the normalization map. Given $L\in\mathrm{Pic}(\Gamma)$, is it always true that $h^0(\Gamma,L)=h^0(C, f^*L)$? If not, can you exhibit a counterexample?

$\endgroup$
2
  • $\begingroup$ I don't think they are the same. Take a very very ample divisor and consider the associated section rings. The section rings have different proj's. $\endgroup$ Dec 12, 2010 at 15:38
  • $\begingroup$ Karl is right. Also, although this was not your question, it is useful to note that since normalization is a finite morphism, you will have $H^{i}(C,F)≃H^{i}(Γ,f∗F)$ for every quasi-coherent sheaf F on C, in particular when F is a line bundle. $\endgroup$
    – Chris Brav
    Dec 12, 2010 at 20:07

3 Answers 3

6
$\begingroup$

Alternately, for any such $\Gamma$ and $C$, we always have a short exact sequence $$0 \to O_{\Gamma} \to f_* O_C \to F \to 0,$$ where $F$ is a finite length $\mathcal{O}_{\Gamma}$-module supported where $\Gamma$ is non-smooth.

Twisting by a very positive (ie, high multiple of an ample) Cartier divisor $L$ and taking cohomology we get $$ 0 \to H^0(\Gamma, O_{\Gamma}(L)) \to H^0(C, O_{C}(f^*L)) \to H^0(\Gamma, F(L)) \to H^1(\Gamma, O_{\Gamma}(L))$$

Now, $H^0(\Gamma, F(L)) \neq 0$ but $H^1(\Gamma, O_{\Gamma}(L)) = 0$ by Serre vanishing. And so you have a counter-example.

$\endgroup$
1
$\begingroup$

Here is a concrete counterexample.

Let $X$ be a degree $4$ plane curve with a unique node $r \in X$. The normalization $f \colon \tilde{X} \to X$ is a genus $2$ curve, hence hyperelliptic. Let $p, q \in \tilde{X}$ be two points that are conjugate under the hyperelliptic involution and do not map to $r$ under the normalization map. Considering $p$ and $q$ as points of $X$, I claim that the line bundle $\mathcal{L} := \mathcal{O}_{X}(p+q)$ has the desired properties. Indeed, I claim that we have $h^{0}(X, \mathcal{L})=1$, but $h^{0}(\tilde{X}, f^{*}(\mathcal{L}))=2$.

For the second equality, just observe that the line bundle $f^{*}(\mathcal{L})$ is just the line bundle associated to a Cartier divisor given by a conjugate pair of points. In other words, this line bundle is the pullback of $\mathcal{O}(1)$ on $\mathbb{P}^1$ under the degree $2$ map $\tilde{X} \to \mathbb{P}^1$. This has a $2$-dimensional space of global sections, coming from the global sections over $\mathbb{P}^1$.

The first equality can be seen using Riemann-Roch. Examining the Riemann-Roch formula, we see this equality is equivalent to the equality $h^{0}(X, \omega(-p-q))=1$, where $\omega$ is the dualizing sheaf. But $\omega$ is just the restriction of $\mathcal{O}(1)$ on $\mathbb{P}^2$ (adjunction!), so the vector space in question is just homogeneous polynomials in $X, Y, Z$ of degree $1$ that vanish at two distinct points. Linear algebra shows that this is a $1$-dimensional space.

$\endgroup$
1
$\begingroup$

A trivial counterexample is given by a reducible plane curve, and the structure sheaf.

Here's another hands on attempt for an irreducible curve. Think of a line bundle on Gamma as obtained from a line bundle on C, by identifying the fibers over identified points of C, via a non zero scalar multiple. Then starting from the trivial line bundle on C, we can identify the fibers over two distinct points which are identified on Gamma, by multiplication say by 2.

then the resulting line bundle on Gamma pulls back to the trivial bundle on C, all of whose sections are constant. But no non zero constant section of the trivial bundle on C can glue together by multiplication by 2, to give a section on Gamma.

Thus there are non trivial line bundles on Gamma with no non zero sections, but whose pull backs to C are the trivial bundle with non zero constant sections.

This should be essentially the same as the long exact sequence answer above.

It is precisely the existence of such non trivial bundles on say a nodal Gamma that pull back to trivial bundles on C that give rise to the structure of the jacobian of C as an "extension" of the Jacobian of Gamma, by copies of the multiplicative group of the scalar field.

I hope this is ok. One could consult Serre's Algebraic groups and class fields, for a discussion of generalized Jacobians on irreducible singular curves, in terms of their normalizations.

$\endgroup$
4
  • $\begingroup$ Dear roy smith: I am a bit confused. In the notation of ginevra86, isn't $f^{*}(\mathcal{O}_{\Gamma}) = \mathcal{O}_{C}$. I think both $\mathcal{O}_{C}$ and $\mathcal{O}_{\Gamma}$ have a $1$-dimensional space of global sections, at least $\Gamma$ is irreducible. $\endgroup$
    – jlk
    Dec 12, 2010 at 19:33
  • $\begingroup$ Perhaps your example is an example where $\mathcal{L}$ and $f^{-1}(\mathcal{L})$ (inverse image sheaf; before tensoring with $\mathcal{O}_{C}$) have different spaces of global sections. $\endgroup$
    – jlk
    Dec 12, 2010 at 19:36
  • $\begingroup$ You are right. I confused local and global sections. After realizing this I changed it to your example. $\endgroup$
    – roy smith
    Dec 12, 2010 at 19:36
  • $\begingroup$ and added another. $\endgroup$
    – roy smith
    Dec 12, 2010 at 20:36

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.