English

Projective manifolds containing special curves

Algebraic Geometry 2007-05-23 v1

Abstract

Let YY be a smooth curve embedded in a complex projective manifold XX of dimension n2n\geq 2 with ample normal bundle NYXN_{Y|X}. For every p0p\geq 0 let αp\alpha_p denote the natural restriction maps \Pic(X)\Pic(Y(p))\Pic(X)\to\Pic(Y(p)), where Y(p)Y(p) is the pp-th infinitesimal neighbourhood of YY in XX. First one proves that for every p1p\geq 1 there is an isomorphism of abelian groups \Coker(\grap)\Coker(\gra0)Kp(Y,X)\Coker(\gra_p)\cong\Coker(\gra_0)\oplus K_p(Y,X), where Kp(Y,X)K_p(Y,X) is a quotient of the C\mathbb C-vector space Lp(Y,X):=i=1pH1(Y,Si(NYX))L_p(Y,X):=\bigoplus\limits_{i=1}^p H^1(Y, {\bf S}^i(N_{Y|X})^*) by a free subgroup of Lp(Y,X)L_p(Y,X) of rank strictly less than the Picard number of XX. Then one shows that L1(Y,X)=0L_1(Y,X)=0 if and only if YP1Y\cong\mathbb P^1 and NYXOP1(1)n1N_{Y|X}\cong\mathcal O_{\mathbb P^1}(1)^{\oplus n-1}. The special curves in question are by definition those for which dimCL1(Y,X)=1\dim_{\mathbb C}L_1(Y,X)=1. This equality is closely related with a beautiful classical result of B. Segre. It turns out that YY is special if and only if either YP1Y\cong\mathbb P^1 and NYX\sO\pn1(2)\sO\pn1(1)n2N_{Y|X}\cong\sO_{\pn 1}(2)\oplus\sO_{\pn 1}(1)^{\oplus n-2}, or YY is elliptic and deg(NYX)=1\deg(N_{Y|X})=1. After proving some general results on manifolds of dimension n2n\geq 2 carrying special rational curves (e.g. they form a subclass of the class of rationally connected manifolds which is stable under small projective deformations), a complete birational classification of pairs (X,Y)(X,Y) with XX surface and YY special is given. Finally, one gives several examples of special rational curves in dimension n3n\geq 3.

Keywords

Cite

@article{arxiv.math/0702148,
  title  = {Projective manifolds containing special curves},
  author = {Lucian Badescu and Mauro C. Beltrametti},
  journal= {arXiv preprint arXiv:math/0702148},
  year   = {2007}
}