A geometrically regular scheme over a field is a scheme
such that the base change
is a regular scheme for every extension
field
of
that is finitely generated, meaning
for finitely many elements
.
If the structure morphism of is a morphism of finite
type, then
is geometrically regular exactly when that structure
morphism is a smooth morphism.