Mathematics – Algebraic Geometry
Scientific paper
1996-01-29
Mathematics
Algebraic Geometry
AMSTeX v 2.1, minor corrections added, 3/21/96
Scientific paper
For a smooth subvariety $X\subset\Bbb P^N$, consider (analogously to projective normality) the vanishing condition $H^1(\Bbb P^N,\Cal I^2_X(k))=0$, $k\ge3$. This condition is shown to be satisfied for all sufficiently large embeddings of a given $X$, and for a Veronese embedding of $\Bbb P^n$. For $C\subset\Bbb P^{g-1}$, the canonical embedding of a non-hyperelliptic curve, this condition guarantees the vanishing of some obstruction groups to deformations of the cone. Recall that the tangents to deformations are dual to the cokernel of the Gaussian-Wahl map. \proclaim{Theorem} Suppose the Gaussian-Wahl map of $C$ is not surjective and the vanishing condition is fulfilled. Then $C$ is {\bf extendable}: it is a hyperplane section of a surface in $\Bbb P^g$ not the cone over $C$.\endproclaim Such a surface is a K3 if smooth, but it could have serious singularities. \proclaim{Theorem} For a general curve of genus $\ge3$, this vanishing holds. \endproclaim \proclaim{Conjecture} If the Clifford index is $\ge3$, this vanishing holds. \endproclaim
No associations
LandOfFree
On Cohomology of the Square of an Ideal Sheaf does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with On Cohomology of the Square of an Ideal Sheaf, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On Cohomology of the Square of an Ideal Sheaf will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-259866