On the normal bundle of submanifolds of $\mathbb P^n$
HTML articles powered by AMS MathViewer
- by Lucian Bădescu PDF
- Proc. Amer. Math. Soc. 136 (2008), 1505-1513 Request permission
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|\mathbb P^n}$ is indecomposable. ii) If $X$ is irregular, $d\geq 3$ and $n=2d+1$, then $N_{X|\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|\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|\mathbb P^{2d-1}}$ is indecomposable). iv) Let $n\leq 2d$ and $d\geq 3$, and assume that $N_{X|\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
- A. Alzati and G. Ottaviani, A linear bound on the $t$-normality of codimension two subvarieties of $\mathbf P^n$, J. Reine Angew. Math. 409 (1990), 35–40. MR 1061518
- Lucian Bădescu, Projective geometry and formal geometry, Instytut Matematyczny Polskiej Akademii Nauk. Monografie Matematyczne (New Series) [Mathematics Institute of the Polish Academy of Sciences. Mathematical Monographs (New Series)], vol. 65, Birkhäuser Verlag, Basel, 2004. MR 2103516, DOI 10.1007/978-3-0348-7936-1
- W. Barth, Transplanting cohomology classes in complex-projective space, Amer. J. Math. 92 (1970), 951–967. MR 287032, DOI 10.2307/2373404
- Bénédicte Basili and Christian Peskine, Décomposition du fibré normal des surfaces lisses de $\textbf {P}_4$ et structures doubles sur les solides de $\textbf {P}_5$, Duke Math. J. 69 (1993), no. 1, 87–95 (French). MR 1201692, DOI 10.1215/S0012-7094-93-06904-9
- Robert Braun, On the normal bundle of Cartier divisors on projective varieties, Arch. Math. (Basel) 59 (1992), no. 4, 403–411. MR 1179469, DOI 10.1007/BF01197059
- Lawrence Ein, Vanishing theorems for varieties of low codimension, Algebraic geometry (Sundance, UT, 1986) Lecture Notes in Math., vol. 1311, Springer, Berlin, 1988, pp. 71–75. MR 951641, DOI 10.1007/BFb0082909
- Ph. Ellia, D. Franco and L. Gruson, Smooth divisors of projective hypersurfaces, arXiv:math.AG/0507409 v2 21 Jul 2005.
- 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), no. 1, 181–184. MR 784536, DOI 10.1007/BF01388555
- Gerd Faltings, Algebraisation of some formal vector bundles, Ann. of Math. (2) 110 (1979), no. 3, 501–514. MR 554381, DOI 10.2307/1971235
- Gerd Faltings, Ein Kriterium für vollständige Durchschnitte, Invent. Math. 62 (1981), no. 3, 393–401 (German). MR 604835, DOI 10.1007/BF01394251
- Gerd Faltings, Verschwindungssätze und Untermannigfaltigkeiten kleiner Kodimension des komplex-projektiven Raumes, J. Reine Angew. Math. 326 (1981), 136–151 (German). MR 622349, DOI 10.1515/crll.1981.326.136
- William Fulton and Johan Hansen, A connectedness theorem for projective varieties, with applications to intersections and singularities of mappings, Ann. of Math. (2) 110 (1979), no. 1, 159–166. MR 541334, DOI 10.2307/1971249
- A. Grothendieck, Cohomologie Locale des Faisceaux Cohérents et Théorèmes de Lefschetz Locaux et Globaux, North-Holland, Amsterdam, 1968.
- Sébastien Guffroy, Lissité du schéma de Hilbert en bas degré, J. Algebra 277 (2004), no. 2, 520–532 (French, with English summary). MR 2067616, DOI 10.1016/j.jalgebra.2003.10.018
- Joe Harris and Klaus Hulek, On the normal bundle of curves on complete intersection surfaces, Math. Ann. 264 (1983), no. 1, 129–135. MR 709866, DOI 10.1007/BF01458055
- Robin Hartshorne, Algebraic geometry, Graduate Texts in Mathematics, No. 52, Springer-Verlag, New York-Heidelberg, 1977. MR 0463157
- Robin Hartshorne, Varieties of small codimension in projective space, Bull. Amer. Math. Soc. 80 (1974), 1017–1032. MR 384816, DOI 10.1090/S0002-9904-1974-13612-8
- Paltin Ionescu, Embedded projective varieties of small invariants. III, Algebraic geometry (L’Aquila, 1988) Lecture Notes in Math., vol. 1417, Springer, Berlin, 1990, pp. 138–154. MR 1040557, DOI 10.1007/BFb0083339
- Steven L. Kleiman, Toward a numerical theory of ampleness, Ann. of Math. (2) 84 (1966), 293–344. MR 206009, DOI 10.2307/1970447
- Mogens Esrom Larsen, On the topology of complex projective manifolds, Invent. Math. 19 (1973), 251–260. MR 318511, DOI 10.1007/BF01390209
- Frédéric Méguin, Triple structures on smooth surfaces of $\textbf {P}_4$, C. R. Acad. Sci. Paris Sér. I Math. 323 (1996), no. 10, 1119–1122 (English, with English and French summaries). MR 1423436
- Th. Peternell, J. Le Potier, and M. Schneider, Vanishing theorems, linear and quadratic normality, Invent. Math. 87 (1987), no. 3, 573–586. MR 874037, DOI 10.1007/BF01389243
- J. Le Potier, Annulation de la cohomolgie à valeurs dans un fibré vectoriel holomorphe positif de rang quelconque, Math. Ann. 218 (1975), no. 1, 35–53 (French). MR 385179, DOI 10.1007/BF01350066
- Michael Schneider, Vector bundles and low-codimensional submanifolds of projective space: a problem list, Topics in algebra, Part 2 (Warsaw, 1988) Banach Center Publ., vol. 26, PWN, Warsaw, 1990, pp. 209–222. MR 1171271
- Michael Schneider and Jörg Zintl, The theorem of Barth-Lefschetz as a consequence of Le Potier’s vanishing theorem, Manuscripta Math. 80 (1993), no. 3, 259–263. MR 1240648, DOI 10.1007/BF03026551
Additional Information
- Lucian Bădescu
- Affiliation: Dipartimento di Matematica, Università degli Studi di Genova, Via Dodecaneso 35, 16146 Genova, Italy
- Email: badescu@dima.unige.it
- Received by editor(s): June 19, 2006
- Published electronically: January 17, 2008
- Communicated by: Ted Chinburg
- © Copyright 2008
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Proc. Amer. Math. Soc. 136 (2008), 1505-1513
- MSC (2000): Primary 14M07, 14M10; Secondary 14F17
- DOI: https://doi.org/10.1090/S0002-9939-08-09255-1
- MathSciNet review: 2373577