In the paper “Varieties of small codimension in projective space” Hartshorne has the following conjecture.<\/p>\n
Conjecture 5.1.<\/b> Let A be a regular local ring of dimension n. Let P be a prime ideal of A such that A\/P has an isolated singularity. Let r = dim(A\/P) and suppose that r > 1\/3(2n – 1). Then A\/P is a complete intersection.<\/p>\n
We don’t have any positive results on this conjecture (as stated) this except in the case where r = n – 1. Namely, if r = n – 1, then A\/P is a hypersurface as a regular local ring is a UFD.<\/p>\n
We do have a negative result, namely, the conjecture seems to be wrong for n = 6 and r = 4. Namely, Tango constructed a nonsplit rank 2 vector bundle on P^5 in characteristic 2. A general section of a high twist of this vector bundle will give a codimension 2 smooth subvariety of P^5 which is not a complete intersection. Pulling this back to punctured affine 6-space will give the desired counter example.<\/p>\n
This is related to what Hartshorne says just before stating his conjecture, namely that his local version is actually stronger than the original conjecture. If we don’t make the conjecture stronger then in 5.1 we would put the inequality r > 1\/3(2n + 1). And Tango’s example no longer gives a counter example. Let’s call this the corrected conjecture.<\/p>\n
Let us, as is customary, strengthen the corrected conjecture as follows.<\/p>\n
Conjecture E.1.<\/b> Let A be a regular local ring of dimension n with spectrum S and punctured spectrum U. Let V be a closed subscheme of U which is a local complete intersection, whose closure in S is equidimensional of dimension r. Suppose that r > 1\/3(2n + 1). Then there exists a complete intersection Z \u2282 S with V = U \u2229 Z scheme theoretically.<\/p>\n
Conjecture E.1 again holds for r = n – 1. Work in the projective case suggests that E.1 is not much stronger than the corrected conjecture 5.1.<\/p>\n
Lemma 1.<\/b> Let A be a Noetherian local ring with spectrum S. Let E be a vector bundle on the puncture spectrum U of A. Let Z \u2282 S be a complete intersection of codimension c such that E|Z \u2229 U<\/sub> is a trivial vector bundle. If depth(A) > 2 + c, then E is a trivial vector bundle.<\/p>\n Proof.<\/b> Using induction on c we reduce to the case c = 1. Then Z = Spec(B) where B = A\/f for some nonzerodivisor f in A. Hence depth(B) > 2. Thus we have H^1(Z \u2229 U, O_Z) = 0. Thus we see that E is trivial on a formal neighbourhood of Z \u2229 U in U by a standard deformation argument. But the functor from vector bundles on U to vector bundles on the formal completion of U along Z \u2229 U is fully faithful by a Lefschetz type result, see Tag 0EKS<\/a>, and hence we conclude.<\/p>\n Lemma 2.<\/b> Let A be a Noetherian local ring with spectrum S. Let E be a vector bundle of rank c on the punctured spectrum U of A. Let Z \u2282 S be a complete intersection such that Z \u2229 U is the vanishing scheme of a global section s of E. If depth(A) > 2 + c, then E is a trivial vector bundle.<\/p>\n Proof.<\/b> Note that E|Z \u2229 U<\/sub> is the normal bundle of Z in U. Since Z is a complete intersection we find E|Z \u2229 U<\/sub> is a trivial vector bundle. We conclude by Lemma 1.<\/p>\n Lemma 3.<\/b> Let A be a regular local ring. Let B = A\/I be a complete intersection of codimension t. If c < 1\/3(dim(B) – 2t – 1) and conjecture E.1 holds, then any vector bundle of rank c on the punctured spectrum of B is trivial.<\/p>\n Proof.<\/b> Let E be a vector bundle of rank c on the punctured spectrum of B. Choose a finite B module M corresponding to E. Choose a “random” element s of m_B^N M for some N \u226b 0. Denote V inside the punctured spectrum of B the vanishing scheme of s. Observe that dim(V) = dim(B) – c = n – t – c where n is the dimension of A. The inequality n – t – c > 1\/3(2n + 1) is equivalent to the inequality of the lemma and hence E.1 tells us that V is the intersection of the punctured spectrum of A with a complete intersection Z in Spec(A). Because we chose N \u226b 0 we find that we may choose the first t generators for the ideal of Z to be the t generators for I. Thus we see that Z is a complete intersection in Spec(B). Then we conclude that E is trivial by Lemma 2.<\/p>\n The lemma tells us that complete intersection rings B should have few interesting low rank vector bundles on their punctured spectra provided E.1 is true. But the appearance of the term -2t in the inequality is annoying. By Grothendieck we know that any invertible module on the punctured spectrum of B is trivial if dim(B) > 3. In other words if 1 < 1\/3dim(B) or put another way 1 \u2264 1\/3(dim(B) – 1). So let’s ask the following question (where we have dropped the -2t and replaced < by \u2264 in the inequality).<\/p>\n Question E.2.<\/b> Let B be a Noetherian local ring which is a complete intersection. Let E be a vector bundle on the punctured spectrum of B. If rank(E) \u2264 1\/3(dim(B) – 1), then is E trivial?<\/p>\n So for example if the rank is 2 the inequality gives 7 \u2264 dim(B). If true this would be sharp by what we said above. Anyway, I don’t insist on the exact formula for the inequality; I’m not sure why Hartshorne chose 2\/3 as the leading coefficient in his inequality. Really, a much more reasonable question is the following.<\/p>\n Question E.3.<\/b> Given an integer c does there exists an integer n(c) such that if B is a Noetherian local complete intersection of dimension > n(c), then any E vector bundle of rank c on the punctured spectrum of B is trivial?<\/p>\n For those who prefer projective geometry over local algebra, we ask whether there exist indecomposable rank 2 vector bundles on complete intersection varieties of arbitrarily large dimension… Please let me know if you have interesting examples! Thanks.<\/p>\n","protected":false},"excerpt":{"rendered":" In the paper “Varieties of small codimension in projective space” Hartshorne has the following conjecture. Conjecture 5.1. Let A be a regular local ring of dimension n. Let P be a prime ideal of A such that A\/P has an … Continue reading