Vector bundles with good sections (Q4034576)

Zero schemes of sections have proved to be a useful tool to construct and study vector bundles on projective spaces. For a vector bundle \(E\) on \(\mathbb{P}^ d\) the author defines the affine scheme \(S(E)\) (resp. the projective scheme \(PS(E))\) as the closed subscheme of \(H^ 0(E)\times \mathbb{P}^ d\) (resp. \(P(H^ 0(E))\times \mathbb{P}^ d)\) parametrising the zero schemes of global sections of \(E\). A vector bundle \(E\) has ``good sections'' if \(S(E)\) has correct dimension \(=d+h^ 0(E)-\text{rank}(E)\). This notion generalises the notion of global generation of \(E\). If a vector bundle has good sections then its generic global section is regular. Different characterisations of \(S(E)\) are given. Identifying \(S(E)\) as the Spec of a symmetric algebra of an \({\mathcal O}\)-module its properties like integrality, factoriality, having correct dimension etc. are studied. \(E\) is generated by global sections if and only if \(S(E)\) is a vector bundle of \(\text{rank}=h^ 0(E)-\text{rank}(E)\) on \(\mathbb{P}^ d\). Examples of vector bundles with good sections are given. Such bundles are studied in more detail in case \(d=3, \text{rank}(E)=3\). In that case, having good sections is characterised by the existence of sections \(s\), \(s'\) of \(E\), \(s\) regular, such that the zero scheme of \(s\wedge s'\) is a curve. This curve is Gorenstein iff \(H^ 0(E)\) is basepointfree. This is used to give a characterisation of 0-dimensional zero-schemes of regular sections of \(E\).