Quadrics through a set of points and their syzygies.

*(English)*Zbl 0815.14034Let \(X\) be a nondegenerate projective variety in \(\mathbb{P}^ n = P^ n_ k\), where \(k\) is an algebraically closed field. Let \(I = I(X)\) denote the defining ideal of \(X\) in the polynomial ring \(R : = k[X_ 0, \dots, X_ n]\) and \(A : = R/I\) its homogeneous coordinate ring. The graded \(R\)- module \(A\) has a minimal free resolution \(\mathbb{E} : 0 \to E_ h \to \cdots \to E_ 1 \to R \to A \to 0\) where \(h = hd_ R (A)\) and \(E_ i = \oplus^{\beta_ i}_{j=1} R(-d_{ij})\). Several recent investigations and conjectures relate the numerical invariants of the resolution with the geometrical properties of \(X\).

In this paper we are mainly concerned with the “linear part” of the resolution. Hence for every \(i = 1, \dots, h\), we let \(a_ i (X) = \dim_ k [\text{Tor}^ R_ i (A, k)]_{i + 1}\) to be the multiplicity of the shift \(i + 1\) in \(E_ i\). Hence we are interested in projective varieties \(X\) which lie on some quadric and we want to study the syzygies of the quadrics passing through \(X\). The main idea coming from M. Green is that a long linear strand in the resolution has a uniform and simple motivation. Following this approach we start by proving that \(a_ i \neq 0\) in the following geometric situations. Either \(X\) is contained on a variety of minimal degree and dimension \(n - i\), or \(X\) is contained in the union of two linear subspaces of \(\mathbb{P}^ n\) of dimension \(k\) and \(r\) where \(k, r < n\) and \(r + k = 2n - i - 1\). A natural question is to what extent the converse of the above result is true.

In section 1 we prove that this is the case if \(i = 1\) (trivial) or \(i = n\). – In section 2 we consider the case \(i = n - 1\) and we restrict ourselves to reduced schemes which are zero dimensional. – A basic result by M. Green, the so-called strong Castelnuovo lemma, says that for a set \(X\) of distinct points in linearly general position in \(\mathbb{P}^ n\), we have \(a_{n-1} \neq 0\) if and only if the points are on a rational normal curve of \(\mathbb{P}^ n\). Here we complete Green’s result by proving that for a set \(X\) of distinct points in \(\mathbb{P}^ n\), such that \(n - 1\) are never on a linear subspace of dimension \(n - 3\), we have \(a_{n-1} \neq 0\) if and only if either the points are on a rational normal curve of \(\mathbb{P}^ n\) or \(X \subseteq \mathbb{P}^ k \cup \mathbb{P}^ r\) with \(k + r = n\).

We conjecture that this result should be true in complete generality. However even this weaker form of the conjecture, unables us to solve one of the problems which motivated our present research. Namely in section 4 we apply the above theorem to describe in a concrete geometric way the open set where the minimal resolution conjecture holds for a given set of \(n + 4\) points spanning \(\mathbb{P}^ n\). – In the case \(i = n - 2\) we remark that the analogue of the strong Castelnuovo lemma does not hold. For example 12 general points in \(\mathbb{P}^ 7\) are not on a rational normal scroll of dimension 2 but have \(a_ 5 = 4 \neq 0\). In section 3 we can prove that they are on a threefold of minimal degree as a consequence of a general result which in particular asserts that if \(n \geq 3\) and \(p\) is an integer, \(1 \leq p \leq n - 2\), then every set of \(2n + 1 - p\) points in linearly general position lies on a rational normal scroll of dimension \(n - p - 1\). This result extends a classical theorem of Bertini for \(n + 3\) points in \(\mathbb{P}^ n\).

In this paper we are mainly concerned with the “linear part” of the resolution. Hence for every \(i = 1, \dots, h\), we let \(a_ i (X) = \dim_ k [\text{Tor}^ R_ i (A, k)]_{i + 1}\) to be the multiplicity of the shift \(i + 1\) in \(E_ i\). Hence we are interested in projective varieties \(X\) which lie on some quadric and we want to study the syzygies of the quadrics passing through \(X\). The main idea coming from M. Green is that a long linear strand in the resolution has a uniform and simple motivation. Following this approach we start by proving that \(a_ i \neq 0\) in the following geometric situations. Either \(X\) is contained on a variety of minimal degree and dimension \(n - i\), or \(X\) is contained in the union of two linear subspaces of \(\mathbb{P}^ n\) of dimension \(k\) and \(r\) where \(k, r < n\) and \(r + k = 2n - i - 1\). A natural question is to what extent the converse of the above result is true.

In section 1 we prove that this is the case if \(i = 1\) (trivial) or \(i = n\). – In section 2 we consider the case \(i = n - 1\) and we restrict ourselves to reduced schemes which are zero dimensional. – A basic result by M. Green, the so-called strong Castelnuovo lemma, says that for a set \(X\) of distinct points in linearly general position in \(\mathbb{P}^ n\), we have \(a_{n-1} \neq 0\) if and only if the points are on a rational normal curve of \(\mathbb{P}^ n\). Here we complete Green’s result by proving that for a set \(X\) of distinct points in \(\mathbb{P}^ n\), such that \(n - 1\) are never on a linear subspace of dimension \(n - 3\), we have \(a_{n-1} \neq 0\) if and only if either the points are on a rational normal curve of \(\mathbb{P}^ n\) or \(X \subseteq \mathbb{P}^ k \cup \mathbb{P}^ r\) with \(k + r = n\).

