Abstract Given a quasi-compact and quasi-separated (qcqs) scheme X of finite type over a Noetherian ring R having an ample family of line bundles, we construct a closed embedding of X into a smooth (qcqs) scheme over R having an ample family of line bundles. Such a smooth scheme arises as an open subscheme of the multihomogeneous Proj of a Z n -graded ring.

中文翻译：

---

将除法方案嵌入到平滑方案中

摘要 给定在具有充足线丛族的诺特环 R 上的有限类型的准紧致和准分离 (qcqs) 方案 X，我们将 X 的封闭嵌入构造到具有充足线丛的 R 上的平滑 (qcqs) 方案中。线束家族。这种平滑的方案作为 Z n 分级环的多齐次 Proj 的开放子方案出现。