Graded mapping cone theorem, multisecants and syzygies (Q716460): Difference between revisions

Let \(X \subset \mathbb{P}^n_k\) denote a reduced closed subscheme, where \(k\) denotes an algebraically closed field of characteric zero. Let \(I_X \subset R = k[x_0,\ldots,x_n]\) denote the saturated defining ideal of \(X\). It is said that \(X\) satisfies condition \(N_{d,p}\) (introduced by \textit{D. Eisenbud} et al. [Compos. Math. 141, No. 6, 1460-1478 (2005; Zbl 1086.14044)]) if \(\text{Tor}_i^R(k,R/I_X)\) is concentraded in degrees less than \(d+i\) for all \(i \leq p\). This is the property \(N_p\) defined by \textit{M. Green} and \textit{R. Lazarsfeld} [Compos. Math. 67, No. 3, 301--314 (1988; Zbl 0671.14010)] if \(X\) is projectively normal and \(d=2\). The authors say that \(X\) satisfies scheme theoretically property \(N_{2,p}\) if there is an ideal \(I\) generating the ideal sheaf \(\mathcal{I}_X\) such that \(I\) is generated by quadrics and there are only linear syzygies up to the \(p\)-th step. The main goal of the investigations in the paper are methods for bounding the Castelnuovo-Mumford regularity, higher normality, and other invariants of the projection image of \(X\) (\(X\) satisfying \(N_{2,p}\) resp. \(N_{2,d}\) scheme-theoretically) under an isomorphic projection. The main results are: (1) If \(X\) satisfies \(N_{2,p}\) and \(\pi_{\Lambda} : X \to Y_t \subset \mathbb{P}_k^{n-t}, \Lambda \cong \mathbb{P}_k^{t-1}\), is an isomorphic projection for some \(1 \leq t \leq p-1\), then \(I_{Y_t}\) is generated by forms of degree \(\leq t+2\) and satisfies \(N_{t+2,p-t}\). (2) Assume that \(X\) satisfies \(N_{2,p}\) scheme-theoretically. Let \(\pi_q : X \to Y_1 \subset \mathbb{P}^{n-1}_k\), where \(q \in \text{Sec}\cup \text{Tan} \setminus X\). Then (a): \(X\) is \(m\)-normal if and only if \(Y_1\) is so. (b) \(Y_1\) is cut out by at most cubic hypersurfaces and satisfies property \(N_{3,p-1}\). -- Further results concern geometric properties for projections according to moving the center. The main technical tool for the proofs is the graded mapping cone construction for the computation of the Betti numbers of the variety \(X\) in relation to those of the projection from a point, and then deduce a long exact sequence for the \(\text{Tor}\)-modules for the partial elimination. A significant part of the work concerns the generalization of earlier work of \textit{Y. Choi, S. Kwak} and \textit{E. Park} [Math. Z. 258, No. 2, 463--475 (2008; Zbl 1137.13008)] and \textit{S. Kwak} and \textit{E. Park} [J. Reine Angew. Math. 582, 87--105 (2005; Zbl 1076.14064)] from complete to non-complete linear systems.