Smooth scheme

In algebraic geometry, a smooth scheme X of dimension n over an algebraically closed field k is a scheme that is regular and has dimension n. More generally, a scheme over a field k is said to be smooth if $X\times _{k}{\overline {k}}$ is smooth for any algebraic closure ${\overline {k}}$ of k.

If k is perfect, then a scheme over k is smooth if and only if it is regular.

There is also a notion of a "smooth morphism" between schemes, and the above definition coincides with it. That is, a scheme X over k is smooth of dimension n if and only if Failed to parse (unknown function "\Spec"): {\displaystyle X \to \Spec k} is smooth of relative dimension n.

References

• D. Gaitsgory's notes on flatness and smoothness at http://www.math.harvard.edu/~gaitsgde/Schemes_2009/BR/SmoothMaps.pdf

See also

• Dimension (scheme)
• Glossary of scheme theory