# Contents

## Idea

Grothendieck developed in EGA a number of notions of smoothness for a scheme and, more generally, for a morphism of schemes. For algebraic varieties over a field, one already had a classical notion of a nonsingular variety.

## Definition

### For schemes

A scheme of finite type over a field $k$ is smooth if after extension of scalars from $k$ to the algebraic closure $\bar{k}$ it becomes a regular scheme, i.e. the stalks of its structure sheaf are regular local rings in the sense of commutative algebra.

A relative version of a smooth scheme is the notion of smooth morphism of schemes.

### For affine schemes

Specifically, a finitely presented commutative associative algebra $A$ over a field $k$ is smooth if either of the following equivalent conditions holds

• the $A$-module $\Omega^1_k(A)$ of Kähler differential forms is a projective object in $A Mod$;

• with $A$ regarded as an $A$-bimodule in the evident way, it has a projective resolution.

## References

For commutative $k$-algebras a discussion is for instance around theorem 9.1.2 in

Revised on November 20, 2012 20:18:29 by Urs Schreiber (131.174.40.222)