Search arXiv⌕ Search

arXiv · math/0701487

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

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 $\Pic(\mathbb P^n)\to\Pic(X)$ is an isomorphism (and in particular, if $X=\mathbb P^{d-1}\times\mathbb P^1$ 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 $\Pic(X)$. Then $X$ is a complete intersection. These results follow from Theorem \ref{exact5} below together with Le Potier 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.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Lucian Badescu. 2007-01-17. On the normal bundle of submanifolds of $\mathbb P^n$. https://arxiv.org/abs/math/0701487

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Geometric Detection and Finiteness of Log Crystalline Local Systems

We prove a geometric detection theorem for log crystalline local systems in the smooth proper setting with a normal crossings boundary. The associated special-fiber log $F$-isocrystal detects geometric absolute irreducibility and, modulo constant rank-one twists, determines the pullback to the geometric generic fiber. The main ingredient is a determinant argument combining a finite-order rank-one reduction, logarithmic period comparison, and the Plücker embedding. As an application, using Abe--Esnault's finiteness theorem and finiteness of stable lattices, we prove finiteness, up to geometrically constant rank-one twists, of geometrically absolutely irreducible log crystalline local systems of fixed rank. Coefficients may lie in any fixed finite extension of $\mathbb Q_p$, and no bound on the Hodge--Tate weights is imposed.

math.AG↗

Betti Numbers of Odd Biisotropic Symplectic Grassmannians

We compute the singular cohomology groups of odd biisotropic symplectic Grassmannians $\operatorname{S_2Gr}(k, 2n+1)$ by presenting an explicit dimension-preserving combinatorial bijection between the Bialynicki-Birula cells in $\operatorname{S_2Gr}(k, 2n+1)$ and the Schubert cells in $\operatorname{Gr}(k, 2n+2-k)$.

math.AG↗

Motivic $C_p$-power operations in $\mathrm{MGL}$

In this paper, we give a new proof of the Hopkins-Morel-Hoyois theorem for fields $k$ of characteristic unequal to $p$ containing all primitive $p$-power roots of unity for a fixed prime $p$. This new proof follows Quillen's proof for the structure of the homotopy groups of $\mathrm{MU}$ which utilizes topological power operations. To this end we define a motivic analog of the Steenrod power operations, using the theory of normed motivic spectra as developed by Bachmann--Hoyois and their application for the definition of motivic colimits as developed by Bachmann-Elmanto-Heller.

math.AG↗