0
$\begingroup$

Suppose $X=C_1\cup C_2\dots\cup C_N$, be a reduced but reducible curve, and $C_i$'s are $\mathbb{P}^1$. Then I think it is well known that every torsion free sheaf $\mathcal{F}$ with pure dimension one (which means that the support of all of the subsheaves of $\mathcal{F}$ has dimension 1), can be defined in a short exact sequence as,

$$0\rightarrow \mathcal{F}\rightarrow\mathcal{F}_{C_1}\oplus\mathcal{F}_{C_2}\oplus\dots\oplus\mathcal{F}_{C_N}\rightarrow T\rightarrow 0$$

where $T$ is a torsion sheaf supported on the intersection of $C_i$'s, and $\mathcal{F}_{C_i} = \mathcal{F}|_{C_i}/$torsion .

Then my question is if we have another pure dimension one sheaf $\mathcal{G}$, can I write the following short exact sequence?

$$0\rightarrow \mathcal{F}\otimes\mathcal{G} \rightarrow(\mathcal{F}\otimes\mathcal{G})_{C_1}\oplus(\mathcal{F}\otimes\mathcal{G})_{C_2}\oplus\dots\oplus(\mathcal{F}\otimes\mathcal{G})_{C_N}\rightarrow T\rightarrow 0$$

where $(\mathcal{F}\otimes\mathcal{G})_{C_i}$ is simply $\mathcal{F}_{C_i}\otimes\mathcal{G}_{C_i}$. In other words, is the following equality correct?

$$\mathcal{F}|_{C_i}/torsion \otimes \mathcal{G}|_{C_i}/torsion = (\mathcal{F}\otimes\mathcal{G})|_{C_i}/torsion$$

$\endgroup$
1
  • 3
    $\begingroup$ No. For one thing, $\mathcal{F}\otimes \mathcal{G}$ may have torsion. $\endgroup$
    – abx
    Sep 4, 2018 at 4:02

1 Answer 1

1
$\begingroup$

@Sasha I think that in your example (two lines meeting transversally at one point) we have $T=0$. I think that the first exact sequence is valid for every torsion free sheaf, if the components of $X$ meet transversally and there are only double points.

@Mohsen Karkheiran
Maybe you could first see what happens in intersection points (suppose only ordinary double points). Suppose $P\in C_1\cap C_2$. Then $\mathcal{F}_P$ is isomorphic to either $\mathcal{O}_{C_1,P}\oplus\mathcal{O}_{C_2,P}$ or $\mathcal{O}_{X,P}$, and the same for $\mathcal{G}$. You can then look what happens in each of the 4 cases.

$\endgroup$
3
  • $\begingroup$ I can refer to this paper arxiv.org/abs/math/0410393, right before Proposition 2.3, the author mentions that if X is projective, and $C_i$ are the irreducible components then (taken from a paper or book by Seshadri) the representation exists. Unfortunately, I don't have access to the reference by Seshadri to read the proof... $\endgroup$ Sep 4, 2018 at 13:50
  • $\begingroup$ The specific example I have in mind is genus 1 reducible curve. Specially $I_N$ $\endgroup$ Sep 4, 2018 at 13:54
  • $\begingroup$ @Hephaistos: You are right. $\endgroup$
    – Sasha
    Sep 6, 2018 at 8:06

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.