Projective embeddings of projective schemes blown up at subschemes (Q1434182): Difference between revisions

The paper studies the embeddings of polarized schemes \((X,H)\) blown up along a non-singular subscheme \(Z\). If \(\widehat X\) is the blow up of \(X\) at \(Z\), \(E\) is the exceptional divisor and \(E_0\) the pull-back of \(H\), linear systems of type \(tE_0 -eE = D_{e,t}\) are considered. For \(t\gg e > 0\) it is well known that \(D_{e,t}\) is very ample (this situation has been widely studied by many authors and from a more algebraic point of view it amounts to studying diagonal subalgebras of bigraded algebras). Under some hypotheses on \(X\) or \(\widehat X\), properties of the ideal of the embedded variety are studied (Cohen-Macauliness, regularity, \(N_p\) property for syzygies) as \(t\gg e\), in the line of thought that the ideal of the embedding of \(\widehat X\) gets ``nicer'' as the dimension of the space of the embedding gets bigger (i.e. \(t\) is big with respect to \(e\)).