Punctual scheme (source code)

= Punctual scheme

A scheme over an algebraically closed field is punctual when its underlying topological space consists of one closed rational point. It may have nontrivial nilpotent structure, such as $\operatorname{Spec}k[\varepsilon]/(\varepsilon^2)$.