Maximal rank for T_P^n
Let \(k\) be an algebraically closed field, let \(S=k[x_0,\dots,x_n]\) and let \(Z\) be a general, non-degenerate set of \(s\) points in \(\mathbb{P}^n=\mathbb{P}_k^n\). Consider the minimal free resolution of the homogeneous ideal \(I_Z\) of \(Z\): \(0\to L_{n-1}\to\cdots\to L_0\to I_Z\to 0\). The generality of \(Z\) implies that \[ L_p=S(-d-p-1)^{a_p}\oplus S(-d-p)^{b_p}, \] \(a_p=h^1(\Omega^{p+1}(d+p+1)\otimes{\mathcal I}_Z)\) and \(b_p = h^0(\Omega^p(d+p)\otimes {\mathcal I}_Z)\), where \(d\) is the unique positive integer satisfying \({d+n-1\choose n}\leq s<{d+n\choose n}\). The ``minimal resolution conjecture (MRC) of \textit{A. Lorenzini} [J.\ Algebra 156, No. 1, 5-35 (1993; Zbl 0811.13008)] states, briefly, that for \(Z\) sufficiently general, and for all \(p\geq 1\), we have \(a_{p-1} \cdot b_p = 0\). This conjecture has been verified in \(\mathbb{P}^2\) and \(\mathbb{P}^3\) in a number of papers. It has been proven false for some values of \(s\) beginning in \(\mathbb{P}^6\), first computationally by Schreyer and then proven false rigorously, and put in a more general framework by \textit{D. Eisenbud} and \textit{Popescu} [``Gale duality and free resolutions of ideals of points (preprint)]. On the other hand, \textit{A. Hirschowitz} and \textit{C. Simpson} [Invent. Math. 126, No. 3, 467-503 (1996; Zbl 0877.14035)] have shown that for all \(n\), and for \(s\) large enough with respect to \(n\), a sufficiently general set \(Z\) of \(s\) points has the resolution predicted by the MRC. Still, the problems with the MRC seem to come in the middle of the resolution, and one can try to prove it for either end of the resolution. In particular, the predicted rank of \(L_{n-1}\) is called the ``Cohen-Macaulay type conjecture. A proof was given by \textit{Ngo Viet Trung} and \textit{G. Valla} [J. Algebra 125, No. 1, 110-119 (1989; Zbl 0701.14042)], but a gap was pointed out by \textit{C. Walter}. The paper under review proves this latter conjecture. The MRC is really a maximal rank statement, and this is reflected in the fact that the main result of this paper is the following: Let \(Z\) be as above, and let \(T_{\mathbb{P}^n}\) be the tangent bundle of \(\mathbb{P}^n\). For every integer \(\ell\), the restriction map \(H^0(\mathbb{P}^n,T_{\mathbb{P}^n}(\ell)) \to H^0(Z,T_{{\mathbb{P}}^n} (\ell)_{| Z})\) has maximal rank. The proof uses the so-called ``méthode d'Horace in different formulations, and the connection to the MRC is made.
- Generators for the homogeneous ideal of s general points in \({\mathbb{P}}_ 3\)
- scientific article; zbMATH DE number 4006402 (Why is no real title available?)
- scientific article; zbMATH DE number 3704742 (Why is no real title available?)
- Lectures on Curves on an Algebraic Surface. (AM-59)
- Minimally generating ideals defining certain tangent cones
- Monomial ideals and points in projective space
- On the Cohen-Macaulay type of s-lines in \(A^{n+1}\)
- On the homogeneous ideal of the generic union of lines in 3.
- The Cohen-Macaulay type of points in generic position
- The ideal of forms vanishing at a finite set of points in \({\mathbb{P}}^ n\)
- The minimal free resolution of the homogeneous ideal of \(s\) general points in \(\mathbb{P}^ 4\)
- The minimal resolution conjecture
- On the minimal free resolution of finite sets in \(\mathbb{P}^ N\)
- Minimal resolution of relatively compressed level algebras
- Exterior algebra methods for the minimal resolution conjecture.
- Resolutions of subsets of finite sets of points in projective space
- Maximal rank for \(\Omega_{\mathbb{P}^n}\)
- On the resolution of points in generic position
- On the Resolution of Certain Graded Algebras
- On the maximality of some pairs of p-t degrees
- Non-smoothable curve singularities
- On the minimal free resolution of s points in \({\mathbb{P}}^ 3\)
This page was built for publication: Maximal rank for \(T_{\mathbb{P}^n}\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1360909)
