Available in electronic format
Available in print format
Proceedings of the American Mathematical Society
Proceedings of the American Mathematical Society
ISSN 1088-6826 (e) ISSN 0002-9939 (p)
     

On the normal bundle of submanifolds of $ \mathbb{P}^n$

Author(s): Lucian Badescu
Journal: Proc. Amer. Math. Soc. 136 (2008), 1505-1513.
MSC (2000): Primary 14M07, 14M10; Secondary 14F17
Posted: January 17, 2008
Retrieve article in: PDF DVI PostScript

Abstract | References | Similar articles | Additional information

Abstract: Let $ X$ be a submanifold of dimension $ d\geq 2$ of the complex projective space $ \mathbb{P}^n$. We prove results of the following type.i) If $ X$ is irregular and $ n=2d$, then the normal bundle $ N_{X\vert\mathbb{P}^n}$ is indecomposable. ii) If $ X$ is irregular, $ d\geq 3$ and $ n=2d+1$, then $ N_{X\vert\mathbb{P}^n}$ is not the direct sum of two vector bundles of rank $ \geq 2$. iii) If $ d\geq 3$, $ n=2d-1$ and $ N_{X\vert\mathbb{P}^n}$ is decomposable, then the natural restriction map $ \mathrm{Pic}(\mathbb{P}^n)\to\mathrm{Pic}(X)$ is an isomorphism (and, in particular, if $ X=\mathbb{P}^{d-1}\times\mathbb{P}^1$ is embedded Segre in $ \mathbb{P}^{2d-1}$, then $ N_{X\vert\mathbb{P}^{2d-1}}$ is indecomposable). iv) Let $ n\leq 2d$ and $ d\geq 3$, and assume that $ N_{X\vert\mathbb{P}^n}$ is a direct sum of line bundles; if $ n=2d$ assume furthermore that $ X$ is simply connected and $ \mathscr O_X(1)$ is not divisible in $ \mathrm{Pic}(X)$. Then $ X$ is a complete intersection. These results follow from Theorem 2.1 below together with Le Potier's vanishing theorem. The last statement also uses a criterion of Faltings for complete intersection. In the case when $ n<2d$ this fact was proved by M. Schneider in 1990 in a completely different way.


References:

1.
A. Alzati and G. Ottaviani, A linear bound on the $ t$-normality of codimension two subvarieties of $ \mathbb{P}^n$. J. Reine Angew. Math. 409 (1990), 35-40. MR 1061518 (91g:14047)

2.
L. Bădescu, Projective Geometry and Formal Geometry, Monografie Matematyczne, Vol. 65, Birkhäuser, 2004. MR 2103516 (2005i:14066)

3.
W. Barth, Transplanting cohomology classes in complex-projective space, Amer. J. Math. 92 (1970), 951-967. MR 0287032 (44:4239)

4.
B. Basili and C. Peskine, Décomposition du fibré normal des surfaces lisses de $ \mathbb{P}_4$ et structures doubles sur les solides de $ \mathbb{P}_5$, Duke Math. J. 69 (1993), 87-95. MR 1201692 (94e:14056)

5.
R. Braun, On the normal bundle of Cartier divisors on projective varieties, Arch. der Math. (Basel) 59 (1992), 403-411. MR 1179469 (94g:14022)

6.
L. Ein, Vanishing theorems for varieties of low codimension, in Algebraic Geometry, Sundance, UT, 1986, Lect. Notes in Math. 1311, Springer, 1988, pp. 71-75. MR 951641 (89g:14036)

7.
Ph. Ellia, D. Franco and L. Gruson, Smooth divisors of projective hypersurfaces, arXiv:math.AG/0507409 v2 21 Jul 2005.

8.
G. Ellingsrud, L. Gruson, C. Peskine and S. A. Strø mme, On the normal bundle of curves on smooth projective surfaces, Invent. Math. 80 (1985), 181-184. MR 784536 (86g:14021)

9.
G. Faltings, Algebraisation of some formal vector bundles, Annals of Math. 110 (1979), 501-514. MR 554381 (82e:14011)

