1
$\begingroup$

Let $X$ be a smooth protective variety, or just a smooth Kahler manifold. Is it possible to have two curves $C_1$ and $C_2$ in $X$ such that their difference in $H_2(X,\mathbb{Z})$ is a non-trivial torsion class ?

$\endgroup$
0

3 Answers 3

4
$\begingroup$

Yes, this is possible. For an example of a Calabi-Yau threefold with such differences of curves, see my paper with Pavanelli http://arxiv.org/pdf/math/0512182.pdf. I am sure there are much simpler examples, however.

$\endgroup$
2
  • $\begingroup$ Thanks Mark, and do these two homology classes have non-trivial GW invariants? I am asking this just for curiosity. $\endgroup$ Oct 25, 2012 at 14:59
  • $\begingroup$ Yes, they do. This Calabi-Yau is a small resolution of a (2,2,2,2) complete intersection in ${\bf P}^7$, and the curves in question are exceptional curves for this small resolution. Each such curve contributes $1$ to the Gromov-Witten invariants of its homology class. $\endgroup$
    – Mark Gross
    Oct 25, 2012 at 15:48
3
$\begingroup$

This is off the top of my head, but I think that the canonical class of the Enriques surface is a torsion class given by the difference of curves. Every Enriques surface is obtained from a rational elliptic surface by performing log-transforms on two of the elliptic fibers. The class $F_1 + F_2 - F$, where $F_i$ are the transformed fibers and $F$ is a generic fiber, is then 2-torsion.

$\endgroup$
1
$\begingroup$

Every divisor class $D$ on a surface is the difference of two smooth, connected curves. Choose a very ample divisor $A$ and an $n$ so that $D+nA$ is also very ample. Then $(D+nA)-nA=D$ so $D$ is the difference of two curves. They may be chosen smoothly by Bertini's Theorem.

ADDED LATER: They may also be chosen to be connected. The Lefschetz hyperplane theorem shows that hyperplane sections of surfaces are connected.

$\endgroup$
6
  • $\begingroup$ It seems to me that your $S'$ is just the product $Y\times E$. To get multiple fibers you have to make some more complicated construction. $\endgroup$
    – rita
    Oct 25, 2012 at 10:38
  • $\begingroup$ Yeah, dunno what I was thinking... I totally just got it backwards. $\endgroup$ Oct 25, 2012 at 11:11
  • $\begingroup$ In dim>1, an ample divisor is always connected. This follows by Lefschetz theorem. $\endgroup$
    – Henri
    Oct 25, 2012 at 15:53
  • $\begingroup$ what is torsion here! $\endgroup$ Oct 29, 2012 at 3:02
  • $\begingroup$ This works whether or not $D$ is torsion, for any $(1,1)$-class in $H^2(X,\mathbb{Z})$. $\endgroup$ Nov 1, 2012 at 3:25

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.