Jump to content

Regular scheme

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by 93.133.70.1 (talk) at 10:04, 30 July 2020. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

In algebraic geometry, a regular scheme is a scheme whose local rings are regular everywhere.[1] Every smooth scheme is regular, and every regular scheme of finite type over a perfect field is smooth.[2]

For an example of a regular scheme that is not smooth, see Geometrically regular ring#Examples.

See also

References

  1. ^ Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, Springer, p. 238, ISBN 9780387902449.
  2. ^ Demazure, Michel (1980), Introduction to algebraic geometry and algebraic groups, North-Holland Mathematics Studies, vol. 39, North-Holland, Proposition 3.2, p. 168, ISBN 9780080871509.