-
Infinitesimal extensions of rank two vector bundles on submanifolds of small codimension
Authors:
Lucian Badescu
Abstract:
Let $X$ be a submanifold of dimension $n$ of the complex projective space $\mathbb P^N$ ($n<N$), and let $E$ be a vector bundle of rank two on $X$ . If $n\geq\frac{N+3}{2}\geq 4$ we prove a geometric criterion for the existence of an extension of $E$ to a vector bundle on the first order infinitesimal neighborhood of $X$ in $\mathbb P^N$ in terms of the splitting of the normal bundle sequence of…
▽ More
Let $X$ be a submanifold of dimension $n$ of the complex projective space $\mathbb P^N$ ($n<N$), and let $E$ be a vector bundle of rank two on $X$ . If $n\geq\frac{N+3}{2}\geq 4$ we prove a geometric criterion for the existence of an extension of $E$ to a vector bundle on the first order infinitesimal neighborhood of $X$ in $\mathbb P^N$ in terms of the splitting of the normal bundle sequence of $Y\subset X\subset\mathbb P^N$, where $Y$ is the zero locus of a general section of a high twist of $E$. In the last section we show that the universal quotient vector bundle on the Grassmann variety $\mathbb G(k,m)$ of $k$-dimensional linear subspaces of $\mathbb P^m$, with $m\geq 3$ and $1\leq k\leq m-2$ (i.e. with $\mathbb G(k,m)$ not a projective space), embedded in any projective space $\mathbb P^N$, does not extend to the first infinitesimal neighborhood of $\mathbb G(k,m)$ in $\mathbb P^N$ as a vector bundle.
△ Less
Submitted 15 December, 2014;
originally announced December 2014.
-
Connectivity and a Problem of Formal Geometry
Authors:
Lucian Badescu
Abstract:
Let $P=\mathbb P^m(e)\times\mathbb P^n(h)$ be a product of weighted projective spaces, and let $Δ_P$ be the diagonal of $P\times P$. We prove an algebraization result for formal-rational functions on certain closed subvarieties $X$ of $P\times P$ along the intersection $X\capΔ_P$.
Let $P=\mathbb P^m(e)\times\mathbb P^n(h)$ be a product of weighted projective spaces, and let $Δ_P$ be the diagonal of $P\times P$. We prove an algebraization result for formal-rational functions on certain closed subvarieties $X$ of $P\times P$ along the intersection $X\capΔ_P$.
△ Less
Submitted 12 March, 2014;
originally announced March 2014.
-
Seshadri positive submanifolds of polarized manifolds
Authors:
Lucian Badescu,
Mauro C. Beltrametti
Abstract:
Let $Y$ be a submanifold of dimension $y$ of a polarized complex manifold $(X,A)$ of dimension $k\geq 3$, with $1\leq y\leq k-1$. We define and study two positivity conditions on $Y$ in $(X,A)$, called Seshadri $A$-bigness and (a stronger one) Seshadri $A$-ampleness. In this way we get the natural generalization of the theory initiated by Paoletti in \cite{Pao} (which corresponds to the case…
▽ More
Let $Y$ be a submanifold of dimension $y$ of a polarized complex manifold $(X,A)$ of dimension $k\geq 3$, with $1\leq y\leq k-1$. We define and study two positivity conditions on $Y$ in $(X,A)$, called Seshadri $A$-bigness and (a stronger one) Seshadri $A$-ampleness. In this way we get the natural generalization of the theory initiated by Paoletti in \cite{Pao} (which corresponds to the case $(k,y)=(3,1)$) and subsequently generalized and completed in
\cite{BBF} (regarding curves in a polarized manifold of arbitrary dimension). The theory presented here, which is new even if $y=k-1$, is motivated by a reasonably large area of examples.
△ Less
Submitted 22 September, 2011;
originally announced September 2011.
-
Grothendieck-Lefschetz Theory, Set-Theoretic Complete Intersections and Rational Normal Scrolls
Authors:
Lucian Badescu,
Giuseppe Valla
Abstract:
Using the Grothendieck-Lefschetz theory (see \cite{[SGA2]}) we prove a criterion to deduce that certain subvarieties of $\mathbb P^n$ of dimension $\geq 2$ are not set-theoretic complete intersections (see Theorem 1 of the Introduction). As applications we give a number of relevant examples. In the last part of the paper we prove that the arithmetic rank of a rational normal $d$-dimensional scro…
▽ More
Using the Grothendieck-Lefschetz theory (see \cite{[SGA2]}) we prove a criterion to deduce that certain subvarieties of $\mathbb P^n$ of dimension $\geq 2$ are not set-theoretic complete intersections (see Theorem 1 of the Introduction). As applications we give a number of relevant examples. In the last part of the paper we prove that the arithmetic rank of a rational normal $d$-dimensional scroll $S_{n_1,...,n_d}$ in $\mathbb P^N$ is $N-2$, by producing an explicit set of $N-2$ homogeneous equations which define these scrolls set-theoretically (see Theorem 2 of the Introduction).
△ Less
Submitted 20 October, 2009;
originally announced October 2009.
-
On a connectedness theorem of Debarre
Authors:
Lucian Bădescu
Abstract:
Under a slightly stronger hypothesis, one improves a connectedness result of Debarre [D] for a product of two projective spaces in terms of the extension problem of formal-rational functions (see Theorems 1.3 and 1.4 of the introduction)
Under a slightly stronger hypothesis, one improves a connectedness result of Debarre [D] for a product of two projective spaces in terms of the extension problem of formal-rational functions (see Theorems 1.3 and 1.4 of the introduction)
△ Less
Submitted 15 December, 2008;
originally announced December 2008.
-
A connectedness theorem for products of weighted projective spaces
Authors:
Lucian Badescu,
Flavia Repetto
Abstract:
We prove a connectedness result for products of weighted projective spaces.
We prove a connectedness result for products of weighted projective spaces.
△ Less
Submitted 19 March, 2007;
originally announced March 2007.
-
Projective manifolds containing special curves
Authors:
Lucian Badescu,
Mauro C. Beltrametti
Abstract:
Let $Y$ be a smooth curve embedded in a complex projective manifold $X$ of dimension $n\geq 2$ with ample normal bundle $N_{Y|X}$. For every $p\geq 0$ let $α_p$ denote the natural restriction maps $\Pic(X)\to\Pic(Y(p))$, where $Y(p)$ is the $p$-th infinitesimal neighbourhood of $Y$ in $X$. First one proves that for every $p\geq 1$ there is an isomorphism of abelian groups…
▽ More
Let $Y$ be a smooth curve embedded in a complex projective manifold $X$ of dimension $n\geq 2$ with ample normal bundle $N_{Y|X}$. For every $p\geq 0$ let $α_p$ denote the natural restriction maps $\Pic(X)\to\Pic(Y(p))$, where $Y(p)$ is the $p$-th infinitesimal neighbourhood of $Y$ in $X$. First one proves that for every $p\geq 1$ there is an isomorphism of abelian groups $\Coker(\gra_p)\cong\Coker(\gra_0)\oplus K_p(Y,X)$, where $K_p(Y,X)$ is a quotient of the $\mathbb C$-vector space $L_p(Y,X):=\bigoplus\limits_{i=1}^p H^1(Y, {\bf S}^i(N_{Y|X})^*)$ by a free subgroup of $L_p(Y,X)$ of rank strictly less than the Picard number of $X$. Then one shows that $L_1(Y,X)=0$ if and only if $Y\cong\mathbb P^1$ and $N_{Y|X}\cong\mathcal O_{\mathbb P^1}(1)^{\oplus n-1}$. The special curves in question are by definition those for which $\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 $Y$ is special if and only if either $Y\cong\mathbb P^1$ and $N_{Y|X}\cong\sO_{\pn 1}(2)\oplus\sO_{\pn 1}(1)^{\oplus n-2}$, or $Y$ is elliptic and $°(N_{Y|X})=1$. After proving some general results on manifolds of dimension $n\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)$ with $X$ surface and $Y$ special is given. Finally, one gives several examples of special rational curves in dimension $n\geq 3$.
△ Less
Submitted 6 February, 2007;
originally announced February 2007.
-
On the normal bundle of submanifolds of $\mathbb P^n$
Authors:
Lucian Badescu
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…
▽ More
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.
△ Less
Submitted 17 January, 2007;
originally announced January 2007.
-
A Barth-Lefschetz theorem for submanifolds of a product of projective spaces
Authors:
Lucian Badescu,
Flavia Repetto
Abstract:
Let $X$ be a complex submanifold of dimension $d$ of $\mathbb P^m\times\mathbb P^n$ ($m\geq n\geq 2$) and denote by $α\colon\Pic(\mathbb P^m\times\mathbb P^n)\to \Pic(X)$ the restriction map of Picard groups, by $N_{X|\mathbb P^m\times\mathbb P^n}$ the normal bundle of $X$ in $\mathbb P^m\times\mathbb P^n$. Set $t:=\max\{\dimπ_1(X),\dimπ_2(X)\}$, where $π_1$ and $π_2$ are the two projections of…
▽ More
Let $X$ be a complex submanifold of dimension $d$ of $\mathbb P^m\times\mathbb P^n$ ($m\geq n\geq 2$) and denote by $α\colon\Pic(\mathbb P^m\times\mathbb P^n)\to \Pic(X)$ the restriction map of Picard groups, by $N_{X|\mathbb P^m\times\mathbb P^n}$ the normal bundle of $X$ in $\mathbb P^m\times\mathbb P^n$. Set $t:=\max\{\dimπ_1(X),\dimπ_2(X)\}$, where $π_1$ and $π_2$ are the two projections of $\mathbb P^m\times\mathbb P^n$. We prove a Barth-Lefschetz type result as follows: {\em Theorem.} {\it If $d\geq \frac{m+n+t+1}{2}$ then $X$ is algebraically simply connected, the map $α$ is injective and $\Coker(α)$ is torsion-free. Moreover $α$ is an isomorphism if $d\geq\frac{m+n+t+2}{2}$, or if $d=\frac{m+n+t+1}{2}$ and $N_{X|\mathbb P^m\times\mathbb P^n}$ is decomposable.} These bounds are optimal. The main technical ingredients in the proof are: the Kodaira-Le Potier vanishing theorem in the generalized form of Sommese (\cite{LP}, \cite{ShS}), the join construction and an algebraisation result of Faltings concerning small codimensional subvarieties in $\mathbb P^N$ (see \cite{Fa}).
△ Less
Submitted 13 January, 2007;
originally announced January 2007.
-
Algebraic Barth-Lefschetz theorems
Authors:
Lucian Badescu
Abstract:
Using results of Hironaka-Matsumura and Faltings, we prove a strong version of the well known Fulton-Hansen connectivity theorem for weighted projective spaces. As a consequence we get the following result. If $Y$ is an irreducible subvariety of the $n$-dimensional projective space (over a field of arbitrary characteristic), then the diagonal embedding $Δ_Y$ is $G_3$ in $Y\times Y$. This fact im…
▽ More
Using results of Hironaka-Matsumura and Faltings, we prove a strong version of the well known Fulton-Hansen connectivity theorem for weighted projective spaces. As a consequence we get the following result. If $Y$ is an irreducible subvariety of the $n$-dimensional projective space (over a field of arbitrary characteristic), then the diagonal embedding $Δ_Y$ is $G_3$ in $Y\times Y$. This fact implies a generalized version (with a characteristic-free proof) of a result of Ogus (in char. zero) and Speiser (in positive characteristic).
△ Less
Submitted 8 May, 1995;
originally announced May 1995.
