Linear systems on projective spaces (Q1911210)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Linear systems on projective spaces
scientific article

    Statements

    Linear systems on projective spaces (English)
    0 references
    5 June 1996
    0 references
    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\).
    0 references
    linear systems
    0 references
    ample line bundle
    0 references
    graded Betti numbers
    0 references
    noncomplete Veronese embeddings
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references