An algebraic variety is smooth over its ground field when its structural morphism is smooth. Over an algebraically closed field its local rings are regular; on an irreducible variety its tangent spaces all have the variety's dimension of a scheme.
Over a perfect field, a point of an algebraic variety is smooth exactly when its local ring is a regular local ring. The smooth locus of a variety is open; its closed complement is the singular locus.
Articles by others on the same topic
There are currently no matching articles.