We conjecture that this result should be true in complete generality. However even this weaker form of the conjecture, unables us to solve one of the problems which motivated our present research. Namely in section 4 we apply the above theorem to describe in a concrete geometric way the open set where the minimal resolution conjecture holds for a given set of \(n + 4\) points spanning \(\mathbb{P}^ n\). – In the case \(i = n - 2\) we remark that the analogue of the strong Castelnuovo lemma does not hold. For example 12 general points in \(\mathbb{P}^ 7\) are not on a rational normal scroll of dimension 2 but have \(a_ 5 = 4 \neq 0\). In section 3 we can prove that they are on a threefold of minimal degree as a consequence of a general result which in particular asserts that if \(n \geq 3\) and \(p\) is an integer, \(1 \leq p \leq n - 2\), then every set of \(2n + 1 - p\) points in linearly general position lies on a rational normal scroll of dimension \(n - p - 1\). This result extends a classical theorem of Bertini for \(n + 3\) points in \(\mathbb{P}^ n\).

Reviewer: M.P.Cavaliere (Genova)

##### MSC:

14M05 | Varieties defined by ring conditions (factorial, Cohen-Macaulay, seminormal) |

13D40 | Hilbert-Samuel and Hilbert-Kunz functions; Poincaré series |

14P05 | Real algebraic sets |

14C20 | Divisors, linear systems, invertible sheaves |

13D02 | Syzygies, resolutions, complexes and commutative rings |

##### Keywords:

set of points in projective space; syzygies of quadrics; rational normal scroll; strong Castelnuovo lemma; minimal resolution conjecture##### Software:

CoCoA##### References:

[1] | [BG] Ballico, E., Geramita, A.V.: The minimal free resolution ofs general points inP 3. Can. Math. Soc. Conf. Proc.6, 1–10 (1986) |

[2] | [CRV1] Cavaliere, M.P., Rossi, M.E., Valla, G.: On the resolution of points in generic position. Commun. Algebra19 (4), 1083–1097 (1991) · Zbl 0732.14023 |

[3] | [CRV2] Cavaliere, M.P., Rossi, M.E., Valla, G.: On the resolution of certain graded algebras. Trans. Am. Math. Soc.337, (1), 389–409 (1993) · Zbl 0787.13012 |

[4] | [CRV3] Cavaliere, M.P., Rossi, M.E., Valla, G.: On Green-Lazarsfeld and Minimal resolution conjecture forn+3 points inP n . J. Pure Appl. Algebra85, 105–117 (1993) · Zbl 0787.14006 |

[5] | [CRV4] Cavaliere, M.P., Rossi, M.E., Valla, G.: The Green and Lazarsfeld conjecture forn+4 points inP n . Rend. Sem. Mat. Univers. Politecn. Torino49 (2), (1991) |

[6] | [DEP] De Concini, C., Eisenbud, D., Procesi, C.: Hodge Algebras. (Astérisque 91, Soc. Math. Fr.) 1982 |

[7] | [GeL] Geramita, A.V., Lorenzini, A.: The Cohen-Macaulay type ofn+3 points inP n . The Curve Seminar at Queen’s VI. Queen’s Pap. Pure Appl. Math.83, F1-F5 (1989) |

[8] | [GGR] Geramita, A.V., Gregory, D., Roberts, L.G.: Monomial ideals and points in the projective space. J. Pure Appl. Algebra40, 33–62 (1986) · Zbl 0586.13015 |

[9] | [GO] Geramita, A.V., Orecchia, F.: On the Cohen-Macaulay type ofs lines inA n+1. J. Algebra70, 116–140 (1981) · Zbl 0464.14007 |

[10] | [GN] Giovini, A., Niesi, G.: CoCoA: A User-Friendly System for Commutative Algebra. In: Design and Implementation of Symbolic Computation Systems. Lect. Notes Comput. Sci., Springer, 20–30 (1990) |

[11] | [GL] Green, M., Lazarsfeld, R.: Some results on the syzygies of finite sets and algebraic curves. Compos. Math.67, 310–314 (1988) · Zbl 0671.14010 |

[12] | [G1] Green, M., The canonical ring of a variety of general type. Duke Math. J.49, 1087–1113 (1982) · Zbl 0607.14005 |

[13] | [G2] Green, M.: Koszul cohomology and the geometry of projective varieties. J. Differ. Geom19, 125–171 (1984) · Zbl 0559.14008 |

[14] | [H] Harris, J.: Curves in Projective space. (Sem. Mat. Super., Université de Montreal Press) 1982 · Zbl 0511.14014 |

[15] | [HSV] Hoa, L.T., Stükrad, J., Vogel, W.: Towards a structure theory for projective varieties of degree=codimension+2. J. Pure Appl. Algebra71, 203–231 (1991) · Zbl 0749.14032 |

[16] | [L] Lorenzini, A.: The minimal resolution conjecture. J. Algebra (to appear, 1991) · Zbl 0811.13008 |

[17] | [N] Nagel, U.: On the resolution of certain subsets of points in projective space. (Preprint, 1991) |

[18] | [TV] Trung, N.V., Valla, G.: The Cohen-Macaulay type of points in generic position. J. Algebra125, 110–119 (1989) · Zbl 0701.14042 |

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.