Linear systems on projective spaces (Q1911210): Difference between revisions

Let \(L\) be an ample line bundle on a nonsingular projective variety \(X\) and \(V \subseteq H^0(L)\) a subvector space defining an embedding \(\varphi_V: X\hookrightarrow \mathbb{P}(V^*) = \mathbb{P}_N\). Then \(S=\bigoplus_{k\geq 0} S^kV\) is the homogeneous coordinate ring of \(\mathbb{P}_N\). Define the graded \(S\)-module \(R=R(V) = \bigoplus_{k\geq 0} R_k\), with \(R_k=K\) if \(k=0\), \(R^k=V\) if \(k=1\), \(R_k=H^0(L^k)\) if \(k\geq 2\), and let \[ 0\to \bigoplus_j S(-j)^{\widetilde b_{rj}} \to \cdots \to\bigoplus_j S(-j)^{\widetilde b_{0j}} \to R\to 0 \] be a minimal free resolution of \(R\) with graded Betti numbers \(\widetilde b_{ij}\). Definition. For an integer \(p\geq 0\) the vector space \(V\) (respectively its associated embedding \(\varphi_V: X\hookrightarrow \mathbb{P}_N)\) is said to satisfy the property \(\widetilde N_p\), if \(\widetilde b_{0,j}=1\) if \(j=0\), \(\widetilde b_{0,j}=0\) otherwise, and \(\widetilde b_{ij}=0\) for \(1\leq i\leq p\), and \(j>i+1\). For a complete linear system, i.e. \(V=H^0(L)\), the property \(\widetilde N_p\) coincides with the property \(N_p\) introduced by \textit{M. Green} and \textit{R. Lazarsfield} [J. Differ. Geom. 19, 125-171 (1984; Zbl 0559.14008) and Compos. Math. 67, No. 3, 301-314 (1988; Zbl 0671.14010)]. In this paper the properties \(\widetilde N_p\) are investigated for noncomplete Veronese embeddings. It is shown that the linear projection of a complete Veronese embedding \(\mathbb{P}_n \hookrightarrow \mathbb{P}_N\) from a general linear subspace of \(\mathbb{P}_N\) of low dimension satisfies property \(\widetilde N_0\). Moreover, theorem 3.1 yields an upper bound for \(p\) for a noncomplete Veronese embedding of the projective plane \(\mathbb{P}_2\) to satisfy property \(\widetilde N_p\).