10.
G. Faltings, Ein Kriterium für vollständige Durchschnitte, Invent. Math. 62 (1981), 393-401. MR 604835 (82f:14050)

11.
G. Faltings, Verschwindungssätze und Untermannigfaltigkeiten kleiner Kodimension des komplex-projektiven Raumes, J. Reine Angew. Math. 326 (1981), 136-151. MR 622349 (84g:14052)

12.
W. Fulton and J. Hansen, A connectedness theorem for proper varieties with applications to intersections and singularities, Annals of Math. 110 (1979), 159-166. MR 541334 (82i:14010)

13.
A. Grothendieck, Cohomologie Locale des Faisceaux Cohérents et Théorèmes de Lefschetz Locaux et Globaux, North-Holland, Amsterdam, 1968.

14.
S. Guffroy, Lissité du schéma de Hilbert en bas degré, J. Algebra 277 (2004), 520-532. MR 2067616 (2005d:14005)

15.
J. Harris and K. Hulek, On the normal bundle of curves on complete intersection surfaces, Math. Ann. 264 (1983), 129-135. MR 709866 (86j:14030)

16.
R. Hartshorne, Algebraic Geometry, Graduate Texts in Math. 52, Springer, 1977. MR 0463157 (57:3116)

17.
R. Hartshorne, Varieties of small codimension in projective space, Bull. Amer. Math. Soc. 80 (1974), 1017-1032. MR 0384816 (52:5688)

18.
P. Ionescu, Embedded projective varieties of small invariants. III, in Algebraic Geometry (L'Aquila, 1988), Lecture Notes in Math. 1417, Springer, Berlin, 1990, pp. 138-154. MR 1040557 (91e:14014)

19.
S. Kleiman, Toward a numerical theory of ampleness, Annals of Math. 84 (1966), 293-344. MR 0206009 (34:5834)

20.
M. E. Larsen, On the topology of complex projective manifolds, Invent. Math. 19 (1973), 251-260. MR 0318511 (47:7058)

21.
F. Méguin, Triple structures on smooth surfaces of $ \mathbb{P}^4$, C. R. Acad. Sci. Paris Sér. I Math. 323 (1996), No. 10, 1119-1122. MR 1423436 (98c:14041)

22.
Th. Peternell, J. Le Potier and M. Schneider, Vanishing theorems, linear and quadratic normality, Invent. Math. 87 (1987), 573-586. MR 874037 (88d:14031)

23.
J. Le Potier, Annulation de la cohomologie à valeurs dans un fibré vectoriel holomorphe positif de rang quelconque, Math. Ann. 218 (1975), 35-53. MR 0385179 (52:6044)

24.
M. Schneider, Vector bundles and low-codimensional submanifolds of projective space: A problem list, in Topics in Algebra (Warsaw 1988), 209-222, Banach Center Publication 26, Part 2, PWN, Warsaw 1990. MR 1171271 (93e:14024)

25.
M. Schneider and J. Zintl, The theorem of Barth-Lefschetz as a consequence of Le Potier's vanishing theorem, Manuscr. Math. 80 (1993), 259-263. MR 1240648 (94i:14025)


Similar Articles:

Retrieve articles in Proceedings of the American Mathematical Society with MSC (2000): 14M07, 14M10, 14F17

Retrieve articles in all Journals with MSC (2000): 14M07, 14M10, 14F17


Additional Information:

Lucian Badescu
Affiliation: Dipartimento di Matematica, Università degli Studi di Genova, Via Dodecaneso 35, 16146 Genova, Italy
Email: badescu@dima.unige.it

DOI: 10.1090/S0002-9939-08-09255-1
PII: S 0002-9939(08)09255-1
Keywords: Normal bundle, Le Potier's vanishing theorem, subvarieties of small codimension in the projective space.
Received by editor(s): June 19, 2006
Posted: January 17, 2008
Communicated by: Ted Chinburg
Copyright of article: Copyright 2008, American Mathematical Society
The copyright for this article reverts to public domain after 28 years from publication.


  AMS Website Logo Small Comments: webmaster@ams.org
© Copyright 2008, American Mathematical Society
Privacy Statement
Search the AMSPowered by Google