Misplaced Pages

Regular scheme

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Not to be confused with regular embedding.

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

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. Note that the cited definition that Hartshorne gives is slightly misleading. A locally Noetherian scheme is regular if all its local rings are regular, but it is not the case for schemes which are not locally Noetherian. See the cited Stacks Project page for more details.
  2. "Section 28.9 (02IR): Regular schemes—The Stacks project". stacks.math.columbia.edu. Retrieved 2022-02-18.
  3. 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.


Stub icon

This algebraic geometry–related article is a stub. You can help Misplaced Pages by expanding it.

Categories: