3
$\begingroup$

This is a question that came up in the comments section of here. A reflexive sheaf $E$ is called "locally $3$-syzygy" if it fits into an exact sequence $0\rightarrow E \rightarrow F_1\rightarrow F_2 \rightarrow F_3$ where $F_i$s are vector bundles. These reflexive sheaves are vector bundle on the complement of a codimension $4$ subvariety, the question is whether the converse is true i.e. when a reflexive sheaf that is vector bundle on the complement of a closed set of codimension $\geq 4$ is locally 3-syzygy?

I am able to prove through some long method that if the converse is true you get $K_1(k)=0$ (if I'm not making any mistakes in my arguments!). First algebraic $K$-group of fields are trivial but obviously it is wrong. This specially implies that there are counter-examples of the form $\mathbb{A}^n$ with the closed subvariety of the form $\mathbb{A}^k$ where $n-k\geq 4$. So the counter-examples seem to be ubiquitous. My question is, is this almost always wrong or there is some chance of it being true?

Edit: Another relevant question that I cannot answer. Does having a really high codimension wrt the ambient variety guarantee that any reflexive sheaf that is a vector bundle on the complement of the closed variety is locally 3-syzygy? (For example let $Z$ be 3 dimensional variety embedded in $Z\times \mathbb{P}^n$ for a very large $n$)

$\endgroup$

1 Answer 1

1
$\begingroup$

Locally, the depth increases along syzygies, so there are always counter examples as long as there is a closed point whose local ring has depth at least 3.

For instance, let $R=k[x_1,...,x_n]$ for $n\geq 3$. Let $E$ be the second syzygy of $R/(x_1,...,x_n)$. Then $E$ is reflexive and locally free on $Spec(R)-{m}$ where $m=(x_1,...,x_n)$. But it will not be $3$rd syzygy because the depth of $E_m$ is only 2.

Now some good news: when depth is no more than 2, being Gorenstein would be enough to guarantee. That is because any module of maximal depth on a Gorenstein local ring would be an $n$-syzygy for any $n$.

$\endgroup$
3
  • $\begingroup$ Thanks for your answer. Is there any example of regular varieties that depth is not higher than 2 and are not bounded dimension-wise (like curves or surfaces). Adding a factor of $\mathbb{A}^2$ to any regular variety makes depth go higher than 2 is that right? $\endgroup$
    – user127776
    Dec 25, 2020 at 2:59
  • 2
    $\begingroup$ A regular local ring has depth=dimension, so one can not find such example. $\endgroup$ Dec 25, 2020 at 3:30
  • $\begingroup$ Ah! I was confused. $\endgroup$
    – user127776
    Dec 25, 2020 at 3:38

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.