difference of curve classes - MathOverflow most recent 30 from http://mathoverflow.net2013-05-24T08:19:10Zhttp://mathoverflow.net/feeds/question/110615http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/110615/difference-of-curve-classesdifference of curve classesMohammad F.Tehrani2012-10-25T04:15:58Z2012-10-26T20:11:43Z
<p>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 ?</p>
http://mathoverflow.net/questions/110615/difference-of-curve-classes/110620#110620Answer by Mark Gross for difference of curve classesMark Gross2012-10-25T04:59:53Z2012-10-25T04:59:53Z<p>Yes, this is possible. For an example of a Calabi-Yau threefold with such differences of curves, see my paper with Pavanelli <a href="http://arxiv.org/pdf/math/0512182.pdf" rel="nofollow">http://arxiv.org/pdf/math/0512182.pdf</a>. I am sure there are much simpler examples, however.</p>
http://mathoverflow.net/questions/110615/difference-of-curve-classes/110626#110626Answer by Jim Bryan for difference of curve classesJim Bryan2012-10-25T07:47:48Z2012-10-25T07:47:48Z<p>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. </p>
http://mathoverflow.net/questions/110615/difference-of-curve-classes/110629#110629Answer by Philip Engel for difference of curve classesPhilip Engel2012-10-25T08:19:36Z2012-10-26T20:11:43Z<p>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.</p>
<p>ADDED LATER: They may also be chosen to be connected. The Lefschetz hyperplane theorem shows that hyperplane sections of surfaces are connected.</p>