Embedding divisorial schemes into smooth ones
Let \(R\) be a noetherian ground ring. The author establishes that an \(R\)-scheme \(X\) of finite type that admits an ample family of line bundles allows a closed embedding into another \(R\)-scheme \(W\) of finite type that admits an ample family of line bundles and is furthermore smooth. This generalizes a result of \textit{H. Brenner} and \textit{S. Schröer} [Pac. J. Math. 208, No. 2, 209--230 (2003; Zbl 1095.14004)], who proved that \(X\) has an ample family if and only if it is isomorphic to a closed subscheme of some multihomogeneous homogeneous spectrum of some finitely generated polynomial ring, endowed with a \(\mathbb{Z}^n\)-grading. Note that such spectra are usually non-separated, unlike the classical case of \(\mathbb{N}\)-gradings. Recall that \(\mathscr{L}_1,\ldots,\mathscr{L}_n\) is called an ample family is the non-zero loci of global sections in tensor combinations form a basis of the Zariski topology. For \(n=1\) this gives back the notion of an ample sheaf. The generalization was introduced by \textit{M. Borelli} [Pac. J. Math. 13, 375--388 (1963; Zbl 0123.38102)]. Schemes admitting an ample family are also called divisorial. Examples are the regular noetherian schemes. A crucial step in the paper is an essentially combinatorial lemma, which gives a sufficient conditions for homogeneous localizations of \(\mathbb{Z}^n\)-graded rings to be polynomial rings. As an application, Zanchetta shows that if \(X\) is divisorial, then each collection \(\mathscr{E}_1,\ldots,\mathscr{E}_n\) of locally free sheaves of finite rank arises as a pull-back of locally free sheaves under a morphism \(f:X\to Y\) to a smooth divisorial scheme.
- Ample subvarieties and q-ample divisors
- A theorem on non-extensibility of toric varieties
- Ample families, multihomogeneous spectra, and algebraization of formal schemes.
- Kodaira vanishing theorems on non-complete algebraic manifolds
- Ample filters of invertible sheaves.
- Ample filters and Frobenius amplitude
- Flat families of affine lines are affine-line bundles
- Compactification for essentially finite-type maps
- Diagonal subschemes and vector bundles
- d-very-ample line bundles and embeddings of Hilbert schemes of 0-cycles
- Algebraic \(K\)-theory, \(A^1\)-homotopy and Riemann-Roch theorems
- Algebraic geometry I. Schemes. With examples and exercises
- Ample families, multihomogeneous spectra, and algebraization of formal schemes.
- Divisorial varieties
- Equivariant Embeddings into Smooth Toric Varieties
- Geometric Invariant Theory
- scientific article; zbMATH DE number 4208241 (Why is no real title available?)
- scientific article; zbMATH DE number 3572315 (Why is no real title available?)
- scientific article; zbMATH DE number 3322751 (Why is no real title available?)
- scientific article; zbMATH DE number 3322752 (Why is no real title available?)
- Introduction to the theory of weighted projective spaces
- Operations on algebraic K-theory and regulators via the A^1-homotopy theory
This page was built for publication: Embedding divisorial schemes into smooth ones
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2304577)
