6
$\begingroup$

Let $X\subset \mathbb{P}^n$ be a smooth projective variety with ideal sheaf $I_X$. The conormal sequence is given by

$$ 0\to I_X/I_X^2\to \Omega_{\mathbb{P}^n}|_X\to \Omega_{X}\to 0. $$ For which varieties $X$ is the sequence above split?

If I'm not mistaken, if $X$ a hypersurface, the sequence is split if and only if $X$ has degree 1.

$\endgroup$

2 Answers 2

11
$\begingroup$

You are right. This is a result due to Van de Ven.

[A. Van de Ven, A property of algebraic varieties in complex projective spaces. In: Colloque Géom. Diff. Globale (Bruxelles, 1958), 151–152, Centre Belge Rech. Math., Louvain 1959. MR0116361 (22 #7149) Zbl 0092.14004]

Even more is true. Recently Ionescu and Repetto proved the following generalization of Van de Ven's Theorem.

Let $X \subset \mathbb P^n$ be a smooth subvariety. If there exists a curve $C \subset X$ such that the restriction to $C$ of the conormal sequence of $X$ splits then $X$ is linear.


Let me sketch a short elementary proof (of Van de Ven's result not its generalization) in the case of hypersurfaces. I will phrase it in the analytic category but once it is translated to the algebraic category, working with infinitesimal neighborhoods, I believe that what will emerge is one of the proofs in the literature.

If the normal sequence splits then we can define a foliation $\mathcal L$ by (germs of) lines everywhere transverse to $X$ at a neighborhood $U$ of $X$. Since the complement of $X$ is Stein we can extend $\mathcal L$ to the whole $\mathbb P^n$. Therefore $\mathcal L$ is defined by a global section of $T \mathbb P^n(d-1)$ for some $d \ge 0$. With the help of Euler's sequence, this section can be presented as a homogeneous vector field $v$ on $\mathbb C^{n+1}$ with coefficients of degree $d$. To compute the tangencies between $\mathcal L$ and $X$ we have just to contract the differential $dF$ of a defining equation $F$ of $X$ with $v$. If $F$ is not linear then the divisor on $X$ defined by the tangencies between $\mathcal L$ and $X$ (defined by $F=dF(v)=0$) will be non-empty contradicting the transversality between $X$ and $\mathcal L$.

$\endgroup$
5
$\begingroup$

Here's a partial answer, which confirms your last sentence at least.

Lemma: If $X\subset \mathbb{P}^n$ is smooth and the conormal sequence splits, then $X$ is a projective space.

Proof: This implies that the tangent bundle $T_{\mathbb P^n}|_X$ surjects onto $T_X$. Therefore $T_X$ is ample. Now apply Mori's solution to the Hartshorne conjecture.

$\endgroup$
2
  • $\begingroup$ Hmm. Why does this confirm the degree 1 bit? $\endgroup$ Commented Apr 13, 2011 at 23:09
  • $\begingroup$ OK, perhaps it only confirms the "only if" part when $n>2$. $\endgroup$ Commented Apr 13, 2011 at 23:22

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .