Geometry ag.algebraica – Koszul-Tate resolution for subvarieties of $ mathbb P ^ n $

All the varieties that appear below are assumed without projective problems on $ mathbb C $ and it is assumed that all packages of vectors, sections, etc. they are algebraic / holomorphic. We use the word resolution to mean quasi isomorphism.

Suppose $ X subset mathbb P ^ n $ It is a closed subvariety of codimension. $ r $. Suppose we can find a locally free sheaf. $ E $ in $ mathbb P ^ n $ of rank $ r $ and a section $ s $ such that $ s ^ {- 1} (0) $ It is cut transversely and is equal to $ X $ (For example, yes $ X $ It is a complete intersection). Then, we get Koszul's resolution.

$ 0 to wedge ^ rE ^ vee to cdots to wedge ^ 2E ^ vee to E ^ vee to mathcal O _ { mathbb P ^ n} to mathcal O_X to $ 0

I would like to see this as a resolution of $ mathcal O_X $ by a commutative commutative commutative $ mathcal O _ { mathbb P ^ n} $-algebra $ K (s) $ with $ E ^ vee $ put in grade $ -1 $ (call $ K (s) $ the Koszul algebra of $ s $). Note that as a commutative graduated algebra $ K (s) $, is simply the symmetric algebra (qualified commutative) $ text {Sym} ^ bullet _ { mathcal O _ { mathbb P ^ n}} (E ^ vee[1]$. Now, suppose we have an extension $ 0 a E a E & # 39; a F a 0 $ of vector packages, then we could consider the section $ s & # 39; $ of $ E & # 39; $ what is the image of $ s $. Now, the Koszul algebra $ K (s & # 39;) $ it is no longer a resolution of $ mathcal O_X $In fact, his cohomology algebra is. $ mathcal O_X otimes _ { mathcal O _ { mathbb P ^ n}} wedge ^ bullet F ^ vee $. So, adding the free generator. $ F ^ vee $ in degree $ -2 $ to $ K (s & # 39;) $, we obtain a new commutative differential graduation algebra with differential mapping $ F ^ vee $ to $ E & # 39; ^ vee $ for double the map $ E & # 39; a F $. The obvious map of this new algebra to $ K (s) $ It is a quasi-isomorphism and therefore, again we have a resolution of $ mathcal O_X $.

More generally, there is the notion of Koszul-Tate resolution of $ mathcal O_X $ which consists of a commutative differential graded algebra $ A $ finished $ mathcal O _ { mathbb P ^ n} $ solving $ mathcal O_X $ and having the following additional property. Locally in $ mathbb P ^ n $, $ A $ is administered (as a graduated algebra) by a free polynomial ring (commutative graduated) (possibly in infinite variables) on $ mathcal O _ { mathbb P ^ n} $ With finely many generators in each negative degree. We'll say that $ A $ is locally generated finitely if, locally in $ mathbb P ^ n $is a polynomial algebra $ mathcal O _ { mathbb P ^ n} $ in finite many variables (with the variables placed in negative degrees).

We have seen above that $ K (s) a mathcal O_X $ it's a resolution with $ K (s) $ finely generated. Are there other examples of resolutions generated locally finitely in addition to the Koszul algebras? $ K (s) $ (and almost isomorphic modifications that come from exact sequences of the form $ 0 a E a E & # 39; a cdots a F a 0 $)?

In particular, are there examples of soft $ X subset mathbb P ^ n $ that are not complete intersections, so $ mathcal O_X $ Supports a Koszul-Tate resolution by means of a commutative differential gradient generated locally and finite. $ mathcal O _ { mathbb P ^ n} $-algebra? It seems easy enough to prove that Koszul-Tate resolutions exist if we do not require that they be generated locally finitely.

Keep in mind that not all $ X subset mathbb P ^ n $ admits such a resolution, since a Koszul-Tate resolution of $ mathcal O_X $ would give a resolution (using the cotangent complex theory) of $ Omega ^ 1_X $ by vector packets in $ X $ removed from $ mathbb P ^ n $and, therefore, if the resolution of algebra is generated finitely, then so is the resolution of the cotangent package. Therefore, taking determinants, we see that the canonical package $ K_X $ It is in the restriction map image. $ text {Pic} ( mathbb P ^ n) to text {Pic} (X) $. For example, this shows that the cubic twisted in $ mathbb P ^ 3 $ does not support a Koszul-Tate resolution generated locally finitely. There are also intrinsic conditions in $ X $, for example: anyone $ X $ admit a finite resolution must necessarily have $ K_X $ be trivial, very broad or negative or very broad (since each packet of lines in $ mathbb P ^ n $ It is like). This, for example, discards any $ X $ which is a product of a Fano variety with a Calabi-Yau variety.