For faster navigation, this Iframe is preloading the Wikiwand page for Divisorial scheme.

Divisorial scheme

In algebraic geometry, a divisorial scheme is a scheme admitting an ample family of line bundles, as opposed to an ample line bundle. In particular, a quasi-projective variety is a divisorial scheme and the notion is a generalization of "quasi-projective". It was introduced in (Borelli 1963) (in the case of a variety) as well as in (SGA 6, Exposé II, 2.2.) (in the case of a scheme). The term "divisorial" refers to the fact that "the topology of these varieties is determined by their positive divisors."[1] The class of divisorial schemes is quite large: it includes affine schemes, separated regular (noetherian) schemes and subschemes of a divisorial scheme (such as projective varieties).

Definition

[edit]

Here is the definition in SGA 6, which is a more general version of the definition of Borelli. Given a quasi-compact quasi-separated scheme X, a family of invertible sheaves on it is said to be an ample family if the open subsets form a base of the (Zariski) topology on X; in other words, there is an open affine cover of X consisting of open sets of such form.[2] A scheme is then said to be divisorial if there exists such an ample family of invertible sheaves.

Properties and counterexample

[edit]

Since a subscheme of a divisorial scheme is divisorial, "divisorial" is a necessary condition for a scheme to be embedded into a smooth variety (or more generally a separated Noetherian regular scheme). To an extent, it is also a sufficient condition.[3]

A divisorial scheme has the resolution property; i.e., a coherent sheaf is a quotient of a vector bundle.[4] In particular, a scheme that does not have the resolution property is an example of a non-divisorial scheme.

See also

[edit]

References

[edit]
  1. ^ Borelli 1963, Introduction
  2. ^ SGA 6, Proposition 2.2.3 and Definition 2.2.4.
  3. ^ Zanchetta 2020
  4. ^ Zanchetta 2020, Just before Remark 2.4.
  • Berthelot, Pierre; Alexandre Grothendieck; Luc Illusie, eds. (1971). Séminaire de Géométrie Algébrique du Bois Marie – 1966–67 – Théorie des intersections et théorème de Riemann–Roch – (SGA 6) (Lecture notes in mathematics 225). Lecture Notes in Mathematics (in French). Vol. 225. Berlin; New York: Springer-Verlag. xii+700. doi:10.1007/BFb0066283. ISBN 978-3-540-05647-8. MR 0354655.
  • Borelli, Mario (1963). "Divisorial varieties". Pacific Journal of Mathematics. 13 (2): 375–388. doi:10.2140/pjm.1963.13.375. MR 0153683.
  • Zanchetta, Ferdinando (15 June 2020). "Embedding divisorial schemes into smooth ones". Journal of Algebra. 552: 86–106. doi:10.1016/j.jalgebra.2020.02.006. ISSN 0021-8693.
{{bottomLinkPreText}} {{bottomLinkText}}
Divisorial scheme
Listen to this article

This browser is not supported by Wikiwand :(
Wikiwand requires a browser with modern capabilities in order to provide you with the best reading experience.
Please download and use one of the following browsers:

This article was just edited, click to reload
This article has been deleted on Wikipedia (Why?)

Back to homepage

Please click Add in the dialog above
Please click Allow in the top-left corner,
then click Install Now in the dialog
Please click Open in the download dialog,
then click Install
Please click the "Downloads" icon in the Safari toolbar, open the first download in the list,
then click Install
{{::$root.activation.text}}

Install Wikiwand

Install on Chrome Install on Firefox
Don't forget to rate us

Tell your friends about Wikiwand!

Gmail Facebook Twitter Link

Enjoying Wikiwand?

Tell your friends and spread the love:
Share on Gmail Share on Facebook Share on Twitter Share on Buffer

Our magic isn't perfect

You can help our automatic cover photo selection by reporting an unsuitable photo.

This photo is visually disturbing This photo is not a good choice

Thank you for helping!


Your input will affect cover photo selection, along with input from other users.

X

Get ready for Wikiwand 2.0 ๐ŸŽ‰! the new version arrives on September 1st! Don't want to wait?